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.