Newsletter 154
January  3, 2014

*******************************************************************
* 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
* LICS-RELATED NEWS
  CSL-LICS'14
* DEADLINES
  Forthcoming Deadlines
* CALLS
  DICE 2014 - Call for Contributions
  CMCS 2014 - Call for Papers
  CiE 2014 - Call for Papers
  ICTAC 2015 - Call for Organisers
  PSI 2014 - Call for Papers
  ABZ 2014 - Call for Papers
  IJCAR 2014 - Call for Papers
  CAV 2014 - Call for Papers
  FM 2014 - Call for Industry Track Papers
  SAT 2014 - Call for Papers
  SOFSEM 2014 - Call for Participation
  UTP 2014 - Call for Papers
  FormaliSE 2014 - Call for Papers
  RTA-TLCA 2014 - Call for Papers
  MSCS COMPUTABLE ANALYSIS - Call for Submissions
  FORTE 2014 - Call for Papers
  ETAPS 2015 - Call for Satellite Events
  LOGICA 2014 - Call for Papers
  TAP 2014 - Call for Papers
  ACKERMANN AWARD - Call for Nominations
  CICM 2014 - Call for Papers
  NASSLLI 2014 STUDENT SESSION - Call for Papers
  ESSAYS IN MEMORY OF MARK STICKEL - Call for Papers
  ICE 2014 - Call for Papers
  AiML 2014 - Call for Papers
  SEMF 2014 - Call for Papers
  LASER 2014 - Call for Summer School Applications
  ESSLLI 2014 STUDENT SESSION - Call for Papers
  RV 2014 - Call for Papers
  ATVA 2014 - Call for Workshop Proposals
  FORMATS 2014 - Call for Papers
  FMMB 2014 - Call for Papers
  TCS 2014 - Call for Papers
  TGC 2014 - Call for Papers
  AVOCS 2014 - Call for Papers
  AAA88 - Call for Participation
* JOB ANNOUNCEMENTS
  Fondation Sciences Mathematiques de Paris positions
  European Master's Program in Computational Logic
  Postdoc in Formal Methods at DTU


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.
  The Call for Papers is available on the LICS website.
  http://lii.rwth-aachen.de/lics/csl-lics14/
* Title and Short Abstracts Due        January 13, 2014
  Full Papers Due                      January 20, 2014



DEADLINES
* DICE 2014
  Abstract submission: January 5, 2014
  Notification: January 20, 2014
  http://dice14.tcs.ifi.lmu.de
* CMCS 2014
  Abstract regular papers: 6 January 2014
  Submission regular papers: 10 January 2014 (strict)
  http://www.coalg.org/cmcs14
* CiE 2014
  Submission deadline: January 10, 2014
  http://cie2014.inf.elte.hu
* CSL-LICS 2014
  Title and Short Abstracts Due: January 13, 2014
  Full Papers Due: January 20, 2014
  http://lii.rwth-aachen.de/lics/csl-lics14/
* ICTAC 2015
  Submission of proposals: January 13, 2014
  http://www.cs.york.ac.uk/ICTAC
* PSI'14
  Abstract submission: January 13, 2014
  Submission deadline: January 20, 2014
  http://psi.nsc.ru/psi14
* ABZ 2014
  Research/Industry papers and answers to case study: January 14, 2014
  Tutorial proposal submissions: January 30, 2014
  Short paper submission: February 3, 2014
  http://www.irit.fr/ABZ2014/
* IJCAR 2014
  Abstract submission deadline: January 15, 2014
  Paper submission deadline: January 22, 2014
  http://cs.nyu.edu/ijcar2014/
* CAV 2014
  CAV Award nomination deadline: January 15, 2014
  Abstract deadline: January 31, 2014
  Paper deadline: February 7, 2014
  http://www.cavconference.org
* FM 2014
  Industry Track submission deadline: January 16, 2014
  http://www.comp.nus.edu.sg/~pat/FM2014/
* SAT 2014
  Abstract submission deadline: January 17, 2014
  Paper submission deadline: January 24, 2014
  http://baldur.iti.kit.edu/sat2014
* UTP 2014
  Abstract due: January 17, 2014
  Full paper due: January 24, 2014
  http://www.comp.nus.edu.sg/~pat/UTP2014/index.html
* FormaliSE 2014
  Submission deadline: January 24, 2014
  http://www.formalise.org/
* RTA-TLCA 2014
  Abstract submission: January 28, 2014
  http://vsl2014.at/rta-tlca
* MSCS SPECIAL ISSUE ON COMPUTABLE ANALYSIS
  Abstracts submission deadline: January 31, 2014
  Deadline for full paper: February 28, 2014
  http://www.cs.swan.ac.uk/ccc2013/
* FORTE 2014
  Abstract Submission: February 1, 2014
  Paper Submission: February 7, 2014
  http://www.discotec.org/calls/forte-2014-call-for-papers
* ETAPS 2015
  Satellite event proposal deadline: February 7, 2014
  http://www.etaps.org/index.php/2015/call-for-workshops
* LOGICA 2014
  Submission deadline: February 15, 2014
  http://www.flu.cas.cz/en/logica2014
* TAP 2014
  Abstract submission: February 25, 2014
  Paper submission: March 1, 2014
  http://www.tap2014.org
* ACKERMANN AWARD 2014
  Nomination deadline: February 28, 2014
  http://www.eacsl.org/submissionsAck.html
* CICM 2014
  Abstract submission: February 28, 2014
  Submission deadline: March 7, 2014
  Work-in-progress submission and doctoral programme: April 28, 2014
  http://www.cicm-conference.org/2014
* NASSLLI 2014 STUDENT SESSION
  Submissions due: February 28, 2014
  http://www.nasslli2014.com/
* ESSAYS IN MEMORY OF MARK STICKEL
  Submission deadline: March 1, 2014
  https://www.easychair.org/conferences/?conf=festschriftmarkstick
* ICE 2014
  Abstract submission: March 12, 2014
  Full paper submission: March 15, 2014
  http://www.discotec.org/workshops/ice-2014
* AiML 2014
  Abstract of full paper submission due: March 14, 2014
  Full paper submission due: March 21, 2014
  http://www.philos.rug.nl/AiML2014/
* SEFM 2014
  Abstract Submission: March 14, 2014
  Paper Submission: March 21, 2014 (AoE)
  http://sefm2014.inria.fr/
* LASER 2014
  Application deadline: March 31, 2014
  http://laser.inf.ethz.ch/2014
* ESSLLI 2014 STUDENT SESSION
  Deadline for submissions: April 1st, 2014
  http://www.kr.tuwien.ac.at/drm/dehaan/stus2014/
* RV 2014
  Abstract deadline: April 8, 2014
  Full paper deadline: April 15, 2014
  http://rv2014.imag.fr/
* ATVA 2014
  Deadline for workshop proposal submissions: April 14, 2014
  http://atva-conferences.org
* FORMATS 2014
  Abstract submission: April 14, 2014
  Paper submission: April 21, 2014
  http://www.florence2014.org/
* FMMB 2014
  Submission deadline: April 25, 2014
  http://fmmb2014.sciencesconf.org/
* TCS 2014
  Deadline for submission: April 27, 2014
  http://www.cyprusconferences.org/tcs2014/
* TGC 2014
  Deadline for abstract submission: May 2, 2014
  Deadline for paper submission: May 9, 2014
  http://www.cs.le.ac.uk/events/tgc2014/
* AVOCS 2014
  Submission (abstract for full paper): June 16, 2014
  Submission (full papers): June 23, 2014
  Submission (research ideas): August 7, 2014
  http://www.utwente.nl/avocs2014



5TH WORKSHOP ON DEVELOPMENTS IN IMPLICIT COMPUTATIONAL COMPLEXITY (DICE 2014)
  Call for Contributions
  April 5-6, 2014
  Grenoble, France (a satellite event of ETAPS 2014)
  http://dice14.tcs.ifi.lmu.de
* SCOPE AND TOPIC
  The area of Implicit Computational Complexity (ICC) has grown from
  several proposals for using logic and formal methods to provide
  languages for complexity-bounded computation (e.g. PTIME, LOGSPACE
  computation). Its aim is to study computational complexity without
  reference to external measuring conditions or particular machine
  models, but only in terms of language restrictions or
  logical/computational principles implying complexity properties.
  This workshop focuses on ICC methods related to programs (rather than
  descriptive methods). In this approach one relates complexity classes
  to restrictions on programming paradigms (functional programs, lambda
  calculi, rewriting systems), such as ramified recurrence, weak
  polymorphic types, linear logic and linear types, and interpretative
  measures. The two main objectives of this area are:
  - to find natural implicit characterizations of various
    complexity classes of functions, thereby illuminating their
    nature and importance;
  - to design methods suitable for static verification of
    program complexity.
  Therefore ICC connects both to the study of complexity classes and to
  static program analysis.  The workshop is open to contributions
  on various aspects of ICC including (but not exclusively):
  - types for controlling complexity
  - logical systems for implicit computational complexity
  - linear logic
  - semantics of complexity-bounded computation
  - rewriting and termination orderings
  - interpretation-based methods for implicit complexity
  - programming languages for complexity-bounded computation
  - theoretical foundations of program complexity analysis
  - application of implicit complexity to security
* INVITED SPEAKERS
  - Akitoshi Kawamura, University of Tokyo
  - Georg Moser, University of Innsbruck
* IMPORTANT DATES
  - Abstract submission: January 5, 2014
  - Notification: January 20, 2014
  - Final version: February 10, 2014
* SUBMISSION
  Authors are invited to submit an extended abstract of up to 5 pages.
  Accepted abstracts will be presented at the workshop. Submissions will
  be judged on originality, relevance, interest and clarity. Preference
  will be given to abstracts describing work (including work in
  progress) that has not been published elsewhere before the workshop.
  Further details can be found at the workshop homepage.



12TH INTERNATIONAL WORKSHOP ON COALGEBRAIC METHODS IN COMPUTER SCIENCE (CMCS'14)
  Call for Papers
  5 - 6 April 2014, Grenoble, France
  http://www.coalg.org/cmcs14
* OBJECTIVES AND SCOPE
  Established in 1998, the CMCS workshops aim to bring together researchers
  with a common interest in the theory of coalgebras, their logics, and their
  applications. As the workshop series strives to maintain breadth in its scope,
  areas of interest include neighbouring fields as well. Topics of interest
  include, but are not limited to, the following:
  - The theory of coalgebras (including set theoretic and categorical
    approaches)
  - Coalgebras as computational and semantical models (for
   programming languages, dynamical systems, term rewriting, etc.)
  - Coalgebras in (functional, object-oriented, concurrent, and constraint)
    programming
  - Model checking, theorem proving and deductive verification
    using coalgebraic techniques
  - Coalgebraic data types, type systems and
    behavioural typing
  - Proof principles and (coinductive) definitions for
    coalgebras (e.g. with bisimulations or invariants)
  - Coalgebras and algebras
  - Coalgebraic specification and verification
  - Coalgebras and (modal) logic
  - Coalgebra and control theory (notably of discrete event
    and hybrid systems)
  - Coalgebra in quantum computing
  -  Coalgebra and game theory
  - Tools exploiting colgebraic techniques
* VENUE AND EVENT
  CMCS'14 will be held in Grenoble, France, co-located with ETAPS 2014 on
  5 - 6 April 2014.
* IMPORTANT DATES
  Abstract regular papers           6 January 2014
  Submission regular papers        10 January 2014 (strict)
  Notification regular papers     14 February 2014
  Camera-ready copy               21 February 2014
  Submission short contributions   23 February 2014 (strict)
  Notification short contributions  9 March 2014
* INVITED SPEAKERS
  Ichiro Hasuo, University of Tokyo, JP
  Marina Lenisa, University of Udine, IT
* PUBLICITY CHAIR
  Alexandra Silva, Radboud University Nijmegen, NL
* PC CHAIR
  Marcello Bonsangue, Leiden University, NL
* SUBMISSION GUIDELINES
  We solicit two types of contributions: regular papers and short contributions.
  Regular papers must be original, unpublished, and not submitted for
  publication elsewhere. They should not exceed 20 pages in length in Springer
  LNCS style. Short contributions may describe work in progress, or summarise
  work submitted to a conference or workshop elsewhere. They should be no more
  than two pages. Regular papers and short contributions should be submitted
  electronically as a PDF file via the Easychair system at
    http://www.easychair.org/conferences/?conf=cmcs2014.
  The proceedings of CMCS 2014 will include all accepted regular papers and
  will be published post-conference as a Springer volume in the IFIP-LNCS
  series. Accepted short contributions will be bundled in a technical report.



COMPUTABILITY IN EUROPE 2014: LANGUAGE, LIFE, LIMITS (CiE 2014)
  Call for Papers
  Budapest, Hungary
  June 23-27, 2014
  http://cie2014.inf.elte.hu
* IMPORTANT DATES
  Submission Deadline for LNCS:                   10 January 2014
  Notification of authors:                         3 March 2014
  Deadline for final revisions:                   31 March 2014
* HISTORY
  CiE 2014 is the tenth conference organized by CiE (Computability in
  Europe), a European association of mathematicians, logicians, computer
  scientists, philosophers, physicists and others interested in  new
  developments in computability and their underlying significance for the
  real world. Previous meetings have taken place in Amsterdam (2005),
  Swansea (2006), Siena (2007), Athens (2008), Heidelberg (2009), Ponte
  Dalgada (2010), Sofia (2011), Cambridge (2012), and Milan (2013).
  The motto of CiE 2014 "Language, Life, Limits" intends to put a special
  focus on  relations  between computational linguistics, natural and
  biological computing, and more traditional fields of computability theory.
  This is to be understood in its broadest sense including computational
  aspects of problems in linguistics, studying models of computation and
  algorithms inspired by physical and biological approaches as well as
  exhibiting limits (and non-limits) of computability when considering
  different models of computation arising from such approaches.
  As with previous CiE conferences the allover glueing perspective is to
  strengthen the mutual benefits of analyzing traditional and new
  computational paradigms in their corresponding frameworks both with
  respect to practical applications and a deeper theoretical understanding.
* TUTORIAL SPEAKERS
  Wolfgang Thomas (RWTH Aachen)
  Peter Gruenwald  (CWI, Amsterdam)
* INVITED SPEAKERS
  Lev Beklemishev           (Steklov Mathematical Institute, Moscow)
  Alessandra Carbone        (Universite Pierre et Marie Curie and CNRS Paris)
  Maribel Fernandez         (King's College London)
  Przemyslaw Prusinkiewicz  (University of Calgary)
  Eva Tardos                (Cornell University)
  Albert Visser             (Utrecht University)
* SPECIAL SESSIONS:
  History and Philosophy of Computing   (organizers: Liesbeth de Mol,
  Giuseppe Primiero)
  Computational Linguistics             (organizers: Maria Dolores
  Jimenez-Lopez, Gabor Proszeky)
  Computability Theory                  (organizers: Karen Lange, Barbara
  Csima)
  Bio-inspired Computation              (organizers: Marian Gheorghe,
  Florin Manea)
  Online Algorithms                     (organizers: Joan Boyar, Csan??d Imreh)
  Complexity in Automata Theory         (organizers: Markus Lohrey,
  Giovanni Pighizzini)



INTERNATIONAL COLLOQUIUM ON THEORETICAL ASPECTS OF COMPUTING (ICTAC)
  Call for Organisers
  http://www.cs.york.ac.uk/ICTAC
* BACKGROUND AND OBJECTIVES
  The International Colloquium on Theoretical Aspects of Computing
  (ICTAC) was founded in 2004 by the International Institute for
  Software Technology of the United Nations University (UNU-IIST).
  The aim of the colloquium is to bring together practitioners and
  researchers from academia, industry and government to present
  research results, and exchange experience, ideas, and solutions for
  their problems in theoretical aspects of computing. Beyond these
  scholarly goals, another main purpose of the conference is to
  promote cooperation in research and education between participants
  and their institutions, from developing and industrial countries.
* LOCATION
  The event takes place every year in a developing country. Each
  conference attracts between 50 and 100 participants from all over
  the world. We now invite proposals from any group or institution
  wishing to host this event. The priority is for the event to be
  located in a developing country. It usually combines a regular
  three-day scientific conference with related activities such as
  tutorials over another two-days and a summer school over the
  previous week. Innovation in the format and content is encouraged.
  Proposals will be evaluated by the ICTAC steering committee.
* FORMAT
  Proposals should be no more than four pages in length and should contain:
    - Brief description of why the event is of interest to the proposer.
    - Vision for the event, including its aims, the expected format and scale.
    - An estimation of expected attendance, based, for example, on presence
      of a local community in the area and costs of travel to various parts
      of the world and local expenses.
    - A description of the relevant qualifications and experience of the
      proposers, especially regarding conference organisation logistics.
    - A description of the facilities that will be available for the event
      and to support the organizers.
    - The contact information of the proposed organising committee. Please,
      note that the choice of a PC chair will be subject to later discussion
      with the Steering Committee and should not be part of this proposal.
  Please send your proposal (in PDF format) and any enquiries to
  ictac@cs.york.ac.uk.
* IMPORTANT DATES
  Submission of proposals: 13 January, 2014
  Notification of results: 28 February, 2014
* STEERING COMMITTEE
  Ana Cavalcanti, UK
  John Fitzgerald, UK
  Martin Leucker, Germany
  Zhiming Liu, Macao
  Tobias Nipkow, Germany
  Augusto Sampaio, Brazil
  Natarajan Shankar, USA
* PREVIOUS LOCATIONS
  ICTAC 2013 was held in Shanghai, China, 04-06 September, 2013.
  ICTAC 2012 was held in Bangalore, India, 24-27 September 2012.
  ICTAC 2011 was held in Johannesburg, South Africa, 31 August - 2 September, 2011.
  ICTAC 2010 was held in Natal, Brazil, 1-3 September, 2010.
  ICTAC 2009 was held in Kuala Lumpur, Malaysia, 16-20 August, 2009.
  ICTAC 2008 was held in Marmara, Istanbul, Turkey - 1-3 November, 2008.
  ICTAC 2007 was held in Macao, Macao - 26-28 November 2007.
  ICTAC 2006 was held in Tunis, Tunisia - 20-24 November 2006.
  ICTAC 2005 was held in Hanoi, Vietnam - 17-21 October 2005.



9TH ERSHOV INFORMATICS CONFERENCE (PSI'14)
 Call for Papers
 24 June - 27 June, 2014
 Peterhof, St. Petersburg, Russia
 http://psi.nsc.ru/psi14
* AIMS AND SCOPE
  The Ershov Informatics Conference (the PSI Conference Series, 9th
  edition) is the premier international forum in Russia for research
  and its applications in computer, software and information sciences.
  The conference brings together academic and industrial researchers,
  developers and users to present and discuss the most recent innovations,
  trends, experiences and concerns in the conference area.
* ORGANIZERS
  - A.P. Ershov Institute of Informatics Systems, Siberian Branch of RAS
  - Saint Petersburg State University
* CONFERENCE CHAIRS]
  - Alexander Marchuk
  A.P. Ershov Institute of Informatics Systems, Novosibirsk, Russia
  - Andrey Terekhov
  Saint Petersburg State University, Saint Petersburg, Russia
* STEERING COMMITTEE
  - Dines Bjorner
  Technical University of Denmark, Lyngby, Denmark
  - Manfred Broy
  Institut fuer Informatik, Technische Universitaet Muenchen, Germany
  - Victor Ivannikov
  Institute for System Programming RAS, Moscow, Russia
  - Ugo Montanari
  University of Pisa, Italy
* PROGRAMME COMMITTEE CHAIRS
  Irina Virbitskaite
  A.P. Ershov Institute of Informatics Systems, Novosibirsk, Russia
  Andrei Voronkov
  The University of Manchester, UK
* CONFIRMED KEYNOTE SPEAKERS
  - Edmund M. Clarke (USA)
  - Tony Hoare (UK)
  - Bertrand Meyer (Switzerland)
  - Vladimiro Sassone (UK)
  - Vadim E. Kotov (USA)
* CONFERENCE TOPICS
  1. Foundations of Program and System Development and Analysis
  2. Programming Methodology and Software Engineering
  3. Information Technologies
  In addition to papers in the above list of topics, papers both bridging
  the gap between different directions and promoting mutual understanding
  of researchers are welcome. Papers defining the general prospects in
  computer, software and information sciences are also encouraged.
* SUBMISSIONS
  There are three categories of submissions:
  - regular papers describing fully developed work and complete results
  (12 pages / 30 minute talks);
  - short papers reporting on interesting work in progress and/or
  preliminary results (7 pages / 15 minute talks);
  - system and experimental papers describing implementation or evaluation
  of experimental systems and containing a link to a working system
  (4 pages / 10 minute presentation).
  Submitted regular papers that are judged to have limited merit may be
  accepted as short papers, with up to seven pages in the proceedings.
  At the time of submission, authors should indicate if they wish to have
  their submission considered as a short paper in the case it is not
  accepted as a regular one.
* CONFERENCE PROCEEDINGS
  A preliminary book of tutorial, invited and accepted contributions will be
  handed out at the conference. The final versions of the invited, regular
  and short papers presented at the conference will be published by
  Springer-Verlag in the Lecture Notes in Computer Science series after the
  conference. One can find the proceedings of the previous seven conferences
  in LNCS, Vol. 1181, 1755, 2244, 2890, 4378, 5947, and 7162.
* LOCATION
  The conference will be held in Peterhof (also known as Petrodvorets), a suburb
  of St. Petersburg located on the southern shore of the Gulf of Finland. The
  town is one of St. Petersburg's most famous and popular visitor attractions
  thanks to its palaces, fountains and parks. Founded as a summer residence of
  Peter the Great, the area is recognized as a UNESCO World Heritage Site and
  is often referred to as "the Russian Versaille".
  For more information see http://www.saint-petersburg.com/peterhof.
* SATELLITE WORKSHOPS
  N.B. Three satellite workshops will be held in conjunction with PSI'14:
  - Program Understanding,
  - Educational Informatics,
  - Science Intensive Applied Software.
* IMPORTANT DATES
  January 13, 2014: abstract submission
  January 20, 2014: submission deadline
  April 1, 2014: notification of acceptance
  June 24 - 27, 2014: the conference dates
  September 1, 2014: camera ready papers due



4TH INTERNATIONAL ABZ 2014 CONFERENCE (ASM, ALLOY, B, TLA, VDM, Z)
  Call for Papers
  http://www.irit.fr/ABZ2014/
  June 2-6, 2014
  Toulouse, France
* GOALS
  The ABZ conference is dedicated to the cross-fertilization of six
  related state-based and machine-based formal methods, Abstract State
  Machines (ASM), Alloy, B, TLA, VDM and Z, that share a common conceptual
  foundation and are widely used in both academia and industry for the
  design and analysis of hardware and software systems.
  The main goal of the conference is to contribute to the integration
  of accurate state- and machine-based system development methods, clarifying
  their commonalities and differences to better understand how to combine
  different approaches for accomplishing the various tasks in modeling,
  experimental validation, mathematical verification of reliable high-quality
  hardware/software systems.
* CASE STUDIES
  The 4th edition of ABZ sees the introduction of a new session dedicated
  to a shared real-life case study among all the methods addressed in ABZ
  2014. The objective of this session is to enrich the set of case studies
  developed with ABZ methods with a practical and real-life case study.
  The aeronautical context of Toulouse led the organizers to define a
  real-life case study issued from this domain.
  Proposals are invited for workshops and tutorials to take place the day
  before the main conference.
* CONTRIBUTIONS
  Three kinds of contributions are invited:
  - Research papers: full papers of not more than 14 pages in LNCS
  format, which have to be original, unpublished and not submitted elsewhere.
  - Short presentations of work in progress, and tool demonstrations.
    This is an excellent opportunity for Ph.D. students to present and
    validate their work in progress. An extended abstract of not more than 4
    pages is expected and will be reviewed.
  - Answers to case study papers: full papers of not more than 14
    pages in LNCS format reporting on the experiments conducted with any of
    the state based techniques in the scope of ABZ 2014.
  - Application in industry papers reporting on work or experiences
    on the application of state based formal methods in industry. An
    extended abstract of not more than 4 pages is expected and will be
    reviewed. It is also an interesting option for industrial practitioners
    who sometimes face too many constraints to prepare a full paper.
    Contributions should be submitted electronically in PDF at the ABZ 2014
    conference Easy-Chair
    (https://www.easychair.org/conferences/?conf=abz2014) web site.
  The papers must be prepared using the SPRINGER LNCS style
  (http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). The
  answers to case study should be submitted electronically in PDF at the
  Case study Easy-Chair
  (https://www.easychair.org/conferences/?conf=abz2014) web site.
  All research and short accepted papers will be published in a
  volume of Springer's LNCS series. The answers to case study papers and
  the application in industry papers will be published in a volume of
  Springer's CCIS series. The two volumes will be distributed at the
  conference.
* SELECTED WORKSHOPS
  Five (5) workshops are associated to the main event ABZ.
  Information are available on the workshops website link
  www.irit.fr/ABZ2014/workshop.html
* ABZ 2014 INVITED SPEAKERS
  Leslie LAMPORT, Microsoft Research, USA.
  Other invited speakers will be announced.
* IMPROTANT DATES
  Research/Industry papers and answers to case study      January 14, 2012
  Tutorial proposal submissions:                 January 30, 2014
  Short paper submission:                       February 3, 2014
  Tutorial proposal notifications:                    Febuary 28, 2014
  Papers  notification:                              March 1, 2014
  Final Version due:                             March 20, 2014
  Main ABZ 2012 conference:                  June 2-6, 2014
* CONFERENCE CHAIRS
  Yamine AIT AMEUR  , INPT-ENSEEIHT and IRIT, Toulouse,France (yamine@n7.fr)
  Klaus-Dieter SCHEWE, University of Linz and SCCH, Linz, Austria
  (Klaus-Dieter.Schewe@scch.at)



7TH INTERNATIONAL JOINT CONFERENCE ON AUTOMATED REASONING (IJCAR 2014)
  Call for Papers
  Vienna, Austria, July 19-22, 2014
  http://cs.nyu.edu/ijcar2014/
  as part of FLoC 2014 - Federated Logic Conference
  http://www.floc-conference.org/
  as part of VSL 2014 - Vienna Summer of Logic
  http://vsl2014.at/
* IJCAR is the premier international joint conference on all topics
  in automated reasoning. The IJCAR technical program will consist
  of presentations of high-quality original research papers,
  system descriptions, and invited talks.
* IJCAR 2014 is a merger of leading events in automated reasoning:
  CADE (Conference on Automated Deduction),
  FroCoS (Workshop on Frontiers of Combining Systems) and
  TABLEAUX (Conference on Analytic Tableaux and Related Methods)
  IJCAR 2014 invites submissions related to all aspects of automated
  reasoning, including foundations, implementations, and applications.
  Original research papers and descriptions of working automated deduction
  systems are solicited.
* TOPICS
  IJCAR topics include the following ones:
  - Logics of interest include: propositional, first-order, classical,
  equational, higher-order, non-classical, constructive, modal,
  temporal, many-valued, substructural, description, type theory, etc.
  - Methods of interest include: tableaux, sequent calculi, resolution,
  model-elimination, inverse method, paramodulation, term rewriting,
  induction, unification, constraint solving, decision procedures,
  model generation, model checking, semantic guidance, interactive
  theorem proving, logical frameworks, AI-related methods for
  deductive systems, proof presentation, automated theorem provers,
  etc.
  - Applications of interest include: verification, formal methods,
  program analysis and synthesis, computer mathematics, declarative
  programming, deductive databases, knowledge representation, etc.
  The proceedings of IJCAR 2014 will be published by Springer-Verlag in
  the LNAI/LNCS series.
* PROGRAM CO-CHAIRS
  Stephane Demri (New York University & CNRS)
  Deepak Kapur (University of New Mexico, USA)
  Christoph Weidenbach (MPI-INF Saarbr??cken, Germany)
* CONFERENCE CO-CHAIRS
  Christian Fermueller (TU Vienna, Austria)
  Stefan Hetzl (TU Vienna, Austria)
* IMPORTANT DATES
  Abstract submission deadline:                     January 15, 2014
  Paper submission deadline:                        January 22, 2014
  Notification of paper decisions:                    March 31, 2014
  Final version of papers due:                        April 19, 2014
  Conference dates:                                 July 19-22, 2014
* STUDENT TRAVEL AWARDS
  Travel awards will be available to enable selected students to attend the
  conference.  Details will be published in March 2014.



26TH INTERNATIONAL CONFERENCE ON COMPUTER AIDED VERIFICATION (CAV 2014)
  Call for Papers
  July 18-22, 2014, Vienna, Austria
  http://www.cavconference.org
* CAV 2014 is the 26th in a series dedicated to the advancement of
  the theory and practice of computer-aided formal analysis methods
  for hardware and software systems.
* Changes: short and long papers, but short papers are not restricted
  to be tool papers anymore.  We encourage submission of high quality
  tool papers and empirical evaluations as long papers.  References
  do not count toward the page limit.
* Topics: Algorithms and tools for verifying models and
  implementations; Hardware verification techniques; Deductive,
  compositional, and abstraction techniques for verification; Program
  analysis and software verification; Verification methods for
  parallel and concurrent hardware/software systems; Testing and
  runtime analysis based on verification technology; Applications and
  case studies in verification; Decision procedures and solvers for
  verification; Mathematical and logical foundations of practical
  verification tools; Verification in industrial practice; Algorithms
  and tools for system synthesis; Hybrid systems and embedded systems
  verification; Verification techniques for security; Formal models
  and methods for biological systems.
* Tutorials: Fabio Somenzi, University of Colorado at Boulder, USA
  will give a tutorial on Hardware Model Checking.  David Monniaux,
  CNRS, Verimag, Grenoble, France will give a tutorial on
  Abstract Interpretation.
* Important Dates: Nominations for CAV award 15 January 2014;
  Abstract 31 January 2014; Paper 7 February 2014; Rebuttal 20-23
  March 2014; Notification 18 April 2014; Final version 9 May 2014.
  All deadlines are "anywhere on earth".



19TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS (FM 2014)
  Call for Industry Track Papers
  Singapore, May 14-16, 2014
  http://www.comp.nus.edu.sg/~pat/FM2014/
* SCOPE
  FM2014 is the nineteenth in a series of symposia organized by
  Formal Methods Europe, an independent association whose aim is
  to stimulate the use of, and research on, formal methods for
  software development. The symposia have been notably successful
  in bringing together innovators and practitioners in precise
  mathematical methods for software and systems development,
  industrial users, as well as researchers.  The industry track of
  FM 2014 welcomes papers describing industrial applications of
  formal methods, experience with introducing formal methods in
  industry, tool usage reports, experiments with challenge
  problems. Authors are encouraged to explain how the use of
  formal methods has overcome problems, lead to improvements in
  design or provided new insights.
* PAPER SUBMISSION
  Industry track papers should not exceed 15 pages (including
  appendices and references). Accepted papers will be published in
  the Symposium Proceedings, to appear in Springer's Lecture Notes
  in Computer Science. Submitted papers should describe, in
  English, have not been published or submitted elsewhere
  concurrently for publication, and should be in Springer's
  format. All submissions will be evaluated by at least three
  members of the industry track program committee.  Papers should
  be submitted through the FM 2014 EasyChair web site:
  http://www.easychair.org/conferences/?conf=fm2014
* IMPORTANT DATES
  - Industry Track Submission: January 16, 2014
  - Industry Track Notification: February 16, 2014
  - Camera-ready: February 25, 2014
  - Main Conference Date: May 14-16, 2014
* FM 2014 ORGANIZING COMMITTEES
  - General Chair
    Jin Song Dong, National University of Singapore, Singapore.
  - Program Committee Co-Chairs
    Cliff B Jones, Newcastle University, United Kindom.
    Pekka Pihlajasaari, Data Abstraction (Pty) Ltd, South Africa.
    Jun Sun, Singapore University of Technology and Design, Singapore.
  - Doc Symposium Chair
    Annabelle McIver, Macquarie University, Australia.
  - Workshop Chair
    Shengchao Qin, University of Teesside, United Kindom.
  - Publicity Chair
    Jonathan Bowen, Birmingham City University, United Kindom.
    Kenji Taguchi, AIST, Japan.



17TH INTERNATIONAL CONFERENCE ON THEORY AND APPLICATIONS OF SATISFIABILITY TESTING (SAT 2014)
  Call for Papers
  Vienna, Austria, July 14-17, 2014
  http://baldur.iti.kit.edu/sat2014
* AIMS
  The International Conference on Theory and Applications of
  Satisfiability Testing (SAT) is the primary annual meeting for
  researchers studying the theory and applications of the propositional
  satisfiability problem.
  It includes, besides plain propositional satisfiability, Boolean
  optimization (such as MaxSAT and Pseudo-Boolean (PB) constraints),
  Quantified Boolean Formulas (QBF), Satisfiability Modulo Theories
  (SMT), and Constraint Programming (CP) for problems with clear
  connections to Boolean-level reasoning.
* VENUE
  SAT 2014 takes place in Vienna, Austria, and will be part of the
  Vienna Summer of Logic. With over two thousand expected participants,
  the Vienna Summer of Logic 2014 will be the largest event in the
  history of logic, and will consist of twelve large conferences and
  numerous workshops, attracting researchers from all over the world.
* IMPORTANT DATES
  January 17, 2014: Abstract submission deadline
  January 24, 2014: Paper submission deadline
  March   17, 2014 (approx.): Response from authors begins, lasts 72 hours
  March   27, 2014: Acceptance notifications
  April   17, 2014: Final camera-ready versions
  July 14-17, 2014: Main conference and workshops
* SCOPE
  Topics include (but are not restricted to):
  - Theoretical advances (including exact algorithms, proof complexity,
    and other complexity issues);
  - Practical search algorithms;
  - Knowledge compilation;
  - Implementation-level details of SAT solving tools and SAT-based
    systems;
  - Problem encodings and reformulations;
  - Applications (including both novel applications domains and
    improvements to existing approaches);
  - Case studies and reports on insightful findings based on rigorous
    experimentation.
* OUT OF SCOPE
  Papers claiming to resolve a major long-standing open theoretical
  question in mathematics or computer science (such as those for which a
  Millennium Prize is offered, see http://www.claymath.org/millennium)
  are outside the scope of the conference because there is insufficient
  time in the schedule to referee such papers; instead, such papers
  should be submitted to an appropriate technical journal.
* SUBMISSIONS
  Submissions to SAT 2014 are solicited in three paper categories,
  describing original contributions:
  - REGULAR PAPERS (9 to 15 pages, excluding references)
    Regular papers should contain original research, with sufficient
    detail to assess the merits and relevance of the contribution.
    For papers reporting experimental results, authors are strongly
    encouraged to make their data and implementations available with
    their submission. Submissions reporting on case studies are also
    encouraged, and should describe details, weaknesses, and strengths
    in sufficient depth.
  - SHORT PAPERS (up to 8 pages, excluding references)
    The same evaluation criteria apply to short papers as to regular
    papers. They will be reviewed to the same standards of quality as
    regular papers, but will naturally contain less quantity of new
    material. Short papers will have the same status as regular papers
    and be eligible for the same awards (to be announced later).
  - TOOL PAPERS (up to 6 pages, excluding references)
    A tool paper should describe the implemented tool and its novel
    features. Here "tools" are interpreted in a broad sense, including
    descriptions of implemented solvers, preprocessors, etc., as well
    as systems that exploit SAT solvers or their extensions to solve
    interesting problem domains. A demonstration is expected to
    accompany a tool presentation. Papers describing tools that have
    already been presented previously are expected to contain
    significant and clear enhancements to the tool.
* WORKSHOPS AND COMPETITONS
  Affiliated with SAT 2014 are several workshops and competitions. For a list
  and detailed information about these events see the SAT 2014 web page.
* PROGRAM CHAIRS
  Uwe Egly        Vienna University of Technology, Austria
  Carsten Sinz        Karlsruhe Institute of Technology, Germany
* WORKSHOPS CHAIR
  Ines Lynce        Technical University of Lisbon, Portugal



40TH INTERNATIONAL CONFERENCE ON CURRENT TRENDS IN THEORY AND PRACTICE OF COMPUTER SCIENCE (SOFSEM 2014)
  Call for Participation
  January 25-30, 2014
  Hotel Atrium, Novy Smokovec
  High Tatras, Slovakia
* INFORMATION
  For more details, e.g.,
  - conference fees and details of payment
  - instructions for contributing authors
  - list of topics and profile of the tracks
  - list of invited lectures
  - list of accepted papers
  - conference program
  - conference location
  - how to get there
  visit our website: www.sofsem.sk (now open for registration)
* HISTORY
  SOFSEM (SOFtware SEMinar) is an annual international conference devoted
  to the theory and practice of Computer Science. Its aim is to get together
  professionals from academia and industry working in various areas of
  Computer Science. Proceedings containing the invited and contributed papers
  will be published by the Springer-Verlag in the Lecture Notes in Computer
  Science (LNCS) series, volume number 8327. Papers accepted to Student
  Research Forum will appear in a special additional local proceedings.
  The program consists of
  - 6 invited talks given by prominent researchers,
  - 40 contributed talks being selected by the Program
    Committee from 104 submitted papers these days,
  - 6 student papers selected by the Program Committee for
    the Student Research Forum,
  - and a satellite workshop for a presentation of Works in Progress
    sofsem14.ics.upjs.sk/Sofsem/WIP
* PROGRAM
  Accepted papers: http://sofsem14.ics.upjs.sk/Sofsem/AcceptedPapers
  Program: http://sofsem14.ics.upjs.sk/Sofsem/Program
  SOFSEM provides an ideal framework for discussions
  and meetings, establishing personal contacts. In order
  to help people socialize and exchange new ideas,
  SOFSEM is organized as a single-building-conference.
  That is, accommodation for all participants,
  full-board meals, together with all lecture rooms
  will be in Atrium Hotel, Novy Smokovec, High Tatras,
  Slovakia.
* PROGRAM COMMITTEE CHAIR
  Branislav Rovan, Bratislava, Slovakia
* TRACKS
  Tracks for the Year 2014:
  - Foundations of Computer Science
    chair: Viliam Geffert, Kosice, Slovakia
  - Software & Web Engineering
    chair: A Min Tjoa, Wien, Austria
  - Data, Information, and Knowledge Engineering
    chair: Julius Stuller, Praha, Czech Republic
  - Cryptography, Security, and Verification
    chair: Bart Preneel, Leuven, Belgium
  - Student Research Forum
    chair: Roman Spanek, Praha, Czech Republic



5TH INTERNATIONAL SYMPOSIUM ON UNIFYING THEORIES OF PROGRAMMING (UTP 2014)
  Call for Papers
  co-located with FM2014
  May 12-13, 2014
  Singapore
  http://www.comp.nus.edu.sg/~pat/UTP2014/index.html
* SCOPE
  Interest in the fundamental problem of the combination of formal notations
  and theories of programming has grown consistently in recent years.  The
  theories define, in various different ways, many common notions, such as
  abstraction, refinement, choice, termination, feasibility, locality,
  concurrency and communication.  Despite these differences, such theories
  may be unified in a way which greatly facilitates their study and comparison.
  Moreover, such a unification offers a means of combining different languages
  describing various facets and artifacts of software development in a seamless,
  logically consistent way.
* UTP
  Hoare and He's Unifying Theories of Programming (UTP) is widely acknowledged
  as one of the most significant such unification approaches. Based on their
  pioneering work, the aims of the UTP Symposium series are to reaffirm the
  significance of the ongoing UTP project and to stimulate efforts to advance.
  The Symposium provides a focus for the sharing of results by those already
  actively contributing, and raises awareness of the benefits of such unifying
  theoretical frameworks among the wider computer science and software
  engineering communities. To this end the Symposium welcomes contributions
  on all the themes that can be related to the Unifying Theories of Programming.
* SUBMISSIONS
  Papers may be up to 20 pages in length and should be prepared using LaTeX
  in Springer LNCS paper format.  Submissions should be made through the UTP
  2014 EasyChair site, see http://www.comp.nus.edu.sg/~pat/UTP2014
* PUBLICATION
  Symposium post-proceedings will appear in Springer's Lectures Notes in
  Computer Science, as in past editions of the Symposium. (To be confirmed.)
* DATES
  Abstract due:                     January 17, 2014
  Full paper due:                   January 24, 2014
  Notification:                     March 7, 2014
  Camera-ready for pre-proceedings: April 11, 2014
  Symposium:                        May 12-13, 2014
* CHAIR
  David Naumann (Stevens Institute of Technology)
* ORGANISATION CHAIR
  Jin Song DONG (National University of Singapore)
* JOINT EVENT
  FM 2014, the 19th International Symposium on Formal Methods
  http://www.comp.nus.edu.sg/~pat/FM2014/



2ND FME WORKSHOP ON FORMAL METHODS IN SOFTWARE ENGINEERING (FormaliSE 2014)
  Call for Papers
  held in conjunction with ICSE 2014 (May 31th-June 7th)
  Hyderabad, India
  http://www.formalise.org/
* AIMS
  The main goal of the workshop is to foster integration between the formal
  methods and the software engineering communities with the purpose to examine
  the link between the two more carefully than is currently the case.
* AREAS
  Areas of interest include but are not limited to:
  - integration of FMs in the software development life cycle
  - ability of formal methods to handle real-world problems
  - prescriptive/objective guidance in the use of FMs
  - Formal methods in a certification context
  - "lightweight" or usable FMs
  - application experiences
  - scalability of FM applications
  - experimental validation
  The program will start with an invited speaker, followed by presentations
  of submitted papers. The workshop will end with a round table discussion
  (PC members and workshop audience), focusing on the subjects that came up
  during the workshop.
* SUBMISSIONS
  Submissions are limited to 7 pages in IEEE Conference Proceedings Format.
  They will be published as part of the (electronic) proceedings of ICSE 2013.
  All papers submitted to the workshop must be unpublished original work and
  should not be under review or submitted elsewhere while being under
  consideration. All submissions must be in English and in PDF format
  through online upload to the workshop submission website at the
  following URL:
  https://www.easychair.org/conferences/?conf=formalise2014.
* IMPORTANT DATES
  24 January 2014: submission deadline for workshop papers
  24 February 2014: notification of acceptance/rejection to authors
  14 March 2014: camera-ready copy deadline for workshop papers
* CHAIRS
  OC/PC CHAIRS are Stefania Gnesi (ISTI-CNR, Italy) and Nico Plat (West
  Consulting BV, The Netherlands). Local organizer is Ravindra Metta
  (Tata Consultancy Services, India). The OC/PC Chairs can be reached
  via e-mail: oc@formalise.org. If you intend to submit a paper you are
  invited to inform us in advance.



JOINT 25TH INTERNATIONAL CONFERENCE ON REWRITING TECHNIQUES AND APPLICATIONS AND 12TH INTERNATIONAL CONFERENCE ON TYPED LAMBDA CALCULI AND APPLICATIONS
  Call for Papers
  July 14-17, 2014, Vienna, Austria
  http://vsl2014.at/rta-tlca
* IMPORTANT DATES
  Abstract submission: January 28, 2014
  Notification: April 9, 2014
  Paper submission: February 4, 2014
  Final version: April 29, 2014
  Rebuttal period: March 19-21, 2014
* TOPICS
  This joint RTA and TLCA conference is the major forum for the
  presentation of research on all aspects of rewriting and typed
  lambda-calculi. Areas of interest include but are not limited to:
  - Foundations: string rewriting; term rewriting; graph rewriting;
  lambdacalculi; higher-order rewriting; binding techniques; constrained
  rewriting and deduction; categorical and infinitary rewriting;
  stochastic rewriting; net rewriting; Petri nets; higher-dimensional
  rewriting; process calculi; explicit substitution; tree automata;
  confluence; termination; complexity; modularity.
  - Algorithmic aspects and implementation: strategies; matching;
  unification; anti-unification; narrowing; constraint solving; theorem
  proving; completion techniques; implementation techniques; parallel
  execution; certification of rewriting properties; abstract machines;
  automated (non)termination and confluence provers; automated complexity
  analysis; SMT solving; system descriptions.
  - Logic: proof theory; natural deduction; sequent calculi; proof
  assistants; cut elimination and normalization; propositions as types;
  linear logic and proof nets; equational logic; rewriting logic;
  rewriting calculi; proof checking; reasoning about programming languages
  and logics; homotopy type theory;
  type-theoretic aspects of complexity; implicit computational complexity.
  - Types: dependent types; polymorphism; intersection types and related
  approaches; subtyping; type inference and type checking; types in databases.
  - Semantics: denotational semantics; operational semantics; game
  semantics; realisability; domain theory; categorical models; universal
  algebra.
  - Programming: foundational aspects of functional programming, object
  oriented programming, and other programming paradigms; flow analysis
  of higher-type computation; program equivalence; program transformation;
  program optimization; program refactoring; rewriting models of programs;
  rule-based (functional and logic) programming; control operators;
  symbolic and algebraic computation; system synthesis and verification;
  XML queries and transformations; types in program analysis and
  verification; analysis of cryptographic protocols; systems biology;
  linguistics.
* PROGRAMME CHAIR
  Gilles Dowek
* CONFERENCE CHAIR
  Gernot Salzer



MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE SPECIAL ISSUE ON COMPUTABLE ANALYSIS
  Call for Submissions
  http://www.cs.swan.ac.uk/ccc2013/
* GUEST EDITORS
  Hajime Ishihara (JAIST, Japan)
  Margarita Korovina (Novosibirsk, Russia)
  Arno Pauly (Cambridge, UK)
  Monika Seisenberger (Swansea, UK)
  Dieter Spreen (Siegen, Germany, and Pretoria, South Africa)
* DATES
  Abstracts submission deadline: January 31, 2014
  Deadline for full paper: February 28, 2014
* GENERAL
  After a year of successful work in the EU-IRSES project COMPUTAL
  http://computal.uni-trier.de
  and an excellent workshop "Continuity, Computability, Constructivity:
  From Logic to Algorithms (CCC 2013)" in Gregynog (Wales) in June this year,
  we are planning to publish a special issue of MATHEMATICAL STRUCTURES IN
  COMPUTER SCIENCE. The special issue should reflect progress made in
  Computable Analysis and related areas and is open for everyone.
* TOPICS
  Computable analysis
  Complexity of real number computations
  Computing with continuous data
  Domain theory and analysis
  Randomness and computable measure theory
  Models of computation with real numbers
  Realizability theory and analysis
  Reverse analysis
  Exact real number computation
  Program extraction in analysis
* SUBMISSIONS
  We want to split the submission process into two parts: Please, first submit
  an abstract of your paper and then later the full paper. Submit both the
  abstract as well as the full manuscript to
  https://www.easychair.org/account/signin.cgi?conf=ccc2013mscspostproce
  Papers will be processed according to high MSCS standards as soon as they
  are submitted. All papers must be original, unpublished, and not submitted
  for publication elsewhere. Please prepare your manuscript using the MSCS
  style file which can be downloaded from ftp.cup.cam.ac.uk
* ADDITIONAL INFORMATION
  Please email inquiries to spreen@informatik.uni-siegen.de.



34TH IFIP INTERNATIONAL CONFERENCE ON FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS AND SYSTEMS (FORTE 2014)
  Call for Papers
  A DisCoTec Member Conference
  http://www.discotec.org/calls/forte-2014-call-for-papers
  June 3-6, 2014
  Berlin, Germany
* DATES
  Abstract Submission: February 1, 2014
  Paper Submission: February 7, 2014
  Author Notification: March 10, 2014
* SCOPE
  Topics of interest include but are not limited to:
  - Languages and semantic foundations:
    new modeling and language concepts for distribution and concurrency,
    semantics for different types of languages, including programming
    languages, modeling languages, and domain-specific languages;
    real-time and probability aspects; type systems and behavioral
    typing;
  - Formal methods and techniques:
    design, specification, analysis, verification, validation, testing
    and runtime verification of various types of distributed systems
    including communications and network protocols, service-oriented
    systems, adaptive distributed systems;
  - Foundations of security:
    new principles for qualitative and quantitative security analysis of
    distributed systems, including formal models based on probabilistic
    concepts;
  - Applications of formal methods:
    applying formal methods and techniques for studying quality,
    reliability, availability, and safety of distributed systems;
  - Practical experience with formal methods:
    industrial applications, case studies and software tools for
    applying formal methods and description techniques to the
    development and analysis of real distributed systems.
* SUBMISSION
  Contributions must be written in English and report on original,
  unpublished work not submitted for publication elsewhere (cf. IFIP's
  codes of conduct). The submissions must not exceed 15 pages in length,
  including figures and references, prepared using Springer's LNCS style
  (cf. http://www.springer.de/comp/lncs/authors.html).
  Papers can be submitted electronically in pdf via the
  EasyChair system at the following address:
  https://www.easychair.org/account/signin.cgi?conf=forte14
  The time of all deadlines is 24:00 SST (UTC-11, Samoa Standard Time).
  Each paper will undergo a peer review of at least 3 anonymous
  reviewers.
  The conference proceedings will be published by Springer in the LNCS
  Series.
* INVITED SPEAKER
  Joachim Parrow (Uppsala University, Sweden)
* PROGRAMME CHAIRS
  Erika Abraham (RWTH Aachen University, Germany)
  Catuscia Palamidessi (INRIA Saclay, France)



18TH EUROPEAN JOINT CONFERENCES ON THEORY AND PRACTICE OF SOFTWARE (ETAPS 2015)
  Call for Satellite Events
  London, UK
  April 11-19, 2015
  http://www.etaps.org/index.php/2015/call-for-workshops
* ABOUT ETAPS
  The European Joint Conferences on Theory and Practice of Software
  (ETAPS) is the primary European forum for academic and industrial
  researchers working on topics relating to Software Science. ETAPS is
  an annual event which takes place in Europe each spring since 1998.
  The eighteenth conference, ETAPS 2015, will take place between April
  11th and 19th, 2015 at Queen Mary University of London, in London,
  United Kingdom.
* MAIN CONFERENCES
  ETAPS main conferences will take place on April 13th-17th, 2015. They are:
  - CC: International Conference on 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
* SATELLITE EVENTS
  The ETAPS 2015 organizing committee invites proposals for satellite
  events (workshops etc.) that will complement the main
  conferences. They should fall within the scope of ETAPS. This
  encompasses all aspects of the system development process, including
  specification, design, implementation, analysis and improvement, as
  well as the languages, methodologies and tools which support these
  activities, covering a spectrum from practically-motivated theory to
  soundly-based practice. Satellite events provide an opportunity to
  discuss and report on emerging research approaches and practical
  experience relevant to theory and practice of software.
  ETAPS 2015 satellite events will be held immediately before and after
  the main conferences, on April 11th-12th and April 18th-19th, 2015.
* SUBMISSION OF SATELLITE EVENT PROPOSALS
  Researchers and practitioners wishing to organize satellite events are
  invited to submit proposals in plain text or pdf by e-mail to Paulo
  Oliva  p.oliva@qmul.ac.uk). The required format of the proposal is
  described at http://www.etaps.org/index.php/2015/call-for-workshops
  The proposals will be evaluated by the ETAPS 2015 organizing committee
  on the basis of their assessed benefit for prospective participants of
  ETAPS 2015. Prospective organizers may wish to consult the web pages
  of previous satellite events as examples:
  ETAPS 2014: http://www.etaps.org/2014/workshops
  ETAPS 2013: http://www.etaps.org/2013/workshops
  ETAPS 2012: http://www.etaps.org/2012/workshops
  ETAPS 2011: http://www.etaps.org/2011/workshops
* IMPORTANT DATES
  Satellite event proposals deadline: February 7th, 2014
  Notification of acceptance: February 28th, 2014
* FURTHER INFORMATION AND ENQUIRIES
  Please contact Paulo Oliva (p.oliva@qmul.ac.uk).



28TH ANNUAL INTERNATIONAL SYMPOSIUM DEVOTED TO LOGIC (LOGICA 2014)
  Call for Papers
  June 16-20, 2014
  Hejnice, Czech Republic
  http://www.flu.cas.cz/en/logica2014
* SCOPE
  Logica 2014 is the 28th in the series of annual international symposia
  devoted to logic. Contributions devoted to any of the wide range of
  logical problems are welcome except those focused on specialized technical
  applications. Particularly welcome are contributions that cover issues
  interesting both for 'philosophically' and for 'mathematically' oriented
  logicians.
* IMPORTANT DATES
  - Deadline for submissions: 15 February
  - Notification of acceptance: by the end of March
* INVITED SPEAKERS
  Dorothy Edgington, Dag Prawitz, Graham Priest and Goran Sundholm.
* DETAILS
  Detailed information can be found on the webpage.



8TH INTERNATIONAL CONFERENCE ON TESTS AND PROOFS (TAP 2014)
  http://www.tap2014.org
  Co-located with STAF, York, UK, July 24-25, 2014
* SCOPE
  The TAP conference is devoted to the synergy of proofs and tests,
  to the application of techniques from both sides and their combination
  for the advancement of software quality.
* TOPICS
  Topics of interest cover theory definitions, tool constructions and
  experimentations, and include (other topics related to TAP are welcome):
  - Bridging the gap between concrete and symbolic techniques, e.g. using
    proof search in satisfiability modulo theories solvers to enhance
    various testing techniques
  - Transfer of concepts from testing to proving (e.g., coverage criteria)
    and from proving to testing
  - Program proving with the aid of testing techniques
  - Verification and testing techniques combining proofs and tests
  - Generation of test data, oracles, or preambles by deductive techniques
    such as: theorem proving, model checking, symbolic execution,
    constraint logic programming
  - Model-based testing and verification
  - Generation of specifications by deduction
  - Automatic bug finding
  - Debugging of programs combining static and dynamic analysis
  - Case studies combining tests and proofs
  - Domain specific applications of testing and proving to new application
    domains such as validating security protocols, vulnerability detection
    of programs, security
  - Testing of verification environments and reasoning engines like solvers
    and theorem provers
  - New approaches such as crowd-sourcing and serious games to
    infer intended semantics and assess correctness
  - Formal frameworks
  - Tool descriptions and experience reports
* IMPORTANT DATES
  Abstract submission:   February 25, 2014
  Paper submission:      March 1, 2014
  Notification:          April 28, 2014
  Camera ready version:  May 12, 2014
  TAP conference:        July 24-25, 2014
* PROGRAM CHAIRS
  Martina Seidl (JKU Linz/TU Wien, Austria)
  Nikolai Tillmann (Microsoft Research, USA)
* SUBMISSION
  Please submit your papers via easychair
  https://www.easychair.org/conferences/?conf=tap2014
  (submission page to be opened in due time)
  TAP 2014 will accept two types of papers and also tutorials:
  - Research papers: full papers with at most 16 pages in LNCS format
    (pdf), which have to be original, unpublished and not submitted
    elsewhere. Research papers should clearly describe the addressed
    problem, the relevant state-of-the-art, the scientifically-founded
    solution, and the benefits of the presented approach.
  - Short contributions: work in progress, (industrial) experience
    reports or tool demonstrations, position statements; an extended
    abstract with at most 6 pages in LNCS format (pdf) is expected.
    The same evaluation criteria apply to short papers as to full
    research papers. Short papers will be reviewed to the same
    standards of quality as full research papers.
  - Tutorials: TAP 2014 further invites one-hour tutorial presentation
    surveying the  state-of-the-art of any research field related
    to the topics of TAP. Tutorial proposals shall have a maximum
    length of 3 pages in LNCS format (pdf) and provide information
    about the content, a short outline, and information about the
    speakers.
  Accepted full and short papers will be published in the Springer LNCS
  series and will be available at the conference. Accepted tutorials
  will be assigned a slot of 60 minutes during the conference.
  The contents of previous TAP proceedings is available at:
  http://www.informatik.uni-trier.de/~ley/db/conf/tap/tap2013.html



ACKERMANN AWARD 2014 - THE EACSL OUTSTANDING DISSERTATION AWARD FOR LOGIC IN COMPUTER SCIENCE
  Call for Nominations
  http://www.eacsl.org/submissionsAck.html
* ELIGIBILITY
  Eligible for the 2014 Ackermann Award are PhD dissertations in topics
  specified by the EACSL and LICS conferences, which were formally
  accepted as PhD theses at a university or equivalent institution
  between 1.1.2012 and 31.12.2013.
* SUBMISSION DETAILS
  Submission details are available at
  http://www.eacsl.org/submissionsAck.html
  - The deadline for submission is February 28, 2014
  - Nominations should be sent to the chair of the Jury by e-mail:
    anuj.dawar@cl.cam.ac.uk
* DETAILS
  The award consists of
  - a diploma,
  - an invitation to present the thesis at the CSL conference,
  - the publication of the laudation in the CSL proceedings,
  - travel support to attend the conference.
  The 2014 Ackermann Award will be presented to the recipients at the
  joint CSL/LICS conference in Vienna (Austria) to be held 14-18 July 2014.
* JURY
  The jury consists of  8  members:
  - T. Coquand (Chalmers University of Gothenburg)
  - A. Dawar (Cambridge, U.K., president of EACSL)
  - T.A. Henzinger (Klosterneuburg, Austria)
  - D. Leivant (Bloomington, USA)
  - D. Niwinski (Warsaw, Poland)
  - L. Ong (Oxford, U.K., LICS representative)
  - S. Ronchi Della Rocca (vice-president of EACSL)
  - W. Thomas (Aachen, Germany)
  The jury is entitled to give more (or less) than one award per year.



CONFERENCES ON INTELLIGENT COMPUTER MATHEMATICS (CICM 2014)
  Call for Papers
  July 7-11, 2014 at University of Coimbra, Portugal
  http://www.cicm-conference.org/2014
* SCOPE
  As   computers   and   communications  technology   advance,   greater
  opportunities  arise for  intelligent mathematical  computation. While
  computer  algebra, automated  deduction,  mathematical publishing  and
  novel user interfaces individually have long and successful histories,
  we  are now seeing  increasing opportunities  for synergy  among these
  areas.  The  Conferences on  Intelligent  Computer Mathematics  (CICM)
  offer a venue for discussing these areas and their synergy.
* TRACKS
  - Calculemus (Symbolic Computation and Mechanised Reasoning)
  Chair: James Davenport
  - DML (Digital Mathematical Libraries)
  Chair: Petr Sojka
  - MKM (Mathematical Knowledge Management)
  Chair: Josef Urban
  - Systems and Projects
  Chair: Alan Sexton
* ORGANISATION
  The local  arrangements will be coordinated by  the Local Arrangements
  Chair,  Paedro  Quaresma  (U.  Coimbra,  Portugal),  and  the  overall
  programme will be organised by the General Program Chair, Stephen Watt
  (U. Western Ontario, Canada).
* IMPORTANT DATES
  Abstract submission:          28 February 2014
  Submission deadline:          7 March 2014
  Reviews sent to authors:      4 April 2014
  Rebuttals due:                8 April 2014
  Notification of acceptance:   14 April 2014
  Camera ready copies due:      25 April 2014
* WORK IN PROGRESS AND DOCTORAL PROGRAMME SUBMISSIONS
  Submission deadline:          28 April 2014
  (Doctoral: Abstract+CV)
  Notification of acceptance:   19 May 2014
  Camera ready copies due:      26 May 2014



NASSLLI 2014 STUDENT SESSION
  Call for Papers
  June 23-27, 2014
  University of Maryland, College Park
* The North American Summer School for Logic, Language and Information
  (NASSLLI) welcomes paper submissions for presentation at its Student
  Session. Submissions may be in any of the fields related to the school
  (logic and language, logic and computation, or language and computation)
  and should represent original, unpublished work by individuals who will not
  yet have received their Ph.D. by the time of the conference.
  The Student Session will co-occur with NASSLLI and provides students an
  excellent opportunity to present their work to experts in their field as
  well as to a broader, well-informed interdisciplinary audience. All
  submissions will be reviewed by at least three specialists who will provide
  commentary on the paper regardless of its acceptance status.
  Submissions should be prepared for blind review (i.e., should not contain
  any information identifying the author) and should be uploaded as a .pdf
  file to the Student Session's EasyChair site. Submissions should not
  exceed 10 pages and should be formatted standardly (11 or 12 point font,
  1 inch margins).
  No more than one-single authored and one co-authored paper should be
  submitted by an individual. (All co-authors should also be students.)
  Authors whose submissions have been accepted and who intend to present will
  be required to register for NASSLLI.
* IMPORTANT DATES
  Submissions due: February 28, 2014 (by midnight)
  Notifications: April 14, 2014
* WEBSITES:
  Submissions: https://www.easychair.org/account/signin.cgi?conf=stusnasslli14
  NASSLLI 2014: http://www.nasslli2014.com/



MAKING AUTOMATED REASONING PRACTICAL: ESSAYS IN MEMORY OF MARK STICKEL
  Call for Papers
* DEADLINE
  Submission Deadline: March 1st, 2014
* AIM
  This is a book of collected articles presenting research in all aspects of
  automated reasoning, in particular the design of automated reasoning
  systems and their applications.
  A common theme behind Mark Stickel's work was developing techniques for
  building better automated reasoning systems. His discoveries were
  ground-breaking and include AC-unification, reasoning modulo a theory, term
  indexing, and thorough development of the SNARK and PTTP provers. In 2002 he
  received the Herbrand award for all his work, the highest award in automated
  reasoning (http://www.cadeinc.org/).
  We would like to honour Mark's achievements by editing a Festschrift
  comprised of articles in the spirit of his research approach: developing
  fundamental techniques driven by practical applications and informed by
  rigorous theory.
* SCOPE
  We invite high-quality submissions on the general topic of
  automated reasoning and its applications, especially but not
  exclusively to the design of automated theorem proving systems, with
  connections to any of Mark Stickel's research areas:
  - Automated theorem proving, including deductive and abductive reasoning
  - Implementation of and practice with automated reasoners
  - Algorithmics for automated reasoners: unification,
    matching, rewriting, indexing
  - Integration of general-purpose reasoning with external procedures
  - Spatial and temporal reasoning
  - Inference control, theory reasoning, semantic guidance for automated reasoners
  - Application of automated reasoners in mathematics,
    logic, program synthesis, natural language, and natural sciences
  - SAT-solving
  - Applications related to formal methods
* PUBLICATION DETAILS
  It is planned that the book will be published as an LNAI Festschrift
  with Springer.
* SUBMISSION INSTRUCTIONS
  While it is expected that most of the papers will be regular
  technical papers, a few papers that combine scientific content
  with recollections of Mark Stickel's work and personality,
  as can be written by those who worked with him, are also sought.
  All papers will be refereed by anonymous peer reviewers, and
  read by the editors, according to the highest standards in terms
  of originality, significance, technical quality, and readability.
  Submissions must be in English and standard conforming pdf
  format. They must be unpublished and not submitted for
  publication elsewhere. However, significantly extended versions
  of papers published at conferences are welcome. Submissions
  of any length will be considered, but final versions may be
  limited by the editors depending on the totality of submissions.
  Authors are strongly encouraged to produce their papers in LaTeX.
  Formatting instructions and the LNCS style files can be obtained
  via http://www.springer.de/comp/lncs/authors.html.
  Electronic submission via EasyChair is open at
  https://www.easychair.org/conferences/?conf=festschriftmarkstick .
  In order to facilitate the planning of the book, authors are
  invited to notify the editors as soon as possible of their
  intention to submit with proposed topic and length. Early
  submission would be especially helpful for completing the
  review process sooner.
* EDITORS
  Peter Baumgartner      NICTA and Australian National University,
                         http://users.cecs.anu.edu.au/~baumgart/
  Richard Waldinger      SRI International,
                         http://www.ai.sri.com/~waldinge/



7TH INTERACTION AND CONCURRENCY EXPERIENCE (ICE 2014)
  June 6, 2014, Berlin, Germany
  http://www.discotec.org/workshops/ice-2014
  Satellite workshop of DisCoTec 2014
  http://www.discotec.org
* HIGHLIGHTS
  - Innovative selection procedure
  - ICE welcomes submissions of full papers, short papers, and brief
    announcements of already published papers
  - Invited talks: Kim Larsen and Pavol Cerny
  - Special issue in a highly-reputed journal
* IMPORTANT DATES
  12 March 2014...................Abstract submission
  15 March 2014...................Full paper submission
  16 March - 15 April 2014....Reviews and PC discussion
  16 April 2014......................Notification to authors
  6 June 2014.......................ICE in Berlin
  15 September 2014...........Camera-ready for post-proceedings
* SCOPE
  Interaction and Concurrency Experiences (ICEs) is a series of international
  scientific meetings oriented to theoretical computer science researchers
  with special interest in models, verification, tools, and programming
  primitives for complex interactions. The special focus of ICE 2014 is
  automation in concurrency and interaction.
* SELECTION PROCEDURE
  Since its 1st edition in 2008, the distinguishing feature of ICE has been
  an innovative paper selection mechanism based on an interactive discussion
  amongst authors and PC members.
  During the review phase, each submission is published on a dedicated
  discussion forum. The discussion forum can be accessed by the authors of
  the submission and by all the PC members not in conflict with the
  submission. The forum is used by reviewers to ask questions and
  clarifications to the authors, allowing them to better explain all the
  aspects of their submission. The evaluation of the submission will take
  into account not only the reviews, but also the outcome of the discussion.
  As witnessed by the past six editions of ICE, this procedure considerably
  improves the accuracy of the reviews, the fairness of the selection, the
  quality of camera-ready papers, and the discussion during the workshop.
* SUBMISSIONS
  We invite for three types of submissions:
  (1) Full Papers;
  (2) Short Papers;
  (3) Brief Announcements of already Published Papers.
  Full and short papers will appear in the post-proceedings and must report
  previously unpublished work and not be simultaneously submitted to other
  conferences/workshops with refereed proceedings. The ICE 2014
  post-proceedings will be published in Electronic Proceedings in Theoretical
  Computer Science (http://eptcs.org/). In addition, we invite for brief
  announcements of already published results, should the authors be
  interested in discussing their published research with the ICE community
  and giving a talk. Brief announcements will not be part of the
  post-proceedings.
  Submissions must be made electronically in PDF format via EasyChair (
  http://www.easychair.org/conferences/?conf=ice2014). Full papers should
  not exceed 15 pages in length, while short papers and brief announcements
  should not exceed 5 pages with the EPTCS style (http://style.eptcs.org/).
* SPECIAL ISSIE
  We plan to invite extended versions of selected full papers to a special
  issue in a highly-reputed journal. Such contributions will be regularly
  peer-reviewed according to the standard journal policy, but they will be
  handled in a shorter time than regular submissions.
* INVITED TALKS
  Kim Larsen (Aalborg University, Denmark)
  Pavol Cerny (University of Colorado Boulder, USA)
* ICEcreamers
  Ivan Lanese (University of Bologna/INRIA, Italy; PC chair)
  Alberto Lluch Lafuente (IMT Institute for Advanced Studies Lucca, Italy)
  Ana Sokolova (University of Salzburg, Austria; PC chair)
  Hugo Torres Vieira (University of Lisbon, Portugal)



10TH INTERNATIONAL CONFERENCE ON ADVANCES IN MODAL LOGIC (AiML 2014)
  Call for Papers
  August 5-8, 2014
  Groningen, The Netherlands
  http://www.philos.rug.nl/AiML2014/
* SCOPE
  AiML is an initiative aimed at presenting the state of the art in
  modal logic and its various applications. The initiative consists
  of a conference series together with volumes based on the conferences.
  Information about the AiML series can be obtained at http://www.aiml.net.
  AiML-2014 is the tenth conference in the series.
* TOPICS
  We invite submission on all aspects of modal logic, including:
  history of modal logic; philosophy of modal logic; applications of modal
  logic; computational aspects of modal logic (complexity and decidability of
  modal and temporal logics, modal and temporal logic programming,
  model checking, model generation, theorem proving for modal logics);
  theoretical aspects of modal logic (algebraic/categorical perspectives
  on modal logic, coalgebraic modal logic, completeness and canonicity,
  correspondence and duality theory, many-dimensional modal logics,
  modal fixed point logics, model theory of modal logic, proof theory
  of modal logic); specific instances and variations of modal logic (description
  logics, modal logics over non-boolean bases, dynamic logics and other
  process logics, epistemic and deontic logics, modal logics for agent-based
  systems, modal logic and game theory, modal logic and grammar
  formalisms, provability and interpretability logics, spatial and temporal
  logics, hybrid logic, intuitionistic logic, substructural logics, computationally
  light fragments of all such logics). Papers on related subjects will also be
  considered.
* IMPORTANT DATES
  Abstract of full paper submission due: 14 March 2014
  Full paper submission due: 21 March 2014
  Full paper notification: 2 May 2014
  Short presentation submission due: 12 May 2014
  Short presentation notification: 2 June 2014



12TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM 2014)
  Grenoble, France
  September 1-5, 2014
  http://sefm2014.inria.fr/
* AIMS
  The aim of the conference is to bring together practitioners and
  researchers from academia, industry and government to advance the
  state of the art in formal methods, to scale up their application in
  the software industry and to encourage their integration with
  practical engineering methods. Papers that apply formal methods to
  software engineering are especially welcome.
* IMPORTANT DATES
  Abstract Submission: March 14, 2014
  Paper Submission: March 21, 2014 (AoE)
  Notification: May 19, 2014
  Camera Ready: June 13, 2014
* TOPICS OF INTEREST
  - Formal requirement analysis, modeling, specification and design
  - Abstraction and refinement
  - Formal methods for probabilistic verification and synthesis
  - Programming languages, program analysis and type theory
  - Formal methods for self-adaptive systems, service-oriented and cloud computing
  - Formal aspects of security and mobility
  - Model checking, theorem proving and decision procedures
  - Formal methods for real-time, hybrid and embedded systems
  - Formal methods for safety-critical, fault-tolerant and secure systems
  - Software architecture and coordination languages
  - Software verification and validation
  - Component, object and multi-agent systems
  - Formal aspects of software evolution and maintenance
  - Formal methods for testing, re-engineering and reuse
  - Light-weight and scalable formal methods
  - Tool integration
  - Applications of formal methods, industrial case studies and technology transfer
  - Education and formal methods
* SUBMISSION
  We solicit two categories of papers:
  - Research papers should describe fully developed work and should not
  exceed 15 pages (including appendices). Authors of papers reporting
  experimental work are strongly encouraged to make their experimental
  results available to reviewers. Case study papers should describe
  significant case studies and lessons learned.
  - Tool papers should describe an operational tool and its
  contributions. Tool papers should not exceed 6 pages. Please include
  the URL of the tool (if available).
* CHAIR
  Radu Mateescu - Inria Grenoble, Rhoene-Alpes, France
* PROGRAM CHAIRS
  Dimitra Giannakopoulou, NASA Ames, USA
  Gwen Sala?n, Grenoble INP, Inria, France



LASER SUMMER SCHOOL ON SOFTWARE ENGINEERING (LASER 2014)
  Call for Participation
  Leading-Edge Software Engineering
  September 7-13, 2014 - Elba Island, Italy
  http://laser.inf.ethz.ch/2014/
* GOALS
  The LASER summer school, organized by the ETH Chair of Software
  Engineering, brings together the concepts and practice of software
  engineering in the idyllic setting of the Elba Island off the coast of
  Tuscany, easily reachable by air, car, bus or train.
  The LASER school is intended for professionals from the industry
  (engineers and managers) as well as university researchers, including
  PhD students. Participants learn about the most important software
  technology advances from the pioneers in the field. The school's focus
  is applied, although theory is welcome to establish solid foundations.
  The format of the school favors extensive interaction between
  participants and speakers.
* TOPIC AND SPEAKERS
  The LASER school is 10 years old! To celebrate this anniversary,
  we have gone not for a narrow topic but for a selection of brilliant
  speakers who will describe leading-edge research in a variety of areas
  of software engineering, both conceptual and applied:
  - Harald C. Gall (University of Zurich)
  - Daniel Jackson (MIT)
  - Michael Jackson (The Open University)
  - Erik Meijer (Applied Duality)
  - Bertrand Meyer (ETH Zurich)
  - Gail C. Murphy (University of British Columbia)
  - Moshe Y. Vardi (Rice University)
* HOW TO APPLY
  Use the online registration form available on the LASER website
  http://laser.inf.ethz.ch/2014. Registration is open until March 31,
  2014. The number of participants is strictly limited to ensure quality
  interaction with the lecturers and the rest of the audience. For more
  information, visit our website or contact the organizers:
  se-laser@lists.inf.ethz.ch



ESSLLI 2014 STUDENT SESSION
  Call for Papers
  http://www.kr.tuwien.ac.at/drm/dehaan/stus2014/
  Tuebingen, Germany, August 11-22, 2014
* ABOUT
  The Student Session of the 26th European Summer School in Logic, Language,
  and Information (ESSLLI) will take place in Tübingen, Germany, on August
  11-22, 2014. We invite submissions of original, unpublished work from
  students in any area at the intersection of Logic & Language, Language &
  Computation, or Logic & Computation. Submissions will be reviewed by
  several experts in the field, and accepted papers will be presented orally
  or as posters and will appear in the student session proceedings. This is
  an excellent opportunity to receive valuable feedback from expert readers
  and to present your work to a diverse audience.
* SEPARATE POSTER SESSION
  Note that there are two separate kinds of submissions, one for the oral
  presentations and one for the posters. This means that papers can be
  directly submitted as posters. Reviewing and ranking will be done
  separately. We particularly encourage submissions for posters, as they
  offer an excellent opportunity to present research in progress.
  More detailed guidelines and policies regarding submission can be found on
  the Student Session website: http://www.kr.tuwien.ac.at/drm/dehaan/stus2014/
  Please direct inquiries about submission procedures or other matters
  relating to the Student Session to: dehaan@kr.tuwien.ac.at.
  For general inquiries about ESSLLI 2014, please consult the main ESSLLI
  2014 page: http://www.esslli2014.info/.
* IMPORTANT DATES
  Submission deadline: April 1, 2014
  Notification of acceptance: June 1, 2014
  Submission of camera-ready papers: July 1, 2014
  Conference dates: August 11-22, 2014
* CHAIRS
  Ronald de Haan (Technische Universitaet Wien, Austria)
  LoCo co-chairs:
    Zoe Christoff (Universiteit van Amsterdam, the Netherlands)
    Aybuke Ozgun (Universite de Lorraine, France)
  LoLa co-chairs:
    Philip Schulz (Universiteit van Amsterdam, the Netherlands)
    Thomas Brochhagen (Universitaet Duesseldorf, Germany)
  LaCo co-chairs:
    Miriam Kaeshammer (Universitaet Duesseldorf, Germany)
    Ramon Ziai (Universitaet Tuebingen, Germany)



14TH INTERNATIONAL CONFERENCE ON RUNTIME VERIFICATION (RV 2014)
  Call for Papers
  September 22-25, 2014
  Toronto, Canada
  http://rv2014.imag.fr/
* SCOPE
  Runtime verification is concerned with monitoring and analysis of software
  and hardware system executions. Runtime verification techniques are crucial
  for system correctness, reliability, and robustness; they are significantly
  more powerful and versatile than conventional testing, and more practical
  than exhaustive formal verification. Runtime verification can be used prior
  to deployment, for testing, verification, and debugging purposes, and after
  deployment for ensuring reliability, safety, and security and for providing
  fault containment and recovery as well as online system repair.
* TECHNICAL RESEARCH PAPERS TRACK
  Technical research papers can be submitted in two categories: regular and
  short papers.
  - Regular papers (up to 15 pages) should present original unpublished results.
  Theoretical and experimental papers as well as papers on applications of
  runtime verification and case studies are all welcome. A non-monetary Best
  Paper Award will be given. A selection of accepted regular papers will be
  invited to appear in a special issue of the Springer Journal on Formal
  Methods in System Design.
  - Short papers (up to 5 pages) may present novel but not necessarily
  thoroughly worked out ideas, for example emerging runtime verification
  techniques and applications, or techniques and applications that establish
  relationships between runtime verification and other domains. Accepted
  short papers will be presented in special short talk (10 minutes) and
  poster sessions.
* TOOL DEMONSTRATION TRACK
  The aim of the RV 2014 tool demonstration track is to provide an opportunity
  for researchers and practitioners to show and to discuss the latest advances,
  experiences and challenges in devising and developing reliable software
  tools for runtime verification. Tool papers should meet the following criteria:
  A tool paper should present a new tool, a new tool component or novel
  extensions to existing tools supporting runtime verification. Each submission
  should be original and not published previously in a tool paper form.
  Each submission must not exceed 8 pages in the LNCS/Springer proceeding
  format, including all text, references and figures. The paper must be written
  in English and provided in PDF format.
  Each submission must be accompanied at the time of the submission by a short
  screencast (between 5-10 minutes), with voice and overlay text commentary
  illustrating the demonstration of the tool (a link to it should be provided
  in the paper).
* IMPORTANT DATES
  Abstract deadline: April 8, 2014
  Full paper deadline: April 15, 2014
  Rebuttal phase: May 18-20, 2014
  Acceptance notification: June 10, 2014
  Camera ready submission: June 25, 2014
  Conference dates: 22-25 September, 2014



12TH INTERNATIONAL SYMPOSIUM ON AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS (ATVA 2014)
  Call for Workshop Proposals
  November 3-7, 2014, Sydney, Australia
  http://atva-conferences.org
* GOALS
  The 12th International Symposium on Automated Technology for
  Verification and Analysis (ATVA) invites proposals for pre-
  and postconference workshops to be held on November 3 (pre)
  or November 7 (post). The ATVA conference series covers the
  spectrum from theoretical results to practical applications
  of automated analysis, verification and synthesis.
  Proposals that promise to bring new topics to ATVA, of either
  practical or theoretical importance, or to provide a forum for more
  detailed discussion on central topics of continuing importance
  are highly welcome. Proposals that explore the application of
  automated tools to real-world problems are especially encouraged.
  Workshop proposals are limited to 2 pages, and should provide at
  least the following information:
   - Title
   - Description of the workshop topic and goals
   (Why do you believe this is an interesting and significant topic?)
   - Intended audience
   (From which areas do you expect potential participants to
    come? How many participants do you expect?)
   - Relevance and relation of the workshop to the main conference
   - Organisation of the workshop
   (Describe the intended format (e.g. paper selection process),
    its expected duration (full day or half day) and its preferred
    date (November 3rd or November 7th)
   - Organisers' details
   (Provide affiliations, backgrounds and contact details of
   organisers and potential committee members)
  Proposals should be sent as PDF to the workshop chair Peter Hoefner
  (peter.hoefner@nicta.com.au).
* IMPORTANT DATES
  Deadline for proposal submissions: April 14, 2014
  Acceptance/rejection notification: May 19, 2014
  Workshop Date: November 3rd and 7th



12TH INTERNATIONAL CONFERENCES ON FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS (FORMATS 2014)
  Preliminary Call for Papers
  September 8-10, 2014
  http://www.florence2014.org/
* TOPICS
  The aim of FORMATS is to promote the study of fundamental and
  practical aspects of timed systems, and to bring together researchers
  from different disciplines that share interests in modelling and
  analysis of timed systems. Typical topics include (but are not limited
  to):
  - Foundations and Semantics: Theoretical foundations of timed systems
    and languages; comparison between different models (timed automata,
    timed Petri nets, hybrid automata, timed process algebra, max-plus
    algebra, probabilistic models).
  - Methods and Tools: Techniques, algorithms, data structures, and
    software tools for analyzing timed systems and resolving temporal
    constraints (scheduling, worst-case execution time analysis,
    optimization, model checking, testing, constraint solving, etc.).
  - Applications: Adaptation and specialization of timing technology in
    application domains in which timing plays an important role
    (real-time software, hardware circuits, and problems of scheduling
    in manufacturing and telecommunication).
* SUBMISSION
  FORMATS 2014 solicits high-quality papers reporting research results
  and/or experience reports related to the topics mentioned
  above. Submitted papers must contain original, unpublished
  contributions, not submitted for publication elsewhere. The papers
  should be submitted electronically in PDF, following the Springer LNCS
  style guidelines. Submissions should not exceed 15 pages in length.
  Papers should be submitted electronically via EasyChair online
  submission system:
  https://www.easychair.org/account/signin.cgi?conf=formats2014
  The proceedings of FORMATS 2014 will be published by Springer in the
  Lecture Notes in Computer Science series.
* IMPORTANT DATES
  - Abstract submission:  April 14, 2014
  - Paper submission:  April 21, 2014
  - Notification of acceptance:  June 9, 2014
  - Final version due:  June 23, 2014
  - Conference:  September 8-10, 2014
* PROGRAM CHAIRS
  Marius Bozga           (VERIMAG / CNRS, Grenoble, France)
  Axel Legay             (IRISA / INRIA Rennes, France)
* VENUE
  FORMATS 2014 will take place in Florence, Italy as part of FLORENCE
  2014, a one-week scientific event on formal and quantitative methods
  for the development of dependable and performing systems:
                   http://www.florence2014.org/
  It will be held in Florence during the week 8-12 September 2014, and
  it will co-locate five major conferences in the areas of formal and
  quantitative analysis of systems, performance engineering, computer
  safety, and industrial critical applications.
  All the conferences will take place at the Aeronautical Sciences
  School of the Italian Air Force, inside the monumental and historical
  park of Cascine in the city of Florence.
* COLOCATED EVENTS
  - QEST: International Conference on Quantitative Evaluation of SysTems
  - SAFECOMP: International Conference on Computer Safety, Reliability and
    Security
  - EPEW: European Workshop on Performance Engineering
  - FMICS: International Workshop on Formal Methods for Industrial
    Critical Systems



1ST INTERNATIONAL CONFERENCE ON FORMAL METHODS IN MACRO-BIOLOGY (FMMB 2014)
  Call for Papers
  September 22-24, 2014
  Noumea, New Caledonia
  http://fmmb2014.sciencesconf.org/
* AIMS AND SCOPE
  The purpose of FMMB is to bring together researchers, developers,
  and students in theoretical computer science, applied mathematics,
  mathematical and computational biology, interested in studying the
  application of formal methods to the construction and analysis of
  models describing biological processes at both micro and macro levels.
  The topics of interest include (but are not limited to):
  - representation and analysis of biological systems in formal systems
    such as:
      o ordinary and partial differential equation systems,
      o discrete event systems, infinite state systems,
      o hybrid discrete-continuous systems, hybrid automata,
      o cellular automata, multi-agent systems,
      o stochastic processes, stochastic games,
      o statistical physics models,
      o process algebras, process calculi,
      o rewriting systems, graph grammars,
  - coupling models and data, inference of models from data,
  - computability and complexity issues,
  - modelling and analysis tools, case studies.
  Application areas particularly solicited include:
  - environmental biology, ecology, marine science,
  - agriculture and forestry,
  - developmental biology, population biology,
  - epidemiology, medicine,
  - systems biology, synthetic biology.
* KEYNOTE SPEAKERS
  Pieter Collins,  Maastricht University, Netherlands,
  Saso Dzeroski,   Jozef Stefan Institute, Slovenia,
  Radu Grosu,      Vienna Technical University, Austria,
  Steffen Klamt,   Max Planck Institute Magdeburg, Germany,
  Pietro Lio',     Cambridge University, UK,
  Helene Morlon,   Ecole Polytechnique and CNRS, France.
* PC CO-CHAIRS
  Francois Fages,  Inria Paris-Rocquencourt, France,
  Carla Piazza,    University of Udine, Italy.
* LOCAL CHAIR
  Teodor Knapik,   University of New Caledonia.
* IMPORTANT DATES
  Submission deadline:    April 25
  Author notification:    June 4
  Camera-ready copy due:  June 25
* SUBMISSION AND PUBLICATION
  Regular submissions of 12-20 pages or short submissions of 2 pages
  in LNCS style should be submitted as PDF files via EasyChair
  https://www.easychair.org/conferences/?conf=fmmb2014 .
  All accepted papers will be published in a book in the LNBI series of
  Springer-Verlag. Authors of the most significant contributions will
  be invited to submit extended versions for a journal special issue.



8TH IFIP INTERNATIONAL CONFERENCE ON THEORETICAL COMPUTER SCIENCE (TCS 2014)
  Call for Papers
  September 1-3, 2014 Rome, Italy
  http://www.cyprusconferences.org/tcs2014/
* AIM AND SCOPE OF THE CONFERENCE
  Under the patronage of the International Federation of Information
  Processing (IFIP), since year 2000 the IFIP Technical Committee 1
  (Foundations of Computer Science) has organized a series of biannual
  international conferences in Theoretical Computer Science. After Sendai
  (2000), Montreal (2002), Toulouse (2004), Santiago (2006), Milano (2008),
  Brisbane (2010), and Amsterdam (2012), the 8th edition will be held in Rome
  in September 2014, in cooperation with the IFIP Working Group 2.2 (Formal
  Description of Programming Concepts) and in conjunction with the 25th
  Conference on Concurrency Theory. We call for papers in all areas of
  Theoretical Computer Science: they will be evaluated by two committees:
  - Track A: Algorithms, Complexity and Models of Computation
  - Track B: Logic, Semantics, Specification and Verification
* SUBMISSION GUIDELINES
  Authors are invited to submit an extended abstract of at most 15 pages
  (LNCS style with at least 11-point font size) to arrive before April 27,
  2014. If more space is needed, a clearly marked appendix, to be read at the
  discretion of the program committee, may be included if desired. Submission
  will be handled by EasyChair. Further information and submission details
  can be found on the Conference web page. Simultaneous submissions to other
  conferences with published proceedings are not allowed.
* PROCEEDINGS
  The conference proceedings will be published by Springer-Verlag in Lecture
  Notes in Computer Science (LNCS) series. Selected papers from TCS 2014 will
  be invited to a special issue of the Journal Theoretical Computer Science.
* IMPORTANT DATES
  Deadline for submission: April 27, 2014.
  Notification of acceptance: June 25, 2014.
  Final manuscript due: July 6, 2014.
  Conference: September 1-3, 2014.
* CONFERENCE CO-CHAIRS:
  - Daniele Gorla, Sapienza Univ. di Roma
  - Rossella Petreschi, Sapienza Univ. di Roma
* PROGRAM CHAIRS
  - Track A: Josep Diaz (Chair), UPC Barcelona
  - Track B: Davide Sangiorgi (Chair), Univ. di Bologna



9TH SYMPOSIUM ON TRUSTWORTHY GLOBAL COMPUTING (TGC 2014)
  Call for Papers
  http://www.cs.le.ac.uk/events/tgc2014/
  5-6 September, 2014
  Rome, Italy (co-located with Concur 2014)
* SCOPE
  The Symposium on Trustworthy Global Computing is an international annual
  venue dedicated to secure and reliable computation in the so-called global
  computing, i.e., those computational abstractions emerging in large-scale
  infrastructures such as service-oriented architectures, autonomic systems,
  and cloud computing.
* HIGHLIGHTS
  - Parallel submission to CONCUR 2014 allowed (see submission instructions)
  - Keynote speakers: Veronique Cortier (CNRS, France) and Catuscia Palamidessi
    (INRIA Saclay and LIX, France)
  - Deadline for abstract submission: May 2 2014
* TOPICS
  The TGC series focuses on providing frameworks, tools, algorithms, and
  protocols for rigorously designing, verifying, and implementing open-ended,
  large-scaled applications. The related models of computation incorporate
  code and data mobility over distributed networks that connect heterogeneous
  devices and have dynamically changing topologies.
  We solicit papers in all areas of global computing, including (but not
  limited to):
  - languages, semantic models, and abstractions
  - security, trust, and reliability
  - privacy and information flow policies
  - algorithms and protocols
  - resource management
  - model checking, theorem proving, and static analysis
  - tool support
* IMPORTANT DATES
  - Deadline for abstract submission: May 2 2014
  - Deadline for paper submission: May 9 2014 (STRICT!)
  - Notification to authors: June 27 2014
* SUBMISSION INSTRUCTIONS
  Contributions must be in PostScript or PDF format and consist of no more
  than 15 pages in the Springer's LNCS style. Clearly marked appendixes may
  include additional details and proofs omitted due to space limitations.
  Submitted papers must describe work unpublished in refereed venues, and not
  submitted for publication elsewhere, with the exception of CONCUR. Concurrent
  submissions to CONCUR 2014 and TGC 2014 are allowed, and in fact encouraged,
  for those papers that may potentially enhance both conferences. Authors of
  such double submissions should flag them to the program chairs at the time
  of submission (by choosing the Regular Paper submitted to CONCUR paper
  category). Reviews may be shared between CONCUR and TGC. CONCUR timeline
  is ahead of TGC; submissions accepted by CONCUR will be considered
  automatically withdrawn from TGC.
* POST-PROCEEDINGS
  We plan to publish post-proceedings shortly after the conference, to give
  the authors the opportunity to take into account discussions and suggestions
  at the conference.
  The post-proceedings will appear as a volume in Springer Lecture Notes in
  Computer Science (LNCS) series.
* PC CHAIRS
  - Matteo Maffei (CISPA, Saarland University, Germany)
  - Emilio Tuosto (University of Leicester, UK)



14TH WORKSHOP ON AUTOMATED VERIFICATION OF CRITICAL SYSTEMS (AVOCS 2014)
  Call for Papers
  http://www.utwente.nl/avocs2014
  24-26th September, 2014
  University of Twente, Netherlands
* AIMS
  The aim of Automated Verification of Critical Systems (AVoCS) 2014 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, 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 research ideas. The workshop will be
  relatively informal, with an emphasis on discussion.
  There are several studentships available in order to support PhD
  students who wish to participate in the workshop.
* TOPICS
  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
  - Specification and Verification of Fault Tolerance and Resilience
  - Probabilistic and Real-Time Systems
  - Dependable Systems
  - Verified System Development
  - Industrial Applications
* INVITED SPEAKERS
  The workshop will have three invited speakers:
  - Laura Kovacs (Chalmers, Sweden) will speak about automated assertion
    generation.
  - Alastair Donaldson (Imperial College, UK) will speak about verification
    of OpenCL kernels.
  - A third speaker will be announced soon.
* IMPORTANT DATES
  Submission (abstract for full paper): 16th June 2014
  Submission (full papers): 23rd June 2014
  Notification (full papers): 30th July 2014
  Submission (research ideas): 7th August 2014
  Notification (research ideas): 14th August 2014
  Submission of final versions: 1st September 2014
  Workshop: 24-26th September 2014
* FULL PAPERS
  Submissions of full papers to the workshop must not have
  been published or be concurrently considered for publication
  elsewhere. All submissions will be peer-reviewed and judged on the
  basis of originality, contribution to the field, technical and
  presentation quality, and relevance to the workshop. Final versions of
  the papers must be written in English and not exceed 15
  pages. Formatting details are provided on the website.
* RESEARCH IDEAS
  AVoCS'14 encourages the submissions of research ideas
  in order to stimulate discussions at the workshop. Reports on ongoing
  work or surveys on work published elsewhere are welcome. The Programme
  Committee will select research ideas on the basis of submitted
  abstracts according to significance and general interest. Research
  ideas must be written in English and not exceed 2 pages.
* PROCEEDINGS AND SPECIAL ISSUE
  At the workshop, pre-proceedings will be available in the form of a
  University of Twente Technical Report; this report will also include
  the research ideas.
  After the workshop, the authors of accepted full papers will have
  about one month in order to revise their papers for publication in the
  workshop post-proceedings which will appear in the Electronic
  Communications of the EASST Open Access Journal. Research ideas will
  not be part of the proceedings in the Open Access Journal.
  We will invite authors of a selection of the best papers presented at
  the workshop to submit extended versions of their work for publication
  in a special issue of Elsevier's journal Science of Computer
  Programming.
* PROGRAM CHAIRS
  Marieke Huisman, University of Twente, Netherlands (co-chair)
  Jaco van de Pol, University of Twente, Netherlands (co-chair)
* ORGANIZATION COMMITTEE
  Marieke Huisman
  Wojciech Mostowski (publicity chair)
  Jaco van de Pol



88TH WORKSHOP ON GENERAL ALGEBRA (AAA88)
  June 19-22, 2014
  Warsaw, Poland
  http://www.mini.pw.edu.pl/aaa88
* LOCATION
  The conference location is the new home of mathematics at the Warsaw
  University of Technology. The meeting falls within the Stefan Banach
  conference series. The scientific program will start on Friday, June 20,
  2014, at 9.00, and end on Sunday, June 22, 2014, at 13.00.
  The conference will be organized by the Algebra Group at the Warsaw
  University of Technology. Support is provided by Warsaw University of
  Technology and the Stefan Banach International Mathematical Center.
* TOPICS
  The main topics of the conference are related to the traditional areas
  of the AAA conferences, with special emphasis on the following:
  1. Non-classical algebraic structures;
  2. Universal algebra and lattice theory;
  3. Applications of algebra in logic, combinatorics and computer science;
  4. Classical algebraic structures, especially in connection with
  universal-algebraic methods.
* PROGRAMME
  The list of invited speakers includes:
  - Ales Drapal, Charles University, Prague, Czech Republic
  - Mai Gehrke, Universite Paris Diderot, Paris, France
  - Katarzyna Korwin-Slomczynska, Pedagogical University in Krakow, Poland
  - Jonathan D.H. Smith, Iowa State University, Ames, Iowa, USA
  - Agnes Szendrei, University of Colorado, Boulder, USA and Szegedi
    Tudomanyegyetem, Hungary
  - Mikhail Volkov, Ural Federal University, Ekaterinburg, Russia
  The program will comprise several longer keynote plenary lectures, a number
  of shorter plenary lectures, and a larger number of 20-minute contributed talks.
* FURTHER INFORMATION
  The conference website has been set up at http://www.mini.pw.edu.pl/aaa88
  Further information concerning the online registration and submission of
  abstracts, conference fee, accommodation, possible financial support, and
  conference proceedings will be provided on the conference website later.
  The site will be updated regularly.
* ORGANIZING COMMITTEE
  G. Binczak, T. Brengos, N. Dojer, A. Mucka, A. Pilitowska, A. Romanowska,
  M. Stronkowski, A. Zamojska-Dzienio, M. Ziembowski
* SCIENTIFIC COMMITTEE
  E. Aichinger, A. Pilitowska, A. Romanowska, J.D.H. Smith



FONDATION SCIENCES MATHEMATIQUES DE PARIS POSITIONS
* Some calls for applications for the programs of the Fondation Sciences
  Mathematiques de Paris for academic year 2014-2015 are still open.
  - PGSM International: until January 27th 2014 at 11:59 p.m.
    Program description:
    http://www.sciencesmaths-paris.fr/en/pgsm-international-264.htm
    Online application form:
    http://www.sciencesmaths-paris.fr/en/call-for-pgsm-international-387.htm



EUROPEAN MASTER'S PROGRAM IN COMPUTATIONAL LOGIC
  http://www.emcl-study.eu/fileadmin/emcl_booklet_tree/ma_em_grant.html
* This program is offered jointly at the Free-University of Bozen-Bolzano
  in Italy, the Technische Universität Dresden in Germany, the Universidade
  Nova de Lisboa in Portugal and the Technische Universität Wien in Austria.
  Within this program you have the choice to study at two /three of the four
  European universities. In addition, you can do your project work at the
  National ICT of Australia (NICTA). You will graduate with a MSc in Computer
  Science and obtain a joint degree. Information on the universities and
  the program including the application procedure is provided here:
  http://www.emcl-study.eu/home.html
  Language of instruction is English. Tuition fees are 3.000 EUR (for
  non-European students) and 1.000 (for European students) per year.
  We would like to draw your attention to the ERASMUS-MUNDUS scholarship
  program. The ERASMUS-MUNDUS consortium offers 2-year scholarships up to
  48.000 EUR for non-EU students and up to 23.000 EUR for EU students of
  our European Master's Program in Computational Logic.
  More information on the scholarship program is available from
  http://www.emcl-study.eu/fileadmin/emcl_booklet_tree/ma_em_grant.html
  The application deadline is January 31st.



POSTDOC IN FORMAL METHODS AT DTU
  http://www.dtu.dk/english/career/afa8af12-c781-44f2-af74-d394660981fc
* The IDEA4CPS center at DTU Applied Mathematics and Computer Science has
  a new opening for a postdoc. With this call we are particularly interested
  in candidates that can interact with our research within one of the
  following areas:
  (a) The integration of Satisfaction Modulo Theories with frameworks for
      quantitative analysis.
  (b) The development of quantitative models and analysis for security,
      including methods based on entropy.
  (c) Model checking for multi-criteria analysis and optimization of safety
      and security properties, including Pareto efficiency and equilibria.
  Applications must be submitted by February 10th, 2014 according to the
  procedure described at
  http://www.dtu.dk/english/career/afa8af12-c781-44f2-af74-d394660981fc
  that also point to the center (http://www.idea4cps.dk) and the research
  group http://www.compute.dtu.dk/english/research/LBT.
  Contact: Hanne Riis Nielson & Flemming Nielson




Back to the LICS web page.