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.