Newsletter 127 May 1, 2010 ******************************************************************* * Past issues of the newsletter are available at http://www.informatik.hu-berlin.de/lics/newsletters/ * Instructions for submitting an announcement to the newsletter can be found at http://www.informatik.hu-berlin.de/lics/newsletters/inst.html * To unsubscribe, send an email with "unsubscribe" in the body to firstname.lastname@example.org ******************************************************************* TABLE OF CONTENTS * FLOC DEADLINES Early Registration Deadline * AWARDS LICS Test-of-time award winners * CONFERENCES AND WORKSHOPS JELIA - Call for Papers CLIMA XI - Call for Papers MOVEP - Call for Participation FLOC 2010 - Call for Participation CiE 2010 - Call for Participation * JOURNALS Journal of Logic and Analysis CFP: Special Issue on Verification Techniques * BOOK ANNOUNCEMENTS LIPIcs: Proceedings of STACS * JOB ANNOUNCEMENTS PHD STUDENTSHIP IN AUTOMATED REASONING - Univ. of Manchester FLOC DEADLINES * Early Registration Deadline 17 May 2010 www.floc-conference.org LICS 2010 TEST-OF-TIME AWARD WINNERS * For the 2010 LICS Test-of-Time Award, all papers from LICS 1990 were considered. The Awards Committee consisted of - Glynn Winskel (chair), - Jean-Pierre Jouannaud - John Mitchell. * In view of the weight of highly-influential papers, across a range of areas, the committee has taken the exceptional step of selecting four papers. They are: - Model-checking for real-time systems. R Alur, C Courcoubetis, D Dill. This paper was a pioneer in the model checking of real-time systems. It provided a polynomial-space algorithm for the model checking of a real-time logic (an extension of CTL with timing constraints) with respect to a continuous-time model. Its techniques are still used extensively and results of this paper form part of almost any course or tutorial on real-time verification. - Symbolic model checking: 10^20 states and beyond. JR Burch, EM Clarke, KL McMillan, DL Dill, LJ Hwang. This paper revolutionized model checking. Through its symbolic representation of the state space using Randy Bryant's Binary Decision Diagrams (BDDs) and its careful analysis of several forms of model checking problems, backed up by empirical results, it provided a first convincing attack on the verificationn of large-state systems. The paper was a major agent in establishing BDDs as a tool in mainstream computer science. - The theory of ground rewrite systems is decidable. M Dauchet, S Tison. This paper asked what has proved to be a very important question, whether the first-order theory of one-step rewriting is decidable. The paper settled the question positively for the theory of ground rewrite systems using innovative techniques on tree automata. Its techniques rekindled an interest in automata theory on finite trees, now a major topic, with many current applications from rewriting through to security, program analysis and concurrency. - Recursive types reduced to inductive types. P Freyd. This paper showed what was really going on with the classic method of solving domain equations. By separating positive and negative occurrences of the unknown in a domain equation, it gave an elegant category-theoretic treatment of recursively defined domains that extends the well-understood and widely-used methods of initial-algebra semantics. Its methods are now standard. They led to new techniques for relating operational and denotational semantics, and new mixed induction/coinduction principles. JELIA 2010 - 12th EUROPEAN CONFERENCE ON LOGICS IN ARTIFICIAL INTELLIGENCE FINAL Call for Papers September 13-15, 2010, Helsinki, Finland http://jelia2010.tkk.fi/ * The European Conference on Logics in Artificial Intelligence (JELIA) is a biannual forum bringing together researchers interested in all aspects concerning the use of logics in Artificial Intelligence to discuss current research, results, problems, and applications of both theoretical and practical nature. * Authors are invited to submit papers presenting original and unpublished research in all areas related to the use of logics in AI, including: abductive and inductive reasoning; answer set programming; applications and foundations of logic-based AI systems; argumentation systems; automated reasoning including satisfiability checking and its extensions; computational complexity and expressiveness; description logics and other logical approaches to semantic web and ontologies; hybrid reasoning systems; knowledge representation, reasoning, and compilation; logic programming and constraint programming; logics for uncertain and probabilistic reasoning; logics in machine learning; logics in multi-agent systems, games, and social choice; non-classical such as modal, temporal, spatial, paraconsistent, and hybrid logics; nonmonotonic reasoning; belief revision, and updates; planning and diagnosis based on logic; preferences; reasoning about actions and causality * Important Dates: Abstract submission: May 3, 2010; Paper submission: May 7, 2010; Notification: June 11, 2010 11TH INTERNATIONAL WORKSHOP ON COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS (CLIMA XI) * http://centria.di.fct.unl.pt/events/climaXI/ * Lisbon, Portugal, August 16-17, 2010. * The purpose of the CLIMA Workshop Series is to provide a forum for discussing techniques, based on computational logic, for representing, programming and reasoning about agents and multi-agent systems in a formal way. * Following the previous ten, very successful, editions, the 11th CLIMA will be affiliated with ECAI'10 and will take place in Lisbon, Portugal, on the 16th and 17th of August 2010. * In addition to CLIMA's regular topics and sessions, this edition will feature two special sessions: - Norms and Normative Multi-Agent Systems - Logics for Games and Strategic Reasoning * We welcome and encourage the submission of high quality, original papers, which have not been accepted for publication nor are currently under review for another journal or conference. * LNCS Proceedings: CLIMA's Proceedings will be published by Springer as a volume in the Lecture Notes in Computer Science, and will be available in time for the workshop. * AMAI Special Issue: After the workshop, authors of selected papers will be invited to extend and re-submit their work to be considered for inclusion in a CLIMA Special Issue of Annals of Mathematics and Artificial Intelligence. * Detailed information regarding CLIMA, its topics of interest, the two Special Sessions, formatting and submission instructions is available at http://centria.di.fct.unl.pt/events/climaXI/ * Important dates: Submission: May 7th Notification: June 4th Camera Ready: June 16th * CLIMA XI Chairs: - Jürgen Dix, Technical University of Clausthal, Germany - João Leite, New University of Lisbon, Portugal * Special Session Organisers: - Guido Governatori, NICTA, Australia (Norms and Normative Multi-Agent Systems) - Wojtek Jamroga, University of Luxembourg, Luxembourg (Logics for Games and Strategic Reasoning) * Please send all enquiries about CLIMA XI to email@example.com. MOVEP 2010 - 9th International Summer School on MOdelling and VErifying parallel Processes Call for Student Abstracts and Call for Participation June 28 -- July 2 2010, Aachen, Germany http://automata.rwth-aachen.de/movep2010/ * MOVEP is a 5 day summer school about modelling and verifying parallel processes. The topics covered by MOVEP 2010 include model checking, testing, synthesis, real-time and hybrid systems, games, stochastic systems, security, computational systems biology etc. * Registration is now open * Speakers: Krishnendu Chatterjee (IST Austria, Vienna), Veronique Cortier (LORIA/CNRS, Nancy), Bengt Jonsson (University of Uppsala), Joost-Pieter Katoen (RWTH Aachen), Andrew Phillips (Microsoft Research Cambridge), James Worrell (Oxford University), Dino Distefano (Queen Mary University of London), Martin Fraenzle (University of Oldenburg), Blaise Genest (IPAL/CNRS, Singapore), Jerome Leroux (LaBRI/CNRS, Bordeaux), Stefan Schwoon (LSV, Cachan) * Phd Student Session: Submission of extended abstracts until May 21 * Detailed information can be found on the web site 2010 FEDERATED LOGIC CONFERENCE (FLOC'10) Edinburgh, Scotland, U.K. July 9-21, 2010 http://www.floc-conference.org * DEADLINES (All deadlines are firm!): - deadline for student travel grant application: 3 MAY 2010. - early registration deadline: 17 MAY 2010. NEW CANCELLATION POLICY: details are given below. * The fifth Federated Logic Conference (FLoC'10) will be held in Edinburgh, Scotland, U.K. (www.edinburgh.org), in July 2010, at the School of Informatics at the University of Edinburgh (www.inf.ed.ac.uk). * FLoC'10 promises to be the premier scientific meeting in computational logic in 2010. The following conferences will participate in FLoC: - CAV 2010: Int'l Conference on Computer-Aided Verification - CSF 2010: IEEE Computer Security Foundations Symposium - ICLP 2010: Int'l Conference on Logic Programming - IJCAR 2010: Int'l Joint Conference on Automated Reasoning - ITP 2010: Int'l Conference on Interactive Theorem Proving - LICS 2010: IEEE Symposium on Logic in Computer Science - RTA 2010: Int'l Conference on Rewriting Techniques and Applications - SAT 2010: Int'l Conference on Theory and Applications of Satisfiability Testing The eight major conferences will be accompanied by more than fifty workshops and a number of other affiliated events. * Program: The FLoC'10 program includes plenary talks by David Basin, Georg Gottlob, David Harel, and Gordon Plotkin, as well as keynote talks by Deepak Kapur and J Strother Moore. Please consult the FLoC website for further information on invited speakers and contributed talks of all the participating conferences. * The city of Edinburgh: Edinburgh (http://www.ed.ac.uk/about/city/introduction), one of the most vibrant, cosmopolitan cities in Europe, has been regularly voted one of the most desirable places to live in the world - and the University is at the heart of it all. Located throughout the centre of the city, the campus plays an integral part in the activities of Scotland's lively capital. Set against a beautiful backdrop of stunning architecture, Edinburgh is a welcoming, cosmopolitan city with a large and diverse student population. The city offers an exciting array of entertainment, history, culture and sport, with the lush Scottish countryside and coastline just a few miles away. It is a safe and prosperous city, with an abundance of parks and green spaces for recreation and reflection. FLoC receptions will be held at the Edinburgh Castle (11 July) and the National Galleries of Scotland (16 July). * Registration: For online registration for FLoC, please follow the link on the FLoC website at http://floc-conference.org/registration.html Registration is now open. The deadline for early registration is 17 May. Standard rates will apply for those who register between 18 May and 30 June. For those who register after 30 June, late rates will apply. Note that it is possible to register early, and then add components (e.g., additional workshops, additional registration days, etc.) later on. * Accomodation: Very affordable accommodation has been booked at the University's Pollock Halls campus, about 15-minute walk from the conference site. Room types include single/double rooms with shared facilities/ensuite, and standard hotel rooms in a 3-star Victorian mansion. Alternatively, blocks of rooms have been booked at several hotels in the cite centre. For details, see http://floc-conference.org/accommodation.html * Cancellation Policy: If a participant is unable to attend FLoC because of force majeure (e.g., volcanic ash causing flight cancellation) or because of visa denial, their registration fee and accommodation payments will be refunded in full, except for a GBP 50 administrative charge. * Student Travel Grants: FLoC has raised funds to help students with participating in the 2010 meeting. See details on http://www.floc-conference.org/floc-student-grants.html * FLoC'10 Steering Committee: - General Chair: Moshe Y. Vardi - Conference Co-chairs: Leonid Libkin, Gordon Plotkin - CAV Representative: Edmund Clarke - ICLP Representative: Manuel Hermenegildo - IJCAR Representative: Alan Bundy - ITP Representative: Tobias Nipkow - LICS Representative: Martin Abadi - RTA Representative: Juergen Giesl - SAT Representative: Enrico Giunchiglia - EasyChair Representative: Andrei Voronkov COMPUTABILITY IN EUROPE 2010: PROGRAMS, PROOFS, PROCESSES Ponta Delgada (Azores), Portugal June 30 to July 4, 2010 http://www.cie2010.uac.pt/ Call for Participation and Informal Presentations * CALL FOR INFORMAL PRESENTATIONS There is a remarkable difference in conference style between computer science and mathematics conferences. Mathematics conferences allow for informal presentations that are prepared very shortly before the conference and inform the participants about current research and work in progress. The format of computer science conferences with pre-conference proceedings is not able to accommodate this form of scientific communication. * Again continuing the tradition of past CiE conferences, this year's CiE conference endeavours to get the best of both worlds. In addition to the formal presentations based on our LNCS proceedings volume, we invite researchers to present informal presentations. For this, please send us a brief description of your talk (between one paragraph and half a page) by the DEADLINE: MAY 15, 2010. Please submit your abstract electronically, via EasyChair, selecting the category "Informal Presentation". * You will be notified whether your talk has been accepted for informal presentation usually within a week after your submission, so if you intend to apply for ASL ASL Student Travel Awards you should submit your abstract before March 23rd. * Let us remind you that we are planning several post-conference publications, which will contain full articles of selected CiE 2010 presentations, including informal presentations. * You can find these instructions at http://www.cie2010.uac.pt/contents/call_for_informal_presentations.html * IMPORTANT DATES: Submission of applications for ASL Student Grants: MARCH 30 Early registration deadline: MAY 28 Submission of informal presentations: MAY 15 Late registration deadline: JUNE 20 * DETAILS OF PROGRAMME: TUTORIALS: Jeffrey Bub (Information, Computation and Physics), Bruno Codenotti (Computational Game Theory). INVITED SPEAKERS: Eric Allender, Jose L. Balcazar, Shafi Goldwasser, Denis Hirschfeldt, Seth Lloyd, Sara Negri, Toniann Pitassi, and Ronald de Wolf. * SPECIAL SESSIONS: - Biological Computing, organizers: Paola Bonizzoni, Krishna Narayanan Invited speakers: Natasha Jonoska, Giancarlo Mauri, Yasubumi Sakakibara, Stephane Vialette - Computational Complexity, organizers: Luis Antunes, Alan Selman Invited speakers: Eric Allender, Christian Glasser, John Hitchcock, Rahul Santhanam - Computability of the Physical, organizers: Cris Calude, Barry Cooper Invited speakers: Giuseppe Longo, Yuri Manin, Cris Moore, David Wolpert - Proof Theory and Computation, organizers: Fernando Ferreira, Martin Hyland Invited speakers: Thorsten Altenkirch, Samuel Mimram, Paulo Oliva, Lutz Strassburger Reasoning and Computation from Leibniz to Boole, organizers: Benedikt Loewe, Guglielmo Tamburrini Invited speakers: Nimrod Bar-Am, Michele Friend, Olga Pombo, Sara Uckelman - Web Algorithms and Computation, organizers: Thomas Erlebach, Martin Olsen Invited speakers: Hannah Bast, Debora Donato, Alex Hall, Jeannette Janssen * SPECIAL TRIBUTE TO MARIAN POUR-EL: Ning Zhong. * PROGRAMME COMMITTEE: Klaus Ambos-Spies (Heidelberg), Luis Antunes (Porto), Arnold Beckmann (Swansea), Paola Bonizzoni (Milano), Alessandra Carbone (Paris), Steve Cook (Toronto ON), Barry Cooper (Leeds), Erzsebet Csuhaj-Varju (Budapest), Fernando Ferreira (Lisbon, co-chair), Nicola Galesi (Rome), Luis Mendes Gomes (Ponta Delgada), Rosalie Iemhoff (Utrecht), Achim Jung (Birmingham), Michael Kaminski (Haifa), Jarkko Kari (Turku), Viv Kendon (Leeds), James Ladyman (Bristol), Kamal Lodaya (Chennai), Giuseppe Longo (Paris), Benedikt Loewe (Amsterdam), Elvira Mayordomo (Zaragoza, co-chair), Wolfgang Merkle (Heidelberg), Russell Miller (New York NY), Dag Normann (Oslo), Isabel Oitavem (Lisbon), Joao Rasga (Lisbon), Nicole Schweikardt (Frankfurt), Alan Selman (Buffalo NY), Peter van Emde Boas (Amsterdam), Albert Visser (Utrecht) * http://www.cie2010.uac.pt/ THE JOURNAL OF LOGIC AND ANALYSIS (JLA) * JLA becomes the first ASL sponsored journal The Association for Symbolic Logic (ASL: www.aslonline.org/) has agreed to sponsor the Journal of Logic and Analysis, the first in this category recently created by the ASL Council. * The Journal of Logic and Analysis (JLA) is an electronic open access peer-reviewed journal ( ISSN 1759-9008) that that examines the interaction between ideas or techniques from mathematical logic and other areas of mathematics, especially, but not limited to, pure and applied analysis. The journal publishes papers in nonstandard analysis and related areas of applied model theory; papers involving interplay between mathematics and logic (including foundational aspects of such interplay); and mathematical papers using or developing analytical methods having connections to any area of mathematical logic. * JLA is intended to be a natural home for papers with an essential interaction between mathematical logic and other areas of mathematics, rather than for papers purely in logic or analysis. * Volume 1 (2009) is complete, and papers are currently being published in Volume 2 (2010). Papers are reviewed in MathSciNet and Zentralblatt MATH * For further information about JLA (Editorial Board, how to submit papers etc) visit the website (http://logicandanalysis.org/) or contact the Editor-in-Chief, Prof Nigel Cutland, University of York, UK (firstname.lastname@example.org). SPECIAL ISSUE ON AUTOMATED VERIFICATION OF CRITICAL SYSTEMS Science of Computer Programming Guest editor: Markus Roggenbach Second Call For Papers * The (corrected) deadline for submissions is May 31st, 2010. * This special issue is devoted to the scope of the international workshop on Automated Verification of Critical Systems (AVoCS 2009 - see http://www.cs.swan.ac.uk/avocs09/index.php) which Swansea University hosted in September 2009. AVoCS is devoted to tools and techniques for the verification of critical systems. These topics are to be interpreted broadly and inclusively. * Typical, but not exclusive topics of interest are: - Model Checking, - Automatic and Interactive Theorem Proving, - Abstract Interpretation, - Specification and Refinement, - Requirements Capture and Analysis, - Verification of Software and Hardware, - Verification of Security-Critical Systems, - Probabilistic and Real-Time Systems, - Verified System Development, and - Industrial Applications. * Submission to this special issue is completely open. We expect original articles (typically 15-30 pages) that present high-quality contributions that have not been previously published in an archival venue and that must not be simultaneously submitted for publication elsewhere. * Submissions must comply with SCP's author guidelines (see http://www.elsevier.com/wps/find/journaldescription.cws_home/505623/authorinstructions), be written in English, and be formatted using LaTeX. * Submission to this special issue are hereby encouraged via the EasyChair submission system at http://www.easychair.org/conferences/?conf=avocs09specialissue BOOK ANNOUNCEMENT: Proceedings of STACS'10 Editors: Jean-Yves Marion, Thomas Schwentick Series: LIPIcs (Leibniz International Proceedings in Informatics) Publisher: Schloss Dagstuhl ISBN: 978-3-939897-16-3 * Access: Open access (online and free of charge) at http://drops.dagstuhl.de/opus/portals/extern/index.php?conf=STACS10 * About STACS: The "Symposium on Theoretical Aspects of Computer Science" (STACS) takes place each year since 1984, alternately in Germany and France. See also: http://www.stacs-conf.org/ * About the proceedings: The STACS conference of March 4-6, 2010, held in Nancy, is the 27th in this series. The STACS 2010 call for papers led to over 238 submissions from 40 countries. Each paper was assigned to three program committee members. The committee selected 54 papers. See also: - Foreword: http://dx.doi.org/10.4230/LIPIcs.STACS.2010.2439 - Table of Contents: http://dx.doi.org/10.4230/LIPIcs.STACS.2010.2505 * About LIPIcs: "LIPIcs: Leibniz International Proceedings in Informatics" is a series of high-quality conference proceedings across all fields in informatics established in cooperation with "Schloss Dagstuhl--Leibniz Center of Informatics". See also: http://www.dagstuhl.de/en/publications/lipics/ PHD STUDENTSHIP IN AUTOMATED REASONING * One PhD studentship is available in the School of Computer Science at the University of Manchester to conduct research and make original contrbutions to an EPSRC Research Project with the aim to automatically generate implemented automated reasoners. * The studentship is available for up to three years with a stipend of 13,290 pounds per annum (tax free), full university registration fees for UK/EU students, a contribution of about 74% to the university registration fees for Non-EU international students, plus travel money for attending conferences. * Closing date for applications: 14 May 2010 * Anticipated start date: July - September 2010 * For more details please consult http://www.cs.man.ac.uk/~schmidt/prover_gen/advert.html or contact Dr Renate Schmidt at email@example.com.
Back to the LICS web page.