Newsletter 157
April  1, 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
  VIENNA SUMMER OF LOGIC ANNOUNCEMENT
* DEADLINES
  Forthcoming Deadlines
* AWARDS
  Herbrand Award - Call for Nominations
* CALLS
  GeTFun 2.0 - Call for Papers
  LATD 2014 - Call for Papers
  DL 2014 - Call for Papers
  ESSLLI 2014 STUDENT SESSION - Call for Papers
  RV 2014 - Call for Papers
  AiML 2014 - Call for Papers
  RCRA 2014 - Call for Papers
  ATVA 2014 - Call for Workshop Proposals
  CONCUR 2014 - Call for Papers
  FORMATS 2014 - Call for Papers
  CPS SUMMER SCHOOL 2014 - Call for Applications
  HALMSTAD SUMMER SCHOOL ON TESTING 2014 - Call for Participation
  QBF 2014 - Call for Papers
  QUANTIFY 2014 - Call for Papers
  SYNT 2014 - Call for Papers
  TERMGRAPH 2014 - Call for Papers
  ASL 2014 - Call for Participation
  VSTTE 2014 - Call for Papers
  FMMB 2014 - Call for Papers
  WWV 2014 - Call for Papers
  TCS 2014 - Call for Papers
  LCC 2014/IMMERMAN FEST - Call for Papers
  LFMTP 2014 - Call for Papers
  TGC 2014 - Call for Papers
  UITP 2014 - Call for Papers
  HOPA 2014 - Call for Papers
  LOLA 2014 - Call for Talk Proposals
  GandALF 2014 - Call for Papers
  AISS 2014 - Call for Papers
  DCM 2014 - Call for Papers
  PrakashFest 2014 - Call for Participation
  RP 2014 - Call for Papers
  DOMAINS 2014 - Call for Abstracts
  AVOCS 2014 - Call for Papers
  AAA88 - Call for Participation
  ICTAI 2014 - Call for Papers
  JLAP on Formal Methods - Call for Papers


CSL-LICS'14
  http://lii.rwth-aachen.de/lics/csl-lics14/
* This year LICS and CSL will hold a joint conference for the first time,
  as part of FLoC 2014 and the Vienna Summer of Logic. Tom Henzinger and
  Dale Miller are co-chairs of a joint PC of 38 members. The proceedings
  will be published by IEEE. The list of accepted papers is posted online.



VIENNA SUMMER OF LOGIC ANNOUNCEMENT
  http://vsl2014.at
* In the summer of 2014, Vienna will host the largest event in the history
  of logic. The Vienna Summer of Logic (VSL) will consist of twelve large
  conferences and numerous workshops, attracting an expected number of 2500
  researchers from all over the world. The conferences and workshops will deal
  with the main theme, logic, from three important aspects: logic in computer
  science, mathematical logic and logic in artificial intelligence.
  This unique event will be organized by the Kurt Goedel Society at Vienna
  University of Technology from July 9 to 24, 2014.
* KEYNOTE SPEAKERS
  Franz Baader (Technische Universitaet Dresden), Edmund Clarke (Carnegie
  Mellon University), Christos Papadimitriou (University of California,
  Berkeley) and Alex Wilkie (University of Manchester).
  Dana Scott (Carnegie Mellon University) will speak in the opening session.
* LOGIC IN COMPUTER SCIENCE/FEDERATED LOGIC CONFERENCE (FLoC)
  - 26th International Conference on Computer Aided Verification (CAV)
  - 27th IEEE Computer Security Foundations Symposium (CSF)
  - 30th International Conference on Logic Programming (ICLP)
  - 7th International Joint Conference on Automated Reasoning (IJCAR)
  - 5th Conference on Interactive Theorem Proving (ITP)
  - Joint meeting of the 23rd EACSL Annual Conference on Computer Science Logic
    (CSL) and the 29th ACM/IEEE Symposium on Logic in Computer Science (LICS)
  - 25th International Conference on Rewriting Techniques and Applications (RTA)
    joint with the 12th International Conference on Typed Lambda Calculi and
    Applications (TLCA)
  - 17th International Conference on Theory and Applications of Satisfiability
    Testing (SAT)
  - FLoC Workshops
  - FLoC Olympic Games (System Competitions)
* MATHEMATICAL LOGIC
  - Logic Colloquium 2014
  - Logic, Algebra and Truth Degrees 2014
  - The Infinity Workshop
  - Kurt Goedel Fellowship Competition
* LOGIC IN ARTIFICIAL INTELLIGENCE
  - 14th International Conference on Principles of Knowledge Representation and Reasoning (KR)
  - 27th International Workshop on Description Logics (DL)
  - 15th International Workshop on Non-Monotonic Reasoning (NMR)
  - International Workshop on Knowledge Representation for Health Care 2014 (KR4HC)
* KURT GOEDEL RESEARCH PRIZE FELLOWSHIP COMPETITION
  At the Vienna Summer of Logic, the Kurt Goedel Society will award three
  fellowship prizes endowed with 100.000 Euro each to the winners of the Kurt
  Goedel Research Prize Fellowship Competition "Logical Mind: Connecting
  Foundations and Technology."
* FLOC OLYMPIC GAMES - CITIUS, MAIUS, POTENTIUS
  The Federated Logic Conference (FLoC) 2014 will host the 1st FLoC Olympic
  Games.  Intended as a new FLoC tradition, the Games will bring together
  a multitude of established solver competitions by different research
  communities. In addition to the competitions, the Olympic Games will
  facilitate the exchange of expertise between communities, and increase
  the visibility and impact of state-of-the-art solver technology. The winners
  in the competition categories will be awarded Kurt Goedel medals at the FLoC
  Olympic Games award ceremonies.



DEADLINES
* GeTFun 2.0
  Abstract submission: April 5, 2014
  http://sqig.math.ist.utl.pt/GeTFun/2.0
* LATD 2014
  Deadline for submission: April 6, 2014
  http://www.logic.at/latd2014
* DL 2014
  Paper registration deadline: April 7, 2014
  Paper submission deadline: April 11, 2014
  http://dl.kr.org/dl2014
* ESSLLI 2014 STUDENT SESSION
  Deadline for submissions: April 8, 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/
* AiML 2014
  Abstract and paper deadline: April 9, 2014
  http://www.philos.rug.nl/AiML2014/
* RCRA 2014
  Submission deadline for abstracts: April 9, 2014
  Submission deadline for papers: April 13, 2014
  http://rcra.aixia.it/rcra2014
* ATVA 2014
  Deadline for workshop proposal submissions: April 14, 2014
  http://atva-conferences.org
* CONCUR 2014
  Abstract Submission: April 14, 2014
  Paper Submission: April 19, 2014
  http://concur2014.org
* FORMATS 2014
  Abstract submission: April 14, 2014
  Paper submission: April 21, 2014
  http://www.florence2014.org/
* CPS SUMMER SCHOOL 2014
  Deadline for application: April 14, 2014
  http://persyval-lab.org/en/summer-school/cps14
* HALMSTAD SUMMER SCHOOL ON TESTING 2014
  Registration deadline: April 15, 2014
  http://ceres.hh.se/mediawiki/index.php/HSST_2014
* HERBRAND AWARD
  Nomination deadline: April 15, 2014
* QBF 2014
  Paper submission: April 15, 2014
  http://vsl2014.at/qbf
* QUANTIFY 2014
  Paper submission: April 15, 2014
  http://vsl2014.at/quantify
* SYNT 2014
  Paper submission: April 15, 2014
  http://vsl2014.at/synt
* TERMGRAPH 2014
  Submission deadline: April 16, 2014
  http://cl-informatik.uibk.ac.at/events/termgraph-2014/
* ASL 2014
  Early registration deadline: April 19, 2014
  http://math.colorado.edu/asl2014/
* VSTTE 2014
  Abstract submission: April 19, 2014
  Full paper submission: April 25, 2014
  http://vsl2014.at/vstte/
* FMMB 2014
  Submission deadline: April 25, 2014
  http://fmmb2014.sciencesconf.org/
* WWV 2014
  Abstract submission: April 25, 2014
  Paper submission: May 2, 2014
  http://wwv2014.isti.cnr.it/
* TCS 2014
  Deadline for submission: April 27, 2014
  http://www.cyprusconferences.org/tcs2014/
* LCC 2014/IMMERMAN FEST
  Abstract submission (3-4 pages): May 2, 2014
  Student support application deadline: May 4, 2014
  http://www.cs.swansea.ac.uk/lcc2014/
* LFMTP 2014
  Paper submission: May 2, 2014
  http://complogic.cs.mcgill.ca/lfmtp14/
* TGC 2014
  Deadline for abstract submission: May 2, 2014
  Deadline for paper submission: May 9, 2014
  http://www.cs.le.ac.uk/events/tgc2014/
* UITP 2014
  Paper submission: May 4, 2014
  http://vsl2014.at/pages/UITP-index.html
* HOPA 2014
  Submission deadline: May 9, 2014
  http://hopa.cs.rhul.ac.uk
* LOLA 2014
  Submission deadline: May 9, 2014
  http://vsl2014.at/lola/
* GandALF 2014
  Abstract submission: May 10, 2014
  Paper submission: May 25, 2014
  http://gandalf2014.di.univr.it
* AISS 2014
  Submission deadline: May 15, 2014
  http://www.informatik.uni-bremen.de/~goeller/AISS14/Algorithmics_on_Infinite-State_Systems.html
* DCM 2014
  Submission Deadline for Extended Abstracts: May 16, 2014
  Submission Deadline for EPTCS Proceedings: September 15, 2014
  http://vsl2014.at/pages/DCM-index.html
* RP 2014
  Submission deadline: June 4th, 2014
  Presentation proposals: August 4th, 2014
  http://www.cs.ox.ac.uk/RP2014/
* DOMAINS 2014
  Abstract submission: June 15, 2014
  http://www.pps.univ-paris-diderot.fr/~varacca/domains/Domains_XI
* 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
* ICTAI 2014
  Paper submission: June 30, 2014
  http://ictai2014.cs.ucy.ac.cy
* JLAP Special Issue on Formal Methods
  Paper submission: July 15, 2014



HERBRAND AWARD
  Call for Nominations
* The Herbrand Award is given by CADE Inc. to honour a person or group for
  exceptional contributions to the field of Automated Deduction. At most one
  Herbrand Award will be given at each CADE or IJCAR meeting. The Herbrand
  Award has been given in the past to
  Larry Wos (1992)
  Woody Bledsoe (1994)
  Alan Robinson (1996)
  Wu Wen-Tsun (1997)
  Gerard Huet (1998)
  Robert S. Boyer and J Strother Moore (1999)
  William W. McCune (2000)
  Donald W. Loveland (2001)
  Mark E. Stickel (2002)
  Peter B. Andrews (2003)
  Harald Ganzinger (2004)
  Martin Davis (2005)
  Wolfgang Bibel (2006)
  Alan Bundy (2007)
  Edmund Clarke (2008)
  Deepak Kapur (2009)
  David Plaisted (2010)
  Nachum Dershowitz (2011)
  Melvin Fitting (2012)
  Greg Nelson (2013)
* NOMINATION PROCESS
  A nomination is required for consideration for the Herbrand award. The
  deadline for nominations for the Herbrand Award that will be given at
  IJCAR 2014 is 15th April 2014. Nominations pending from previous years
  must be resubmitted in order to be considered.
  Nominations should consist of a letter (preferably email) of up to 2000
  words from the principal nominator, describing the nominee's contribution,
  along with letters of up to 2000 words of endorsement from two other
  seconders. Nominations should be sent to Maria Paola Bonacina,
  President of CADE Inc. (mariapaola.bonacina (at) univr.it)
  with copy to Martin Giese, Secretary of CADE Inc. and AAR
  (martingi (at) ifi.uio.no).



2ND WORKSHOP ON COMPOSITIONAL MEANING IN LOGIC (GeTFun 2.0)
  Call for Papers
  July 22-23, 2014, Vienna, Austria
  http://sqig.math.ist.utl.pt/GeTFun/2.0
  Affiliated with the VSL 2014 - Vienna Summer of Logic
* After the success of its 1st edition, the Workshop on Compositional Meaning
  in Logic [GeTFun 2.0] welcomes submissions on all topics related to
  compositionality of meaning in logic, and in particular to issues
  connected to generalizations of metalogical notions such as:
  truth-functionality; nondeterminism in semantics; logical bivalence vs
  algebraic many-valuedness; analyticity; subformula principle and
  complexity measures; semantic effectiveness and decision procedures for
  non-classical logics; cut-free vs cut-based proof formalisms; proof
  strategies and proof-search; modular logical specification formalisms;
  rule invertibility, structurality and logical harmony.
* Submissions should consist of an abstract of up to 1,000 words,
  sent by email before April 5, 2014 to getfunw@gmail.com.
* A post-workshop special issue of the journal Logica Universalis is
  being planned, with fresh refereeing, in all cases.
* Invited Speakers: Arnon Avron (Tel-Aviv University, IL), Petr Cintula
  (Czech Academy of Sciences, CZ), Nikolaos Galatos (University of Denver,
  USA); Joao Marcos (UFRN, BR)
* Detailed information can be found on the webpage.



LOGIC ALGEBRA AND TRUTH DEGREES (LATD 2014)
  Call for papers
  July 16 - 19, Vienna, Austria
  http://www.logic.at/latd2014
* GENERAL
  Logic, Algebra and Truth Degrees is the fourth official meeting
  of the EUSFLAT Working Group on Mathematical Fuzzy Logic.
  Mathematical Fuzzy Logic is the sub-discipline of Mathematical
  Logic that is concerned with the notion of comparative truth.
  The assumption that "truth comes in degrees" has proved to be
  very useful in many theoretical and applied areas of Mathematics,
  Computer Science, and Philosophy.
* FEATURED TOPICS
  - Proof theory and computational complexity
  - Algebraic semantics and abstract algebraic logic
  - First, higher-order and modal formalisms
  - Applications and foundational issues
  - Geometric and game theoretic aspects
  We particularly welcome contributions on many-valued and
  related logical systems.
* INVITED SPEAKERS
  - Silvio Ghilardi, Italy
  - Melvin Fitting, USA
  - George Metcalfe, Switzerland
  - Dale Miller, France
  - Dana Scott, USA
  - Alasdair Urquhart, Canada
* TUTORIALS
  - Franz Baader, Germany
  - Vincenzo Marra, Italy
* PROGRAMME CHAIRS
  - Matthias Baaz (Chair), Austria
  - Agata Ciabattoni (Co-Chair), Austria
* CONTRIBUTED TALKS
  Abstracts of contributed talks, 2-4 pages, are to be prepared
  using the ASL abstract template and submitted via Easychair.
  The accepted abstracts will be available on-line and published
  in the joint volume of abstracts with the Logic Colloquium.
* IMPORTANT DATES
  - Deadline for submission: 6th April 2014
  - Notification of acceptance: 10th May 2014
* CONTACT
  latd2014@logic.at



27TH INTERNATIONAL WORKSHOP ON DESCRIPTION LOGICS (DL 2014)
  Call for Papers
  July 17-20, 2014, Vienna, Austria
  http://dl.kr.org/dl2014
* The DL workshop is the major annual event of the description logic research
  community. It is the forum at which those interested in description logics,
  both from academia and industry, meet to discuss ideas, share information and
  compare experiences. This year the DL workshop is part of the Vienna Summer
  of Logic (http://vsl2014.at/), a vast event comprising several major logic
  conferences and workshops. In particular, DL 2014 is co-located with the
  International Conference on Principles of Knowledge Representation and
  Reasoning (KR) and will share a joint session with the International Workshop
  on Non-Monotonic Reasoning (NMR).
* WORKSHOP SCOPE
  We invite contributions on all aspects of description logics, including but
  not limited to:
  - Foundations of description logics: decidability and complexity of reasoning,
    expressive power, novel inference problems, inconsistency-tolerance,
    reasoning techniques, and modularity aspects
  - Extensions of description logics: closed-world and nonmonotonic reasoning,
    defaults, epistemic reasoning, temporal and spatial reasoning, procedural
    knowledge, and query languages
  - Integration of description logics with other formalisms: object-oriented
    representation languages, database query languages, constraint-based
    programming, logic programming, and rule-based systems
  - Applications and use areas of description logics: ontology engineering,
    ontology languages, databases, ontology-based data access, semi-structured
    data, document management, natural language, learning, planning, Semantic
    Web, cloud computing
  - Systems and tools around description logics: reasoners, software tools
    for and using description logic reasoning (e.g. ontology editors, database
    schema design, query optimization, and data integration tools),
    implementation and optimization techniques, benchmarking, evaluation, modelling
* INVITED SPEAKERS
  - Michael Benedikt, University of Oxford, UK
  - Patrick Blackburn, University of Roskilde, Denmark
  - Alon Y. Halevy, Google, USA
* IMPORTANT DATES
  - Paper registration deadline:  April 7, 2014
  - Paper submission deadline:  April 11, 2014
  - Acceptance notification:  May 26, 2014
  - Camera-ready copies:  June 15, 2014
* SUBMISSION INFORMATION
  Submissions may be either papers of up to 11 pages (excluding references)
  or extended abstracts of at most 3 pages (excluding references) and must be
  formatted in Springer LNCS style. A clearly marked appendix (e.g., with
  additional proofs or evaluation data) may optionally be appended. Accepted
  contributions will be made available electronically in the CEUR Workshop
  Proceedings series. Further information and detailed submission
  instructions can be found on the workshop website.
* GENERAL CHAIRS
  - Magdalena Ortiz, Vienna University of Technology, Austria
  - Mantas Simkus, Vienna University of Technology, Austria
* PC CHAIRS
  - Meghyn Bienvenu, CNRS & University of Paris-Sud, France
  - Riccardo Rosati, Sapienza University of Rome, Italy



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



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
  Abstracts and full papers submission deadline: 9 April 2014
  Full paper notification: 19 May 2014
  Short presentation submission due: 21 May 2014
  Short presentation notification: 2 June 2014



21ST RCRA WORKSHOP: EXPERIMENTAL EVALUATION OF ALGORITHMS FOR SOLVING PROBLEMS WITH COMBINATORIAL EXPLOSION
  Call for papers
  A FLoC workshop at the Vienna Summer of Logic (VSL 2014)
  Affiliated with SAT 2014, ICLP 2014, IJCAR 2014
  Vienna, Austria, July 17-18, 2014
  RCRA group web site: http://rcra.aixia.it/
  Workshop web site:   http://rcra.aixia.it/rcra2014
  e-mail: rcra2014@gmail.com
* GENERAL
  The RCRA workshops are organized by the RCRA (Knowledge Representation
  & Automated Reasoning) group of the Italian Association for Artificial
  Intelligence.
  RCRA 2014 is a FLoC workshop affiliated with SAT 2014, ICLP 2014, IJCAR 2014.
  It will be held in the Workshop Block 2 ( see http://vsl2014.at/ataglance )
  after SAT 2014 and before ICLP2014 and IJCAR2014.
  As in previous editions (http://rcra.aixia.it/publications), authors of
  papers orally presented at the workshop will have the opportunity to
  participate to the selection of a special issue that will appear on an
  international journal.
* IMPORTANT DATES
  Submission deadline for abstracts: April 9
  Submission deadline for papers: April 13
  Acceptance/reject notification:     May 1, 2014
  Camera-ready papers due:            May 20, 2014
  RCRA 2014:                          July 17-18, 2014
* AIMS AND SCOPE
  Many problems in Artificial Intelligence show an exponential explosion of the
  search space.  Although stemming from different research areas in AI, such
  problems are often addressed with algorithms that have a common goal: the
  effective exploration of huge state spaces.  Many algorithms developed in one
  research area are applicable to other problems, or can be hybridized with
  techniques in other areas. Artificial Intelligence tools often exploit or
  hybridize techniques developed by other research communities, such as
  Operations Research.
* SCOPE
  Scope of the workshop is fostering the cross-fertilization of ideas stemming
  from different areas, proposing benchmarks for new challenging problems,
  comparing models and algorithms from an experimental viewpoint, and, in
  general, comparing different approaches with respect to efficiency, problem
  modeling, and ease of development. Topics of interest include, but are not
  limited to:
  - Experimental evaluation of algorithms
  - Definition and construction of benchmarks
  - Experimentation methodologies
  - Metaheuristics
  - Algorithm hybridization
  - Static analysis of combinatorial problems
  - Languages and systems for definition and solution of problems
  - Comparisons between systems and algorithms
  - Application experiences
* WORKSHOP CHAIRS
  - Toni Mancini               Sapienza University, Rome, Italy
  - Marco Maratea              University of Genova, Genova, Italy
  - Francesco Ricca            University of Calabria, Rende, Italy



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



25TH INTERNATIONAL CONFERENCE ON CONCURRENCY THEORY (CONCUR 2014)
  Call for Papers
  September 1-6, 2014
  Rome, Italy
  http://concur2014.org
* SCOPE
  The purpose of the CONCUR conferences is to bring together researchers,
  developers, and students in order to advance the theory of concurrency,
  and promote its applications.
* IMPORTANT DATES
  Abstract Submission: April 14, 2014
  Paper Submission: April 19, 2014
  Paper Notification: June  9,  2014
* INVITED SPEAKERS
  - Javier Esparza (TU Muenchen, DE)
  - Jane Hillston (University of Edinburgh, UK)
  - Catuscia Palamidessi (INRIA Saclay and LIX, FR), joint with TGC
  - Vasco Vasconcelos (University of Lisbon, PT)
  We are also pleased to announce that Tony Hoare (Microsoft Research
  Cambridge) will give a speech in the occasion of the 25th anniversary
  of CONCUR.
* TOPICS
  Submissions are solicited in semantics, logics, verification and
  analysis of concurrent systems. The principal topics include (but are
  not limited to):
  - Basic models of concurrency such as abstract machines, domain
  theoretic models, game theoretic models, categorical models, process
  algebras, graph transformation systems, coalgebraic models and Petri
  nets;
  - Logics for concurrency such as modal logics, probabilistic and
  stochastic logics, temporal logics, and resource logics;
  - Models of specialized systems such as biology-inspired systems,
  circuits, hybrid systems, mobile and collaborative systems,
  multi-core processors, probabilistic systems, real-time systems,
  service-oriented computing, and synchronous systems;
  - Verification and analysis techniques for concurrent systems such as
  abstract interpretation, atomicity checking, model checking, race
  detection, pre-order and equivalence checking, run-time
  verification, state-space exploration, static analysis, synthesis,
  testing, theorem proving, and type systems;
  - Related programming models such as distributed, component-based,
  object-oriented, and web services;
  - Security issues in concurrent systems.
* PAPER SUBMISSION
  CONCUR 2014 solicits high quality papers reporting research results
  and/or experience reports related to the topics mentioned above. All
  papers must be original, unpublished, and not submitted for
  publication elsewhere. As an exception, 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 identify them to the Program Chairs at the
  time of submission (by choosing the "Regular paper submitted also to
  TGC" category in the EasyChair site). Reviews may be shared between
  CONCUR 2014 and TGC 2014. CONCUR's timeline is ahead of TGC's;
  submissions accepted by CONCUR will be considered automatically
  withdrawn from TGC.
  The CONCUR 2014 proceedings will be published by Springer in the
  ArCoSS subseries of LNCS. The proceedings will be available at the
  conference.
* CO-LOCATED EVENTS
  - TGC 2014
  7th Symposium on Trustworthy Global Computing (Sep 5-6)
  - IFIP-TCS 2014
  8th IFIP Conference on Theoretical Computer Science (Sep 1-3)
* WORKSHOPS
  - EXPRESS/SOS 2014
  Combined 21st Workshop on Expressiveness in Concurrency
  and 11th Workshop on Structured Operational Semantics (Sep 1)
  - BEAT 2014
  3rd International Workshop on Behavioural Types (Sep 1)
  - FOCLASA 2014
  13th Workshop on Foundations of Coordination Languages and
  Self-Adaptation (Sep 6)
  - PV 2014
  Workshop on Parameterized Verification (Sep 6)
* PROGRAM CHAIRS
  - Paolo Baldan (Universita' di Padova, IT)
  - Daniele Gorla (Universita' di Roma "La Sapienza", IT)



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



SECOND SUMMER SCHOOL ON CYBER-PHYSICAL SYSTEMS (CPS 2014)
  Call for Applications
  July 7-10, 2014
  Grenoble, France
  http://persyval-lab.org/en/summer-school/cps14
* SCOPE
  PERSYVAL-Lab and NASA-JPL are organizing the second edition of the CPS
  Summer School. The broad objective of the CPS Summer School is to explore
  the manifold relationship between networked embedded systems (« the internet
  of things ») and humans as their creators, users, and subjects. The format
  of the Summer School is a five days meeting, organized around different
  aspects of rigorous engineering of Cyber-Physical Systems. Students
  participating at this summer school will learn the current state of the art
  in modeling, monitoring, and learning. Students will be able to apply new
  techniques coming from various communities and backgrounds to their own
  domain. The CPS Summer School will be held at Grenoble University.
  Courses will be given in English by experts from industry and academia
  working in various fields of CPS.
* TOPICS
  - System modeling.
  - Monitoring.
  - Learning.
  - Medical devices.
  - Sensor networks.
* SPEAKERS
  - Eric Bodden (TU Darmstadt and EC SPRIDE, Germany).
  - Olivier Coutelou (Schneider Electric, France).
  - Radu Grosu (Technical Univesity Wien, Austria).
  - Klaus Havelund (NASA JPL, USA).
  - Kim G. Larsen (Aalborg University, Denmark).
  - Martin Leucker (University of Luebeck, Germany).
  - Roberto Passerone (Universita' degli Studi di Trento, Italy).
  - Grigore Rosu (University of Illinois at Urbana Champaign, USA).
  - Mohamad Sawan (Ecole Polytechnique de Montreal, Canada).
  - Bernhard Steffen (Technical University Dortmund, Germany).
  - Andreas Zeller (Saarland University, Germany).
* ORGANIZATION
  - Saddek Bensalem - University of Grenoble, France.
  - Ylies Falcone - University of Grenoble, France.
  - Klaus Havelund - NASA JPL, USA.
* IMPORTANT DATES
  - Deadline for Application: April 14, 2014.
  - Response to Applicants: April 21, 2014.
  - Online Registration and Fee payment: May 10, 2014.
  - Summer school on CPS: July 7-11, 2014.
  Applications can be submitted at
  https://persyval-calls.imag.fr/en/project/10.
  Enquiries can be sent to cps-school.organization@imag.fr



4TH HALMSTAD SUMMER SCHOOL ON TESTING (HSST 2014)
  Call for Participation
  Halmstad University, Sweden
  June 9 - June 12, 2014
  http://ceres.hh.se/mediawiki/index.php/HSST_2014
* TOPIC
  Software testing accounts for a major part of software development cost and
  effort, yet the current practice of software testing is often
  insufficiently structured and disciplined. There have been various attempts
  in the past decades to bring more rigour and structure into this field,
  resulting in several industrial-strength processes, techniques and tools
  for different levels of testing. The 4th Halmstad Summer School on Testing
  provides an overview of the state of the art in testing, including theory,
  industrial cases, tools and hands-on tutorials by internationally-renowned
  researchers.
* TUTORIALS
  - Automated Test Generation via Satisfiability Modulo Theory Solvers (Thomas
  Ball, Microsoft Research)
  - Model-Based Testing, the Difference between Theory and Practice (Machiel
  van der Bijl, Axini BV)
  - Improved Testing of Multithreaded Programs with Dynamic Symbolic Execution
  (Keijo Heljanko, Aalto University)
  - Property-based testing with QuickCheck  (John Hughes, QuviQ and Chalmers)
  - Testing and Verifying Software Properties with ACL2 and ProofPad (Rex Page,
  University of Oklahoma)
  - Practical Model-Based Testing With Papyrus and RT-Tester (Jan Peleska,
  Verified International GMBH and Bremen University)
  - Model-Based Testing - There is Nothing More Practical than a Good Theory
  (Jan Tretmans, Radboud University Nijmegen and TNO - ESI)
* REGISTRATION
  The registration deadline is April 15, 2014.
  To apply to the summer school, please send an email to
  Veronica.Gaspes@hh.se with "Halmstad Summer School on Testing" in the title.
* ORGANIZERS
  Veronica Gaspes (Organization Chair,  veronica.gaspes@hh.se)
  Mohammad Mousavi (Program Co-Chair, m.r.mousavi@hh.se)
  Eva Nestius (Local Organization)
  Walid Taha (Program Co-Chair, walid.taha@hh.se)



2ND INTERNATIONAL WORKSHOP ON QUANTIFIED BOOLEAN FORMULAS (QBF 2014)
  Call for Papers
  July 13, 2014
  Vienna, Austria
  http://vsl2014.at/qbf
  Vienna Summer of Logic 2014 (http://vsl2014.at/)
* AIMS
  The goal of the Second International Workshop on Quantified Boolean Formulas
  (QBF 2014) is to bring together researchers working on theoretical and
  practical aspects of QBF solving and applications. The workshop is
  affiliated to and co-located with the SAT conference 2014, July 14-17,
  2014. The workshop will include a presentation of the QBF Gallery 2014, a
  competitive evaluation of QBF solvers and related tools:
  http://qbf.satisfiability.org/gallery/
* IMPORTANT DATES
   - April 15 2014: submission of extended abstracts (max. four pages)
   - April 30 2014: notification of acceptance
   - July  13 2014: workshop
* Topics of interest (not limited to the following): QBF applications;
  encodings; benchmarks; certificates; proofs; proof formats; proof checkers;
  decision procedures; QBF solving; implementation details; structural QBF
  solving; heuristics; preprocessing;
* Please see the workshop website for further information:
  http://vsl2014.at/qbf



1ST INTERNATIONAL WORKSHOP ON QUANTIFICATION (QUANTIFY 2014)
  Call for Papers
  July 18, 2014
  Vienna, Austria
  http://vsl2014.at/quantify
  Vienna Summer of Logic 2014
  http://vsl2014.at/
* The goal of the 1st International Workshop on Quantification (QUANTIFY 2014)
  is to bring together researchers who investigate the impact of
  quantification from a theoretical as well as from a practical point of
  view. This workshop has the aim to provide an interdisciplinary forum where
  researchers of various fields like QBF, QCSP, SMT, and theorem proving may
  exchange their experiences.
* Important dates:
   - April 15 2014: paper submission
   - May    7 2014: notification of acceptance
   - July  18 2014: workshop
* Topics of interest (not limited to the following): complexity results;
  encodings with and without quantification and comparisons thereof;
  applications of quantification; implementations of reasoning tools; case
  studies and experimental results; intersections between the different
  research communities working on quantification; surveys of state-of-the-art
  approaches to handling quantification
* Please see the workshop website for further information:
  http://vsl2014.at/quantify



3RD WORKSHOP ON SYNTHESIS (SYNT 2014)
  Call for Papers
  July 23-24, 2014
  Vienna, Austria (a satellite event of CAV 2014 in the scope of the
  Vienna Summer of Logic)
  http://vsl2014.at/synt
* SCOPE AND TOPIC
  The idea of synthesis, i.e., the process of automatically computing
  implementations from their specifications, has recently gained a lot
  of momentum in the contexts of software engineering and reactive
  system design. While it is widely believed that, due to complexity/
  undecidability issues, synthesis cannot completely replace manual
  engineering, it can assist the process of designing the intricate
  pieces of code that most programmers find challenging, or help with
  orchestrating tasks in reactive environments.
  This workshop aims at bringing together and providing an open platform
  for researchers interested in synthesis. Research on synthesis exists
  well alongside conferences on formal methods and verification, such
  as CAV, which aim at improving the reliability of systems. Driven by
  the vast potential for practical applications of synthesis, we aim at
  fostering scientific exchange not only within the areas of software
  and reactive synthesis, but also between them.
* IMPORTANT DATES
  - Paper submission: April 15, 2014
  - Notification: June 3, 2014
* SUBMISSION
  Authors are invited to submit
  - regular papers (max. 15 pages in EPTCS style, excluding references),
  - tool papers (max. 7 pages in EPTCS style, excluding references).
  Submitted regular and tool papers must be original and unpublished.
  Papers accepted for presentation at the workshop will appear in the
  Electronic Proceedings in Theoretical Computer Science series. Given
  sufficient interest, extended versions of selected papers will appear
  in a special issue of the journal Acta Informatica.



8TH INTERNATIONAL WORKSHOP ON COMPUTING WITH TERMS AND GRAPHS (TERMGRAPH 2014)
  First Call for Papers
  July 13, 2014, Vienna
  (affiliated with RTA-TLCA as part of FLoC)
  http://cl-informatik.uibk.ac.at/events/termgraph-2014/
* DATES
  submission:      April 16, 2014
  notification:       May 16,   2014
  final version:    May 28,   2014
  workshop:        July 13,  2014
* SCOPE
  Research in term and graph rewriting ranges from theoretical questions
  to practical issues. Computing with graphs handles the sharing of common
  subexpressions in a natural and seamless way, and improves the efficiency
  of computations in space and time. Sharing is ubiquitous in several
  research areas, for instance: the modelling of first- and higher-order
  term rewriting by (acyclic or cyclic) graph rewriting, the modelling of
  biological or chemical abstract machines, the implementation techniques
  of programming languages: many implementations of functional, logic,
  object-oriented, concurrent and mobile calculi are based on term graphs.
  Term graphs are also used in automated theorem proving and symbolic
  computation systems working on shared structures. The aim of this workshop
  is to bring together researchers working in different domains on term and
  graph transformation and to foster their interaction, to provide a forum
  for presenting new ideas and work in progress, and to enable newcomers
  to learn about current activities in term graph rewriting.
* TOPICS
  Topics of interest include all aspects of term graphs and sharing of
  common subexpressions in rewriting, programming, automated reasoning
  and symbolic computation. This includes (but is not limited to):
  - graph transformation
  - graph-based implementations of lambda-calculus
  - representation of concurrent systems
  - models of computation
  - graph-based languages
  - semantics and implementation of programming languages
  - compiler construction
  - interaction nets and proof nets
  - pattern recognition
  - bioinformatics
  - system descriptions
* SUBMISSION
  There are two categories of submissions:
  (1) Extended abstracts describing new results, work in progress, or problems.
  (2) Short versions of articles recently published or submitted elsewhere.
  Papers in the second category are not considered for the post-workshop
  proceedings. The page limit for submissions in both categories is 5 pages
  in EPTCS style. Submissions should be marked with the category (either 1 or 2)
  and submitted electronically in PDF via the EasyChair submission site:
  http://www.easychair.org/conferences/?conf=TERMGRAPH2014
  Papers will be judged on relevance, originality, correctness, and usefulness.
  The proceedings of TERMGRAPH 2014 will be included on the FLoC USB flash
  drive. Post-workshop proceedings of full versions of selected (category 1)
  contributions will be published as a volume of EPTCS.
* PC CHAIRS
  Aart Middeldorp        University of Innsbruck  (co-chair)
  Femke van Raamsdonk    VU University Amsterdam  (co-chair)



ASSOCIATION FOR SYMBOLIC LOGIC, 2014 NORTH AMERICAN ANNUAL MEETING (ASL 2014)
  Call for Participation
  May 19-22, 2014, Boulder, Colorado, USA
  http://math.colorado.edu/asl2014/
* INVITED SPEAKERS
  Libor Barto (Charles Univ., Prague), Barbara Csima (Univ. Waterloo),
  Valeria De Paiva (Univ. Birmingham), Jeff Hirst (Appalachian
  State Univ.), Michael Hrusak (U. N. A. Mexico), Alexei Kolesnikov
  (Towson Univ.), Andrew Marks (Caltech), Chris Laskowski (Univ. Maryland),
  Sean Walsh (Univ. California, Irvine)
* SPECIAL SESSIONS
  (1) Higher-order computation: semantics and algorithmics.
  (2) Model theory.
  (3) Philosophical aspects of games and social algorithms.
  (4) Recursion theory.
  (5) Set theory in honor of Rich Laver.
  (6) Universal algebra and constraint satisfaction.
* DETAILS
  Detailed information can be found on the webpage.



6TH WORKING CONFERENCE ON VERIFIED SOFTWARE: THEORIES, TOOLS AND EXPERIMENTS (VSTTE 2014)
  July 17-18, 2014
  Vienna, Austria
  http://vsl2014.at/vstte/
  Co-located with the Vienna Summer of Logic (http://vsl2014.at/)
  Submission Deadline: April 25, 2014
* SCOPE
  The goal of this conference is to advance the state of the art in the
  science and technology of software verification, through the interaction
  of theory development, tool evolution, and experimental validation.
  We welcome submissions describing significant advances in the
  production of verified software, i.e., software that has been
  proved to meet its functional specifications.  We are
  especially interested in submissions describing large-scale
  verification efforts that involve collaboration, theory unification,
  tool integration, and formalized domain knowledge.  We welcome papers
  describing novel experiments and case studies evaluating verification
  techniques and technologies.  Topics of interest include education,
  requirements modeling, specification languages, specification/verification
  case-studies, formal calculi, software design methods, automatic code
  generation, refinement methodologies, compositional analysis, verification
  tools (e.g., static analysis, dynamic analysis, model checking, theorem
  proving, satisfiability), tool integration, benchmarks, challenge problems,
  and integrated verification environments.
* PAPER SUBMISSION
  Papers will be evaluated by at least three members of the
  Program Committee. We are accepting both long (limited to 16 pages)
  and short (limited to 10 pages) paper submissions, written in English.
  Short submissions also cover Verification Pearls describing an
  elegant proof or proof technique.  Submitted research papers and
  system descriptions must be original and not submitted for publication
  elsewhere. Papers should be submitted through:
  https://www.easychair.org/conferences/?conf=vstte2014.
  The post-conference proceedings of VSTTE 2014 will be
  published by Springer-Verlag in the LNCS series.
* IMPORTANT DATES:
  Abstract submission: April 19, 2014
  Full paper submission: April 25, 2014
  Notification: June 2, 2014
* ORGANIZATION
  General Chair:
  Wilfried Steiner (TTTech Computertechnik AG, Austria)
  Program Chairs:
  Dimitra Giannakopoulou (NASA Ames)
  Daniel Kroening (Oxford University)
  Publicity Chair:
  Leo Freitas (Newcastle)



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.



10TH INTERNATIONAL WORKSHOP ON AUTOMATED SPECIFICATION AND VERIFICATION OF WEB SYSTEMS (WWV 2014)
  Call for Papers
  July 18th, Vienna (Austria)                *
  a FLoC workshop @ the Vienna Summer of Logic 2014
  http://wwv2014.isti.cnr.it/
* IMPORTANT DATES
  Abstract submission         April 25, 2014
  Paper submission            May 2, 2014
  Notification of acceptance  May 30, 2014
  Camera ready versions       June 20, 2014
  Workshop WWV 2014           July 18, 2014
* SCOPE
  The Workshop on Automated Specification and Verification of Web Systems
  (WWV, http://users.dsic.upv.es/grupos/elp/wwv/) is a yearly workshop
  that aims at providing an interdisciplinary forum to facilitate the
  cross-fertilization and the advancement of hybrid methods that exploit
  concepts and tools drawn from rule-based programming, formal methods,
  software engineering and Web-oriented research.
  Nowadays, many companies and institutions have diverted their Web sites
  into interactive, completely automated, Web-based applications for areas
  such as e-business, e-learning, e-government and e-health. The increased
  complexity and the explosive growth of Web systems has made their design
  and implementation a challenging task.
  Systematic, formal approaches to their specification and verification
  can permit to address the problems of this specific domain by means of
  automated and effective techniques and tools.
  Topics of either theoretical or applied interest include, but are not
  limited to:
  - Rule-based approaches to Web system analysis, certification,
    specification, verification and optimization
  - Languages and models for programming and designing Web systems
  - Formal methods for describing and reasoning about Web systems
  - Model-checking, synthesis and debugging of Web systems
  - Analysis and verification of linked data
  - Abstract interpretation and program transformation applied to the
    semantic Web
  - Middleware and frameworks for composition and orchestration of Web
    services
  - Software Product Line Engineering for Web systems
  - Feature-oriented modeling and variability analysis of Web systems
* SUBMISSION
  We solicit the submission of original and unpublished contributions not
  under review for publication elsewhere, which include full papers and
  short papers.
* PUBLICATION
  All accepted regular papers will be included in the proceedings, which
  will be published as a volume of the EPTCS series (WWV publication is
  indexed in DBLP and Microsoft Academic Research, among other important
  repositories). Selected short papers will be invited to the proceedings.
  An open call for a special issue of a high-quality journal on the topic
  of the WWV workshop is envisaged. This has been common practice for WWV
  since 2009.
* WORKSHOP CO-CHAIRS
  Maurice ter Beek     ISTI-CNR, Pisa, Italy
  Antonio Ravara       New University of Lisbon, Portugal
* INVITED SPEAKERS
  Steve Ross-Talbot    Cognizant Technology Solutions, United Kingdom



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



15 INT. WORKSHOP ON LOGIC AND COMPUTATIONAL COMPLEXITY AND WORKSHOP IN HONOR OF NEIL IMMERMAN'S 60TH BIRTHDAY (LCC 2014/IMMERMAN FEST)
  Call for Papers
  http://www.cs.swansea.ac.uk/lcc2014/
  July 12-13, Vienna, Austria
  (Affiliated with Vienna Summer of Logic and FloC 2014.)
* DATES
  Abstract submission (3-4 pages) deadline: May 2nd, 2014
  Student support application deadline:  May 4th, 2014
  2014 Authors' notification:  May 19th, 2014
  Support decisions notification: May 19th, 2014
* THE LCC 2014/IMMERMANFEST WORKSHOP
  The program will consist of a first day (July 12th) of both invited talks
  and contributed talks selected by the program committee (based on
  submitted abstracts), and a second day (July 13th) devoted entirely to
  invited talks in celebration of Neil Immerman's 60th birthday.
* INVITED SPEAKERS
  Day 1: Sam Buss,  Georg Moser;
  Day 2: Eric Allender, Anuj Dawar, Phokion Kolaitis,  Benjamin Rossman,
  Mooly Sagiv,  Nicole Schweikardt.
* AIM
  LCC meetings are aimed at foundational interconnections between
  logic and computational complexity, including topics such as:
  finite model theory, proof complexity, bounded arithmetic, implicit
  computational complexity, complexity of higher types, and logic and
  complexity aspects of verification and database theory.  Neil Immerman
  has made many inspiring contributions to the connections betweens logic
  and complexity.  This year, day two of LCC 2014 will honor Neil's 60th
  birthday with a series of invited lectures.
* PROCEEDINGS
  There will be no published proceedings for LCC 2014; we welcome
  submissions of abstracts (3-4 pages) that can be based on work submitted or
  published elsewhere.  All submissions via Easychair at:
  http://www.easychair.org/conferences/?conf=lcc2014
  For additional information see  http://www.cs.swansea.ac.uk/lcc/
  or email lcc2014@easychair.org
* STUDENT/POSTDOC PARTICIPATION FUNDING
  We have secured grant funding from various sources for student/postdoc
  participation at the LCC2014 / ImmermanFest Meeting.
  This includes an NSF grant for funding participation by
  US-based students, and smaller funds for other students.
  For information on eligibility and selection criteria, and
  the procedure for applying for student funding (deadline May 4th), visit:
  http://www.cs.swansea.ac.uk/lcc2014/funding.html



9TH INTERNATIONAL WORKSHOP ON LOGICAL FRAMEWORKS AND META-LANGUAGES: THEORY AND PRACTICE (LFMTP 2014)
  Call for Papers
  July 17, 2014
  Vienna, Austria
  http://complogic.cs.mcgill.ca/lfmtp14/
  Affiliated with CSL-LICS 2014 and IJCAR 2014
  as part of FLoC and VSL
* DESCRIPTION
  Logical frameworks and meta-languages form a common
  substrate for representing, implementing, and reasoning about a wide
  variety of deductive systems of interest in logic and computer
  science. Their design and implementation on the one hand and their use
  in reasoning tasks ranging from the correctness of software to the
  properties of formal computational systems on the other hand have been
  the focus of considerable research over the last two decades. This
  workshop will bring together designers, implementors, and
  practitioners to discuss various aspects impinging on the structure
  and utility of logical frameworks, including the treatment of variable
  binding, inductive and co-inductive reasoning techniques and the
  expressivity and lucidity of the reasoning process.
* TOPICS
  LFMTP 2014 will provide researchers a forum to present
  state-of-the-art techniques and discuss progress in areas such as the
  following:
  - Encoding and reasoning about the meta-theory of programming
    languages and related formally specified systems.
  - Theoretical and practical issues concerning the treatment of
    variable binding, especially the representation of, and reasoning
    about, datatypes defined from binding signatures.
  - Logical treatments of inductive and co-inductive definitions and
    associated reasoning techniques.
  - New theory contributions: canonical and substructural frameworks,
    contextual frameworks, proof-theoretic foundations supporting binders,
    functional programming over logical frameworks, homotopy type theory.
  - Applications of logical frameworks, e.g., in proof-carrying
    architectures such as proof-carrying authorization.
  - Techniques for programming with binders in functional programming
    languages such as Haskell, OCaml, or Agda and logic programming
    languages such as lambda Prolog or Alpha-Prolog.
    with encoding programming languages theory will be particularly
    welcome.
* SUBMISSIONS
  In addition to regular papers, we also solicit "work in
  progress" reports, in a broad sense. Those do not need to report
  original or fully polished research results, but should be interesting
  for the community at large.
* IMPORTANT DATES
  Paper Submission:   May 2
  Notification:   June 3
  Final papers due:   June 19
  Workshop:   July 17
* PROCEEDINGS
  Accepted regular papers will be included in the
  proceedings, which will be published in the ACM International
  Conference Proceedings Series, available in the ACM Digital
  Library. Authors are encouraged to publish auxiliary material with
  their paper (technical appendixes, source code, scripts, test data,
  etc.).
* PROGRAM CHAIRS
  Amy Felty, Co-Chair (University of Ottawa)
  Brigitte Pientka, Co-Chair (McGill University)



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)



11th WORKSHOP ON USER INTERFACES FOR THEOREM PROVERS (UITP 2014)
  Call for Papers
  July 17, 2014
  Vienna, Austria
  http://vsl2014.at/pages/UITP-index.html
* SCOPE
  The User Interfaces for Theorem Provers (UITP) workshop series
  provides a forum for researchers interested in improving human
  interaction with interactive and automated deduction systems in a
  broad sense.
* PAPER SUBMISSION
  Papers should describe previously unpublished work
  (completed or in progress), and be at least 4 pages and at most
  12 pages. We encourage concise and relevant papers. Submissions should be
  in PDF format, and typeset with the EPTCS LaTeX document class (which
  can be downloaded from http://style.eptcs.org/). Submission should be
  done via EasyChair (https://www.easychair.org/conferences/?conf=uitp14).
  Papers will be published after the workshop in the
  Electronic Proceedings in Theoretical Computer Science
  (EPTCS - http://www.eptcs.org/).
* TOPICS:
  - Experiments and evaluation of prover interfaces
  - Application-specific interaction mechanisms
  - Interfaces for expert systems
  - Web interfaces for deduction tools
  - New designs for prover interfaces
  - Performance/responsiveness of user interface for theorem provers
  - Proof scripting languages
  - Proof formats for authoring, exchanging and presenting proofs
  - Domain-specific languages (DSLs) for interfacing with reasoning tools
  - Infrastructure for sharing and using benchmarks for theorem proving
  - Summarization of proofs
  - Visualization of proofs
  - Visualization of large structured deduction problems
  - User-friendly repositories of formal mathematical knowledge
  - Mobile interfaces (iPhone or Android clients for deduction tools)
  - System descriptions
* IMPORTANT DATES
  - Paper submission: May 4
  - Author notification: May 25
  - Final papers: May 31
  - Workshop: July 17



WORKSHOP ON HIGHER-ORDER PROGRAM ANALYSIS (HOPA)
  Call for Papers
  18th July, Part of FLoC 2014, Vienna University of Technology, Austria
  http://hopa.cs.rhul.ac.uk
* The HOPA workshop aims to bring together the various growing communities
  involved in the analysis of higher-order programs. The focus of the workshop
  is both on tools and techniques for practical analysis, and on the
  dissemination of new theoretical results.
* IMPORTANT DATES
  - Submission deadline: 9th May, 2014.
  - Notification: 21st May, 2014.
  - USB-ready versions: 30th May, 2014.
  - Main event: 18th July, 2014.
* INVITED SPEAKERS
  Anders Moeller, Aarhus University, Denmark,
  Grigore Rosu, University of Illinois at Urbana-Champaign, USA



5TH WORKSHOP ON SYNTAX AND SEMANTICS OF LOW-LEVEL LANGUAGES (LOLA 2014)
  Call for Talk Proposals
  Sunday 13th July 2014
  Vienna, Austria
  A satellite workshop of CSL/LICS 2014 at the Vienna Summer of Logic
  http://vsl2014.at/lola/
* OBJECTIVES
  It has been understood since the late 1960s that tools and structures
  arising in mathematical logic and proof theory can usefully be applied
  to the design of high level programming languages, and to the development
  of reasoning principles for such languages. Yet low level languages,
  such as machine code, and the compilation of high level languages into
  a low level ones have traditionally been seen as having little or no
  essential connection to logic. However, a fundamental discovery of this
  past decade has been that low level languages are also governed by
  logical principles. From this key observation has emerged an active and
  fascinating new research area at the frontier of logic and computer science.
  The practically-motivated design of logics reflecting the structure of
  low-level languages (such as heaps, registers and code pointers) and
  low-level properties of programs (such as resource usage) goes hand in hand
  with the some of the most advanced contemporary researches in semantics
  and proof theory, including classical realizability and forcing, double
  orthogonality, parametricity, linear logic, game semantics, uniformity,
  categorical semantics, explicit substitutions, abstract machines,
  implicit complexity and sublinear programming.
* TOPICS
  The LOLA workshop, affiliated with CSL-LICS, will bring together
  researchers interested in many aspects of the relationship between
  logic and low level languages and programs. Topics of interest
  include, but are not limited to:
  - Typed assembly languages,
  - Certified assembly programming,
  - Certified and certifying compilation,
  - Proof-carrying code,
  - Program optimization,
  - Modal logic and realizability in machine code,
  - Realizability and double orthogonality in assembly code,
  - Parametricity, modules and existential types,
  - General references, Kripke models and recursive types,
  - Continuations and concurrency,
  - Implicit complexity, sublinear programming and Turing machines,
  - Closures and explicit substitutions,
  - Linear logic and separation logic,
  - Game semantics, abstract machines and hardware synthesis,
  - Monoidal and premonoidal categories, traces and effects.
* IMPORTANT DATES
  Submission deadline: Friday 9 May 2014
  Author notification: Wednesday 21 May 2014
  Workshop: Sunday 13th July 2014
* SUBMISSION INFORMATION
  LOLA is an informal workshop aiming at a high degree of useful interaction
  amongst the participants, welcoming proposals for talks on work in progress,
  overviews of larger programmes, position presentations and short tutorials
  as well as more traditional research talks describing new results.
  The programme committee will select the workshop presentations from
  submitted proposals, which may take the form either of a two page
  abstract or of a longer (published or unpublished) paper describing
  completed work. The submissions will be made by easychair at
  https://www.easychair.org/conferences/?conf=lola2014



5TH INTERNATIONAL SYMPOSIUM ON GAMES, AUTOMATA, LOGICS AND FORMAL VERIFICATION (GandALF 2014)
  Preliminary Call for Papers
  September 10 - 12, 2014,
  Verona, Italy
  http://gandalf2014.di.univr.it
* AIM
  The aim of the symposium is to bring together researchers from academia
  and industry which are actively working in the fields of Games, Automata,
  Logics, and Formal Verification. The idea is to cover an ample spectrum of
  themes, ranging from theory to applications, and stimulate
  cross-fertilization. Papers focused on formal methods are especially
  welcome. Authors are invited to submit original research or tool papers on
  all relevant topics in these areas. Papers discussing new ideas that are
  at an early stage of development are also welcome.
* TOPICS
  The topics covered by the conference include, but are not limited to:
  - Automata Theory
  - Automated Deduction
  - Computational aspects of Game Theory
  - Concurrency and Distributed computation
  - Decision Procedures
  - Deductive, Compositional, and Abstraction Techniques for Verification
  - Finite Model Theory
  - First-order and Higher-order Logics
  - Formal Languages
  - Formal Methods for Systems Biology, Hybrid, Embedded, and Mobile Systems
  - Games and Automata for Verification
  - Game Semantics
  - Logical aspects of Computational Complexity
  - Logics of Programs
  - Modal and Temporal Logics
  - Model Checking
  - Models of Reactive and Real-Time Systems
  - Program Analysis and Software Verification
  - Run-time Verification and Testing
  - Specification and Verification of Finite and Infinite-state Systems
  - Synthesis
* IMPORTANT DATES
  May 10th   Abstract submission
  May 25th   Paper submission
  June 25th  Notification
  July 25th  Camera-ready submission
* PUBLICATIONS
  The conference proceedings will be published by Electronic Proceedings in
  Theoretical Computer Science. A special issue of a major international
  journal to publish an extended and revised version of the best symposium
  papers is also under consideration.
* SUBMISSIONS
  Submitted papers should not exceed fourteen (14) pages using EPTCS format,
  be unpublished and contain original research. For papers reporting
  experimental results, authors are encouraged to make their data available
  with their submission. Submissions must be in PDF or PS format and will be
  handled via EasyChair
  (https://www.easychair.org/conferences/?conf=gandalf2014).
* PC CHAIRS
  - Adriano Peron, University Federico II of Napoli, Italy
  - Carla Piazza, University of Udine, Italy



WORKSHOP ON ALGORITHMICS OF INFINITE-STATE SYSTEMS (AISS 2014)
  Call for Presentations
  July 18, 2014, Vienna, Austria
  satellite workshop of CSL-LICS 2014
  http://www.informatik.uni-bremen.de/~goeller/AISS14/Algorithmics_on_Infinite-State_Systems.html
* The workshop provides the opportunity to assess recent scientific
  advances and exchange ideas on the algorithmic theory of infinite state
  systems. Infinite state systems arise in many areas of computer science.
  Typical examples are recursive programs, communicating systems with
  unbounded buffers, and real time systems. Important algorithmic techniques
  dealing with infinite state systems include model checking, reachability
  and equivalence checking.
* We invite submissions on the following topics (no order) as well as thereto
  related areas: abstract machine models for infinite state systems  (e.g.
  pushdown systems, higher-order pushdown systems, counter automata), Petri
  nets,  automatic structures, well-structured transition systems, rewriting
  formalisms for infinite state systems (e.g. ground tree rewriting),
  higher-order recursion schemes, algorithmic model theory, games on infinite
  arenas, model checking for infinite state systems (e.g. model checking
  for MSO, FO, CTL, LTL, mu-calculus), equivalence checking for infinite
  state systems (e.g. bisimulation equivalence checking) decomposition
  techniques for infinite state systems, (e.g. Feferman/Vaught decompositions)
  reachability in infinite state systems
* INVITED SPEAKERS
  Joel Ouaknine (University of Oxford) and Olivier Serre (Universite Paris 7)
* SUBMISSIONS
  Submissions should consist of an abstract of at most 4 pages. We do not plan
  to have a published proceedings or special issue for a journal. Theorefore,
  already published recent work is welcome too. Submissions should be made via
  the easy chair system:
  https://www.easychair.org/conferences/?conf=aiss2014
* IMPORTANT DATES
  Submissions by May 15, 2014
  Notification by June 1, 2014



10TH INTERNATIONAL WORKSHOP ON DEVELOPMENTS IN COMPUTATIONAL MODELS (DCM 2014)
  First Call for Papers
  July 13, 2014
  Vienna, Austria
  http://vsl2014.at/pages/DCM-index.html
* SCOPE
  Several new models of computation have emerged in the last few years, and
  many developments of traditional computational models have been proposed
  with the aim of taking into account the new demands of computer systems
  users and the new capabilities of computation engines. A new computational
  model, or a new feature in a traditional one, usually is reflected in a new
  family of programming languages, and new paradigms of software development.
  DCM 2014 is the tenth in a series of international workshops focusing on new
  computational models. The aim of this workshop is to bring together
  researchers who are currently developing new computational models or
  new features for traditional computational models, in order to foster their
  interaction, to provide a forum for presenting new ideas and work in
  progress, and to enable newcomers to learn about current activities in
  this area. DCM 2014 will be a one-day satellite event of CSL-LICS 2014,
  in the context of VSL 2014.
* TOPICS OF INTEREST
  Topics of interest include all abstract models of computation and their
  properties, and their applications to the development of programming
  languages and systems:
  - functional calculi: lambda-calculus, rho-calculus, term and graph rewriting;
  - quantum computation, including implementations and formal methods in quantum protocols;
  - probabilistic computation and verification in modeling situations;
  - chemical, biological and bio-inspired computation, including spatial models, self-assembly, growth models;
  - general concurrent models including the treatment of mobility, trust, and security;
  - infinitary models of computation;
  - information-theoretic ideas in computing.
* IMPORTANT DATES
  - Submission Deadline for Extended Abstracts: 16 May 2014
  - Notification: 6 June 2014
  - Workshop: 13 July 2014
  - Submission Deadline for EPTCS Proceedings: 15 September 2014
* SUBMISSIONS
  Submit your paper in PDF format via the conference EasyChair submission page:
  https://www.easychair.org/conferences/?conf=dcm2014
  Submissions should be an abstract of at most 5 pages, written in English.
  Simultaneous submission to journals, conferences or other workshops is not
  permitted. Please use the EPTCS macro package and follow the instructions of
  EPTCS, following the EPTCS style:
  http://style.eptcs.org/
  A submission may contain an appendix, but reading the appendix should not
  be necessary to assess its merits. After the workshop authors are invited
  to submit a full paper of their presentation. Accepted contributions will
  appear in an issue of EPTCS.
* PROGRAM CHAIRS
  Ugo Dal Lago (Universita di Bologna)
  Russ Harmer (CNRS & ENS Lyon)



A CONFERENCE IN HONOUR OF PRAKASH PANANGADEN ON THE OCCASION OF HIS 60TH BIRTHDAY
  23--25 May 2014, University of Oxford, UK
  http://www.cs.ox.ac.uk/pf2014
* PRAKASH
  Prakash has made major contributions across a remarkably wide range of
  topics, including probabilistic and concurrent computation, logic and
  duality, and quantum information and computation. His work is
  characterised by the qualities of elegance, clarity and concern for
  fundamentals, and has been instrumental in making connections between
  different research areas and communities. Equally important for his
  many friends has been the infectious enthusiasm and enjoyment he
  brings to his scientific work, and the generous and sustained support
  and encouragement he has given to many junior colleagues.
* PROGRAMME
  The workshop will feature talks by many of Prakash's friends and
  collaborators. We anticipate that this will be a very enjoyable event,
  blending fun and science - how could a meeting for Prakash be
  otherwise! We warmly invite everyone to participate. Information on
  how to register can be found on the conference web page.
* SPEAKERS
  Abramsky / Brookes / Coecke / Danos / de Boer / Desharnais / Duncan
  / Gobault-Larrecq / Hayden / Jacobs / Jagadeesan / Jung / Kashefi /
  Knight / Kozen / Kupke / Kwiatkowska / Larsen / Mardare / Mislove /
  Ouaknine / Palamidessi / Plotkin / Precup / Rutten / Sadrzadeh / Scott
  / Selinger / Silva / Sorkin / van Breugel / Vicary / Winskel / Worrell / Ying
* SPRING SCHOOL
  This event is twinned with a Spring School in Quantum Structures in
  Physics and Computer Science, to be held on the dates 19--22 May 2014
  at the University of Oxford:
  http://www.cs.ox.ac.uk/ss2014



8TH INTERNATIONAL WORKSHOP ON REACHABILITY PROBLEMS (RP2014)
  22 - 24 September 2013
  University of Oxford, United Kingdom
  http://www.cs.ox.ac.uk/RP2014/
* VENUE
  The Department of Computer Science will organize the 8th International
  Workshop on Reachability Problems (RP'2014). This event will take place
  at the Department in the centre of Oxford, 22 - 24 September 2014.
* TOPICS
  Papers presenting original contributions related to reachability problems
  in different computational models and systems are being sought. This will
  also be the occasion to review recent breakthroughs by renown invited
  experts and survey emerging trends and emphasize on key open challenges.
  Participants are kindly encouraged to discuss on core scientific issues
  that need to be further tackled. The Reachability Workshop is specifically
  aimed at gathering together scholars from diverse disciplines and
  backgrounds interested in reachability problems that appear in
  - Algebraic structures
  - Computational models
  - Hybrid systems
  - Logic and Verification
* INVITED SPEAKERS
  - Byron Cook, UCL and Microsoft Research, UK.
  - Kousha Etessami, University of Edinburgh, UK.
  - Anca Muscholl, LaBRI Bordeaux, France.
  - Sylvain Schmitz, LSV and ENS-Cachan, France.
* SUBMISSIONS
  Papers presenting original contributions related to reachability problems
  in different computational models and systems are being sought. Topics of
  interest include (but are not limited to): Reachability for infinite state
  systems, rewriting systems; Reachability analysis in counter/timed/cellular/
  communicating automata; Petri-Nets; computational aspects of semigroups,
  groups and rings; Reachability in dynamical and hybrid systems; frontiers
  between decidable and undecidable reachability problems; complexity and
  decidability aspects; predictability in iterative maps and new computational
  paradigms. Authors are invited to submit a draft of a full paper with at
  most 12 pages (in LaTeX, formatted according to LNCS guidelines) via the
  conference web page. Proofs omitted due to space constraints must be put
  into an appendix to be read by the program committee members at their
  discretion. Submissions deviating from these guidelines risk rejection.
  Electronic submissions should be formatted in pdf. Simultaneous submission
  to other conferences or workshops with published proceedings is not allowed.
* IMPORTANT DATES
  - Submission deadline: 4 June 2014
  - Notification to authors: 4 July 2014
  - Final version: 14 July 2014
  - Workshop: 22 - 24 September 2014
* PRESENTATION-ONLY TRACK
  In addition to regular papers that will appear in our LNCS proceedings,
  we invite researchers to apply to give a presentation at RP 2014 without
  an accompanying paper.  Such presentations can be based on work that has
  appeared (or which is going to appear) in the proceedings of another
  conference, or which has not yet been submitted. These contributions will
  be judged solely on the basis of their attractiveness to the workshop.
  To apply to give such a presentation please submit a PDF file containing
  a short abstract (up to two pages) by e-mail [ rp2014@easychair.org ]
  by August 4th 2014, with  subject "RP2014 Presentation-Only Track".
  This abstract will not be published in the conference proceedings.
  Notification for the presentation-only track will be August 11th 2014.
* PROCEEDINGS
  The Conference Proceedings will be published as the volume of the Springer
  Verlag LNCS (Lecture Notes in Computer Science) series and distributed at
  the Conference. We plan also to publish selected papers in a special issue
  of a high quality journal following the regular referee procedure.



11TH INTERNATIONAL WORKSHOP ON DOMAINS AND APPLICATIONS (DOMAINS 2014)
  Call for papers
  September 8-10 2014
  Paris, France
  http://www.pps.univ-paris-diderot.fr/~varacca/domains/Domains_XI
* The Workshop on Domains is aimed at computer scientists and
  mathematicians alike who share an interest in the mathematical
  foundations of computation.
* Topics of interaction with domain theory for this workshop
  include, but are not limited to: program semantics;
  program logics; probabilistic computation; exact computation
  over the real numbers; lambda calculus; games; models of
  sequential computation; constructive mathematics; recursion
  theory; realizability; real analysis and computability;
  topology, metric spaces and domains; idempotent analysis
  and domains; locale theory; category theory; topos theory;
  type theory. A special emphasis will be put on the following
  topics: quasi-polish spaces; quantitative aspects in semantics.
* Important dates: abstract submission until June 15th, notification
  shortly after. Abstracts should be 1 or 2 pages. Submission on
  https://www.easychair.org/conferences/?conf=domains2014
* Proceedings: there will be a call for papers after the workshop.
  The papers will be refereed according to normal publication
  standards.



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



26TH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2014)
  (pending IEEE approval)
  Call for Papers
  November 10-12, 2014, Limassol, Cyprus
  http://ictai2014.cs.ucy.ac.cy
* AIMS AND SCOPE
  The annual IEEE International Conference on Tools with Artificial
  Intelligence (ICTAI) provides a major international forum where
  the creation and exchange of ideas related to artificial intelligence
  are fostered among academia, industry, and government agencies.
  The conference facilitates the cross-fertilization of these ideas and
  promotes their transfer into practical tools, for developing intelligent
  systems and pursuing artificial intelligence applications. The ICTAI
  encompasses all technical aspects of specifying, developing and
  evaluating the theoretical underpinnings and applied mechanisms
  of the AI-based components of computer tools such as algorithms,
  architectures and languages.
* TOPICS
  AI Foundations
  AI in Domain Specific Applications
  AI in Computer Systems
  AI in Data Analytics and Big Data
  Machine Learning and Data Mining
  Knowledge Representation, Reasoning and Cognitive Modelling
  AI and Decision Systems
  Uncertainty in AI
* SUBMISSION
  The submissions should contain original, high quality, not submitted
  or published elsewhere work. Papers should be submitted electronically
  through the EasyChair system in pdf format and should conform to IEEE
  specifications (single-spaced, double-column, 10-point font size, up to 8
  pages).
* PRESENTATION
  Each accepted paper should be presented by one of the authors and
  accompanied by at least one full registration fee payment, to guarantee
  publication in the proceedings. All accepted papers will be included in
  proceedings of ICTAI 2014 that will be published by the IEEE Computer
  Society.
*  IJAIT SPECIAL ISSUE
  Extended versions of the best papers of the conference will be invited
  for publication in a special issue of the International Journal on Artificial
  Intelligence Tools (IJAIT) (SCI Indexed).
* IMPORTANT DATES
  Paper submission: June 30, 2014
  Paper notification: July 30, 2014
  Camera-ready paper: August 30, 2014
* CONTACT
  George A. Papadopoulos
  Department of Computer Science
  University of Cyprus
  george-at-cs-dot-ucy-dot-ac-dot-cy



JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING SPECIAL ISSUE ON FORMAL METHODS IN SOFTWARE PRODUCT LINE ENGINEERING
  Call for Papers
  http://ees.elsevier.com/jlap/
* SCOPE
  This special issue of the Journal of Logic and Algebraic Programming (JLAP)
  is devoted, but by no means limited, to the themes of the FMSPLE workshop
  series on formal methods and analysis in Software Product Line Engineering
  (SPLE). This is an open call for papers, therefore participants of the
  FMSPLE workshop series as well as others working on the themes of this
  special issue, are strongly encouraged to submit contributions.
* AIMS
  SPLE aims at developing a family of systems by reuse in order to reduce time
  to market and to increase product quality. The general motivation is to
  promote and stimulate the application of formal modelling and analysis
  techniques to problems that originate from the SPLE domain, and to
  strengthen in this way the ties between the SPLE community and theoretical
  computer scientists and formal methods researchers seeking to apply
  calculi, process algebras, type systems, logics, model checking,
  type checking, theorem proving, constraint solving, and so forth.
  Recent years have witnessed an increased application of formal modelling
  and analysis techniques in SPLE and this is starting to make an impact,
  as is confirmed by the growing number of papers that have been published
  in a variety of high-profile formal methods, SPLE, and (fundamental)
  software engineering conferences and journals.
* IMPORTANT DATES
  Submission of papers: July 15, 2014
  First review decision: December 15, 2014
  Revision due: February 15, 2015
  Acceptance notification: April 15, 2015
  Final manuscript due: June 15, 2015
  Expected publication: Summer 2015
* TOPICS OF INTEREST
  We solicit original papers on topics within the general scope of
  applying formal modelling and analysis techniques to software
  product lines.
* SUBMISSION
  We expect original articles (typically 20-30 pages; submission of
  larger papers will be evaluated depending on editorial constraints)
  that present high-quality contributions, which have not been previously
  published elsewhere and that are also not simultaneously
  submitted for publication elsewhere. All contributions must be written
  in English, must be submitted in PDF format and must comply with JLAP's
  author guidelines. Submissions are handled using the Elsevier Editorial
  System and can be uploaded via the link http://ees.elsevier.com/jlap/
  In the submission process, the authors must select the article type
  "FMSPLE".
* GUEST EDITORS
  Maurice ter Beek, ISTI-CNR, Pisa, Italy
  Dave Clarke, Uppsala University, Sweden & KU Leuven, Belgium
  Ina Schaefer, Technische Universitaet Braunschweig, Germany




Back to the LICS web page.