Newsletter 159
June  2, 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 (*** early registration closes on June 8 ***)
  ACM SIGLOG ANNOUNCEMENT
  VIENNA SUMMER OF LOGIC ANNOUNCEMENT
* DEADLINES
  Forthcoming Deadlines
* CALLS
  RP 2014 - Call for Papers
  APPA 2014 - Call for Participation
  HOPA 2014 - Call for Participation
  ICLP 2014 - Call for Participation
  ISABELLE 2014 - Call for Participation
  ITRS 2014 - Call for Participation
  LOLA 2014 - Call for Participation
  TERMGRAPH 2014 - Call for Participation
  CCC 2014 - Call for Papers
  LOPSTR 2014 - Call for Papers
  LASER Summer School - Call for Applications
  SPLat 2014 - Call for Papers
  VSComp 2014 - Call for Competition Entries
  DOMAINS 2014 - Call for Abstracts
  AVOCS 2014 - Call for Papers
  AAA88 - Call for Participation
  NASSLLI 2014 - Call for Participation
  ICTAI 2014 - Call for Papers
  LSB 5 - Call for Participation (Student/Postdoc Funding)
  ISR 2014 - Call for Participation
  JLAP on Formal Methods - Call for Papers
  SOFSEM 2015 - Call for Papers
  ICLA 2015 - Call for Papers
  VTSA 2014 - Call for Summer School Applications
* JOB ANNOUNCEMENTS
  Two PhD positions in Information Security at ETH Zurich
  11 PhD studentships in Computer Science at the University of Pisa


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



ACM SIGLOG ANNOUNCEMENT
  http://siglog.acm.org
* The ACM has just chartered a Special Interest Group on Logic and
  Computation (ACM SIGLOG). Its first Chair is Prakash Panangaden,
  the other officers are Luke Ong (vice-Chair), Natarajan Shankar (Treasurer)
  and Alexandra Silva (Secretary).
* The ACM-IEEE Symposium on Logic in Computer Science will be the flagship
  conference of SIGLOG. It will also actively seek association agreements
  with other conferences in the field. A SIGLOG newsletter is planned to be
  published quarterly in an electronic format with community news,
  technical columns, members' feedback, conference reports, book reviews
  and other items of interest to the community. The first issue will
  go out to members in July.
* It is possible to join SIGLOG as soon as today by filling the form at
  http://www.acm.org/membership/sig-pdfs/SIGLOG.pdf
  One can join SIGLOG without joining ACM (the SIGLOG membership fee is
  $25 and $15 for students).



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
* RP 2014
  Submission deadline: June 4, 2014
  Presentation proposals: August 4, 2014
  http://www.cs.ox.ac.uk/RP2014/
* CSL-LICS 2014
  Early registration deadline: June 8, 2014
  http://vsl2014.at/registration/
* VSL 2014
  Early registration deadline: June 8, 2014
  http://vsl2014.at/registration/
* APPA 2014
  Early registration deadline: June 8, 2014
  http://vsl2014.at/registration/
  http://vsl2014.at/meetings/APPA-index.html
* HOPA 2014
  Early registration deadline: June 8, 2014
  http://vsl2014.at/registration/
  http://vsl2014.at/meetings/hopa-index.html
* ICLP 2014
  Early registration deadline: June 8, 2014
  http://vsl2014.at/registration/
  http://www.logicprogramming.org/iclp2014
* ISABELLE 2014
  Early registration deadline: June 8, 2014
  http://vsl2014.at/isabelle
  http://vsl2014.at/registration/
* ITRS 2014
  Early registration deadline: June 8, 2014
  http://vsl2014.at/registration/
  http://vsl2014.at/meetings/itrs-index.html
* LOLA 2014
  Early registration deadline: June 8, 2014
  http://vsl2014.at/registration/
  http://vsl2014.at/meetings/LOLA-index.html
* TERMGRAPH 2014
  Early registration deadline: June 8, 2014
  http://vsl2014.at/registration/
  http://cl-informatik.uibk.ac.at/events/termgraph-2014/
* CCC 2014
  Abstract submission deadline: June 10, 2014
  http://ccc2014.fmf.uni-lj.si/
* LOPSTR 2014
  Abstract submission: June 11, 2014
  Paper/Extended abstract submission: June 18, 2014
  http://www.iasi.cnr.it/events/lopstr14/
* LASER Summer School
  Application deadline: June 13, 2014
  http://laser.inf.ethz.ch/2014/
* SPLat 2014
  Abstract submission: June 13, 2014
  Paper submission: June 20, 2014
  http://www.splat2014.org
* VSComp 2014
  Publication of change problems: June 14, 2014 (0900 GMT)
  Submission deadline for solutions: June 16, 2014 (0900 GMT)
  http://vscomp.org
* DOMAINS 2014
  Abstract submission: June 15, 2014
  http://www.pps.univ-paris-diderot.fr/~varacca/domains/Domains_XI
* AVOCS 2014
  Submission (abstract for full paper): June 16, 2014
  Submission (full papers): June 23, 2014
  Submission (research ideas): August 7, 2014
  http://www.utwente.nl/avocs2014
* NASSLLI 2014
  Event: June 21-29, 2014
  http://www.nasslli2014.com
* ICTAI 2014
  Paper submission: June 30, 2014
  http://ictai2014.cs.ucy.ac.cy
* ISR 2014
  Early registration deadline: July 15, 2014
  http://isr2014.inf.utfsm.cl
* JLAP Special Issue on Formal Methods
  Paper submission: July 15, 2014
* SOFSEM 2015
  Abstract deadline: August 1, 2014
  Full paper deadline: August 15, 2014
  http://www.sofsem.cz/
* ICLA 2015
  Submission deadline: August 5, 2014
  http://www.cse.iitb.ac.in/~icla15/index.html
* VTSA 2014
  Application deadline: September 5, 2014
  http://www.mpi-inf.mpg.de/VTSA14/



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



ALL ABOUT PROOFS, PROOFS FOR ALL TUTORIALS ABOUT PROOFS (APPA 2014)
  Call for Participation
  July 18, 2014
  Vienna, Austria
  http://vsl2014.at/meetings/APPA-index.html
* Tutorial Topics and Speakers:
   - SAT-Solvers:
     + Marijn Heule (University of Texas at Austin, USA)
   - SMT-Solvers:
     + Clark Barrett (New York University, USA)
     + Pascal Fontaine (LORIA Nancy, France)
     + Leonardo de Moura (Microsoft Research, USA)
   - First-order Automated Theorem Provers:
     + Stephan Schulz (Munich University of Technology, Germany)
   - Higher-order Automated Theorem Provers:
     + Christoph Benzmüller (Freie Universitaet Berlin, Germany)
   - Interactive Theorem Provers:
     + Makarius Wenzel (LRI, Universite Paris Sud, France)
   - Calculus of Inductive Constructions:
     + Christine Paulin-Mohring (LRI & INRIA Saclay, France)
   - Deduction Modulo:
     + Gilles Dowek (INRIA Paris, France)
   - Deep Inference:
     + Alessio Guglielmi (University of Bath, England)
   - Foundational Proof Certificates:
     + Dale Miller (Ecole Polytechnique, Paris, France)
   - Program Verification (B Method):
     + Jean-Raymond Abrial
   - Security:
     + Gilles Barthe (IMDEA Software Institute, Madrid, Spain)
   - Mathematical Proof Analysis:
     + Alexander Leitsch (Vienna University of Technology, Austria)
* REGISTRATION
   - Register at http://vsl2014.at/registration/,
     selecting "APPA" on workshop block 2.
   - Early-registered participants will receive a book with the invited papers
     that accompany the tutorials. Early registration goes until 8th of June.



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



30TH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING (ICLP 2014)
  Call for Participation
  Part of the Federated Logic Conference FLoC 2014
  Vienna, Austria, July 19-22, 2014
  http://www.logicprogramming.org/iclp2014
* INVITED TALKS
- Andrey Rybalchenko  (Microsoft Research)
  (Quantified) Horn Constraint Solving for Program Verification and Synthesis
- Neng-Fa Zhou (City University of New York)
  Combinatorial Search With Picat
- Invited author(s) of the most influential paper of ICLP/ILPS 1994.
- Invited author(s) of the most influential paper of ICLP 2004.
- FLoC Panel chaired by Moshe Vardi
- FLoC Plenary Talk by Veronique Cortier
- VSL Keynote Talks by Franz Baader and Edmund Clarke
* WORKSHOPS, DC, AND SUMMER SCHOOL
  - 2014 Summer School on Computational Logic, July 17-18
  - International Joint Workshop on Implementation of Constraint and Logic
    Programming Systems and Logic-based Methods in Programming Environments
    2014 (CICLOPS - WLPE), July 17-18
  - 21st International Workshop on Experimental Evaluation of Algorithms for
    solving problems with combinatorial explosion (RCRA), July 17-18
  - 2nd International Workshop on Verification and Program Transformation
    (VPT), July 17-18
  - Workshop on Horn Clauses for Verification and Synthesis (HCVS), July 17
  - Workshop on Probabilistic Logic Programming (PLP), July 17
  - 11th International Workshop on Constraint Handling Rules (CHR), July 18
  - Workshop on Logic and Search (LaSh), July 18
  - Parallel Methods for Search & Optimization (ParSearchOpt), July 18
  - 10th ICLP Doctoral Consortium, July 20
  - 7th Workshop on Answer Set Programming and Other Computing Paradigms
    (ASPOC), July 23
* REGISTRATION
  Information about registration and accommodation is available at the
  conference web site. Early registration ends on June 8, 2014.
* ORGANIZATION
  - General Chair: Manuel Carro (Technical University of Madrid).
  - Program Chairs:
    Michael Leuschel (Heinrich-Heine-Universitaet Duesseldorf),
    Tom Schrijvers (Ghent University)
  - Workshop Chair: Haifeng Guo (University of Nebraska at Omaha)
  - Doctoral Consortium Chairs:
    Martin Gebser (University of Potsdam),
    Jael Kriener (Microsoft Research - Inria Joint Center)



ISABELLE WORKSHOP and TUTORIAL (ISABELLE 2014)
  Call for Participation
  http://vsl2014.at/isabelle
  July 13, 2014
  Vienna, Austria
* Attending the Vienna Summer of Logic http://vsl2014.at/?
  Interested in interactive theorem proving?
  Then you should consider attending either of these two parallel events:
  - A half-day hands-on tutorial on Isabelle for novices.
  Amongst other things you get to try the famous Sledgehammer.
  - A full-day Isabelle workshop,
  including a talk by Larry Paulson on his verification of Goedel's two
  incompleteness theorems.
* DETAILS
  For details see http://vsl2014.at/isabelle.
  For the workshop program click on PROGRAM.
  Looking forward to seeing you there!



7TH WORKSHOP ON INTERSECTION TYPES AND RELATED SYSTEMS (ITRS 2014)
  Call for Participation
  Vienna, Austria, July 18th, 2014
  http://vsl2014.at/meetings/ITRS-index.html
  affiliated with RTA-TLCA 2014 in conjunction with FLoC 2014
  at the Vienna Summer of Logic VSL
  http://vsl2014.at/registration/
* AIMS
  ITRS 2014 is a venue for researchers working on both the theory and practical
  applications of systems based on intersection types and related approaches.
  You are cordially invited to participate.
* REGISTRATION
  http://vsl2014.at/registration/
  EARLY REGISTRATION is open and lasts until June 8th.
* INVITED TALK
  Luke Ong (University of Oxford, UK)
  Intersection Types, Game Semantics and Higher-Order Model Checking
* CONTRIBUTED TALKS
  - Richard Statman
    A Finite Model Property for Intersection Types
  - Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria and Maddalena Zacchi
    On Isomorphism of "Functional" Intersection and Union Types
  - Kentaro Kikuchi
    Uniform Proofs of Normalisation and Approximation for Intersection Types
  - Charles Grellois and Paul-Andre Mellies
    Indexed linear logic and higher-order model checking
  - Marcin Benke, Viviana Bono and Aleksy Schubert
    Lucretia - intersection type polymorphism for scripting languages
  - Mario Pereira, Sandra Alves and Mario Florido
    Liquid Intersection Types
  - Ugo De Liguoro and Tzu-Chun Chen
    Semantic Types for Classes and Mixins
  - Jan Bessai, Boris Duedder, Andrej Dudenhefner and Moritz Martens
    Delegation-based Mixin Composition Synthesis



5TH WORKSHOP ON SYNTAX AND SEMANTICS OF LOW-LEVEL LANGUAGES (LOLA 2014)
  Call for Participation
  Sunday 13th July 2014
  Vienna, Austria
  A satellite workshop of CSL/LICS 2014 at the Vienna Summer of Logic
  http://vsl2014.at/lola/
  http://vsl2014.at/registration/
* OBJECTIVES
  It has been understood since the late 1960s that tools and structures
  arising in mathematical logic and proof theory can usefully be applied
  to the design of high level programming languages, and to the development
  of reasoning principles for such languages. Yet low level languages,
  such as machine code, and the compilation of high level languages into
  a low level ones have traditionally been seen as having little or no
  essential connection to logic. However, a fundamental discovery of this
  past decade has been that low level languages are also governed by
  logical principles. From this key observation has emerged an active and
  fascinating new research area at the frontier of logic and computer science.
  The practically-motivated design of logics reflecting the structure of
  low-level languages (such as heaps, registers and code pointers) and
  low-level properties of programs (such as resource usage) goes hand in hand
  with the some of the most advanced contemporary researches in semantics
  and proof theory, including classical realizability and forcing, double
  orthogonality, parametricity, linear logic, game semantics, uniformity,
  categorical semantics, explicit substitutions, abstract machines,
  implicit complexity and sublinear programming.
* INVITED SPEAKERS
  Nick Benton (Microsoft Research Cambridge)
  Rafal Kolanski (Purdue University)
* CONTRIBUTED PAPERS
  - Hubert Godfroy and Jean-Yves Marion
    Abstract Self Modifying Machines
  - Sergey Goncharov, Lutz Schroeder and Christoph Rauch
    Programming and Verifying with Effect Handling and Iteration
  - William Mansky and Elsa Gunter
    A Cross-Language Framework for Verifying Compiler Optimizations
  - Paul-Andre Mellies
    Tensorial logic with algebraic effects
  - Koko Muroya, Toshiki Kataoka, Ichiro Hasuo and Naohiko Hoshino
    Compiling Effectful Terms to Transducers: Prototype Implementation of Memoryful Geometry of Interaction
  - Ulrich Schoepp
    Call-by-Value in a Basic Logic for Interaction
* IMPORTANT DATES
  Early registration deadline: Sunday 8th June 2014
  Workshop: Sunday 13th July 2014



8TH INTERNATIONAL WORKSHOP ON COMPUTING WITH TERMS AND GRAPHS (TERMGRAPH 2014)
  Call for Participation
  http://cl-informatik.uibk.ac.at/events/termgraph-2014/
  July 13, 2014, Vienna, Austria
* INVITED SPEAKERS
  Ian Mackie (joint with DCM)
  Samuel Mimram (joint with IWC)
* PROGRAM
  http://www.easychair.org/smart-program/VSL2014/TERMGRAPH-program.html
* DEADLINE
  Early registration deadline: June 8
  http://vsl2014.at/registration/
* See you in Vienna!



CONTINUITY, COMPUTABILITY, CONSTRUCTIVITY - FROM LOGIC TO ALGORITHMS (CCC 2014)
  Call for Papers
  University of Ljubljana
  15-19 September 2014
  http://ccc2014.fmf.uni-lj.si/
* CCC is a workshop series bringing together researchers from real analysis,
  computability theory, and constructive mathematics. The overall aim is to
  apply logical methods in these disciplines to provide a sound foundation
  for obtaining exact and provably correct algorithms for computations with
  real numbers and related analytical data, which are of increasing importance
  in safety critical applications and scientific computation.
* Previous workshops have been held in Cologne CCC 2009, Trier CCC 2012, and
  Gregynog 2013. One outcome of the 2009 workshop series is the creation of
  the EU funded research network COMPUTAL (Computable analysis - theoretical
  and applied aspects) which supports research visits from Europe to Russia,
  South-Africa, and Japan and vice versa. This workshop also hosts the third
  COMPUTAL workshop, but is open to all researchers in the area.
  The workshop will take place in Ljubljana, Slovenia.
* SCOPE
  The workshop specifically invites contributions in the areas of
  - exact real number computation,
  - effective topology,
  - Scott's domain theory,
  - Weihrauch's type two theory of effectivity,
  - category-theoretic approaches to computation on infinite data,
  - hierarchies of unsolvability,
  and related areas.
* INVITED SPEAKERS
  Thierry Coquand (Gothenburg)
  Dirk Pattinson (Canberra)
  Paul Potgieter (Pretoria)
  Robert Rettinger (Hagen)
  Hideki Tsuiki (Kyoto)
* TUTORIAL SPEAKERS
  Andrej Bauer (Ljubljana)
  Martin Ziegler (Darmstadt)
* DEADLINES
  Abstract submission deadline: 10 June 2014
  https://www.easychair.org/conferences/?conf=ccc20140
* CHAIR
  Dieter Spreen (Siegen and Pretoria) (chair)
* ORGANIZING COMMITTEE
  Andrej Bauer (Ljubljana)



24TH INTERNATIONAL SYMPOSIUM ON LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2014)
  Call for Papers
  University of Kent, Canterbury, UK,
  September 10-11, 2014
  http://www.iasi.cnr.it/events/lopstr14/
* DEADLINES
  Abstract submission:                            June 11, 2014
  Paper/Extended abstract submission:             June 18, 2014
* SERIES
  The aim of the LOPSTR series is to stimulate and promote international
  research and collaboration on logic-based program development. LOPSTR
  is open to contributions in logic-based program development in any
  language paradigm. LOPSTR has a reputation for being a lively,
  friendly forum for presenting and discussing work in progress. Formal
  proceedings are produced only after the symposium so that authors can
  incorporate this feedback in the published papers.
  The 24th International Symposium on Logic-based Program Synthesis and
  Transformation (LOPSTR 2014) will be held at the University of Kent,
  Canterbury, United Kingdom; previous symposia were held in Madrid,
  Leuven, Odense, Hagenberg, Coimbra, Valencia, Lyngby, Venice, London,
  Verona, Uppsala, Madrid, Paphos, London, Venice, Manchester, Leuven,
  Stockholm, Arnhem, Pisa, Louvain-la-Neuve, and Manchester.
  LOPSTR 2014 will be co-located with PPDP 2014 (International ACM SIGPLAN
  Symposium on Principles and Practice of Declarative Programming).
* TOPICS
  Topics of interest cover all aspects of logic-based program
  development, all stages of the software life cycle, and issues of both
  programming-in-the-small and programming-in-the-large. Both full
  papers and extended abstracts describing applications in these areas
  are especially welcome. Contributions are welcome on all aspects of
  logic-based program development.
  Survey papers that present some aspects of the above topics from a new
  perspective, and application papers that describe experience with
  industrial applications are also welcome.
  Papers must describe original work, be written and presented in
  English, and must not substantially overlap with papers that have been
  published or that are simultaneously submitted to a journal,
  conference, or workshop with refereed proceedings. Work that already
  appeared in unpublished or informally published workshop proceedings
  may be submitted (please contact the PC co-chairs in case of questions).
* IMPORTANT DATES
  Abstract submission:                            June 11, 2014
  Paper/Extended abstract submission:             June 18, 2014
  Notification:                                   July 18, 2014
  Camera-ready (for electronic pre-proceedings):  August 25, 2014
  Symposium:                                      September 10-11, 2014
* PROGRAM CHAIRS
  Maurizio Proietti       IASI-CNR, Italy (Program Co-Chair)
  Hirohisa Seki        Nagoya Institute of Technology, Japan (Program Co-Chair)
* SYMPOSIUM CO-CHAIRS
  Olaf Chitil and Andy King
  School of Computing
  University of Kent
  CT2 7NF Kent, UK
* ORGANIZING COMMITTEE
  Emanuele De Angelis, University of Chieti-Pescara and IASI-CNR, Italy
  Fabrizio Smith, IASI-CNR, Italy



LASER SUMMER SCHOOL ON SOFTWARE ENGINEERING (LEADING-EDGE SOFTWARE ENGINEERING)
  Call for Applications
  September 7-13, 2014 - Elba Island, Italy
  http://laser.inf.ethz.ch/2014/
* FINAL APPLICATION DEADLINE
  June 13, 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)
* APPLICATIONS
  Use the online registration form available on the LASER website
  http://laser.inf.ethz.ch/2014. Registration is open until June 13,
  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
* VENUE
  The school takes place at the magnificent Hotel del Golfo
  (http://www.hoteldelgolfo.it/) in Golfo di Procchio, Elba. Along with an
  intensive scientific program, participants will have time to enjoy the
  natural and cultural riches of this history-laden jewel of the
  Mediterranean.



SOFTWARE PRODUCT LINE ANALYSIS TOOLS WORKSHOP (SPLat 2014)
  Call for Papers
  an SPLC 2014 workshop
  September 16, 2014
  Florence, Italy
* AIMS
  The Software Product Line Analysis Tools workshop is devoted to the
  use of formal techniques in Software Product Line Engineering. The
  main theme is the mitigation of combinatorial explosion while
  analyzing software models with variability. The workshop aims to bring
  together a number of analysis methods, e.g. based on model checking,
  SAT-solving, or testing technology, to sketch the palette of
  techniques that is recruited to handle the commonalities and
  differences of individual products, and to establish properties at the
  level of the product line.
* SCOPE
  Papers of both theoretical or applied interest are welcomed that
  discuss a particular approach from a general perspective, rather than
  demo or tool papers. The focus is on contributions that explain the
  conceptual working in a simple setting and sketch the potential
  success for wider application. Overview and positioning papers
  addressing the underlying concepts, the design choices made and a
  particular strength or a specific application range of an approach are
  welcomed as well.
* FORMAT
  The workshop programme will be a one-day workshop as to concentrate
  the exchange of arguments, beliefs and opinions and has the usual
  scheme of invited talks and paper presentations.
* SUBMISSION
  We solicit the submission of original and unpublished contributions
  not under review for publication elsewhere. Papers are to be prepared
  in LaTeX using the two-column ACM SIGS proceedings format with a
  maximum of eight pages and uploaded in pdf to the EasyChair webpage of
  the workshop. Contributions will be evaluated by the Program
  Committee and may have an appendix for reviewing purposes. Submission
  of a paper involves a firm commitment that at least one of the authors
  will attend and participate in the workshop in case the paper is
  accepted.
* IMPORTANT DATES
  Abstract submission		June 13, 2014
  Paper submission		June 20, 2014
  Notification of acceptance	July  7, 2014
  Camera ready versions		July 20, 2014
  Workshop SPLat 2014 		September 16, 2014
* PUBLICATION
  Accepted papers will be included in the proceedings, which will be
  published by the ACM as a part of volume 2 of the SPLC 2014
  proceedings, and as such is indexed in the main repositories. An open
  call for a special issue of a high-quality journal on the topic of the
  workshop is envisaged.
* WORKSHOP CO-CHAIRS
  Axel Legay            INRIA Rennes, France
  Erik de Vink          Eindhoven University of Technology, the Netherlands
* INVITED SPEAKERS
  Tiziana Margaria      Universitaet Potsdam, Germany
  Stefania Gnesi        CNR Pisa, Italy



FOURTH VERIFIED SOFTWARE COMPETITION (VSComp 2014)
  Call for Competition Entries
  14-15 June 2014
  http://vscomp.org
* ORGANIZERS
  Ernie Cohen, Marcelo Frias, Peter Müller, Natarajan Shankar
* AIMS
  The Fourth Verified Software Competition (VSComp) aims to showcase the
  progress in verification technology.  The competition will occur over
  48 hours during the weekend of 14/15 June starting with the
  publication of the challenge problems at 0900 GMT of Sat June 14 and
  ending with the submission deadline for the solutions at 0900 GMT of
  Mon June 16.  Teams of up to three individuals can register to
  participate just prior to the start of the competition at
  http://vscomp.org.  The competition will consist of five verification
  challenges (with possible sub-problems) spanning a range of domains,
  including (but not limited to) sequential and concurrent algorithms,
  refinement, assertional verification, and metatheory.  Teams will have
  to solve the challenge problems using mechanized tools.  Teams are
  allowed to use multiple tools to tackle the challenges.  Only the best
  three problem solutions from each team will be taken into
  consideration for evaluating team performance.  An FAQ Wiki page will
  be maintained at the website to clarify questions that might come up
  before or during the competition.  After the competition, solutions
  will be made publicly available for peer review by the other teams.
  Teams should be available to answer questions during the peer review
  process, and if necessary, be prepared to make their verification
  tools available for experimentation.  Based on the results of the peer
  review, the organizers will evaluate the solutions for correctness,
  completeness, and clarity.
* WINNERS
  The winners will be given short speaking slots at VSTTE 2014 which
  takes place in Vienna during July 17, 18, 2014.  The competition will
  run on an honor system to ensure that above guidelines are being
  followed by each of the teams.  We especially encourage the
  participation of all-student teams and teams that are using tools
  developed by others.
* CONTACT
  Questions or comments about the contest should be sent to vscomp2014@gmail.com.



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



14TH WORKSHOP ON AUTOMATED VERIFICATION OF CRITICAL SYSTEMS (AVOCS 2014)
  Call for Papers
  http://www.utwente.nl/avocs2014
  24-26th September, 2014
  University of Twente, Netherlands
* AIMS
  The aim of Automated Verification of Critical Systems (AVoCS) 2014 is
  to contribute to the interaction and exchange of ideas among members
  of the international research community on tools and techniques for
  the verification of critical systems. The subject is to be interpreted
  broadly and inclusively. It covers all aspects of automated
  verification, including model checking, theorem proving, SAT/SMT
  constraint solving, abstract interpretation, and refinement pertaining
  to various types of critical systems which need to meet stringent
  dependability requirements (safety-critical, business-critical,
  performance-critical, etc.). Contributions that describe different
  techniques, or industrial case studies are encouraged. The technical
  programme will consist of invited and contributed talks and also allow
  for short presentations of research ideas. The workshop will be
  relatively informal, with an emphasis on discussion.
  There are several studentships available in order to support PhD
  students who wish to participate in the workshop.
* TOPICS
  Topics include (but are not limited to)
  - Model Checking
  - Automatic and Interactive Theorem Proving
  - SAT, SMT or Constraint Solving for Verification
  - Abstract Interpretation
  - Specification and Refinement
  - Requirements Capture and Analysis
  - Verification of Software and Hardware
  - Specification and Verification of Fault Tolerance and Resilience
  - Probabilistic and Real-Time Systems
  - Dependable Systems
  - Verified System Development
  - Industrial Applications
* INVITED SPEAKERS
  The workshop will have three invited speakers:
  - Laura Kovacs (Chalmers, Sweden) will speak about automated assertion
    generation.
  - Alastair Donaldson (Imperial College, UK) will speak about verification
    of OpenCL kernels.
  - A third speaker will be announced soon.
* IMPORTANT DATES
  Submission (abstract for full paper): 16th June 2014
  Submission (full papers): 23rd June 2014
  Notification (full papers): 30th July 2014
  Submission (research ideas): 7th August 2014
  Notification (research ideas): 14th August 2014
  Submission of final versions: 1st September 2014
  Workshop: 24-26th September 2014
* FULL PAPERS
  Submissions of full papers to the workshop must not have
  been published or be concurrently considered for publication
  elsewhere. All submissions will be peer-reviewed and judged on the
  basis of originality, contribution to the field, technical and
  presentation quality, and relevance to the workshop. Final versions of
  the papers must be written in English and not exceed 15
  pages. Formatting details are provided on the website.
* RESEARCH IDEAS
  AVoCS'14 encourages the submissions of research ideas
  in order to stimulate discussions at the workshop. Reports on ongoing
  work or surveys on work published elsewhere are welcome. The Programme
  Committee will select research ideas on the basis of submitted
  abstracts according to significance and general interest. Research
  ideas must be written in English and not exceed 2 pages.
* PROCEEDINGS AND SPECIAL ISSUE
  At the workshop, pre-proceedings will be available in the form of a
  University of Twente Technical Report; this report will also include
  the research ideas.
  After the workshop, the authors of accepted full papers will have
  about one month in order to revise their papers for publication in the
  workshop post-proceedings which will appear in the Electronic
  Communications of the EASST Open Access Journal. Research ideas will
  not be part of the proceedings in the Open Access Journal.
  We will invite authors of a selection of the best papers presented at
  the workshop to submit extended versions of their work for publication
  in a special issue of Elsevier's journal Science of Computer
  Programming.
* PROGRAM CHAIRS
  Marieke Huisman, University of Twente, Netherlands (co-chair)
  Jaco van de Pol, University of Twente, Netherlands (co-chair)
* ORGANIZATION COMMITTEE
  Marieke Huisman
  Wojciech Mostowski (publicity chair)
  Jaco van de Pol



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



6TH NORTH AMERICAN SUMMER SCHOOL IN LOGIC, LANGUAGE AND INFORMATION (NASSLLI 2014)
  Call for Participation
  http://www.nasslli2014.com/
  June 21-29, 2014
* GENERAL
  The 6th North American Summer School in Logic, Language and Information
  (NASSLLI 2014), a bi-annual summer school loosely modeled on the
  long-running ESSLLI <http://esslli2014.de/> series in Europe, will be held
  at the University of Maryland, College Park, June 23 - 27, 2014. In
  addition, we will run three intensive introductory courses ("bootcamps") on
  Saturday and Sunday, June 21-22. Additional events will be held during the
  weekend following the summer school, June 28-29.
* SCHEDULE
  The summer school will consist of 18 courses, scheduled in five parallel
  sessions throughout the week. Courses will meet for 90 minutes on each of
  five days. The instructors are prominent researchers who volunteer their
  time and energy to present work in their disciplines. NASSLLI courses are
  aimed at graduate students and advanced undergraduates in any of the fields
  represented at the summer school, but will also be of interest to post-docs
  and researchers in those fields. Courses are designed with an
  interdisciplinary audience in mind, by instructors who enjoy addressing
  students and colleagues from a wide range of disciplines.
* PROGRAM
  For the full program of courses, see http://www.nasslli2014.com/program.
* REGISTRATION
  We are working to keep the registration fee low for NASSLLI participants.
  The registration fee is $195.00 for students and academics (and $70 for
  local participants).
* LOCATION
  NASSLL is located on the campus of the University of Maryland, College
  Park. The University of Maryland is located in the Washington D.C.
  metropolitan area, and is accessible by Metro from downtown Washington DC.
* ACCOMMODATION
  All NASSLLI participants are responsible for securing their own
  accommodations during their stay in College Park. However, NASSLLI
  participants may request accommodation in the South Campus Residence Hall
  on the University of Maryland, College Park campus.  There are also a
  number of hotels located in College Park within walking distance of the
  campus. Details on both dorm and hotel accommodations are available on the
  NASSLLI website.



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



WORKSHOP ON LOGIC AND SYSTEMS BIOLOGY STUDENT/POSTDOC PARTICIPATION FUNDING (LSB 5)
  Call for Participation
  A FLoC workshop at the Vienna Summer of Logic (VSL 2014)
  Affiliated with CSL/LICS 2014
  Vienna, Austria, July 13, 2014
  http://perso.ens-lyon.fr/russell.harmer/lsb5.html
* The National Science Foundation of the United States is providing funds
  to support the travel expenses of students and postdoctoral fellows attending
  the Workshop on Logic and Systems Biology.
  For further information contact James Lynch (jlynch@clarkson.edu).



7TH INTERNATIONAL SCHOOL ON REWRITING (ISR 2014)
  Call for Participation
  August 25-29, 2014
  Universidad Tecnica Federico Santa Maria
  Valparaiso, Chile
  Co-located with the 21st Workshop on Logic, Language, Information and Computation (WoLLIC 2014)
  http://web.ing.puc.cl/~wollic
* REWRITING
  Rewriting is a branch of computer science whose origins go back
  to the origins of computer science itself (with Thue, Church,
  Post, and many other prominent researchers). It has strong links
  with mathematics, algebra, and logic, and it is the basis of
  well-known programming paradigms like functional and equational
  programming, which are taught at the universitary level in many
  countries. In these programming paradigms and corresponding
  languages, the notions of reduction, pattern matching,
  confluence, termination, strategy, etc., are essential.
  Rewriting provides a solid framework for understanding, using,
  and teaching all these notions. Rewriting techniques are also
  used in many other areas of software engineering (scripting,
  prototyping, automated transformation of legacy systems,
  refactoring, web services, etc.) and are implemented in popular
  systems like Mathematica, Autocad, and others. Rewriting
  techniques play a relevant role in computing research,
  education, and industry.
* AIMS
  The International School on Rewriting is promoted by the IFIP
  Working Group 1.6 Term Rewriting. The school is aimed at master
  and PhD students, researchers, and practitioners interested in
  the study of rewriting concepts and their applications.
  Two tracks are offered, including the lectures and the courses:
  - Track A: for newcomers in the field, or just for people
    who want to obtain a new, updated exposure.
  - Track B: for those who want to get deeper in the most
    recent developments and applications of rewriting.
* CONFIRMED LECTURERS
  Mauricio Ayala-Rincon, Universidade de Brasilia, Brazil
  Eduardo Bonelli, Universidad de Quilmes, Argentina
  Claude Kirchner, INRIA, France
  Helene Kirchner, INRIA, France
  Aart Middeldorp. University of Innsbruck, Austria
  Pierre-Etienne Moreau, Ecole des Mines de Nancy, France
  Camilo Rocha, Escuela Colombiana de Ingenieria, Colombia
  Johannes Waldmann, HTWK Leipzig, Germany
  Sarah Winkler, University of Innsbruck, Austria
* PROGRAMME
  The detailed programme can be found at:
  http://isr2014.inf.utfsm.cl/programme
* REGISTRATION FEES
  300 USD (early registration, until July 15, 2014)
  400 USD (late registration, from July 16, 2014)
* INFORMATION
  For more information, please visit our web site or contact
  isr2014@inf.utfsm.cl
* ORGANIZING COMMITTEE
  Mauricio Ayala-Rincon, UNB, Brazil
  Carlos Castro (chair), UTFSM, Chile
  Nicolas Galvez, UTFSM, Chile
  Claude Kirchner, INRIA, France
  Alvaro Luzzi, UTFSM, Chile
  Christophe Ringeissen, INRIA, France
  Maria Elena Rodriguez, UTFSM, Chile



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



41TH INTERNATIONAL CONFERENCE ON CURRENT TRENDS IN THEORY AND PRACTICE OF COMPUTER SCIENCE (SOFSEM 2015)
  Call for Papers
  January 24-29, 2015
  Hotel Horizont - Pec pod Snezkou
  Czech Republic
  http://www.sofsem.cz/
* GENERAL
  The website provides a lot of interesting information about the next SOFSEM.
  SOFSEM 2015 will consist of following four tracks:
  - FOUNDATIONS OF COMPUTER SCIENCE
    chaired by Roger Wattenhofer (ETH Zurich, Switzerland)
  - SOFTWARE and WEB ENGINEERING
    chaired by Tiziana Margaria-Steffen (University of Potsdam, Germany)
  - CRYPTOGRAPHY, SECURITY, and VERIFICATION
    chaired by Jean-Jacques Quisquater (Catholic University of Louvain, Belgium)
  - DATA, INFORMATION and KNOWLEDGE ENGINEERING
    chaired by Jaroslav Pokorny (Charles University in Prague, Czech Republic)
  Moreover, for PhD students there will be the traditional `STUDENT
  RESEARCH FORUM'.
* IMPORTANT DATES
  Abstract deadline:       August 1, 2014
  Full paper deadline:     August 15, 2014
  Acceptance notification: September 22, 2014
  Conference:              January 24-29, 2015
* DETAILS
  As the SOFSEM 2015 organization will progress, the website will be
  regularly updated to let you know about important news.
  Location, accommodation and leisure activities of SOFSEM 2015 are presented at:
  http://www.sofsem.cz/sofsem15/index.php?page=location
  http://www.sofsem.cz/sofsem15/index.php?page=accommodation
  http://www.sofsem.cz/sofsem15/index.php?page=leisure
  We hope that you find the tracks for SOFSEM 2015 interesting,
  and that you will join us and enjoy the traditional, inspiring SOFSEM
  atmosphere.
* CHAIRS
  Giuseppe F. Italiano (Program Committee Chair)
  Martin Rimnac (Organising Committee Chair)



6TH INDIAN CONFERENCE ON LOGIC AND ITS APPLICATIONS (ICLA 2015)
  Call for Papers
  January 8--10, 2015
  IIT Bombay, India
  http://www.cse.iitb.ac.in/~icla15/index.html
* HISTORY
  ALI, the Association for Logic in India, announces the sixth edition of
  its biennial International Conference on Logic and its Applications
  (ICLA), to be held at the Indian Institute of Technology, Bombay,  from
  January 8 to 10, 2015. ICLA 2015 will be co-located with the 14th Asian
  Logic Conference to be held during January 5-8, 2015.
* SCOPE
  ICLA is a forum for bringing together researchers from a wide variety of
  fields that formal logic plays a significant role in, along with
  mathematicians, philosophers and logicians studying foundations of formal
  logic in itself. A special feature of this conference is the inclusion of
  studies in systems of logic in the Indian tradition, and historical
  research on logic. Details of the last ICLA (2013) may be found at
  http://www.imsc.res.in/~icla/.
  The earlier events in this series featured many eminent logicians as
  invited speakers, and we are pleased to announce that this year's
  speakers will include:
  - Steve Awodey, Carnegie Mellon University
  - J. Michael Dunn, Indiana University Bloomington
* SUBMISSION
  Authors are invited to submit papers presenting original and unpublished
  research in any area of logic and applications.  Articles on mathematical
  and philosophical logic, foundations and philosophy of mathematics and the
  sciences, history of logic, Indian systems of logic, use of formal logic
  in areas of theoretical computer science and artificial intelligence, or
  on the relationship between logic and other branches of knowledge, are
  welcome.
* IMPORTANT DATES
  Deadline for Submission: 5 August 2014
  Notification to Authors: 30 September 2014
* IMPORTANT LINKS
  http://ali.cmi.ac.in
  http://www.cse.iitb.ac.in/~icla15/index.html
* PROGRAM CHAIRS
  Mohua Banerjee (IIT Kanpur), co-chair
  Krishna S. (IIT Bombay), co-chair
* CONTACT
  Any queries related to the conference may be sent to the following email
  address: icla15@cse.iitb.ac.in



SUMMER SCHOOL ON VERIFICATION TECHNOLOGY, SYSTEMS AND APPLICATIONS (VTSA 2014)
  Call for Applications
  October 26-31, 2014
  University of Luxembourg, Luxembourg
* AIMS
  The summer school on verification technology, systems & applications
  focuses on fundamental aspects of verification techniques, their
  implementation, and their use for concrete applications. It is
  organised by the Universities of Liège and of Luxembourg, the
  Max-Planck-Institut für Informatik in Saarbrücken, and the Inria
  Research Center in Nancy, and will take place at the Interdisciplinary
  Centre for Security, Reliability and Trust in University of
  Luxembourg, Luxembourg from October 26-31, 2014. This year it is a
  co-located event with ICFEM 2014, which will be held in Luxembourg
  from November 3-7, 2014. PhD students can apply scholarships in order
  to attend the conference ICFEM 2014 as well. More details will be
  available on the following website icfem2014.uni.lu.
* SPEAKERS
  The following speakers have agreed to lecture at the school:
  - Nikolaj Bjorner: Software Verification by Solving Horn Clauses
  - Laura Kovács: Symbolic Computation and Theorem Proving in Program Analysis
  - Joel Ouaknine: A Survey of Program Termination: Practical and
    Theoretical Challenges
  - Jaco van de Pol: Scalable Multi-core Model Checking: Technology &
    Applications of Brute Force
  - Helmut Veith: Model Checking of Fault-Tolerant Distributed Algorithms
* PARTICIPATION
  Participation to the school is free to anybody holding at least a
  bachelor degree or equivalent; it includes the lectures, daily coffee
  and lunch breaks, and a school dinner. Attendance is limited to 40
  participants. Please apply electronically by sending an email to Eugen
  Denerz (edenerz_AT_mpi-inf.mpg.de) including
  - a one-page CV,
  - an application letter explaining your interest in the school and
    your experience in the area, and
  - a copy of your bachelor (or equivalent or higher) certificate.
  The deadline for application is September 05, 2014. Notification of
  acceptance will be given by September 12, 2014.
  Full details can be found on the school Web page at
  http://www.mpi-inf.mpg.de/VTSA14/.



TWO PHD POSITIONS IN INFORMATION SECURITY AT ETH ZURICH, SWITZERLAND
  http://www.infsec.ethz.ch/news/positions
* The Information Security group headed by Prof. David Basin at ETH
  Zurich has two open PhD positions in two projects:
  (1) Formalizing computational soundness for protocol implementations
  (2) Testing access control systems
* We are looking for enthusiastic outstanding researchers with a strong
  background and interest in one or more of the following areas:
  - formal methods or mathematical logic,
  - information security or cryptography,
  - (project 1) interactive theorem proving
    (project 2) software testing.
  Candidates with a strong theoretical background in related areas are
  also encouraged to apply. ETH Zurich regulations require PhD
  candidates to hold a Masters or equivalent degree (e.g. Diplom). The
  preferred starting date for both positions is as soon as possible, at
  the latest by the end of 2014.
* Contact: Andreas Lochbihler and Mohammad Torabi Dashti
  infsec.positions@inf.ethz.ch



11 PHD STUDENTSHIPS IN COMPUTER SCIENCE AT THE UNIVERSITY OF PISA
  http://dottorato.unipi.it/index.php/en/
* We would like to announce that by mid July it will appear the call for 11
  grants at the PhD in Computer Science of the University of Pisa (deadline
  beginning September). The selection will be made on CV, reference letters
  and an interview, possibly via teleconferencing (check *carefully* the
  relevant fields required).
* For further details please preferably contact
  Mr Enrico Carpentras 
  or otherwise the chairman of the PhD Programme
  Prof. Pierpaolo Degano 



Back to the LICS web page.