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 lics@informatik.hu-berlin.de
*******************************************************************
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 clima2010@easychair.org.
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 (nc507@york.ac.uk).
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 schmidt@cs.man.ac.uk.
Back to the LICS web page.