Newsletter 155
February  4, 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
  Microsoft Research Verified Software Milestone Award - Announcement
  Ackermann Award - Call for Nominations
  Herbrand Award - Call for Nominations
* CALLS
  RTA-TLCA 2014 - Call for Papers
  QAPL 2014 - Call for Presentations
  ETAPS 2015 - Call for Satellite Events
  STACS 2014 - Call for Participation
  ICALP 2014 - Call for Papers
  LOGICA 2014 - Call for Papers
  UTP 2014 - Call for Papers
  TAP 2014 - Call for Papers
  CICM 2014 - Call for Papers
  NASSLLI 2014 STUDENT SESSION - Call for Papers
  TASE 2014 - Call for Papers
  ESSAYS IN MEMORY OF MARK STICKEL - Call for Papers
  KURT GOEDEL PRIZE RESEARCH FELLOWSHIP - Call for Proposals
  SETS 2014 - Call for Papers
  StudEDCC 2014 - Call for Papers
  ICE 2014 - Call for Papers
  AiML 2014 - Call for Papers
  SEMF 2014 - Call for Papers
  SFM-14: ESM - Call for Participation
  ITRS 2014 - Call for Papers
  ASP Competition - Call for Participant Systems
  LASER 2014 - Call for Summer School Applications
  ESSLLI 2014 STUDENT SESSION - Call for Papers
  DL 2014 - Call for Papers
  RV 2014 - Call for Papers
  ATVA 2014 - Call for Workshop Proposals
  FORMATS 2014 - Call for Papers
  HALMSTAD SUMMER SCHOOL ON TESTING 2014 - Call for Participation
  TERMGRAPH 2014 - Call for Papers
  FMMB 2014 - Call for Papers
  TCS 2014 - Call for Papers
  LCC 2014/IMMERMAN FEST - Call for Papers
  TGC 2014 - Call for Papers
  UITP 2014 - Call for Papers
  GandALF 2014 - Call for Papers
  DCM 2014 - Call for Papers
  AVOCS 2014 - Call for Papers
  AAA88 - Call for Participation
  ICTAI 2014 - Call for Papers
* BOOK ANNOUNCEMENT
  New Book on Industrial Deployment of System Engineering Methods
* JOB ANNOUNCEMENTS
  PhD Positions at ETH Zurich
  Postdoc in Formal Methods at DTU
  Postdoc in Proof Theory at Vienna University of Technology
  Postdoc Position in Verification, Trento, Italy
  Postdoc Research/Programmer Post in Combinatorial Testing at AIST, Japan
  Tenure-Track Positions at Universite du Quebec a Montreal


CSL-LICS'14
  http://lii.rwth-aachen.de/lics/csl-lics14/
* Next 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 submission deadline has passed.



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
* RTA-TLCA 2014
  Abstract submission: February 4, 2014
  Paper submission: February 11, 2014
  http://vsl2014.at/rta-tlca
* QAPL 2014
  Presentation Report Submission: February 5, 2014
  http://qapl14.inria.fr
* ETAPS 2015
  Satellite event proposal deadline: February 7, 2014
  http://www.etaps.org/index.php/2015/call-for-workshops
* STACS 2014
  Student funding application deadline: February 12, 2014
  Early registration deadline: February 16, 2014
  http://stacs2014.sciencesconf.org
* ICALP 2014
  Submission deadline: February 14, 2014
  http://icalp2014.itu.dk
* LOGICA 2014
  Submission deadline: February 15, 2014
  http://www.flu.cas.cz/en/logica2014
* UTP 2014
  Full paper due: February 21, 2014
  http://www.comp.nus.edu.sg/~pat/UTP2014/index.html
* TAP 2014
  Abstract submission: February 25, 2014
  Paper submission: March 1, 2014
  http://www.tap2014.org
* ACKERMANN AWARD 2014
  Nomination deadline: February 28, 2014
  http://www.eacsl.org/submissionsAck.html
* CICM 2014
  Abstract submission: February 28, 2014
  Submission deadline: March 7, 2014
  Work-in-progress submission and doctoral programme: April 28, 2014
  http://www.cicm-conference.org/2014
* NASSLLI 2014 STUDENT SESSION
  Submissions due: February 28, 2014
  http://www.nasslli2014.com/
* TASE 2014
  Abstract submission: February 28, 2014
  Paper submission: March 7, 2014
  http://www.nudt.edu.cn/tase2014
* ESSAYS IN MEMORY OF MARK STICKEL
  Submission deadline: March 1, 2014
  https://www.easychair.org/conferences/?conf=festschriftmarkstick
* KURT GOEDEL PRIZE RESEARCH FELLOWSHIP
  Proposals submission deadline: March 2, 2014 (midnight PST)
  http://fellowship.logic.at
* SETS 2014
  Abstract submission: March 3, 2014
  Submission deadline: March 10, 2014
  http://sets2014.cnam.fr/
* StudEDCC 2014
  Submission deadline: March 10, 2014
  http://edcc.dependability.org/
* ICE 2014
  Abstract submission: March 12, 2014
  Full paper submission: March 15, 2014
  http://www.discotec.org/workshops/ice-2014
* AiML 2014
  Abstract of full paper submission due: March 14, 2014
  Full paper submission due: March 21, 2014
  http://www.philos.rug.nl/AiML2014/
* SEFM 2014
  Abstract Submission: March 14, 2014
  Paper Submission: March 21, 2014 (AoE)
  http://sefm2014.inria.fr/
* SFM-14: ESM
  Application deadline: March 21, 2014
  Registration deadline: April 20, 2014
  http://www.sti.uniurb.it/events/sfm14esm/
* ITRS
  Abstract submission: March 28, 2014
  Paper submission: March 31, 2014
  http://vsl2014.at/itrs/
* ASP COMPETITION 2014
  Start of the competition: March 31, 2014
  Participant registration opens March 1, 2014
  http://aspcomp2014.mat.unical.it/
* LASER 2014
  Application deadline: March 31, 2014
  http://laser.inf.ethz.ch/2014
* ESSLLI 2014 STUDENT SESSION
  Deadline for submissions: April 1st, 2014
  http://www.kr.tuwien.ac.at/drm/dehaan/stus2014/
* DL 2014
  Paper registration deadline: April 7, 2014
  Paper submission deadline: April 11, 2014
  http://dl.kr.org/dl2014
* RV 2014
  Abstract deadline: April 8, 2014
  Full paper deadline: April 15, 2014
  http://rv2014.imag.fr/
* ATVA 2014
  Deadline for workshop proposal submissions: April 14, 2014
  http://atva-conferences.org
* FORMATS 2014
  Abstract submission: April 14, 2014
  Paper submission: April 21, 2014
  http://www.florence2014.org/
* 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
* TERMGRAPH 2014
  Submission deadline: April 16, 2014
  http://cl-informatik.uibk.ac.at/events/termgraph-2014/
* FMMB 2014
  Submission deadline: April 25, 2014
  http://fmmb2014.sciencesconf.org/
* 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
  http://www.cs.swansea.ac.uk/lcc2014/
* 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
* GandALF 2014
  Abstract submission: May 10, 2014
  Paper submission: May 25, 2014
  http://gandalf2014.di.univr.it
* DCM 2014
  Submission Deadline for Extended Abstracts: May 16, 2014
  Submission Deadline for EPTCS Proceedings: September 15, 2014
* 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



2013 MICROSOFT RESEARCH VERIFIED SOFTWARE MILESTONE AWARD ANNOUNCEMENT
  https://sites.google.com/site/verifiedsoftwareinitiative/
* The Microsoft Research Verified Software Milestone Award was made to Roope
  Kaivola (Intel Corporation, Oregon, USA) with regards to the Intel Core i7
  verification project.  While formal methods were applied within a number of
  areas of the Core i7 project, the award is being given in recognition for
  Kaivola's role as intellectual leader of the core execution cluster as well
  as his leadership of the verification team. The core execution cluster is
  responsible for the functional behaviour of all microinstructions. The
  approach taken involved symbolic simulation based formal verification
  techniques, encompassing full data path, control and state validation for
  the execution cluster. The formal verification removed the need for
  conventional coverage driven testing. The project established a "gold
  standard" for verifying arithmetic functionality across Intel, and
  propagated it to many other CPU and GPU projects.  The scale of the i7
  project is unprecedented within the industry, and serves to show the value
  added that formal methods can bring to the industrial scale verification
  and validation challenges.  The Core i7 project represents some twenty
  person years of effort so Roope's award also reflects the efforts of his
  team, both technical and managerial. The full award citation is provided
  along with further details of the award process at the Verified Software
  Initiative website.



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



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).



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



12TH WORKSHOP ON QUANTITATIVE ASPECTS OF PROGRAMMING LANGUAGES AND SYSTEMS (QAPL 2014)
  Call for Presentations
  Affiliated with ETAPS 2014
  April 12 - 13, 2014, Grenoble, France
  http://qapl14.inria.fr
* SCOPE
  Quantitative aspects of computation are important and sometimes essential in
  characterising the behaviour and determining the properties of systems. They
  are related to the use of physical quantities (storage space, time, bandwidth,
  etc.) as well as mathematical quantities (e.g. probability and measures for
  reliability, security and trust). Such quantities play a central role in
  defining both the model of systems (architecture, language design, semantics)
  and the methodologies and tools for the analysis and verification of system
  properties. The aim of this workshop is to discuss the explicit use of
  quantitative information such as time and probabilities either directly in the
  model or as a tool for the analysis of systems.
* TOPICS
  Topics include (but are not limited to) probabilistic, timing and general
  quantitative aspects in: Language design, Information systems, Asynchronous HW
  analysis, Language extension, Multi-tasking systems, Automated reasoning,
  Language expressiveness, Logic, Verification, Quantum languages, Semantics,
  Testing, Time-critical systems, Performance analysis, Safety, Embedded systems,
  Program analysis, Risk and hazard analysis, Coordination models, Protocol
  analysis, Scheduling theory, Distributed systems, Model-checking, Security,
  Biological systems, Cyber-physical systems, Concurrent systems, and Resource
  analysis.
* INVITED SPEAKERS:
  - Stephen Gilmore, University of Edinburgh, UK
  - Oded Maler, Verimag, France
  - Nicolas Markey, LSV, CNRS and ENS Cachan, France
  - Enrico Vicario, University of Torino, Italy
* SUBMISSIONS:
  In order to encourage participation and discussion, this workshop
  solicits submissions of presentation reports.
  Presentation reports concern recent or ongoing work on relevant topics and
  ideas, for timely discussion and feedback at the workshop. There is no
  restriction as for previous/future publication of the contents of a
  presentation. Typically, a presentation is based on a paper which recently
  appeared (or which is going to appear) in the proceedings of another
  recognized conference, or which has not yet been submitted. The (extended)
  abstract of presentation submissions should not exceed 4 pages.
* EASYCHAIR
  Submissions must be in PDF format and use the EPTCS latex style, see
  http://style.eptcs.org/. Submissions can be made on the following website:
  http://www.easychair.org/conferences/?conf=qapl14
  Presentation reports will receive a light weight review to establish their
  relevance for the workshop. The authors of accepted presentation submissions
  are expected to present and discuss their work at the workshop.
* IMPORTANT DATES
  Submission:   February 5, 2014
  Notification: February 7, 2014
  Workshop: April 12-13, 2014
* PC Chairs
  - Nathalie Bertrand, INRIA Rennes, France
  - Luca Bortolussi, University of Trieste, Italy



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



31ST INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE (STACS 2014)
  Call for Participation
  March 5-8, 2014, Lyon, France
  http://stacs2014.sciencesconf.org/
* SCIENTIFIC PROGRAM
  The program is composed of 54 contributed and three invited talks as well
  as a tutorial and miniworkshop.
* INVITED TALKS AND TUTORIAL
  - Javier Esparza, TUM-Technische Universität München
  Keeping a Crowd Safe: On the Complexity of Parameterized Verification
  - Peter Bro Miltersen, Aarhus University
  Semi-algebraic geometry in computational game theory - a consumer's perspective
  -Luc Segoufin, INRIA, Ecole Normale Superieure de Cachan
  A glimpse on constant delay enumeration
  - Neeraj Kayal, Microsoft Research India (tutorial)
  Arithmetic Circuit Complexity
* REGISTRATION
  Registration will be through the conference website and will open on
  Friday, January the 24th.
  http://stacs2014.sciencesconf.org/
* INFORMATION
  For detailed information on STACS 2014, visit the conference website,
  http://stacs2014.sciencesconf.org/
  There is a limited amount of modest funding to help students: to
  apply, write to stacs2014@sciencesconf.org with a letter of your
  advisor before  Wednesday, February 12th.



41ST INTERNATIONAL COLLOQUIUM ON AUTOMATA, LANGUAGES AND PROGRAMMING (ICALP 2014)
  Call for Papers
  July 8-11, 2014
  IT University of Copenhagen, Denmark.
  http://icalp2014.itu.dk
* SCOPE
  ICALP is the main conference and annual meeting of the European Association
  for Theoretical Computer Science (EATCS). The main conference is preceded
  by a series of workshops on Monday, 7 July 2014.
* IMPORTANT DATES
  Submission deadline: Friday, 14 February 2014,
  Submission server: www.easychair.org/conferences/?conf=icalp2014
  Author notification: Friday, 11 April 2014
  Final manuscript due: Monday, 28 April 2014
  Early registration: To be announced
  Conference: 8 July 2014 to 11 July 2014
* INVITED SPEAKERS
  Sanjeev Arora, Princeton University
  Maurice Herlihy, Brown University
  Victor Kuncak, EPFL Lausanne
  Claire Mathieu, ENS Paris
* PROCEEDINGS
  ICALP proceedings are published in the Springer-Verlag ARCoSS (Advanced
  Research in Computing and Software Science) subseries of LNCS (Lecture
  Notes in Computer Science).
* TOPICS
  Track A: Algorithms, Complexity and Games
  Track B: Logic, Semantics, Automata and Theory of Programming
  Track C: Foundations of Networked Computation: Models, Algorithms and Information Management
* SUBMISSION GUIDELINES
  Authors are invited to submit an extended abstract of no more than 12 pages
  in LNCS style presenting original research on the theory of Computer
  Science. Submissions should indicate to which track (A, B, or C) the paper
  is submitted. No prior publication or simultaneous submission to other
  publication outlets (either a conference or a journal) is allowed.
* BEST PAPER AWARDS
  As in previous editions of ICALP, there will be best paper and best student
  paper awards for each track of the conference. In order to be eligible for
  a best student paper award, a paper should be authored only by students and
  should be marked as such upon submission.
* COMMITTEE CHAIRS
  Track A: Elias Koutsoupias, University of Oxford, United Kingdom
  Track B: Javier Esparza, Technische Universität München
  Track C: Pierre Fraigniaud, CNRS and University Paris Diderot
* WORKSHOPS
  ICALP 2014 hosts a number of workshops on Monday 7 July 2014 at ITU.
  Contact the ICALP organisers (icalp2014@itu.dk) if you are interested in
  arranging a workshop. Registration, lunches, and rooms are provided by the
  ICALP conference organisation.
* TOLA (Trends in Online Algorithms) 2014
  The purpose of this workshop is to bring together researchers interested in
  all aspects of online algorithms, including classical competitive analysis,
  alternative performance measures, and advice complexity.



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



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



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



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



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



8TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE 2014)
  Call for Papers
  1-3 September 2014, Changsha, China
  http://www.nudt.edu.cn/tase2014
* OVERVIEW
  The 8th Theoretical Aspects of Software Engineering Symposium (TASE 2014),
  will be held in Changsha, China in September, 2014. Modern society is
  increasingly dependent on software systems that are becoming larger and
  more complex. This poses new challenges to the various aspects of software
  engineering, for instance, software dependability in trusted computing,
  interaction with physical components in cyber physical systems, distribution
  in cloud computing applications, etc. Hence, new concepts and methodologies
  are required to enhance the development of software engineering from
  theoretical aspects. TASE 2014 aims to provide a forum for people from
  academia and industry to communicate their latest results on theoretical
  advances in software engineering.
* TOPICS
  The symposium is devoted to theoretical aspects of software engineering.
  Topics of interest include, but are not limited to:
  - Requirements Engineering
  - Specification and Verification
  - Program Analysis
  - Software Testing
  - Model-Driven Engineering
  - Software Architectures and Design
  - Aspect and Object Orientation
  - Embedded and Real-Time Systems
  - Software Processes and Workflows
  - Component-Based Software Engineering
  - Software Safety, Security and Reliability
  - Reverse Engineering and Software Maintenance
  - Service-Oriented and Cloud Computing
  - Semantic Web and Web Services
  - Type System and Theory
  - Program Logics and Calculus
  - Probability in Software Engineering
* SUBMISSION
  Submission should be done through the TASE 2014 submission page, handled
  by the EasyChair conference system:
  https://www.easychair.org/conferences/?conf=tase2014
  As in previous years, the proceedings of the conference are planned to
  be published by the IEEE Computer Society Press. Papers must be written
  in English and not exceed 8 pages in Two-Column IEEE format.
* IMPORTANT DATES
  Abstract submission:    28 February 2014 (23h59 GMT)
  Paper submission:       07 March 2014 (23h59 GMT)
  Notification:           28 April 2014
  Camera-ready:           19 May 2014
  Conference:             1-3 September 2014
* GENERAL CHAIR
  Jifeng He           (East China Normal University, China)
* PROGRAM CO-CHAIRS
  Ji Wang             (National University of Defense Technology, China)
  Martin Leucker      (University of Lubeck, Germany)
* ORGANIZING CHAIR
  Wei Dong            (National University of Defense Technology, China)
* PUBLICITY CHAIR
  Yanjun Wen          (National University of Defense Technology, China)



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



KURT GOEDEL RESEARCH PRIZE FELLOWSHIP PROGRAM
  The Logical Mind: Connecting Foundations and Technology Competition
  (Organized by the Kurt Goedel Society)
  http://fellowship.logic.at
* AIMS
  The Kurt Gödel Society is proud to announce the commencement of the Kurt
  Gödel Research Prize Fellowships Program-The Logical Mind: Connecting
  Foundations and Technology.
  The program has a particular emphasis on supporting young scholars as
  previous rounds of Kurt Gödel Research Prize Fellowships showed that the
  impact on the careers of the young researchers had the most significance.
  Young scholars are defined by being less or exactly 40 years old at the
  time of the commencement of the Vienna Summer of Logic (July 9, 2014)!
  The program will offer:
  One fellowship award in the amount of EUR 100,000, in each of the following
  categories:
  - Logical Foundations of Mathematics,
  - Logical Foundations of Computer Science and
  - Logical Foundations of Artificial Intelligence
  The awards will be based on a categorized world-wide open competition
  by way of submission of up to three-pages project description, CV and two
  letters of recommendation.
* JURORS
  The following three Boards of Jurors will choose four finalists from their
  respective discipline electronically:
  - Logical Foundations of Mathematics: Harvey Friedman (Chair),  Angus
    Macintyre, and Dana Scott.
  - Logical Foundations of Computer Science: Franz Baader, Johann Makowsky,
    and Wolfgang Thomas  (Chair).
  - Logical Foundations of Artificial Intelligence: Luigia Carlucci Aiello,
    Georg Gottlob (Chair), and Bernhard Nebel
  The winners will be chosen by all three juries together.
  Finalists will be obliged to submit a full version of their proposal
  (up to 20 pages).
* TIMELINE
  March 2, 2014 (midnight PST): Proposals submission deadline
  March 31, 2014: Jury decision on finalists due
  May 30, 2014: Full proposals due
  June 20, 2014: Jury decision on winners due
  July 17, 2014: Foundations and Technology Competitions Award Ceremony
  August 1, 2014: Commencement of the fellowship
  July 31, 2016: End of the fellowships program



1ST INTERNATIONAL WORKSHOP ABOUT SETS AND TOOLS (SETS 2014)
  Call for Papers
  June 2, 2014, Toulouse, France
  Affiliated to ABZ 2014
  http://sets2014.cnam.fr/
* AIMS
  The workshop aims at bringing together researchers interested in set theory,
  especially to design tools for dealing with set theory, such as interactive or
  automated theorem provers, proof checkers, theories for general purpose proof
  tools, constraint solvers, programming languages etc. These tools may be
  dedicated or general purpose tools. Contributions by theoreticians working on
  set theories or fragments of set theories in the aim of designing concrete
  tools, and by practitioners using set-based tools are both welcome. We are
  also interested by contributions providing some comparisons between set
  modeling techniques and other formalisms, such as type theory (and variants)
  for instance. Finally, regarding the domains of application, we mainly expect
  contributions in the framework of formal methods, but not exhaustively, and
  contributions reporting formalizations of mathematics using set theory for
  example could be of interest for this workshop as well.
* TOPICS
  Topics of interest for this workshop include all aspects of set theory and
  corresponding tools. More specifically, some suggested topics are:
  - Proof tools for sets
  - Constraint solvers for sets
  - Set-based programming languages
  - Automated deduction in set theory
  - Set theories for SMT solvers
  - Encoding of sets in provers
  - Use of set-based tools in formal methods
  - Use of set-based tools in mathematics
  - Comparison of set-based tools
  - Comparison between set and type theories
  - Experience reports
* CONTRIBUTIONS AND PROCEEDINGS
  Submitted papers must be 6-15 pages in length, following the Springer LNCS
  format. These submissions may be:
  - Research papers providing new concepts and results
  - Position papers and research perspectives
  - Experience reports
  - Tool presentations
  Proceedings, including all the papers selected for the workshop, will be
  available electronically at the workshop. No copyright transfer agreement will
  be required from the authors. For this first edition of this workshop, we
  would like to put the emphasis on discussions rather than on conventional
  publications.
* PAPER SUBMISSION
  Contributions must be submitted electronically in PDF using the SETS 2014
  EasyChair web site at the following address:
  https://www.easychair.org/conferences/?conf=sets2014
* IMPORTANT DATES
  Abstract submission: March 3, 2014
  Submission deadline: March 10, 2014
  Paper notification:  April 7, 2014
  Revised/final paper: April 21, 2014
  Workshop:            June 2, 2014
* PROGRAMME CO-CHAIRS
  David Delahaye (Cnam, France)
  Catherine Dubois (Ensiie, France)



STUDENT FORUM AT TENTH EUROPEAN DEPENDABLE COMPUTING CONFERENCE (EDCC 2014)
  Call for Papers
  Newcastle upon Tyne, UK
  May 13-16, 2014
  http://edcc.dependability.org/
* THE FORUM
  The Student Forum featured by EDCC-2014 aims at providing a discussion
  forum for doctoral students. The students are encouraged to present
  their work in progress, discuss novel ideas and unconventional approaches
  (http://conferences.ncl.ac.uk/edcc2014/student.html).
  The submitted papers should be up to three pages, including tables and figures.
  All submitted papers will be evaluated by the Student Forum Program Committee.
  The contribution should describe original research (not submitted or published
  elsewhere), singly authored by a student, and must be formatted in accordance
  to the CPS 8.5"x11" two-column camera-ready format (see
  http://www.computer.org/portal/web/cscps/formatting for templates and
  formatting details).The contributions must be submitted through the EasyChair
  submission site (https://www.easychair.org/conferences/?conf=edccsf2014)
  in the PDF format.
* PROCEEDINGS
  The Proceedings of the Student Forum will be available on ACM CoRR.
  By submitting to the Student Forum, you are committing yourself or one of
  your colleagues to present it at the conference.
  Topics of interest include, but are not limited to:
  - Hardware and software architecture of dependable systems;
  - Safety critical systems;
  - Embedded and real-time systems; .
  - Cloud computing reliability and security;
  - Dependable mobile and multimedia systems;
  - Fault tolerant networks and protocols;
  - VLSI dependability;
  - Impact of manufacturing technology on dependability;
  - Dependability modelling and tools;
  - Testing and validation methods;
  - Characterization techniques;
  - Dependability benchmarking;
  - Privacy and  Security of systems and networks;
  - Intrusion tolerant systems;
  - Critical infrastructure protection
  - Fault tolerance in databases and transactional systems;
  - Human factors;
  - Dependability and security in business and e-commerce applications
* IMPORTANT DATES
  Submission deadline: March 10, 2014
  Notification: March 31, 2014
  Camera ready: April 23, 2014
* STUDENT FORUM CHAIR
  Elena Troubitsyna, Abo Akademi University, Finland
  (Elena.Troubitsyna@abo.fi)



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



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



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



14TH INTERNATIONAL SCHOOL ON FORMAL METHODS FOR THE DESIGN OF COMPUTER, COMMUNICATION AND SOFTWARE SYSTEMS: EXECUTABLE SOFTWARE MODELS (SFM-14: ESM)
  Call for Participation
  Bertinoro (Italy), 16-20 June 2014
  http://www.sti.uniurb.it/events/sfm14esm/
* GENERAL INFORMATION ABOUT SFM
  Formal methods are emerging in computer science as a prominent
  approach to the rigorous design of computer, communication and
  software systems. The aim of the SFM series is to offer a good spectrum of
  current research in foundations as well as applications of
  formal methods, which can be of interest for graduate students
  and young researchers who intend to approach the field.
  This year SFM is devoted to executable software models and covers
  topics such as variability models, automated analysis techniques,
  deductive verification, and run-time assessment and testing.
* COURSES AND LECTURERS
  - "Design and Analysis of Executable Software Models: an Introduction and Overview"
    Reiner Haehnle (TU Darmstadt, DE)
  - "Variability Models"
    Dave Clarke (KU Leuven, BE)
  - "Deadlock Analysis"
    Cosimo Laneve (U Bologna, IT)
  - "Probabilistic Modeling and Model Checking"
    Erika Abraham (RWTH Aachen, DE)
  - "Model Checking of Fault-Tolerant Distributed Algorithms"
    Helmuth Veith (TU Vienna, AT)
  - "Reasoning about Recursive Predicates in Specifications"
    Sophia Drossopoulou (Imperial College London, UK)
  - "Verification of Concurrent Systems"
    Marieke Huisman (U Twente, NL)
  - "Run-Time Analysis"
    Frank de Boer (CWI Amsterdam, NL)
  - "Test-Case Generation"
    Elvira Albert (U Complutense Madrid, ES)
  - "Model-Based Testing"
    Ina Schaefer (TU Braunschweig, DE)
  All participants will receive a copy of a tutorial book published by
  Springer as a volume in the Lecture Notes in Computer Science series.
* ORGANIZATION
  Scientific directors:
  - Marco Bernardo       (U Urbino, IT)
  - Ferruccio Damiani    (U Torino, IT)
  - Reiner Haehnle       (TU Darmstadt, DE)
  - Einar Broch Johnsen  (U Oslo, NO)
  - Ina Schaefer         (TU Braunschweig, DE)
* SECRETARY
  - Monica Michelacci    (CRU Bertinoro, IT)
* APPLICATION
  Prospective participants should send by 21 March 2014 the application form,
  available on the school website, to the two e-mail addresses below:
  Marco Bernardo (marco.bernardo AT uniurb.it) and Monica Michelacci
  (mmichelacci AT ceub.it). A very limited number of grants is available to
  cover part of the registration fee (no grant can be requested to cover
  the accommodation fee or the travel expenses). Notification of
  accepted/rejected applications and grant requests will be communicated by
  April 10. Registration to the school is due by April 20.



7TH WORKSHOP ON INTERSECTION TYPE AND RELATE SYSTEMS (ITRS 2014)
  Call for Papers
  at the Vienna Summer of Logic 2014
  http://vsl2014.at/itrs/
  Deadline: March 31st, 2014
* GENERAL
  ITRS 2014 (the Seventh Workshop on Intersection Types and Related
  Systems) will be affiliated with TLCA (Typed Lambda Calculi and
  Applications, to be held jointly with RTA) as part of FLoC 2014 (the
  Sixth Federated Logic Conference) and will take place in Vienna on July
  18th 2014. FLoC 2014 will be part of the Vienna Summer of Logic (VSL),
  the largest logic event in history, with over 2000 expected participants.
  FLoC 2014 will host eight conferences and many workshops.
  ITRS 2014 workshop aims to bring together researchers working on both
  the theory and practical applications of systems based on intersection
  types and related approaches.
* SUBMISSION AND PUBLICATION
  (1) Before the workshop, authors are invited to submit an extended
  abstract (max. 10 pages) in PDF format.
  (2) Accepted papers will be included on the general VSL'14 Proceedings
  USB-stick
  (3) After the workshop, authors of accepted papers will be invited to
  submit full versions (we foresee inclusion in EPTCS).
* TOPICS
  Possible topics for submitted papers include, but are not limited to:
  - Formal properties of systems with intersection types.
  - Results for related systems, such as union types, refinement types, or
  singleton types.
  - Applications to lambda calculus and similar systems.
  - Applications to pi-calculus and similar systems.
  - Applications for programming languages.
  - Applications for other areas, such as database query languages and
  program extraction from proofs.
  - Related approaches using behavioural/intensional types to characterize
  computational properties.
* DATES
  Abstract submission: 28.03.2014
  Paper submission: 31.03.2014
  Author notification: 28.04.2014
  Final version: 29.05.2014
* PROGRAM CHAIR
  Jakob Rehof (Technical University of Dortmund) - chair



5TH ANSWER SET PROGRAMMING COMPETITION 2014
  Call for Participant Systems
  Aalto University, University of Calabria, University of Genova
  Spring/Summer 2014
  Special edition of the ASP competition series -system track- part of
  the Olympic Games of the Vienna Summer of Logic 2014
  http://aspcomp2014.mat.unical.it/
  aspcomp2014@mat.unical.it
* AIMS
  Answer Set Programming (ASP) is a well-established paradigm of
  declarative programming with close relationship to other declarative
  modeling paradigms and languages, such as SAT Modulo Theories,
  Constraint Handling Rules, FO(.), PDDL, CASC, and many others.
  The ASP Competition is usually a biannual event for evaluating
  declarative knowledge representation systems on hard and demanding AI
  problems.  Past ASP Competition editions were held at the University of
  Potsdam (Germany) in 2007, the University of Leuven (Belgium) in 2009,
  the University of Calabria (Italy) in 2011 and the Vienna University of
  Technology (Austria) in 2013.
* CHANGES
  In order to join the Vienna Summer of Logic, which is expected to be
  the largest event in the history of logic, we this year depart from the
  "usual" timeline, and the 5th ASP Competition will be run in the first
  half of 2014 jointly at Aalto University (Finland), the University of
  Calabria (Italy) and the University of Genova (Italy).  Another reason
  for having an event only one year after the 4th ASP Competition is that
  in 2013 the new ASP-Core-2 language was introduced, but at that time it
  was not fully supported by most participant solvers, and/or the
  submitters did not have sufficient time to support new language
  features in a completely satisfactory way.  Thus, an early event can
  be an opportunity to push the usage of the new standard, and draw a
  more complete picture about the approaches that can efficiently solve
  problems with various features.
  Participants of the Answer Set Programming Competition will compete on
  a selected collection of benchmark problems, taken from a variety of
  benchmark problem domains as well as real-world applications.
  We welcome the submission of parallel and portfolio systems exploiting
  multiple cores or multiple algorithms for solving the given instances.
  These solvers will have dedicated tracks, assuming a sufficient number
  of submissions in each track.  Of course, we also welcome the
  submission of any kind of solvers, e.g., SAT solvers, SMT solvers, CP
  systems, FOL theorem provers, Description Logics reasoners, Planning
  reasoners, or any other that can be adapted/applied to the evaluation
  of logic programs encoded in ASP-Core-2.
* IMPORTANT DATES
  - March 1st, 2014 : Participant registration opens
  - March 31st, 2014: The competition starts
  - July 22nd, 2014 : Awards are presented at FLoC



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



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



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



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



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



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



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)



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)



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



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



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 Authors' 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



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



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



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)



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



NEW BOOK ON INDUSTRIAL DEPLOYMENT OF SYSTEM ENGINEERING METHODS
  Industrial Deployment of System Engineering Methods
  Alexander Romanovsky and Martyn Thomas (Eds.)
  http://www.springer.com/computer/swe/book/978-3-642-33169-5
* A formal method is not the main engine of a development process,
  its contribution is to improve system dependability by motivating
  formalisation where useful. This book summarizes the results of the
  DEPLOY research project on engineering methods for dependable systems
  through the industrial deployment of formal methods in software development.
  The applications considered were in automotive, aerospace, railway, and
  enterprise information systems, and microprocessor design. The project
  introduced a formal method, Event-B, into several industrial organisations
  and built on the lessons learned to provide an ecosystem of better tools,
  documentation and support to help others to select and introduce rigorous
  systems engineering methods. The contributing authors report on these
  projects and the lessons learned. For the academic and research partners
  and the tool vendors, the project identified improvements required in the
  methods and supporting tools, while the industrial partners learned about
  the value of formal methods in general. A particular feature of the book
  is the frank assessment of the managerial and organisational challenges,
  the weaknesses in some current methods and supporting tools, and the ways
  in which they can be successfully overcome. The book will be of value to
  academic researchers, systems and software engineers developing critical
  systems, industrial managers, policymakers, and regulators.



PHD POSITIONS AT ETH ZURICH
  http://cme.ethz.ch
* As part of our "Concurrency Made Easy" ERC Advanced Investigator Grant
  project (2012-2017), we are offering PhD positions at the Chair of
  Software Engineering of ETH Zurich. The goal of the project is to build
  a sophisticated programming and verification architecture to make
  concurrent and distributed programming simple and reliable, based on the
  ideas of Eiffel and particularly the SCOOP concurrency model.
  Concurrency in its various forms (particularly multithreading) as well
  as distributed computing are required for most of today’s serious
  programs, but programming concurrent applications remains a challenge.
  The CME project is determined to break this complexity barrier.
  Inevitably, achieving simplicity for users (in this case, application
  programmers) requires, under the hood, a sophisticated infrastructure,
  both conceptual (theoretical models) and practical (the implementation).
  We are building that infrastructure. ETH offers an outstanding research
  and education environment and competitive salaries for "assistants"
  (PhD students), who are generally expected in addition to their research
  to participate in teaching, in particular introductory programming, and
  other activities of the Chair. The candidates we seek have: a master's
  degree in computer science or related field from a recognized institution
  (as required by ETH); a strong software engineering background, both
  practical and theoretical, and more generally a strong computer science
  and mathematical culture; a good knowledge of verification techniques
  (e.g. Hoare-style, model-checking, abstract interpretation); some background
  in concurrency or distribution; and a passion for high-quality software
  development. Prior publications, and experience with Eiffel, are pluses.
  In line with ETH policy, particular attention will be given to female
  candidates. Before applying, you should become familiar with our work;
  see in particular the research pages at http://se.ethz.ch including
  the full description of the CME project at http://cme.ethz.ch.
  Candidates should send (in PDF or text) to
  se-open-positions@lists.inf.ethz.ch a CV and a short cover letter
  describing their view of the CME project and ideas about their possible
  contribution.



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



POST-DOCTORAL POSITION IN PROOF THEORY, VIENNA UNIVERSITY OF TECHNOLOGY
* A position as post-doctoral researcher is available in the group for
  Computational Logic (http://www.dmg.tuwien.ac.at/fg2/) at the Faculty of
  Mathematics of the Vienna University of Technology. This position is part
  of a research project on the proof theory of induction. The aim of this
  project is to further deepen our understanding of the structure of proofs
  by induction and to develop new algorithms for the automation of inductive
  theorem proving. Techniques of relevance include cut-elimination, witness
  extraction, Herbrand's theorem.
* The sucessful candidate is expected to have (or be close to completing)
  a PhD in mathematics or computer science and a strong background in proof
  theory. Experience in one or more of the following areas is an advantage:
  formal languages, complexity, automated theorem proving, unification theory.
  The ability to work in a team is an important prerequisite.
* The employment is full-time (40h / week). The salary is EUR 37.400,-
  after taxes per year. The position is initially for 1 year - an extension
  is possible in case of mutual interest. The starting date is negotiable but
  should be in 2014. The application deadline is March 7, 2014.
* The application should contain:
  - cover letter
    (Why are you interested in this position? Why are you qualified?)
  - curriculum vitae
  - list of publications
  - scan of graduation diploma and/or other relevant certificates
  - preferred starting date
  - optionally, up to three recommendation letters or references
* Send inquiries and your application to:
  Stefan Hetzl 
  http://www.logic.at/people/hetzl/



POSTDOC POSITION IN VERIFICATION IN TRENTO, ITALY
  http://disi.unitn.it/~rseba/WOLF-Recruit-postdoc.txt
* One post-doc position in ICT on the research project
  "Advanced SMT Techniques for Word-level Formal Verification - (WOLF)"
  is available in Trento, Italy, under the joint supervision of
  - Alessandro Cimatti, FBK, Trento, and
  - Roberto Sebastiani, DISI, University of Trento.
  This is a three-year research project supported by SRC/GRC
  (http://www.src.org/compete/s201113/), in collaboration with major HW
  companies.



POSTDOC RESEARCHER/PROGRAMMER POST IN COMBINATORIAL TESTING AIST, JAPAN
  https://www.risec.aist.go.jp/offering/index-en.html
* We are looking for one postdoc researcher or programmer at
  Research Institute for Secure Systems (RISEC), National Institute
  of Advanced Industrial Science and Technology (AIST) in Japan.
  The position will be for research related combinatorial testing, in
  particular, automatic generation of test sets from the formal description
  of test requirements. The research will be programming-intensive, so
  the candidates must have good programming skills.  In particular,
  good knowledge of data structure and algorithm are required.
  Also, the candidates must have general interest in software engineering.
  On the other hand, speaking Japanese is *not* required.
  The first term is until the end of the fiscal year, but the project itself is
  until November 2016, so that the extension is possible based on the
  performance. The position is available immediately. Interested
  candidates should apply by sending email with the application
  materials to risec-jobs-ml@aist.go.jp.
* OUTLINE
  - Test generation using model-based testing and constraint solving.
  - Develop algorithms on graph-based data structures.
  - Experience with Java, and/or C, Scala, Haskell needed.
  - Strong know-how in software analysis and algorithms.
  - Annual contract but can be extended for up to 3 years.
  - Start date on Feb. 1 2014 or later.
  - Office location is in Amagasaki (15 min away from Osaka by local trains)
* CONTENT OF WORK
  - Develop the software of a next-generation test case generator.
  - Integrate the tool with existing components and products.
  - The position is open to programmer (employed as technical staff) or post-doc.
  - For a post-doc, publications about the tool and case studies are
    also a goal of the work. The Ph.D. degree must have been obtained
    between 0 and 7 years prior to starting the position.
  - Details on the web page given in Japanese can be given in English on request.
  - More information of programmer (employed as technical staff), please
    refer the information of "software engineer" in accompanying document.
* QUALIFICATIONS
  - Experience with Java, and/or C, Scala, Haskell needed (ideally at least two).
  - Strong know-how in software analysis and algorithms.
  - Post-doc: Strong verbal and written communication skills in English.
  - Post-doc: Ph.D. degree obtained at most 7 years prior to start date.
* TREATMENT
  - Initial contract: immediately - 2015-03-31 (can be extended).
  - Working hours: Basically 8:30 - 17:15 including a one-hour lunch
    break, flexible hours possible. Work days: Mon - Fri excl. public
    holidays and end/start of the calendar year.
  - Paid holidays (annual leave) based on AIST rules.
  - Social security/insurance benefits included
  - Salary based on experience. (e.g. post-doc: from 2200 JPY/hour)
* APPLICATION
  1. CV
  2. Copy of Ph.D. certificate (for post-doc position)
  3. Work history
  4. Publication list (for post-doc)
  5. Cover letter (one page)
  6.  Apply by sending email with the materials to risec-jobs-ml@aist.go.jp.



TENURE-TRACK POSITIONS AT UNIVERSITE DU QUEBEC A MONTREAL, CANADA
  http://www.rhu.uqam.ca/AffichageProfs/21006546.htm
  http://www.rhu.uqam.ca/AffichageProfs/21006547.htm
* The departement d'informatique at UQAM  invites application for:
  - One faculty position in cognitive informatics, in the area of semantic
    Web and knowledge management (ontology engineering, ontology reasoning
    algorithms, Web of data, semantic web services, etc.);
  - One faculty position in theoretical computer science and algorithms
    (language theory and applications, graphs, computational geometry,
    data structures, etc.).
  Teaching at UQAM is done in French and the candidate must have an excellent
  mastery of this language. The deadline for (electronic) submission is
  March 10, 2014, 5:00 PM.




Back to the LICS web page.