Newsletter 136
May 1, 2012
*******************************************************************
* 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
*******************************************************************
TABLE OF CONTENTS
* DEADLINES
Deadlines in the coming weeks
* CONFERENCES AND WORKSHOPS
GandALF 2012 - Call for Papers
FMCAD 2012 - Call for Papers
LFMTP 2012 - Call for Papers
EASLLC 2012 - Call for Student Papers
LOPSTR 2012 - Call for Papers
AVOCS 2012 - Call for Papers
SLS 2012 - Call for Papers
LOCOCO 2012 - Call for Papers
ACP Summer School - Call for Participation
STACS 2013 - Call for Papers
* EDUCATION
ONLINE LOGIC COURSE AT STANFORD
* AWARDS
EAPLS PhD Award 2011
UPCOMING DEADLINES
* GANDALF 2012
Abstract submission: 9 May 2012
http://www.gandalf.unina.it
* FMCAD 2012
Abstract submission: 9 May 2012
http://www.fmcad.org
* LFMTP 2012
Paper submission: 14 May 2012
http://people.csail.mit.edu/adamc/lfmtp12/
* EASLLC 2012
Short abstract submission: 15 May 2012
http://home.hib.no/prosjekter/easllc2012/
* LOPSTR 2012
Abstract submission: 21 May 2012
http://costa.ls.fi.upm.es/lopstr12
* AVOCS 2012
Submission deadline: 1 June 2012
http://www.swt-bamberg.de/AVoCS2012/
* SLS 2012
Submission deadline: 1 June 2012
http://scandinavianlogic.org
* LOCOCO 2012
Submission deadline: 20 June 2012
http://lococo.irill.org/2012
THIRD INTERNATIONAL SYMPOSIUM ON GAMES, AUTOMATA, LOGICS, AND FORMAL VERIFICATION (GandALF 2012)
Call for Papers
Napoli, Italy,
September 6th-8th, 2012
http://www.gandalf.unina.it
* OBJECTIVES
The aim of the symposium is to bring together researchers from academia
and industry which are actively working in the fields of Games, Automata,
Logics, and Formal Verification. The idea is to cover an ample spectrum of
themes, ranging from theory to applications, and stimulate
cross-fertilization. Papers focused on formal methods are especially
welcome. Authors are invited to submit original research or tool papers on
all relevant topics in these areas.
Papers discussing new ideas that are at an early stage of development are
also welcome.
* LIST OF TOPICS
The topics covered by the conference include, but are not limited to, the
following:
Automata Theory
Automated Deduction
Computational aspects of Game Theory
Concurrency and Distributed computation
Decision Procedures
Deductive, Compositional, and Abstraction Techniques for Verification
Finite Model Theory
First-order and Higher-order Logics
Formal Languages
Formal Methods for Complex Systems (e.g., Interactive Systems, Systems
Biology)
Games and Automata for Verification
Game Semantics
Hybrid, Embedded, and Mobile Systems Verification
Logical aspects of Computational Complexity
Logics of Programs
Modal and Temporal Logics
Model Checking
Models of Reactive and Real-Time Systems
Program Analysis and Software Verification
Run-time Verification and Testing
Specification and Verification of Finite and Infinite-state Systems
Synthesis
* CO-LOCATED EVENT
GAMES 2012, Annual Workshop of the ESF Networking Programme on Games for
Design and Verification (http://www.games.unina.it/).
* INVITED SPEAKERS
Alberto Policriti (University of Udine, Italy).
Moreover, we plan to have two joint invited speakers with the co-located
GAMES meeting.
* PAPER SUBMISSION
Submitted papers should not exceed fourteen (14) pages using EPTCS format,
be unpublished and contain original research. For papers reporting
experimental results, authors are encouraged to make their data available
with their submission.
Submissions must be in PDF or PS format and will be handled via EasyChair.
* IMPORTANT DATES
Abstract submission May 9, 2012
Paper submission May 15, 2012
Acceptance notification June 27, 2012
Final version July 15, 2012
Conference September 6-8, 2012
* PROGRAM CHAIRS
Marco Faella (Universita' di Napoli "Federico II", Italy)
Aniello Murano (Universita' di Napoli "Federico II", Italy)
* PROGRAM COMMITTEE
Veronique Bruyere (Universite' de Mons-Hainaut, Belgium)
Agostino Cortesi (Universita' Ca' Foscari di Venezia, Italy)
Luca de Alfaro, (University of California at Santa Cruz, USA)
Kousha Etessami, (University of Edinburgh, UK)
Erich Grädel, (RWTH Aachen University, Germany)
Arie Gurfinkel, (Carnegie Mellon University, USA)
Orna Kupferman, (Hebrew Unversity, Israel)
Martin Lange, (University of Kassel, Germany)
Carsten Lutz, (University of Bremen, Germany)
Oded Maler (CNRS-VERIMAG, University of Grenoble, France)
Nicolas Markey, (LSV, CNRS & ENS Cachan, France)
Anca Muscholl, (University of Bordeaux, France)
Margherita Napoli, (Universita' di Salerno , Italy)
Damian Niwinski (University of Warsaw, Poland)
Carla Piazza, (University of Udine, Italy)
Nir Piterman, (University of Leicester,UK)
Gabriele Puppis, (University of Oxford, UK)
Ramaswamy Ramanujam, (IMSC Chennai, India)
Sven Schewe, (University of Liverpool, UK)
Natasha Sharygina, (University of Lugano, Switzerland)
Marielle Stoelinga, (University of Twente, Netherlands)
Enrico Tronci, (Universita' di Roma "La Sapienza", Italy)
Helmut Veith, (TU Vienna, Austria)
Tiziano Villa, (Universita' di Verona, Italy)
Mahesh Viswanathan, (University of Illinois, USA)
FORMAL METHODS IN COMPUTER-AIDED DESIGN (FMCAD 2012)
CALL FOR PAPERS
http://www.fmcad.org
Microsoft Research Cambridge, UK,
October 22 - 25, 2012
* CONFERENCE SCOPE
FMCAD 2012 is the twelfth in a series of conferences on the theory and
application of formal methods in hardware and system design and verification.
FMCAD provides a leading international forum to researchers and practitioners
in academia and industry for presenting and discussing novel methods,
technologies, theoretical results, and tools for formal reasoning about
computing systems, as well as open challenges therein.
* IMPORTANT DATES
Abstract Submission: May 9
Paper Submission: May 20
Author Notification: July 13
Final Version: August 10
Conference: October 22 - 25
* TOPICS OF INTEREST
Advances in model checking, theorem proving, equivalence checking, abstraction
and reduction techniques, compositional methods, automatic decision procedures
at the bit- and word-level, probabilistic methods, and combinations of deductive
methods and decision procedures.
Topics related to the application of formal and semi-formal methods to functional
and non-functional specification and validation of hardware and software.
This includes timing and power modeling, and verification of computing systems
on all levels of abstraction.
System-level design and verification, especially for embedded systems,
HW/SW co-design and verification, and transaction-level verification.
Modeling and specification languages, formal semantics of known languages or
their subsets, model-based design, design derivation and transformation, and
correct-by-construction methods.
Experience with the application of formal and semi-formal methods to industrial-scale
designs. Tools that represent formal verification enablement, new features, or a
substantial improvement in the automation of formal methods.
Application of formal methods in new areas.
* ASSOCIATED EVENTS
The Hardware Model Checking Competition 2012 (HWMCC2012) will take
place during FMCAD 2012.
* GENERAL CHAIRS
Gianpiero Cabodi, Politecnico di Torino, Italy
Satnam Singh, Google, USA
* PROGRAM COMMITTEE
Armin Biere, Johannes Kepler University, Austria
Per Bjesse, Synopsis, USA
Roderick Bloem, Graz University of Technology, Austria
Alessandro Cimatti, FBK-IRST, Italy
Byron Cook, Microsoft Research Cambridge, UK
Bruno Dutertre, SRI international, USA
Steven German, IBM, USA
Mark Greenstreet, University of British Columbia, Canada
Aarti Gupta, NEC Laboratories America, USA
Youssef Hamadi, Microsoft Research Cambridge, UK
Alan Hu, University of British Columbia, Canada
Warren Hunt, University of Texas at Austin, USA
Barbara Jobstmann, VERIMAG, France
Kevin Jones, City University London, UK
Daniel Kroening, University of Oxford, UK
Thomas Kropf, Robert Bosch GmbH, Germany
Joao Marques-Silva, University College Dublin, Ireland
Arie Matsliah, IBM, Israel
Ken Mcmillan, Microsoft Research Seattle, USA
Tom Melham, University of Oxford, UK
John O'Leary, Intel, USA
Lee Pike, Galois, USA
Sandip Ray, Intel, USA
Julien Schmaltz, Open University of the Netherlands, The Netherlands
Natasha Sharygina, University of Lugano, Switzerland
Mary Sheeran, Chalmers University, Sweden
Anna Slobodova, Centaur, USA
Fabio Somenzi, Univ Colorado at Boulder, USA
Sudarshan Srinivasan, North Dakota State Univ, USA
Murali Talupur, Intel, USA
Helmut Veith, Vienna University of Technology, Austria
Thomas Wahl, Northeastern University, USA
Marcus Wedler, University of Kaiserslautern, Germany
* LOCAL ARRANGEMENT CHAIRS
Peter Boehm, University of Oxford, UK
Samin Ishtiaq, Microsoft Research Cambridge, UK
SEVENTH INTERNATIONAL WORKSHOP ON LOGICAL FRAMEWORKS AND META-LANGUAGES: THEORY AND PRACTICE (LFMTP'12)
http://people.csail.mit.edu/adamc/lfmtp12/
Copenhagen, Denmark, September 9, 2012
Affiliated with the International Conference on
Functional Programming (ICFP'12)
CALL FOR PAPERS
* IMPORTANT DATES
Paper submission: May 14, 2012
Author notification: June 18, 2012
Final versions due: July 2, 2012
Workshop day: September 9, 2012
* SCOPE
Logical frameworks and meta-languages form a common substrate for
representing, implementing, and reasoning about a wide variety of
deductive systems of interest in logic and computer science. Their
design and implementation on the one hand and their use in reasoning
tasks ranging from the correctness of software to the properties of
formal computational systems on the other hand have been the focus of
considerable research over the last two decades. This workshop will
bring together designers, implementors, and practitioners to discuss
various aspects impinging on the structure and utility of logical
frameworks, including the treatment of variable binding, inductive and
co-inductive reasoning techniques and the expressivity and lucidity of
the reasoning process.
* The broad subject areas of LFMTP'12 are:
- Encoding and reasoning about the meta-theory of programming
languages and related formally specified systems.
- Theoretical and practical issues concerning the treatment of
variable binding, especially the representation of, and reasoning
about, datatypes defined from binding signatures.
- Logical treatments of inductive and co-inductive definitions and
associated reasoning techniques.
- Case studies of meta-programming, and the mechanization of the
(meta)theory of descriptions of programming languages and other
calculi. Papers focusing on logic translations and on experiences
with encoding programming languages theory are particularly
welcome.
* Submission and other details concerning the workshop can be found at
its website at http://people.csail.mit.edu/adamc/lfmtp12/.
* PROGRAM COMMITTEE
Nick Benton (Microsoft Research)
Adam Chlipala (MIT, co-chair)
Nils Anders Danielsson (Chalmers University)
Elsa Gunter (University of Illinois, Urbana-Champaign)
Daniel R. Licata (Carnegie Mellon University)
Dale Miller (INRIA)
Frank Pfenning (Carnegie Mellon University)
Carsten Schürmann (IT University of Copenhagen, co-chair)
Matthieu Sozeau (INRIA)
EAST-ASIAN SCHOOL ON LOGIC, LANGUAGE, AND COMPUTATION (EASLLC 2012)
SECOND ANNOUNCEMENT and CALL FOR STUDENT PAPERS
Southwest University, Chongqing, China, August 27-31, 2012
http://home.hib.no/prosjekter/easllc2012/
* This is a school for graduate students and postdoctoral scholars,
similar in spirit to the annual ESSLLI summer schools in Europe and
also to the Sino-European Summer School on Logic, Language, and
Computation, which took place in Guangzhou, China in December
2010.
* The program of EASLLC 2012 will consist of nine courses in three
different tracks: logic, language, and computation.
- Logic Track:
Fenrong Liu (Tsinghua University),
Rohit Parikh (Brooklyn College of CUNY and CUNY Graduate Center),
Jouko Väänänen (University of Helsinki and University of Amsterdam)
- Language Track:
Pauline Jacobson (Brown University),
Geoffrey K. Pullum (University of Edinburgh and Brown University),
Dag Westerståhl (Stockholm University)
- Computation Track:
Krzysztof R. Apt (CWI and University of Amsterdam),
Phokion G. Kolaitis (University of California Santa Cruz and IBM
Research – Almaden),
Moshe Y. Vardi (Rice University)
* There will be student sessions in the late afternoon/early evening
of some days of the School in which students will give short
presentations of work in progress. Students are invited to submit
an abstract of maximum 3 pages on any topic in logic, language and
computation. The abstract should be written properly in English,
and must be in PDF format and be submitted to our EasyChair
website.
* Important Dates:
May 15, 2012 - deadline for short abstracts of papers (at most 3 pages)
June 10, 2012 - notification date of acceptance/rejection of the papers
* Detailed information about the student session can be found at
http://home.hib.no/prosjekter/easllc2012/stusess.asp
* EASSLC 2012 is an ASL-Sponsored Meeting. ASL offers student travel
awards – for details, please see
http://aslonline.org/studenttravelawards.html
22ND INTERNATIONAL SYMPOSIUM ON LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2012)
Call for papers
http://costa.ls.fi.upm.es/lopstr12
Leuven, Belgium, September 18-20, 2012
(co-located with PPDP 2012)
* The aim of the LOPSTR series is to stimulate and promote international
research and collaboration on logic-based program development. LOPSTR
is open to contributions in logic-based program development in any
language paradigm. LOPSTR has a reputation for being a lively,
friendly forum for presenting and discussing work in progress. Formal
proceedings are produced only after the symposium so that authors can
incorporate this feedback in the published papers.
* The 22nd International Symposium on Logic-based Program Synthesis and
Transformation (LOPSTR 2012) will be held in Leuven, Belgium; previous
symposia were held in Hagenberg, Coimbra, Valencia, Lyngby, Venice,
London, Verona, Uppsala, Madrid, Paphos, London, Venice, Manchester,
Leuven, Stockholm, Arnhem, Pisa, Louvain-la-Neuve, Manchester and
Odense (you might have a look at the contents of past LOPSTR
symposia). LOPSTR 2012 will be co-located with PPDP 2012
(International ACM SIGPLAN Symposium on Principles and Practice of
Declarative Programming).
* Topics of interest cover all aspects of logic-based program
development, all stages of the software life cycle, and issues of both
programming-in-the-small and programming-in-the-large. Both full
papers and extended abstracts describing applications in these areas
are especially welcome. Contributions are welcome on all aspects of
logic-based program development, including, but not limited to:
- specification
- verification
- analysis
- specialization
- composition
- certification
- transformational techniques in SE
- synthesis
- transformation
- optimisation
- inversion
- program/model manipulation
- security
- applications and tools
* Important Dates
Abstract submission: May 21,2012
Paper submission: May 25, 2012
Notification (for pre-proceedings): June 29, 2012
Camera-ready (for pre-proceedings): July 8, 2012
Symposium: September 18-20, 2012
* Submissions must be formatted in the Lecture Notes in Computer Science
style. They cannot exceed 15 pages including references but excluding
well-marked appendices not intended for publication. Referees are not
required to read the appendices, and thus papers should be
intelligible without them.
Papers should be submitted to the submission website for LOPSTR 2012.
* Invited speakers:
- Tom Schrijvers, University of Ghent, Belgium
- Jürgen Giesl, RWTH Aachen, Germany (shared with PPDP)
* Program Committee:
Elvira Albert Complutense University of Madrid, Spain
Sergio Antoy Portland State University, US
Demis Ballis University of Udine, Italy
Henning Christiansen Roskilde University, Denmark
Michael Codish Ben-Gurion University of the Negev, Israel
Danny De Schreye K.U.Leuven, Belgium
Esra Erdem Sabanci University, Istanbul
Maribel Fernandez King's College London, UK
John Gallagher Roskilde University, Denmark
Robert Glück University of Copenhagen, Denmark
Miguel Gomez-Zamalloa Complutense University of Madrid, Spain
Rémy Haemmerlé Technical University of Madrid, Spain
Reiner Hähnle TU Darmstadt, Germany
Geoff Hamilton Dublin City University, Ireland
Carsten Fuhs University College London, UK
Gerda Janssens K.U.Leuven, Belgium
Isabella Mastroeni University of Verona, Italy
Kazutaka Matsuda University of Tokyo, Japan
Paulo Moura Universidade da Beira Interior, Portugal
Johan Nordlander Luleå University of Technology, Sweden
Andrey Rybalchenko Technische Universität München, Germany
Kostis Sagonas Uppsala University, Sweden
Francesca Scozzari Università "G. D'Annunzio" di Chieti, Italy
Valerio Senni Universtà di Roma "Tor Vergata", Italy
German Vidal Technical University of Valencia, Spain
* Program Chair:
Elvira Albert
Department of Computer Science (DSIC)
Complutense University of Madrid
Madrid, Spain
* General Co-Chairs
Daniel De Schreye and Gerda Janssens
Department of Computer Science
K.U.Leuven, Celestijnenlaan 200 A, B-3001 Heverlee, Belgium
12TH INTERNATIONAL WORKSHOP ON AUTOMATED VERIFICATION OF CRITICAL SYSTEMS (AVOCS 2012)
18-20th September 2012
Bamberg, Germany
http://www.swt-bamberg.de/AVoCS2012/
* The aim of AVoCS 2012 is to contribute to the interaction and exchange
of ideas among members of the international research community on
tools and techniques for the verification of critical systems. The
subject is to be interpreted broadly and inclusively. It covers all
aspects of automated verification, including model checking, theorem
proving, SAT/SMT constraint solving, abstract interpretation, and
refinement pertaining to various types of critical systems which need
to meet stringent dependability requirements (safety-critical,
security-critical, business-critical, performance-critical, etc).
Contributions that describe different techniques, or industrial case
studies are encouraged. The technical programme will consist of
invited and contributed talks and also allow for short presentations
of ongoing work. The workshop will be relatively informal, with an
emphasis on discussion.
* Invited Speakers
Jon Holt (Atego, UK)
Jaco van de Pol (U. Twente, NL)
* This year there will be an "Inside Tools" track consisting of
invited talks by Michael Goldsmith (U. Oxford, UK) and Christoph
Weidenbach (MPI Informatik, Saarbrücken, D).
* Topics include (but are not limited to)
Model Checking
Automatic and Interactive Theorem Proving
SAT, SMT or Constraint Solving for Verification
Abstract Interpretation
Specification and Refinement
Requirements Capture and Analysis
Verification of Software and Hardware
Verification of Security-Critical Systems
Specification and Verification of Fault Tolerance and Resilience
Probabilistic and Real-Time Systems
Dependable Systems
Verified System Development
Industrial Applications
* Important Dates
Submission (full papers): 1st June 2012
Notification (full papers): 16th July 2012
Submission (short papers): 23rd July 2012
Notification (short papers): 25th July 2012
Registration deadline (including accommodation): 30th July 2012
Submission of final versions: 3rd August 2012
Workshop: 18-20th September 2012
* Program Committee
Jiri Barnat (Masaryk U. Brno, CZ)
Radu Calinescu (Aston U., UK)
Javier Esparza (TU Munich, D)
Michael Goldsmith (U. Oxford, UK)
Constance Heitmeyer (Naval Research Laboratory, US)
Keijo Heljanko (Aalto U., FI)
Holger Hermanns (U. Saarbrücken, D)
Cliff Jones (Newcastle U., UK)
Gerald Lüttgen (U. Bamberg, D, Co-Chair)
Stephan Merz (INRIA Nancy & LORIA, F, Co-Chair)
Alice Miller (U. Glasgow, UK)
Markus Roggenbach (Swansea U., UK)
Thomas Santen (Microsoft Research Aachen, D)
Tayssir Touili (LIAFA Paris, F)
Helen Treharne (U. Surrey, UK)
Laurent Voisin (Systerel, F)
* Steering Committee
Michael Goldsmith (U. Oxford, UK)
Stephan Merz (INRIA Nancy & LORIA, F)
Markus Roggenbach (Swansea U., UK)
* Organization Committee
Gerald Lüttgen
David White
Alexandra Homer
8th SCANDINAVIAN LOGIC SYMPOSIUM (SLS 2012)
20-21 August 2012
Roskilde University, DENMARK
Third Announcement and Call for Papers
* The 8th Scandinavian Logic Symposium will be held at Roskilde University, Trekroner,
Denmark, 20-21 August 2012.
* After a gap of fifteen years, the Scandinavian Logic Symposium is back. The
Symposium is the first major initiative of the newly revived Scandinavian Logic Society (SLS,
http://scandinavianlogic.org/) and will be held at Roskilde University (RUC), Denmark.
* As with previous editions of this conference, the aim of the programme is to reflect current
activity in logic in our part of the world. So we hope that participants from Scandinavia, the Baltic
countries and Northwestern Russia will take the opportunity to contribute a talk and to meet
with fellow logicians from the area. But needless to say, we also extend a warm welcome to
logicians from further afield and plan to present a varied and interesting collection of invited and
contributed talks.
* TOPICS
The scope of SLS 2012 is broad, ranging over the whole area of
mathematical and philosophical logic, and logical methods in
computer science. Suitable topics include (but are not limited to):
- Proof Theory and Constructivism
- Model Theory (including Finite Model Theory)
- Set Theory
- Computability Theory
- Categorical Logic
- Logic and Provability
- Logic and Computer Science
- Logic and Linguistics
- Modal, Hybrid, Temporal, and Description Logic
- Logics of Games, Dynamics and Interaction
- Philosophy of Mathematics
- Philosophy of Computation
- Philosophy of Logic
- Philosophical Logic
* INVITED SPEAKERS
The Program Committee is delighted to announce the names of the four invited speakers:
Nikolaj Bjorner
Rosalie Iemhoff (sponsored by The Danish Network for the History and Philosophy of Mathematics)
Per Martin-Löf
Boban Velickovic
* SLS TUTORIALS
On August 22nd, the day after the symposium finishes, a number of
tutorials for PhD-students (or anyone else who is interested) will
be given. These are intended to start from a relatively elementary
level and lead on to current research problems.
The following tutorial lectures have been confirmed so far:
- Lars Kristiansen - "Honest subrecursive degree theory"
- Sara Negri - "Labelled proof systems for modal logic"
- M. H. Sørensen - "Curry-Howard Isomorphism"
* RELATED EVENTS:
Also note that Advances in Modal Logic (AiML) will be held on 22-25
August 2012, Copenhagen, Denmark. URL:http://hylocore.ruc.dk/aiml2012/
* PROGRAM COMMITTEE
Co-chairs: Neil Jones (Copenhagen) and Erik Palmgren (Stockholm)
Members:
Torben Brauner (Roskilde)
Peter Dybjer (Chalmers)
Lars Kristiansen (Oslo)
Øystein Linnebo (Birkbeck)
Sara Negri (Helsinki)
Dag Normann (Oslo)
Asger Törnquist, (Vienna)
Jouko Väänänen (Helsinki)
* ORGANISING COMMITTEE
Patrick Blackburn (RUC), Klaus Frovin Jørgensen (RUC), Stig Andur Petersen (RUC)
* SUBMISSIONS
Abstracts of talks should be submitted by May 1, 2012** using the EasyChair system
https://www.easychair.org/conferences/?conf=sls2012
The abstracts may not exceed 3 pages (including bibliography) and should be in PDF format.
* IMPORTANT FDATES
Submission: 1 June
Notification of acceptance: 15 June
* STUDENT GRANTS
We are happy to announce that the ASL is sponsoring SLS2012. Among
other things, this means that student ASL members may apply for ASL
travel funds that are available for sponsored meetings.
(see http://www.aslonline.org/studenttravelawards.html).
THIRD INTERNATIONAL WORKSHOP ON LOGICS FOR COMPONENT CONFIGURATION (LOCOCO 2012)
Call for Papers
September 8, 2012, Budapest, Hungary
co-located with ICLP'2012
http://lococo.irill.org/2012/
* Complex technical systems are nowadays frequently assembled from
configurable components. Witness examples such as Linux distributions
(software) or cars built according to customers preferences
(hardware). This workshop aims at bringing together researchers who
are interested in using logic-based methods to specify and reason
about such component-based systems.
* Topics of interest include:
PROBLEM MODELLING: knowledge representation and acquisition,
incomplete knowledge, inconsistent knowledge,
REASONING METHODS:
constraint satisfaction and optimization, logic and answer-set
programming, SAT solving and extensions, integer programing,
local search, symmetry breaking
INTERACTIVITY:
user preferences, machine learning, distributed environments
APPLICATIONS AND TOOLS:
case studies, current challenges, application reports
* Important dates:
Paper submission: 20 June 2012; Notification: 13 July 2012
ACP SUMMER SCHOOL IN CONSTRAINT PROGRAMMING 2012
Call for Participation
* The next Summer School in Constraint Programming will take place
24-28 September 2012 in Wroclaw, Poland. The school is sponsored by
the Association for Constraint Programming. The subject of the school
will be the theory and practice of constraint programming.
* Speakers
- Andrei Bulatov (Constraints: Counting and Approximation)
Simon Fraser University, Burnaby, Canada
- Witold Charatonik (Set constraints)
Wroclaw University, Poland
- Agostino Dovier (Constraint programming and biology)
Udine University, Italy
- Willem Jan van Hoeve (Operations Research techniques in constraint programming)
Carnegie Mellon University, Pittsburgh, USA
- Peter Jeavons (Constraints and complexity)
University of Oxford, UK
- Michele Lombardi (Resource allocation and scheduling)
University of Bologna, Italy
* Registration costs:
until July 15th: 300 Euro, after July 15th: 400 Euro.
* For more information see http://acpss2012.ii.uni.wroc.pl/
30TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE (STACS 2013)
February 27-March 2, 2013, Kiel, Germany
Submission Deadline: Sep 21, 2012
http://www.stacs2013.uni-kiel.de
* SCOPE
Authors are invited to submit papers presenting original and
unpublished research on theoretical aspects of computer
science. Typical areas include (but are not limited to):
- algorithms and data structures, including: parallel, distributed,
approximation, and randomized algorithms, computational geometry,
cryptography, algorithmic learning theory, analysis of algorithms;
- automata and formal languages, games;
- computational complexity, randomness in computation;
- logic in computer science, including: semantics, specification and
verification, rewriting and deduction;
- current challenges, for example: natural computing, quantum
computing, mobile and net computing.
* PROGRAM COMMITTEE
- Eric Allender, Rutgers U.
- Pablo Barceló, U. de Chile
- Frédérique Bassino, U. Paris 13
- Artur Czumaj, U. of Warwick
- Hervé Fournier, U. Paris Diderot
- Edward A. Hirsch, Steklov Institute, St. Petersburg
- Iordanis Kerenidis, U. Paris Diderot
- Michal Koucký, Czech Academy of Sciences - Dieter Kratsch, U. de Lorraine
- Andrei Krokhin, Durham U.
- Antonín Kučera, Masaryk U.
- Markus Lohrey, U. of Leipzig
- Katarzyna Paluch, U. of Wroclaw
- Natacha Portier, ENS Lyon, co-chair
- Kirk Pruhs, U. of Pittsburgh
- Peter Rossmanith, RWTH Aachen
- Günter Rote, Freie Universität Berlin
- Thomas Sauerwald, MPI Saarbrücken
- Sandeep Sen, IIT Delhi
- Subhash Suri, UC Santa Barbara
- Jacobo Toran, Ulm U.
- Jouko Väänänen, U. of Helsinki and U. of Amsterdam
- Thomas Wilke, Kiel U., co-chair
- Carsten Witt, Technical U. of Denmark
- Gerhard Woeginger, TU Eindhoven
- Marc Zeitoun, U. Bordeaux 1
* INVITED SPEAKERS
- Kousha Etessami, University of Edinburgh
- Kurt Mehlhorn, MPI Saarbrücken and Saarland University
- Stéphan Thomassé, Université Montpellier II
* TUTORIAL
Dániel Marx, MTA SZTAKI: Algorithmic Graph Structure Theory
* SUBMISSIONS
Authors are invited to submit a draft of a full paper with at most 12
pages. The usage of pdflatex and the LIPIcs style file (see below) are
mandatory; no changes to font size, page geometry etc. are permitted.
* The paper should contain a succinct statement of the issues and of
their motivation, a summary of the main results, and a brief
explanation of their significance, accessible to non-specialist
readers. Proofs omitted due to space constraints must be put into an
appendix to be read by the program committee members at their
discretion.
* IMPORTANT DATES
Submission website opens: Jun 1, 2012
Submission deadline: Sep 21, 2012
Notification: Dec 7, 2012
Final version due: Jan 9, 2013
Symposium: Feb 27-Mar 2, 2013
* CONTACT INFORMATION
info@stacs2013.uni-kiel.de (for general information)
pc-chairs@stacs2013.uni-kiel.de (for information regarding paper submission)
ONLINE LOGIC UNDERGRADUATE COURSE AT STANFORD
* The Computer Science Department at Stanford University is creating
online versions of many of their courses, to be distributed via the
WWW.
* An introductory course on Logic, designed by Michael Genesereth,
beginning on April 23 and running through June, has been made
available online at http://www.coursera.org/intrologic.
* The course is free to anyone anywhere and will remain so in perpetuity.
* His version differs from other introductions in that it starts
with Herbrand semantics. Herbrand semantics makes the presentation
of semantics much more accessible than in courses that start with
Tarskian semantics. At the same time, the course remains
rigorous. We present both a Natural Deduction proof system and a
Resolution-based proof system based on this semantics. The online
format of the course makes the material available to all. Also, it
aims at improving education through the use of the medium.
There are videos, notes, interactive exercises sprinkled throughout
the videos and the notes; and there is a social network for students
to use in communicating with each other and the instructors.
EUROPEAN ASSOCIATION ON PROGRAMMING LANGUAGES AND SYSTEMS BEST DISSERTATION AWARD 2011
* This award is given to the PhD student who has made the most original
and influential contribution to the area of Programming Languages and
Systems, and has graduated in the period from November 2010 up to
November 2011 at a European academic institute. The purpose of the award
is to draw attention to excellent work, to help the career of the
student in question, and to promote the research field as a whole.
* The winner of this second edition of the EAPLS Dissertation Award is
Dr. Santiago Zanella Béguelin
École nationale supérieure des mines de Paris
for his dissertation on
Formal Certification of Game-Based Cryptographic Proofs
* The winner was selected by a committee of international experts. Details
on the procedure can be found at http://eapls.org/pages/phd_award/. The
candidate theses were judged on originality, impact, relevance, and
quality of writing.
* The jury concluded unanimously that Dr. Zanella's dissertation is an
outstanding piece of work; it ended first amidst some very strong
contenders.
* The EAPLS heartily congratulates Dr. Zanella as well as his supervisor,
Gilles Barthe, with winning the award. We believe that the quality of
the work is a clear sign of a long and fruiful academic career in the
area of Programming Languages and Systems.
Back to the LICS web page.