Newsletter 149
August  6, 2013

*******************************************************************
* Past issues of the newsletter are available at
 http://lii.rwth-aachen.de/lics/newsletters/
* Instructions for submitting an announcement to the newsletter
 can be found at
 http://lii.rwth-aachen.de/lics/newsletters/inst.html
*******************************************************************

TABLE OF CONTENTS
* NEWS
  CSL-LICS'14
  2013 CAV AWARD ANNOUNCEMENT
* DEADLINES
  Forthcoming Deadlines
* CALLS
  FOPARA+WST 2013 - Call for Participation
  ICLP 2013 - Call for Participation
  CSL 2013 - Call for Participation
  SOFSEM 2014 - Call for Papers
  CALCO 2013 - Call for Participation
  MihalisFest 2013 - Call for Participation
  STACS 2014 - Call for Papers
  FLOC 2014 - Call for Workshops
  LIX Colloquium - Call for Abstracts and Participation
  ETAPS 2014 - Call for Papers
  IWIL 2013 - Call for Contributions
  RAMiCS 2014 - Call for Papers
  I&C ICC - Call for Papers
  FLOPS 2014 - Call for Papers
  SMC 2014 - Preliminary Announcement
* JOB ANNOUNCEMENTS
  Postdocs in Biomodelling at Turku
  11 PhD Scholarships at Pisa


CSL-LICS'14
* Next year, LICS and CSL will hold a joint conference for the first time,
  as part of FLoC 2014. Tom Henzinger and Dale Miller are co-chairs of a
  joint PC of 38 members. The proceedings will be published by IEEE.
  A preliminary Call for Papers is available on the LICS website.
  http://lii.rwth-aachen.de/lics/csl-lics14/



2013 CAV AWARD
* The 2013 CAV (Computer-Aided Verification) Award was presented on July 17,
  2013, at the 25th annual CAV conference in Saint Petersburg, Russia, to
  Kim G. Larsen, Paul Pettersson, and Wang Yi for the development of UPPAAL,
  a model checker for real-time systems. The annual award, which recognizes
  a specific fundamental contribution or a series of outstanding contributions
  to the CAV field includes a $10,000 award. The award was presented with the
  citation: "for developing UPPAAL which is the foremost tool suite for the
  automated analysis and verification of real-time systems."
  The CAV conference is the premier international event for reporting research
  on Computer-Aided Verification, a sub-discipline of Computer Science which
  is concerned with ensuring that software and hardware systems operate
  correctly and reliably. The CAV award was established in 2008 by the
  conference steering committee and was given this year for the sixth time.



DEADLINES
* FOPARA+WST 2013
  Early registration deadline: August 8, 2013
  http://fopara2013.cs.unibo.it/
  http://www.imn.htwk-leipzig.de/WST2013/
* ICLP 2013
  Late registration deadline: August 12, 2013
  http://www.iclp2013.org
* CSL 2013
  Late registration: August 25, 2013
  http://csl13.di.unito.it/
* SOFSEM 2014
  Submission deadline: August 25, 2013
  http://www.sofsem.sk
* CALCO 2013
  Late registration: August 26, 2013
  http://coalg.org/calco13/
* STACS 2014
  Paper submission: September 20, 2013
  http://stacs2014.sciencesconf.org/
* FLOC 2014
  Workshop proposal submission: September 30, 2013
  http://vsl2014.at/floc-ws/
* LIX Colloquium
  Abstract submission deadline: October 1, 2013
  http://www.lix.polytechnique.fr/colloquium2013/
* ETAPS 2014
  Submission deadline (abstracts): October 4, 2013
  Submission deadline (full papers): October 11, 2013
  http://www.etaps.org/2014
* IWIL 2013
  Submission of papers/abstracts: October 14, 2013
  http://www.eprover.org/EVENTS/IWIL-2013.html
* RAMiCS 2014
  Title and abstract submission: October 25, 2013
  Submission of full papers: November 1, 2013
  http://mathcs.chapman.edu/ramics2014
* INFORMATION AND COMPUTATION SPECIAL ISSUE ON ICC
  Submission deadline: November 1, 2013
  http://dice2013.di.unito.it/
* FLOPS 2014
  Submission deadline: December 13, 2013
  http://www.jaist.ac.jp/flops2014/



3RD INTERNATIONAL WORKSHOP ON FOUNDATIONAL AND PRACTICAL ASPECTS OF RESOURCE ANALYSIS (FOPARA 2013) AND 13TH INTERNATIONAL WORKSHOP ON TERMINATION (WST 2013)
  Call for Participation
  Bertinoro, Italy
  August 29-31 2013
  http://fopara2013.cs.unibo.it/
  http://www.imn.htwk-leipzig.de/WST2013/
* FOPARA
  The Workshop on Foundationa and Practical Aspects of Resource Analysis
  serves as a forum for presenting original research results that are
  relevant to the analysis of resource (time, space, and others) consumption
  by computer programs. The workshop aims to bring together the researchers
  that work on foundational issues with the researchers that focus more on
  practical results.
* WST
  The Workshop on Termination traditionally brings together, in an informal
  setting, researchers interested in all aspects of termination, whether this
  interest be practical or theoretical, primary or derived. The workshop also
  provides a ground for cross-fertilisation of ideas from term rewriting and
  from the different programming language communities. The friendly atmosphere
  enables fruitful exchanges leading to joint research and subsequent
  publications.
* THIS YEAR
  This year, the two workshop above will be co-located, and the sessions of
  WST and FOPARA will be interleaved, this way facilitating the interaction
  between the two communities.
* REGISTRATION
  Early registration deadline: August 8
  See http://www.ceub.it/default.asp?id_c=161&id=436#.UeaOwb5H4dU
* INVITED SPEAKERS
  Gilles Barthe, IMDEA Software
  Amir Ben-Amram, Tel-Aviv
  Byron Cook, UCL and Microsoft Research
* ACCEPTED PAPERS
  FOPARA: http://fopara2013.cs.unibo.it/abstracts.shtml
  WST: http://www.imn.htwk-leipzig.de/WST2013/



29TH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING (ICLP 2013)
  Call for Participation
  Istanbul, Turkey, August 24-29, 2013
  http://www.iclp2013.org
* ACCEPTED PAPERS
  The list of accepted regular papers and technical communcations is
  available on the conference home page: http://www.iclp2013.org.
* INVITED TALKS
  - Pascal Hitzler (http://www.pascal-hitzler.de)
    Recent advances concerning OWL and Rules.
  - Torsten Schaub (http://www.cs.uni-potsdam.de/~torsten)
    Experiencing Answer Set Programming at Work, Today and Tomorrow.
  - Hans von Ditmarsch (http://personal.us.es/hvd)
    Dynamic Epistemic Logic and Lying.
  - C.R. Ramakrishnan (http://www.cs.sunysb.edu/~cram/)
    Probabilistic Tabled Logic Programming with Application to Model Checking.
  Invited author(s) of the most influencial paper of ICLP/ILPS 1993.
  Invited author(s) of the most influencial paper of ICLP 2003.
* WORKSHOPS, DC, AND CONTEST
  - 9th ICLP Doctoral Consortium, August 24.
  - 13th International Colloquium on Implementation of Constraint and
    LOgic Programming System (CICLOPS): August 24-25.
  - 23rd Workshop on Logic-based methods in Programming Environments
    (WPLE): August 24-25.
  - WG17: August 24-25.
  - 1st International Workshop on Knowledge Representation and Reasoning
    in Robotics (KRR): August 25.
  - 6th International Workshop on Answer Set Programming and Other
    Computing Paradigms (ASPOCP): August 25.
  - Prolog Programming Contest: August 27.
  See http://www.iclp2013.org/en/Workshops.html for further details.
* REGISTRATION AND ACCOMODATION
  Information about registration and accomodation is available at the
  conference web site: http://www.iclp2013.org.
* SPONSORS
  The conference is sponsored by the Association for Logic Programming
  (ALP), Sabanci University, and Artificial Intelligence: An
  International Journal.
* ICLP 2013 ORGANIZATION
  - General Chairs: Esra Erdem (Sabanci University), Joohyung Lee
    (Arizona State University).
  - Program Comittee Chairs: Evelina Lamma (University of Ferrara),
    Terrance Swift (New University of Lisboa).
  - Workshop Chair: Hans Tompits (Vienna University of Technology).
  - Doctoral Consortium Chairs: Marco Gavanelli (University of Ferrara),
    Martin Gebser (University of Potsdam).
  - Publicity Chair: Peter Schueller (Sabanci University).
  - Prolog Programming Contest Chair: Bart Demoen (KU Leuven).
* CONFERENCE VENUE
  Istanbul is a city of unparalleled social and cultural richness.  It
  is as fascinating and historical as it is dynamic and modern.  Serving
  as the capital of two mighty empires for sixteen centuries, Eastern
  Roman (or Byzantine) and Ottoman, and set squarely between two
  continents, Istanbul has cultures and traditions that blend East with
  West and Mediterranean with Anatolian. Each civilization that has made
  Istanbul its home has left its mark in sublime and splendid ways, and
  the result a city that gives one the feeling of universal history at
  every step.
  Istanbul has always been a meeting place, a crosspoint and a
  destination. With the Ataturk Istanbul International Airport, getting
  to and from Istanbul has never been easier. With a capacity of far
  over 25 million travelers per year Istanbul is less than a three-hour
  flight from most European cities. Istanbul has a second airport
  located on the Asian side of the city, Sabiha Gokcen International
  Airport, which is an important arrival point especially for low-cost
  airlines.  Overall, Istanbul is served by more than 50 major airlines
  to hundreds of cities around the world.



22ND EACS ANNUAL CONFERENCE ON COMPUTER SCIENCE LOGIC (CSL 2013)
  Call for Participation
  Torino, September 2-5 2013
  http://csl13.di.unito.it/
* AIM AND SCOPE
  Computer Science Logic (CSL) is the annual conference of the European
  Association for Computer Science Logic (EACSL). The conference is intended
  for computer scientists whose research activities involve logic, as well as
  for logicians working on issues significant for computer science.
* LOCATION
  The 22nd EACSL Annual Conference on Computer Science Logic will be held at
  Museo di Scienze Naturali in Torino from Monday 2nd through Thursday 5th of
  September 2013.
* IMPORTANT DEADLINES FOR REGISTRATION
  Late registration: August 25th 2013
  On-site registration: --
* SATELLITE EVENTS
  The 9th  International Workshop on Fixed Points in Computer Science (FICS'13) will
  be held on 1st of September 2013 as a satellite event of CSL'13.
  The 14th International Workshop on Logic and Computational Complexity (LCC'13) will
  be held on 6th of September 2013 as a satellite event of CSL'13.
  An international summer school on "Linear logic and related topics" will be held
  from 28th through 31st of August 2013 as a satellite event of CSL'13.
  Details are in the web site of CSL'13.
* PROGRAMME CHAIR
  Simona Ronchi Della Rocca (Universita di Torino)



40TH INTERNATIONAL CONFERENCE ON CURRENT TRENDS IN THEORY AND PRACTICE OF COMPUTER SCIENCE (SOFSEM 2014)
  Call for Papers
  Hotel Atrium, Novy Smokovec, High Tatras, Slovakia
  January 25 - 30, 2014
  www.sofsem.sk
* AIMS
  40th International Conference on Current Trends in Theory and Practice
  of Computer Science SOFSEM (SOFtware SEMinar) 2014 will take place in
  Hotel Atrium, Novy Smokovec, High Tatras, Slovakia, on January 25-30,
  2014. SOFSEM 2014 is jointly organized by the Institute of Computer
  Science of P.J.Safarik University, Kosice, Slovakia and by the Slovak
  Society for Computer Science. The conference is supported by the Czech
  Society for Cybernetics and Informatics. The aim of the conference is
  to get together professionals from academia and industry working in
  various areas of Computer Science.
* PROGRAM COMMITTEE CHAIR
  Branislav Rovan, Bratislava, Slovakia
* CONFERENCE TRACKS
  Foundations of Computer Science
   track chair: Viliam Geffert, Kosice, Slovakia
  Software & Web Engineering
   track chair: A Min Tjoa, Wien, Austria
  Data, Information, and Knowledge Engineering
   track chair: Julius Stuller, Praha, Czech Republic
  Cryptography, Security, and Verification
   track chair: Bart Preneel, Leuven, Belgium
  Student Research Forum
   track chair: Roman Spanek, Praha, Czech Republic
* IMPORTANT DATES
  August 25, 2013: Submission Deadline
  October 11, 2013: Notification about Acceptance
  October 25, 2013: Deadline for Final Proceedings Versions
  January 25-30, 2014: Conference
   (January 25: arrival, January 30: departure)
* SUBMISSIONS
  https://www.easychair.org/conferences/?conf=sofsem2014



5TH INTERNATIONAL CONFERENCE ON ALGEBRA AND COALGEBRA IN COMPUTER SCIENCE (CALCO 2013)
  Call for Participation
  September 3 - 6, 2013
  Warsaw, Poland
  http://coalg.org/calco13/
* IMPORTANT DATES
  - Late registration: until August 26th, 2013
* SCOPE
  CALCO aims to bring together researchers and practitioners with
  interests in foundational aspects, and both traditional and emerging
  uses of algebra and coalgebra in computer science.
* INVITED SPEAKERS --
  - Andrej Bauer (University of Ljubljana, SI)
  - Mikolaj Bojanczyk (University of Warsaw, PL)
  - Neil Ghani (University of Strathclyde, UK)
  - Damien Pous (CNRS, ENS-Lyon, F)
* ACCEPTED PAPERS --
  Please see http://coalg.org/calco13/accepted-papers
  for a complete list.
* LOCATION
  Warsaw, the capital of Poland, is a lively city with many historic
  monuments and sights, but also with a thriving business district. It
  is easily accessible via two airports: the main Chopin Airport, used by
  most international carriers, and the recently open Warsaw Modlin
  Airport (30 minutes away by rail), used by budget airlines.
* SATELLITE WORKSHOPS
  CALCO 2013 will be preceded by the CALCO Early Ideas Workshop, chaired
  by Monika Seisenberger (Swansea University). The workshop is dedicated
  to presentation of work in progress and original research
  proposals. PhD students and young researchers are particularly
  encouraged to contribute.
  A workshop dedicated to tools based on algebraic and/or coalgebraic
  principles, CALCO Tools, will be held alongside the main conference,
  chaired by Lutz Schroeder (Friedrich Alexander Universitaet
  Erlangen-Nuernberg). Papers of this workshop will be included in the
  CALCO proceedings.
* PROGRAMME CHAIRS
  Reiko Heckel - University of Leicester, UK (cochair)
  Stefan Milius - Friedrich-Alexander Universitaet Erlangen-Nuernberg, D (cochair)
* ORGANISING COMMITTEE
  Bartek Klin      (University of Warsaw, PL)
  Andrzej Tarlecki (University of Warsaw, PL)
  Joanna Ochremiak (University of Warsaw, PL)



HORIZONS IN TCS: A CELEBRATION OF MIHALIS YANNAKAKIS's 60TH BIRTHDAY
  Call for Participation
  Workshop at Center for Computational Intractability (CCI)
  Princeton University, NJ, USA
  August 27-29, 2013.
  http://intractability.princeton.edu/blog/2013/01/mihalisfest-2013/
* See the workshop's webpage for further information,
  including list of speakers.



31ST INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE (STACS 2014)
  Call for Papers
  March 5 - March 8, 2014, Lyon, France
  Submission Deadline: Sep 20, 2013 (23:59:59 GMT/UTC)
  http://stacs2014.sciencesconf.org/
* SUBMISSIONS
  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, parameterized 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.
* INVITED SPEAKERS
  - Javier Esparza, TUM - Technische Universitaet Muenchen
  - Peter Bro Miltersen, Aarhus University
  - Luc Segoufin, INRIA, Ecole Normale Superieure de Cachan
* TUTORIAL
  Neeraj Kayal, Microsoft Research India: Arithmetic Circuit Complexity



THE SIXTH FEDERATED LOGIC CONFERENCE (FLoC 2014)
  Call for Workshops
  Part of VIENNA SUMMER OF LOGIC (VSL 2014)
  July 2014, Vienna, Austria
* FLOC 2014
  The Sixth Federated Logic Conference (FLoC 2014) will be part of the
  Vienna Summer of Logic (VSL), the largest logic event in history, with
  over 2000 expected participants. FLoC 2014 will host eight conferences
  and many workshops. Each workshop will be affiliated with at least one
  of the eight conferences.
  - 26th International Conference on Computer Aided Verification (CAV)
    Workshop Chair: Martina Seidl http://fmv.jku.at/seidl/
  - 27th IEEE Computer Security Foundations Symposium (CSF)
    Workshop Chair: Luca Vigano http://profs.sci.univr.it/~vigano/
  - 30th International Conference on Logic Programming (ICLP)
    Workshop Chair: Haifeng Guo http://faculty.ist.unomaha.edu/hguo/
  - 7th International Joint Conference on Automated Reasoning (IJCAR)
    Workshop Chair: Matthias Horbach http://www.mpi-inf.mpg.de/~horbach/
  - 5th Conference on Interactive Theorem Proving (ITP)
    Workshop Chair: David Pichardie http://www.irisa.fr/celtique/pichardie/
  - Joint meeting of the 23rd EACSL Annual Conference on Computer Science
    Logic (CSL) and the 29th ACM/IEEE Symposium on Logic in Computer Science
    (LICS)
    Workshop Chairs:
    Patricia Bouyer-Decitre http://www.lsv.ens-cachan.fr/~bouyer/
    Georg Moser http://cl-informatik.uibk.ac.at/users/georg/
  - 25th International Conference on Rewriting Techniques and Applications
    (RTA) joined with the 12th International Conference on Typed Lambda
    Calculi and Applications (TLCA)
    Workshop Chair: Aleksy Schubert http://www.mimuw.edu.pl/~alx/
  - 17th International Conference on Theory and Applications of
    Satisfiability Testing (SAT) Workshop Chair: Ines Lynce
    http://sat.inesc-id.pt/~ines/
* SUBMISSION OF WORKSHOP PROPOSALS
  Researchers and practitioners are invited to submit proposals for
  workshops on topics in the field of computer science, related to logic
  in the broad sense.  Each workshop proposal must indicate at least one
  conference to be affiliated with, and among those exactly one primary
  hosting conference.
  It is suggested that prospective workshop organizers contact the
  relevant conference Workshop Chair(s) before submitting a proposal.
  Proposals should be submitted electronically to EasyChair at the
  following address:  http://www.easychair.org/conferences/?conf=floc14cfw
  Proposals should consist of two parts. First, a short scientific
  justification of the proposed topic, its significance, and the
  particular benefits of the workshop to the community, as well as a list
  of previous or related workshops (if relevant). A second, organizational
  part should include:
  - contact information of the workshop organizers
  - proposed primary hosting conference (and possibly other affiliated
    conference(s))
  - estimate of the audience size
  - proposed format and agenda (for example, paper presentations,
    tutorials, demo sessions, etc.)
  - potential invited speakers
  - procedures for selecting papers and participants
  - plans for dissemination, if any (for example, special issues of journals)
  - duration (which may vary from one day to two days) and preferred period
  The FLoC Organizing Committee will determine the final list of accepted
  workshops based on the recommendations from the Workshop Chairs of the
  hosting conferences and subject to the availability of space and facilities.
* FURTHER INFORMATION
  See the FLoC 2014 Workshop Guide http://vsl2014.at/floc-ws/
* IMPORTANT DATES
  Submission of workshop proposals: by September 30, 2013
  Notification: by November, 2013
  Pre-FLoC workshops: Saturday & Sunday, July 12-13
  Mid-FLoC workshops: Thursday & Friday, July 17-18
  Post-FLoC workshops: Wednesday & Thursday, July 23-24
* CONTACT INFORMATION
  Questions regarding workshop proposals should be sent to the workshop
  chairs of conferences that are supposed to host the workshop (see
  above). General questions should be sent to floc14cfw@easychair.org
  Please consult the FLoC 2014 Workshop Guide http://vsl2014.at/floc-ws/
* FLoC 2014 WORKSHOP CHAIR
  Stefan Szeider
  http://www.szeider.net
  Vienna University of Technology



LIX COLLOQUIUM ON THE THEORY AND APPLICATION OF FORMAL PROOFS
  http://www.lix.polytechnique.fr/colloquium2013/
  5-7 November 2013
  Ecole Polytechnique, Palaiseau, France
  In association with: PSATTT, 8 Nov 2013.
* EVENTS
  This three-day colloquium will be composed of a number of hour long
  talks by invited speakers and 30 minute talks based on contributed
  abstracts. It is meant as a venue for the exchange of ideas. No
  proceedings are planned apart from a simple collection of short
  abstracts of all talks.
  The colloquium will be followed by the workshop: Proof Search in
  Axiomatic Theories and Type Theories (PSATTT) 2013.
* THEME
  Formal proofs are becoming increasingly important in a number of
  domains in computer science and mathematics. The topic of the
  colloquium is structural proof theory, broadly construed.
  The following are some examples of relevant topics:
  - STRUCTURE OF PROOFS
    sequential and parallel structures in proofs; sharing and
    duplication of subproofs; permutations of proof steps; canonical
    forms; focusing and polarities; graphical proof syntax; proof
    complexity
  - CHECKING PROOFS
    generating, transmitting, translating, and checking proof objects;
    universal proof languages; proof certificates; proof compression;
    cut-introduction; certification of high-performance systems (SMT,
    resolution, etc.)
  - PROOF SEARCH
    automated and interactive proof search in constrained logics
    (linear, temporal, bunched, probabilistic, etc.); combining
    deduction and computation in search; reasoning about inductive and
    co-inductive fixpoints; cyclic proofs; computational
    interpretations of proof search
  - COMPUTING WITH PROOFS
    cut-elimination strategies; cut-elimination by resolution (CERes);
    Curry-Howard correspondence
  These lists are not exhaustive.
* INVITED SPEAKERS
  Chad E. Brown, Saarland University
  Agata Ciabattoni, TU Vienna
  David Delahaye, CNAM, invited by PSATTT
  Alessio Guglielmi, University of Bath
  Dominic Hughes, Stanford University
  Sara Negri, University of Helsinki
  Claudio Sacerdoti Coen, University of Bologna
  Alex Simpson, University of Edinburgh
  [More to be confirmed]
* CALL FOR ABSTRACTS AND PARTICIPATION
  The colloquium is free and open to all, but registration is requested.
  If you would like to attend, please send a mail to Kaustuv Chaudhuri
  .
  If you would like to contribute a 30 minute presentation related to the
  themes of the colloquium, please submit a 1-2 page abstract (as
  PDF) via EasyChair at https://www.easychair.org/conferences/?conf=tafp2013
  The deadline for submissions is 1 October 2013. Decisions on
  submissions will be made before 8 October 2013.
* VENUE
  The colloquium and the PSATTT workshop will take place in the
  Laboratoire d'Informatique (LIX) of the Ecole Polytechnique. The
  Polytechnique is situated in the southern suburbs of Paris, about
  40 minutes from central Paris by regional train. LIX is co-located
  with INRIA Saclay.
* ORGANIZERS
  Dale Miller, Lutz Strassburger, Stephane Graham-Lengrand, Assia
  Mahboubi, Kaustuv Chaudhuri
* SUPPORT
  - Laboratoire d’Informatique (LIX) of the Ecole Polytechnique
    http://www.lix.polytechnique.fr/
  - ERC Advanced Grant ProofCert
    https://team.inria.fr/parsifal/proofcert/
* SEE ALSO
   - PSATTT Workshop 2013
     http://www.lix.polytechnique.fr/~lengrand/Events/PSATTT13/
   - Travelling to LIX/Ecole Polytechnique
     https://team.inria.fr/parsifal/meetings/directions/



17TH EUROPEAN JOINT CONFERENCES ON THEORY AND PRACTICE OF SOFTWARE (ETAPS 2014)
  Call for Papers
  Grenoble,  France
  5-13 April 2014
  http://www.etaps.org/2014
* ABOUT ETAPS
  ETAPS is the primary European forum for academic and industrial
  researchers working on topics relating to software science. ETAPS,
  established in 1998, is a confederation of six main annual
  conferences, accompanied by satellite workshops. ETAPS 2014 is the
  seventeenth event in the series.
* MAIN CONFERENCES (7-11 April)
  - CC: Compiler Construction
  - ESOP: European Symposium on Programming
  - FASE: Fundamental Approaches to Software Engineering
  - FOSSACS: Foundations of Software Science and Computation Structures
  - POST: Principles of Security and Trust
  - TACAS: Tools and Algorithms for the Construction and Analysis of Systems
  TACAS '14 hosts the 3rd Competition on Software Verification
  (SV-COMP).
* INVITED SPEAKERS
  - Robert Harper (Carnegie Mellon University, US)
  - John Launchbury (Galois, US)
  - Benoit Dupont de Dinechin (Kalray, France)
  - Maurice Herlihy (Brown University, US)
  - Christel Baier (Technical University of Dresden, Germany)
  - Petr Jancar (Technical Univ of Ostrava, Czech Republic)
  - David Mazieres (Stanford University, US)
  - Orna Kupferman (Hebrew University Jerusalem, Israel)
* IMPORTANT DATES
  -  4 October  2013: Submission deadline for abstracts (strict)
  - 11 October  2013: Submission deadline for full papers (strict)
  - 20 December 2013: Notification of acceptance
  - 17 January  2014: Camera-ready versions due
  ESOP and FoSSaCS will use a rebuttal (author response) phase.
* GENERAL SUBMISSION INFORMATION
  ETAPS conferences accept two types of contributions: research papers
  and tool demonstration papers. Both types will appear in the
  proceedings and have presentations during the conference. (TACAS has
  more categories, see below.)
  A condition of submission is that, if the submission is accepted, one
  of the authors attends the conference to give the
  presentation. Submitted papers must be in English presenting original
  research. They must be unpublished and not submitted for publication
  elsewhere. In particular, simultaneous submission of the same
  contribution to multiple ETAPS conferences is forbidden. The
  proceedings will be published in the Advanced Research in Computing
  and Software Science (ARCoSS) subline of Springer's Lecture Notes in
  Computer Science series.
  Papers must follow the formatting guidelines specified by Springer at
  the URL http://www.springer.de/comp/lncs/authors.html
  and be submitted electronically in pdf through the Easychair author
  interface of the respective conference.
  Submissions not adhering to the specified format and length may be
  rejected immediately.
* RESEARCH PAPERS
  Different ETAPS 2014 conferences have different page limits.
  Specifically, FASE, FOSSACS and TACAS have a page limit of 15 pages,
  whereas CC, ESOP and POST allow at most 20 pages. Additional material
  intended for the referees but not for publication in the final version
  - for example, details of proofs - may be placed in a clearly marked
  appendix that is not included in the page limit. ETAPS referees are at
  liberty to ignore appendices and papers must be understandable without
  them. TACAS solicits not only regular research papers, but also case study
  papers.
* TOOL DEMONSTRATION PAPERS
  Submissions should consist of two parts:
  - The first part, at most 4 pages, should describe the tool
  presented. Please include the URL of the tool (if available) and
  provide information that illustrates the maturity and robustness of
  the tool. (This part will be included in the proceedings.)
  - The second part, at most 6 pages, should explain how the
  demonstration will be carried out and what it will show, including
  screen dumps and examples. (This part will be not be included in the
  proceedings, but will be evaluated.)
  ESOP and FOSSACS do not accept tool demonstration papers.
  In addition to tool demonstration papers (max 6 pages in their case),
  TACAS solicits also regular tool papers (max 15 pages) adhering to
  specific instructions about content and organization.
* SATELLITE EVENTS (5-6 April, 12-13 April)
  Around 20 satellite workshops will take place before and after the
  main conferences. In addition, on 6 April, some tutorials on topics of
  wide interest will be offered.
* HOST CITY
  Located in the southeastern part of France, Grenoble is considered as
  the capital of the Alps. Grenoble is surrounded by nature and high
  mountains: down the Alps, Grenoble is the meeting point of two
  important rivers, Drac and Isere. Grenoble has important historical
  and gastronomic heritages. Leisure activities in breathtaking nature
  are easily organizable and within short-distance. Grenoble is also a
  major scientific center in Europe dedicated to high-tech technologies,
  e.g., nano, micro, bio, and information technologies.
* HOST INSTITUTION
  The event is organized by Universite Joseph Fourier. Located at the
  heart of the Alps, in outstanding scientific and natural surroundings,
  the Universite Joseph Fourier in Grenoble is a leading University of
  Science, Technology and Health.
* ORGANIZERS
  - General chair: Saddek Bensalem
  - Conferences chair: Yassine Lakhnech
  - Workshops chair: Axel Legay
  - Publicity chair: Ylies Falcone
  - Finance chair: Nicolas Halbwachs
  - Web site chair: Marius Bozga
* FURTHER INFORMATION
  Please do not hesitate to contact the organizers at
  etaps2014.organization@imag.fr.



10TH INTERNATIONAL WORKSHOP ON THE IMPLEMENTATION OF LOGICS (IWIL 2013)
  Call for Contributions
  December 14th, 2013
  Stellenbosch, South Africa
  http://www.eprover.org/EVENTS/IWIL-2013.html
* The 10th International Workshop on the Implementation of Logics will
  be held on December 14th, 2013, colocated with the 19th International
  Conference on Logic for Programming, Artificial Intelligence, and
  Reasoning in Stellenbosch, South Africa.
  We are looking for contributions describing implementation techniques
  for and implementations of automated reasoning programs, theorem
  provers for various logics, logic programming systems, and related
  technologies. Topics of interest include, but are not limited to:
  + Propositional logic and decision procedures, including SMT
  + First-order and higher order logics
  + Non-classical logics, including modal, temporal, description, and
    non-monotonic logics
  + Formal foundations for efficient implementation of logics
  + Data structures and algorithms for the efficient representation and
    processing of logical concepts
  + Proof/model search organization and heuristics for logical reasoning
    systems
  + Data analysis and machine learning approaches to search control
  + Techniques for proof/model search visualization and analysis
  + Practical constraint handling
  + Reasoning with ontologies and other large theories
  + Implementation of efficient theorem provers and model finders for
    different logics
  + System descriptions of logical reasoning systems
  + Issues of reliability, witness generation, and  witness verification
  + Evaluation and benchmarking of provers and other logic-based systems
  + I/O standards and communication between reasoning systems
  We are particularly interested in contributions that help the
  community to understand how to build useful and powerful reasoning
  systems, and how to apply them in practice.
* CONTRIBUTIONS
  Researchers interested in participating are invited to submit a
  position statement (2 pages), a short paper (up to 5 pages), or a full
  papers (up to 15 pages). Submissions should be made via EasyChair at
  http://www.easychair.org/conferences/?conf=iwil2012
  Submissions will be refereed by the program committee, which will
  select a balanced program of high-quality contributions.
  Submissions should be in standard-conforming PDF. Final versions will
  be required to be submitted in LaTeX using the easychair.cls class
  file. Proceedings will be published as EasyChair Proceedings.
  If number and quality of the submissions warrant it, we plan to
  produce a special issue of a recognized journal on the topic of the
  workshop.
* IMPORTANT DATES
  Submission of papers/abstracts:  October 14th, 2013
  Notification of acceptance:      November 11th, 2013
  Camera ready versions due:       December 2nd, 2013
  Workshop:                        December 14th, 2013
* CHAIRS
  Stephan Schulz (Co-Chair)   TU Muenchen
  Geoff Sutcliffe (Co-Chair)  University of Miami
  Boris Konev (Co-Chair)      University of Liverpool



14TH INTERNATIONAL CONFERENCE ON RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE (RAMiCS 2014)
  Call for Papers
  27 April - 1 May 2014
  Marienstatt im Westerwald, Germany
  http://mathcs.chapman.edu/ramics2014
* SCOPE
  We invite submissions in the general area of Relational and Algebraic Methods
  in Computer Science. Special focus will lie on formal methods for software
  engineering, logics of programs and links with neighbouring disciplines.
* HISTORY
  Since 1994, the RelMiCS meetings on Relational Methods in Computer Science
  have been a main forum for researchers who use the calculus of relations
  and similar algebraic formalisms as methodological and conceptual tools.
  The AKA workshop series on Applications of Kleene algebra started with a
  Dagstuhl seminar in 2001 and was co-organised with the RelMiCS conference
  until 2009. Since 2011, joint RAMiCS conferences continue to encompass
  the scope of both RelMiCS and AKA.
* STUDENT PROGRAM
  The conference will be accompanied by a PhD training program. Details will
  be published in due time in a special call and on the conference website.
* PROCEEDINGS AND SUBMISSION
  All papers will be formally reviewed. We plan to publish the
  proceedings in the series Lecture Notes in Computer Science ready at
  the conference. Submissions must be in English, in Postscript or PDF
  format, and provide sufficient information to judge their merits.
  They must be unpublished and not submitted for publication elsewhere.
  Submission is via EasyChair at the following address:
  https://www.easychair.org/conferences/?conf=ramics2014
* IMPORTANT DATES
  Title and abstract submission:       October 25, 2013
  Submission of full papers:           November 1, 2013
  Notification:                        December 13, 2014
  Final versions due (firm deadline):  January 17, 2014
  Conference                           April 27 - May 1, 2014



INFORMATION & COMPUTATION SPECIAL ISSUE ON IMPLICIT COMPUTATIONAL COMPLEXITY
  Call for Papers
  http://dice2013.di.unito.it
* GUEST EDITORS
  Simona Ronchi Della Rocca (ronchi@di.unito.it)
  Virgile Mogbil (virgile.mogbil@lipn.univ-paris13.fr)
* DATES
  Deadline: November 1st 2013
  Notification: May 15th 2013
* SCOPE
  The area of Implicit Computational Complexity (ICC) has grown out
  from several proposals to use logic and formal methods to delineate
  complexity-bounded computation (e.g. polynomial time, polynomial space
  or logspace computation). It aims at studying computational complexity
  without referring to external measuring conditions or a particular
  machine model, but only by considering language restrictions or
  logical/computational  principles implying complexity properties.
* TOPICS
  Contributions on various aspects of ICC including (but not exclusively)
  are welcome :
  - types for controlling complexity,
  - logical systems for implicit computational complexity,
  - linear logic,
  - semantics of complexity-bounded computation,
  - complexity analysis,
  - rewriting and termination orderings,
  - interpretation-based methods for implicit complexity,
  - programming languages for complexity bounded computation,
  - application of implicit complexity to other programming paradigms (e.g. imperative
    or object-oriented languages).
  This post-conference publication of DICE 2013 (http://dice2013.di.unito.it/)
  is open to everyone, also those who did not participate in the conference.
  It follows a series of annual workshop as satellite events of ETAPS :
  DICE 2010 in Paphos, DICE 2011 in Saarbrucken, DICE 2012 in Tallinn and
  DICE 2013 in Rome.
* SUBMISSIONS
  Submissions must be sent to us no later than NOVEMBER 1st 2013.
  Papers will be processed as soon as they are submitted.
  I&C solicits high quality papers reporting research results related to
  the topics mentioned above.
  All papers must be original, unpublished, and not submitted for publication
  elsewhere. Contributions should be submitted electronically as PDF, using
  Elsevier's elsarticle.cls latex macro package, that can be retrieved from
  http://www.elsevier.com/wps/find/authorsview.authors/elsarticle
  We encourage authors to look at
  http://www.elsevier.com/journals/information-and-computation/0890-5401/guide-for-authors
* ADDITIONAL INFORMATION
  See http://dice2013.di.unito.it/
  or email inquiries to us (ronchi@di.unito.it or virgile.mogbil@lipn.univ-paris13.fr)



12TH INTERNATIONAL SYMPOSIUM ON FUNCTIONAL AND LOGIC PROGRAMMING (FLOPS 2014)
  Call for Papers
  June 4-6, 2014
  Kanazawa, Japan
  http://www.jaist.ac.jp/flops2014/
* GENERAL
  FLOPS is a forum for research on all issues concerning declarative
  programming, including functional programming and logic programming,
  and aims to promote cross-fertilization and integration between the
  two paradigms.  Previous FLOPS meetings were held at Fuji Susono
  (1995), Shonan Village (1996), Kyoto (1998), Tsukuba (1999), Tokyo
  (2001), Aizu (2002), Nara (2004), Fuji Susono (2006), Ise (2008),
  Sendai (2010), and Kobe (2012).
* TOPICS
  FLOPS solicits original papers in all areas of functional and logic
  programming, including (but not limited to):
  - Language issues: language design and constructs, programming
  methodology, integration of paradigms, interfacing with other
  languages, type systems, constraints, concurrency and distributed
  computing.
  - Foundations: logic and semantics, rewrite systems and narrowing,
  type theory, proof systems.
  - Implementation issues: compilation techniques, memory management,
  program analysis and transformation, partial evaluation,
  parallelism.
  - Applications: case studies, real-world applications, graphical user
  interfaces, Internet applications, XML, databases, formal methods
  and model checking.
  The proceedings will be published as an LNCS volume.  The proceedings
  of the previous meetings (FLOPS 1999, 2001, 2002, 2004, 2006, 2008,
  2010, and 2012) were published as LNCS 1722, 2024, 2441, 2998, 3945,
  4989, 6009, and 7294.
* PC CO-CHAIRS
  Michael Codish     (Ben-Gurion University of the Negev)
  Eijiro Sumii       (Tohoku University)
* LOCAL CHAIR
  Yuki Chiba         (JAIST)
* SUBMISSION
  Submissions must be unpublished and not submitted for publication
  elsewhere.  Work that already appeared in unpublished or informally
  published workshops proceedings may be submitted.  See also ACM
  SIGPLAN Republication Policy:
  http://www.sigplan.org/Resources/Policies/Republication
  Submissions should fall into one of the following categories:
  - Regular research papers: they should describe new results and will
  be judged on originality, correctness, and significance.
  - System descriptions: they should contain a link to a working system
  and will be judged on originality, usefulness, and design.
  - Declarative pearls: new and excellent declarative programs or
  theories with illustrative applications.
  System descriptions and declarative pearls must be explicitly marked
  as such in the title.
* SUBMISSIONS
  Submissions must be written in English and can be up to 15 pages long
  including references, though pearls are typically shorter.  Authors
  are required to use LaTeX2e and the Springer llncs class file,
  available at: http://www.springer.de/comp/lncs/authors.html
  Regular research papers should be supported by proofs and/or
  experimental results.  In case of lack of space, this supporting
  information should be made accessible otherwise (e.g., a link to a Web
  page, or an appendix).  Papers should be submitted electronically at:
  https://www.easychair.org/conferences/?conf=flops2014
* IMPORTANT DATES
  Submission deadline: December 13, 2013
  Author notification: February 10, 2014
  Camera-ready copy: March 7, 2014



MATHEMATICAL STRUCTURES OF COMPUTATION (SMC 2014)
  Preliminary announcement
  January 13 - February 14 2014, Lyon, France
  http://smc2014.univ-lyon1.fr
* We are pleased to announce the programme "Mathematical Structures of
  Computation" organised in Lyon, from January 13th to February 14th, 2014.
* The programme proposes five consecutive workshops
  - Recent Developments in Type Theory, January 13-17.
  - Algebra and Computation, January 20-24.
  - Directed Algebraic Topology and Concurrency, January 27-31.
  - Formal Proof, Symbolic Computation and Computer Arithmetic, February 3-7.
  - Concurrency, Logic and Types, February 10-14.
* Information on the programme can be found at http://smc2014.univ-lyon1.fr
* Registration for the programme is free and will open in early September 2013.
* The weeks Mathematical Structures of Computation are organised in Lyon
  with the support of the Labex MILYON - Mathematics and fundamental
  computer science in Lyon.
  Together with the trimester Semantics of proofs and certified
  mathematics organised at Institut Henri Poincare, Paris,
  (http://ihp2014.pps.univ-paris-diderot.fr) they constitute a French
  Semester on certified mathematics, programming languages and the
  mathematical structures of computation.
* The organisers: Patrick Baillot, Yves Guiraud, Philippe Malbos.



POSTDOCS IN BIOMODELLING AT TURKU
  http://combio.abo.fi/
* Two postdoc openings are available at the Computational Biomodeling
  Laboratory, Turku Centre for Computer Science and Abo Akademi University,
  Turku, Finland. The positions are funded by Academy of Finland. The deadline
  for applications is August 11. The positions can be filled in to start
  September 1 or soon after. Eligible applicants have a PhD in Computer Science,
  Mathematics, Computational Biology, or a closely related field, obtained not
  earlier than 2008. We are looking for candidates with a strong background
  in theoretical computer science and/or mathematics, with experience on
  modelling biological systems, demonstrated by a good publication record.
  Applicants should send an up to 3-page CV, their full list of publications,
  a letter of interest, and two recommendation letters to Prof. Ion Petre
  ipetre@abo.fi. The contract is for one year, with the possibility of
  extending it for another year. The salary is in accordance with the pay
  scale at Finnish universities, in the bracket 2820-3616 eur/month before
  taxes, depending on the candidates’ skills and experience.
* POSITION 1: QUANTITATIVE MODEL REFINEMENT
  Quote in the subject of your email "Application for postdoc: quantitative
  model refinement".
  We focus in this project on computational techniques allowing mathematical
  models in biology to be presented and used at different levels of detail.
  We aim to construct and investigate a computational framework for
  quantitative model refinement where details may be added to (or removed from)
  a model in a systematic way, while preserving its overall numerical behaviour.
* POSITION 2: NETWORK CONTROLLABILITY
  Quote in the subject of your email "Application for postdoc: network
  controllability".
  The overall objective of the project is to better understand the fundamental
  principles of controllability of complex, biological networks, and how these
  control principles could be exploited to intervene in the network under
  analysis to change its dynamic behavior.



11 PHD SCHOLARSHIPS AT PISA
http://dottorato.unipi.it/index.php/en/entrance-competitions-academic-year-2013-2014/item/109.html
* We would like to announce 11 PhD grants in Computer Science at the
  University of Pisa. The deadline for applications is September 5th, 2013,
  and the selection will be made on CV, reference letters and an interview,
  also via teleconferencing (check *carefully* the relevant fields required).
  For further details please preferably contact
    Mrs Rosie Mongini 
  or otherwise the chairman of the PhD Programme
    Prof. Pierpaolo Degano 



Back to the LICS web page.