SIGLOG Monthly 183
June 1, 2016

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

TABLE OF CONTENTS
* NEWS
  LICS 2016 - Call for Participation. Early Registration Deadline: JUNE 3
  ANNOUNCEMENT OF THE 2016 CHURCH AWARD
  ANNOUNCEMENT OF THE 2016 GOEDEL PRIZE
  ANNOUNCEMENT OF THE 2016 HERBRAND AWARD
  OBITUARY ZOLTAN ESIK
  ACM SIGLOG Announcement
* DEADLINES
  Forthcoming Deadlines
* CALLS
  SERENE 2016 - Call for papers
  CRV 2016 - Call for Participation
  QPL 2016 - Call for Participation
  NFM 2016 - Call for Participation
  DARE 2016 - Call for Papers
  HSST 2016 - Call for Participation and Abstracts
  CRITIS 2016 - Call For Papers
  RSSRAIL 2016 - Call for Participation
  ILP2016 - Call For Papers
  GandALF 2016 - Call For Papers
  HIGHLIGHTS 2016 - Call for Presentations
  SECURECOMM 2016 - Call For Papers
  TIME 2016 - Final Call for Papers
  PODS 2017 - Call for Papers (1st submission cycle)
  PODS 2016 - Call for Participation
  RULEML AND DECISIONCAMP 2016 - Call for Participation, Papers
  SSBSS 2016 - Call for Participation
  ESSLLI 2017 - Call for Proposals
  DEDUCTION MEETING/DEDUKTIONSTREFFEN 2016 - Call for Papers
  ARVI COST 2016 - Call for Participation
  SSS 2016 - Call for Papers
  ICDT 2017 - Call for Papers
* JOB ANNOUNCEMENTS


THIRTY-FIRST ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2016)
  Call for Participation
  5-8 July 2016, New York City, USA
  http://lics.rwth-aachen.de/lics16/
  https://regmaster4.com/2016conf/LICS16/register.php
* EVENT
  LICS 2016 will be hosted in New York City during July 5-8, 2016.
  This event also marks the thirtieth anniversary of LICS.
* AFFILIATED WORKSHOPS
  Logic Mentoring Workshop
  LSB: 6th Workshop on Logic and Systems Biology
  NLCS: 4th Workshop on Natural Language and Computer Science.
  SR: 4th International Workshop on Strategic Reasoning.
  LOLA: Syntax and Semantics of Low-Level Languages.
* ACCEPTED PAPERS
  http://lics.rwth-aachen.de/lics16/accepted.html
* IMPORTANT DATES
  May 15, 2016 - Logic Mentoring Workshop and Student Volunteers
  June 3, 2016 - Early Registration Deadline
  July 5-8, 2016 - Conference
  July 9-10, 2016 - Workshops



THE 2016 ALONZO CHURCH AWARD
FOR OUTSTANDING CONTRIBUTIONS TO LOGIC AND COMPUTATION
  http://siglog.hosting.acm.org/wp-content/uploads/2016/05/church16.pdf
* The 2016 Alonzo Church Award for Outstanding Contributions to Logic
  and Computation is given to Rajeev Alur and David Dill for their
  invention of timed automata, a decidable model of real-time systems,
  which combines a novel, elegant, deep theory with widespread
  practical impact.
  Rajeev Alur and David Dill: A theory of timed automata.
  Theoretical Computer Science 126(2):183-235, 1994.
* Alur and Dill will receive the award at the 31st Annual ACM/IEEE
  Symposium on Logic in Computer Science (LICS), which will be held on
  July 5-8, 2016, at Columbia University, New York City, USA.
* The Award was established in 2015 by the ACM Special Interest Group
  for Logic and Computation (SIGLOG), the European Association for
  Theoretical Computer Science (EATCS), the European Association for
  Computer Science Logic (EACSL), and the Kurt Goedel Society
  (KGS). It recognises an outstanding contribution represented by a
  paper or small group of papers within the past 25 years; this is the
  first such award. The Award Committee consisted of Catuscia
  Palamidessi, Gordon Plotkin, Wolfgang Thomas, and Moshe Vardi
  (chair).



2016 GOEDEL PRIZE
  http://eatcs.org/index.php/component/content/article/1-news/2280-2016-godel-prize-
* The 2016 Goedel Prize is awarded to Stephen Brookes and Peter
  W. O'Hearn for their invention of Concurrent Separation Logic, as
  described in the following two papers:
   - S. Brookes, A Semantics for Concurrent Separation Logic.
     Theoretical Computer Science 375(1-3): 227-270 (2007)
   - P. W. O'Hearn, Resources, Concurrency, and Local Reasoning.
     Theoretical Computer Science 375(1-3): 271-307 (2007)
  Stephen Brookes and Peter O'Hearn will receive the 2016 Goedel Prize
  at the 43rd International Colloquium on Automata, Languages and
  Programming (ICALP 2016), 12-15 July 2016, in Rome, Italy.



ANNOUNCEMENT OF THE 2016 HERBRAND AWARD
  communicated by Maria Paola Bonacina  (President of CADE Inc.)
* I am happy to announce that Zohar Manna and Richard Waldinger will
  jointly receive the Herbrand Award at IJCAR 2016, for their
  pioneering research and pedagogical contributions to automated
  reasoning, program synthesis, planning, and formal methods. More
  informations on the Herbrand Award can be found at
  http://www.cadeinc.org/



OBITUARY ZOLTAN ESIK (1951-2016)
  It is with great sadness that we announce the death of our colleague
  Zoltan Esik, who passed away suddenly on May 25th while visiting
  Reykjavik University. Zoltan had been a member of the EATCS Council
  and in 2016 became an EATCS Fellow for "contributions to the fields
  of automata and formal languages, iteration theories, algebra and
  logic in computer science, and in particular to their
  connections. He has been able to apply deep theorems of some area to
  problems of other fields, yielding particularly short, beautiful and
  mathematically concise proofs."
  http://processalgebra.blogspot.fr/2016/05/sad-news-zoltan-esik-passed-away.html
  http://www.inf.u-szeged.hu/~ze/



ACM SIGLOG ANNOUNCEMENT
  http://siglog.acm.org
* The ACM has recently 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 is the flagship
  conference of SIGLOG. SIGLOG will also actively seek association agreements
  with other conferences in the field. A SIGLOG newsletter (SIGLOG News)
  is also 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.
* One can join SIGLOG by visiting
  https://campus.acm.org/public/qj/gensigqj/siglist/gensigqj_siglist.cfm
  It is possible to join SIGLOG without joining ACM (the SIGLOG membership
  fee is $25 and $15 for students).



DATES
* SERENE 2016
  Call for papers
  5-6th September 2016, Gothenburg, Sweden
  http://serene.disim.univaq.it/2016
  Submission due: June 3rd, 2016
* CRV 2016
  Call for Participation
  https://rv2016.imag.fr/?page_id=188
  September 2016, Madrid, Spain
* QPL 2016
  Call for Participation
  6 - 10 June 2016, University of Strathclyde, UK
* NFM 2016
  Call for participation
  June 7-9, 2016, University of Minnesota, Minneapolis, USA
  http://crisys.cs.umn.edu/nfm2016
* DARe-16 at ECAI
  Call for Papers
  Date: TBC (either 29 or 30 August 2016)
  The Hague, Netherlands
  Deadline: 12 June 2016
  http://dare2016.yolasite.com
* HSST 2016
  Call for participation and abstracts
  June 13 - 16, 2016, Halmstad University, Sweden
  http://ceres.hh.se/mediawiki/index.php/HSST_2016
* CRITIS 2016
  Call for Papers
  Paris, France, October 10-12, 2016
  http://www.critis2016.org
  Submission of full papers: June 1, 2016
* RSSRAIL 2016
  Call for Participation
  28-30 June 2016
  Espace du Centenaire, Maison de la RATP, Paris, France
  http://conferences.ncl.ac.uk/rssrail/
* ILP2016 - Call For Papers
  Call For Papers
  September 4th - 6th, 2016, London, UK
  http://ilp16.doc.ic.ac.uk
  Long paper submission: 13 May   2016
  Short Paper submission: 24 July  2016
* GandALF 2016
  Call for Papers - deadline extension
  September 14-16, Catania, Italy
  http://gandalf2016.dmi.unict.it
  Abstract and paper  submission: June 6
* HIGHLIGHTS 2016
  Call for Presentations
  September 6-9, 2016, Brussels, Belgium
  http://highlights-conference.org
  Submission deadline: June 3, 2016
* SECURECOMM 2016
  Call For Papers
  October 10-12, 2016, Guangzhou, People's Rupublic of China
  http://securecomm.org
  Paper Submission due: June 15, 2016
* TIME 2016
  Final Call for Papers
  October 17-19, 2016, Technical University of Denmark, Denmark
  http://time2016.compute.dtu.dk/
  Paper submission: June 20th, 2016
* PODS 2017
  Call for Papers (1st submission cycle)
  May 14-19, 2017, Raleigh, North Carolina, USA
  http://www.sigmod2017.org
  Abstract submission: June 12, 2016
  Paper submission: June 19, 2016
* PODS 2016
  Call for Participation
  June 27-29, 2016, San Francisco, California, USA
  http://www.sigmod2016.org
* RULEML AND DECISIONCAMP 2016
  Call for Participation, Call for Papers
  Stony Brook, NY, 6-9 July, 2016
  http://2016.ruleml.org
* SSBSS 2016
  Call for Participation
  8-14 July 2016, Volterra (Pisa), Tuscany, Italy
* ESSLLI 2017
  Call for Course and Workshop Proposals
  17-28 July, 2017, Toulouse, France
  https://www.irit.fr/esslli2017
  15 July 2016: Proposal submission deadline
* DEDUCTION MEETING/DEDUKTIONSTREFFEN 2016
  Call for Papers
  September 26, 2016, Alpen Adria University, Klagenfurt, Austria
  Hosted by KI 2016.
  https://fg-dedsys.gi.de/dt2016.html
  Early bird submission: July 15
  Standard submission: August 15
* ARVI COST 2016
  Call for Participation
  September 23-25, Madrid, Spain
  https://rv2016.imag.fr/?page_id=128
* SSS 2016
  Call for Papers
  Lyon, France, November 7-10, 2016
  http://graal.ens-lyon.fr/ SSS16/
  Abstract Submission: July 17
  Paper Submission: July 24
* ICDT 2017
  Call for papers
  27-31 March, 2017, Venice, Italy
  http://www.cs.ox.ac.uk/people/michael.benedikt/icdt17.html
  Paper deadine (2nd submission cycle): September 18, 2016



8TH INTERNATIONAL WORKSHOP ON SOFTWARE ENGINEERING FOR RESILIENT SYSTEMS (SERENE 2016)
  Call for papers
  5-6th September 2016, Gothenburg, Sweden
  http://serene.disim.univaq.it/2016
* Co-located with EDCC, the European Dependable Computing Conference
  (http://www.cse.chalmers.se/edcc2016/)
* IMPORTANT DATES
  Submission due: June 3rd, 2016
  Authors notification: July 1th, 2016
  Camera ready papers: July 15th, 2016
  Workshop: September 5-6, 2016
* SERENE workshop has a long tradition of bringing together
 researchers and industry practitioners to discuss advances in
 engineering resilient systems. Since 2015 SERENE has become a part of
 a major European dependability forum – EDCC, the European Dependable
 Computing Conference (http://www.cse.chalmers.se/edcc2016/)
* Program Chairs:
  - Ivica Crnkovic , Chalmers U. of Technology and U. of Gothenburg, Sweden
  - Elena A. Troubitsyna, Abo Akademi University
* FURTHER INFORMATION
  SERENE website: htttp://serene.disim.univaq.it
  LinkedIn group:
  https://www.linkedin.com/groups?home=&gid=4365850&trk=my_groups-tile-grp
  Slideshare: www.slideshare.net/SERENEWorkshop/



THE 3RD INTERNATIONAL COMPETITION ON RUNTIME VERIFICATION (CRV 2016)
* The 3rd International Competition on Runtime Verification In
  Association with COST Action "Runtime Verification beyond
  Monitoring" held with RV 2016, September 23-30 2016, Madrid, Spain
* The main goal of CRV 2016 is to compare tools for runtime
  verification. We invite and encourage the participation with
  benchmarks and tools for the competition. The competition will
  consist of three main tracks based on what is being monitored:
  - Track on monitoring Java programs (online monitoring)
  - Track on monitoring C programs (online monitoring)
  - Subtrack on Generic Specifications (e.g. in LTL)
  - Subtrack on Implicit Specifications (e.g. memory safety)
  - Track on monitoring of traces (offline monitoring)
* The general organisation of the competition is described in the
  rules document found at
  http://crv.liflab.ca/CRV2016.pdf.
* To register please fill in the form at
  http://goo.gl/forms/kWxFFfFCvZ.
* Please direct any enquiries to the competition co-organizers
  (crv2016@crv.liflab.ca):
  - Ylies Falcone (Univ. Grenoble Alpes, Inria, France),
  - Sylvain Halle (Universite du Quebec a Chicoutimi, Canada),
  - Giles Reger (University of Manchester, Manchester, UK).
* Expected Important Dates
  May 9th Registration Opens
  May 29th Benchmark Submission Deadline
  June 5th Registration Closes
  June 5-12th Clarifications Phase
  June 19th Benchmarks Announced
  July 10th Monitor Submission Deadline
  August 1st Notifications
  At RV 2016 Presentation of Results



13TH INTERNATIONAL CONFERENCE ON QUANTUM PHYSICS AND LOGIC (QPL 2016)
  Call for Participation
  6–10 June 2016, University of Strathclyde, UK
  http://qpl2016.cis.strath.ac.uk
* The 13th International Conference on Quantum Physics and Logic will
  be taking place next month, 6-10 June at the University of
  Strathclyde.  There is an excellent line-up of talks, including
  invited lectures and tutorials from:
    Krysta Svore (Microsoft)
    Stephanie Wehner (Delft)
    Tom Leinster (Edinburgh)
    Elham Kashefi (Edinburgh)
    Daniel Oi (Strathclyde)
    Conor McBride (Strathclyde)
    Ognyan Oreshkov (Brussels)
    Peter Selinger (Dalhousie)
    Kohei Kishida (Oxford)
    Aleks Kissinger (Nijmegen)
  as well as a full programme of contributed talks. Registration is
  FREE for students and 40 pounds for others. For full details,
  including registration, see:  http://qpl2016.cis.strath.ac.uk



THE 8TH NASA FORMAL METHODS SYMPOSIUM (NFM 2016)
  Call for participation
  June 7-9, 2016, University of Minnesota, Minneapolis, USA
  http://crisys.cs.umn.edu/nfm2016
* FREE REGISTRATION. All interested individuals, including non-US
  citizens, are welcome to attend. All participants must register but
  there is no registration fee. Please register online at
  http://crisys.cs.umn.edu/nfm2016/REGISTRATION
* THEME OF THE SYMPOSIUM. The NASA Formal Methods Symposium is a forum
  to foster collaboration between theoreticians and practitioners from
  NASA, academia, and the aerospace industry, with the goal of
  identifying challenges and providing solutions towards achieving
  assurance for safety- and mission-critical systems.
* KEYNOTES
  - Michael L. Aguilar (NASA Technical Fellow): "Where Formal Methods
    Might Find Application on Future NASA Missions"
  - Kevin Driscoll (Honeywell): "Murphy Was Here"
  - Kathleen Fisher (Tufts University): "Using Formal Methods to
    Eliminate Exploitable Bugs"
* List of all accepted papers: http://crisys.cs.umn.edu/nfm2016/accepted/
* ORGANIZING COMMITTEE
  Michael Lowry, NASA Ames Research Center, USA (NASA Liaison)
  Johann Schumann, SGT, Inc./NASA Ames Research Center, USA (General Chair)
  Oksana Tkachuk, SGT, Inc./NASA Ames Research Center, USA (PC Chair)
  Sanjai Rayadurgam, University of Minnesota, USA (PC Chair)



THE THIRD INTERNATIONAL WORKSHOP ON "DEFEASIBLE AND AMPLIATIVE REASONING" (DARE 2016)
  Call for Papers
  Date: TBC (either 29 or 30 August 2016)
  The Hague, Netherlands
  Deadline: 12 June 2016
  http://dare2016.yolasite.com
* The workshop is held at the European Conference on Artificial
  Intelligence (ECAI 2016)
* DARe welcomes contributions on all aspects of defeasible and
  ampliative reasoning such as (but not limited to):
  - Abductive and inductive reasoning
  - Explanation finding, diagnosis and causal reasoning
  - Inconsistency handling and exception-tolerant reasoning
  - Decision-making under uncertainty and incomplete information
  - Default reasoning, non-monotonic reasoning, non-monotonic logics,
    conditional logics
  - Specific instances and variations of ampliative and defeasible reasoning
  - Probabilistic and statistical approaches to reasoning
  - Vagueness, rough sets, granularity and fuzzy-logics
  - Philosophical foundations of defeasibility
  - Empirical studies of reasoning
  - Relationship with cognition and language
  - Contextual reasoning
  - Preference-based reasoning
  - Analogical reasoning
  - Similarity-based reasoning
  - Belief dynamics and merging
  - Argumentation theory, negotiation and conflict resolution
  - Heuristic and approximate reasoning
  - Defeasible normative systems
  - Reasoning about actions and change
  - Reasoning about knowledge and belief, epistemic and doxastic logics
  - Ampliative and defeasible temporal and spatial reasoning
  - Computational aspects of reasoning with uncertainty
  - Implementations and systems
  - Applications of uncertainty in reasoning
* IMPORTANT DATES
  - Submission deadline: 12 June 2016
  - Notification: 28 June 2016
  - Camera ready: 17 July 2016
  - Early registration: 5 July 2016
  - Late registration: [TBA]
  - Workshop date: [TBA] (either 29 or 30 August 2016)
*  WORKSHOP CO-CHAIRS
  - Richard Booth (Cardiff University, United Kingdom)
  - Giovanni Casini (Universite du Luxembourg)
  - Szymon Klarman (Brunel University London, United Kingdom)
  - Gilles Richard (Universite Paul Sabatier, France)
  - Ivan Varzinczak (CRIL, Universite d'Artois, France)
* FURTHER INFORMATION. Please visit the workshop website
  (http://dare2016.yolasite.com) for further information and regular
  updates.



THE 6TH HALMSTAD SUMMER SCHOOL ON TESTING (HSST 2016)
  Call for participation and abstracts
  June 13 - 16, 2016, Halmstad University, Sweden
  http://ceres.hh.se/mediawiki/index.php/HSST_2016
* SCOPE. 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 6th 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.
  - Automatic Software Verification with the Infer Static Analyzer
    (Dino Distefano, Queen Mary, University of London and Facebook,
    UK)
  - Testing and Verification Methods for Many-Core Concurrency
    (Alastair F. Donaldson, Imperial College, UK)
  - Is Mutation Analysis Ready for Prime Time? (Jeff Offutt, George
    Mason University, USA)
  - Fault Model-Based Testing from State-Oriented Models (Alexandre
    Petrenko, Computer Research Institute of Montreal (CRIM), Canada)
  - The Role of Testing and Tools for Innovation (Per Runeson, Lund
    University, Sweden)
  - Fault Tree Analysis (Marielle Stoelinga, University of Twente, The
    Netherlands)
* Ph.D. Symposium
  We have 6 time slots for Ph.D. presentations, where each student
  gets to present her/his research project (and possibly results) and
  receive feedback from our experts. We solicit abstracts of 2 pages
  in the EasyChair Style in order to make a selection
  (see:http://www.easychair.org/publications/for_authors ). The
  abstract should contain a clear overview of the problem description,
  approach, (existing results, if any,) and future milestone.
  Abstract submissions can be made already via
  https://easychair.org/conferences/?conf=hsst2016 .
* IMPORTANT DATES
  - The deadline for submissions is May 15, 2016.
  - The registration deadline is April 15, 2016.
* Further details:
  http://ceres.hh.se/mediawiki/index.php/HSST_2016



THE 11TH INTERNATIONAL CONFERENCE ON CRITICAL INFORMATION INFRASTRUCTURES
SECURITY (CRITIS 2016)
  Call for Papers
  Paris, France, October 10-12, 2016
  http://www.critis2016.org
* CRITIS 2016 covers five thematic foci. Paper submissions should
  focus on one of the following topics:
  - Technologies: Innovative responses for the protection of
  cyber-physical systems
  - Procedures and organisational aspects in C(I)IP: Policies, best
  practices and lessons learned
  - Advances in Human Factors, decision support, and cross-sector
  CI(I)P approaches - focus on end-users
  - Special private stakeholder session opic
  - Young CRITIS and CIPRNet Young CRITIS Award (CYCA)
  Full details available at  http://www.critis2016.org
* Important Dates:
  - Submission of full papers: June 1, 2016
  - Notification of acceptance:  July 15, 2016
  - Camera-ready papers: September 1, 2016
  - CRITIS 2016 event: October 10-12, 2016
* General Chairs
  - Jean-Pierre Loubinoux, General Director of UIC, represented by UIC Security Division
* Program Chairs
  - Roberto Setola, Universita Campus Bio-Medico di Roma
  - Hypatia Nassopoulos, Ecole des Ingenieurs de la Ville de Paris, France



INTERNATIONAL CONFERENCE ON RELIABILITY, SAFETY AND SECURITY OF RAILWAY SYSTEMS:
MODELLING, ANALYSIS, VERIFICATION AND CERTIFICATION (RSSRAIL 2016)
  Call for Participation
  28-30 June 2016
  Espace du Centenaire, Maison de la RATP, Paris, France
  http://conferences.ncl.ac.uk/rssrail/
* Specific topics to be presented at RSSRail 2016 will include:
   -  failure analysis,
   -  interlocking verification,
   -  formal system specification and refinement,
   -  security analysis of ERTMS,
   -  safety verification,
   -  formalisation of requirements,
   -  proof automation,
   -  operational security,
   -  railway system reliability,
   -  risk assessment for ERTMS,
   -  verification of EN-50128 safety requirements.
* For more details on the keynote talks, the individual papers and the
  posters to be presented, please visit the website:
  http://conferences.ncl.ac.uk/rssrail/programme/
* The proceedings are published by Springer.
* Registration: http://conferences.ncl.ac.uk/rssrail/registration/



THE 26TH INTERNATIONAL CONFERENCE ON INDUCTIVE LOGIC PROGRAMMING (ILP2016)
  Call For Papers
  September 4th - 6th, 2016, London, UK
  http://ilp16.doc.ic.ac.uk
* AIMS: The ILP conference series is the premier international forum
  for learning from structured relational data. Originally focusing on
  the induction of logic programs, over the years it has expanded its
  research horizon significantly and welcomes contributions to all
  aspects of learning in logic, multi-relational data mining,
  statistical relational learning, graph and tree mining, learning in
  other (non-propositional) logic-based knowledge representation
  frameworks, exploring intersections to statistical learning and
  other probabilistic approaches.
* TOPICS OF INTEREST include:
  - Theoretical aspects: logical-foundations of learning;
  - computational/statistical learning theory; specialisation and
  - generalisation; probabilistic logic-based learning; graph and tree
  - mining.  Representation and languages for learning: logic
  - programming; Datalog;first-order logic; description logic and
  - ontologies; higher-order logic; Answer Set Programming;
  - probabilistic logic languages; constraint logic programming;
  - knowledge graphs.  Algorithms and systems: learning with
  - (semi-)structured data; (semi-)supervised and unsupervised
  - relational learning; relational reinforcement learning; predicate
  - invention; propositionalisation approaches; multi-instance learning;
  - learning in the presence of uncertainty; meta-level learning.
  - Applications of learning in: art; bioinformatics; systems biology;
  - games; medical informatics; robotics; natural language processing;
  - web-mining; software engineering; modelling and adaptation of
  - control systems; socio-technical systems.
  In addition to the above topics, ILP 2016 is also encouraging
  contributions in the areas of cognitive technologies, knowledge
  acquisition from big data, the cloud and crowd sourced data, deep
  relational learning, as well as contributions on the application of
  any of these solutions to real world problems.
  The conference will host keynote talks from both industry and academia
  and will run the first International ILP Competition.
* Submission guidlines: please see the conference website
* IMPORTANT DATES:
  - Abstract registration:       7 May   2016
  - Long paper submission:      13 May   2016
  - Long Paper notification:    26 June  2016
  - Short Paper submission:     24 July  2016
  - Short Paper notification:   28 July  2016
* We expect there will be a special issue of the Machine Learning
  Journal following the conference, which will be open for
  everyone. This special issue will welcome conference submissions
  from all three categories, which should be significantly revised and
  extended, to meet the MLJ criteria, and will be re-reviewed by PC
  members.
* CONFERENCE AND PROGRAM CO-CHAIRS:
  - Alessandra Russo, Imperial College London UK
  - James Cussens, University of York, UK
* ILP COMPETITION CHAIR;
  Mark Law, Imperial College London, UK
* PUBLICITY CHAIR:
  Krysia Broda, Imperial College London, UK
* ASSOCIATED EVENT:
  3rd International Workshop on Probabilistic Logic Programming



THE SEVENTH INTERNATIONAL SYMPOSIUM ON GAMES, AUTOMATA, LOGICS AND FORMAL
VERIFICATION (GandALF 2016)
  2nd Call for papers
  September 14-16, Catania, Italy.
  http://gandalf2016.dmi.unict.it
* NEW DEADLINE for Abstract and Paper submission:  June 6, 2016
* TOPICS OF INTEREST: The topics covered by the conference include, but
  are not limited to, the following:
  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
* INVITED SPEAKERS
  - Luca Bertolussi (University of Trieste, Italy)
  - Joanna Golinska-Pilarek (Institute of Philosophy, University of Warsaw, Poland)
  - Arnaud Sangnier (Laboratoire LIAFA, Universit=C3=A9 Paris Diderot, France)
* IMPORTANT DATES
  - Abstract and paper submission: June 6
  - Notification: July 1
  - Camera-ready: July 29
* CHAIRS
  Domenico Cantone, Univ. of Catania, Italy  (co-chair)
  Giorgio Delzanno, Univ. of Genoa, Italy  (co-chair)



FOURTH CONFRENCE ON HIGHLIGHTS OF LOGIC, GAMES AND AUTOMATA (HIGHLIGHTS 2016)
  Call for Presentations
  September 6-9, 2016, Brussels, Belgium
  http://highlights-conference.org
* HIGHLIGHTS 2016 is the fourth conference on Highlights of Logic,
  Games and Automata which aims at integrating the community working
  in these fields.  Papers from these areas are dispersed across many
  conferences, which makes them difficult to follow. A visit to
  Highlights conference should offer a wide picture of the latest
  research in the field and a chance to meet everybody in the
  community, not just those who happen to publish in one particular
  proceedings volume. We encourage you to attend and present your best
  work, be it already published or not, at the Highlights conference.
* Representative areas include, but are not restricted to: logic and
  finite model theory, automata theory, games for logic and
  verification.
* You submit a proposal for a presentation, not a paper. Hence,
  submissions should have a single author, who is the speaker. Since
  we expect you to present your favorite result of the year, there
  should be at most one submission per speaker. The abstract, of 1-2
  pages, may include a list of coauthors.  There are no formal
  proceedings and we encourage submission of work presented
  elsewhere. Submissions are possible through
  https://easychair.org/conferences/?conf=3Dhighlights2016.
* The program will further offer three keynotes by Meena Mahajan
  (Chennai), Andreas Maletti (Stuttgart), and Marc Zeitoun (Bordeaux),
  two invited sessions, organised by Slawomir Lasota (Warsaw) and
  Anca Muscholl (Bordeaux), and two tutorials by Benedikt Bollig
  (Cachan) and Antonin Kucera (Prague).
* Important dates:
  Submission deadline: June 3, 2016
  Registration possible until August 7, 2016



12TH EAI INTERNATIONAL CONFERENCE ON SECURITY AND PRIVACY IN
COMMUNICATION NETWORKS (SECURECOMM 2016)
  Call for Papers
  October 10-12, 2016, Guangzhou, People's Rupublic of China
  http://securecomm.org
* SecureComm seeks high-quality research contributions in the form of
  well-developed papers. Topics of interest encompass research
  advances in ALL areas of secure communications and
  networking. Topics in other areas (e.g., formal methods, database
  security, secure software, theoretical cryptography) will be
  considered only if a clear connection to private or secure
  communication/networking is demonstrated.
* Important dates:
    - Paper Submission due: June 15, 2016
    - Notification to authors: August 1, 2016
    - Camera ready due: August 22, 2016
* Detailed information can be found on the webpage.



23RD INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING (TIME 2016)
  Final Call for Papers
  October 17-19, 2016, Technical University of Denmark, Denmark
  http://time2016.compute.dtu.dk/
* TIME 2016 aims to bring together researchers interested in reasoning
  about temporal aspects of information in any area of Computer
  Science. The symposium, currently in its 23rd edition, has a wide
  remit and intends to cater to both theoretical aspects and
  well-founded applications. One of the key aspects of the symposium
  is its interdisciplinarity, with attendees from distinct areas such
  as artificial intelligence, database management, logic and
  verification, and beyond. The symposium will encompass three tracks
  on temporal representation and reasoning in Artificial Intelligence,
  Databases and Logic and Verification.
* Further details about the topics of interest can be found on the webpage.
* Invited speakers:
  - Kim Guldstrand Larsen, Aalborg University, Denmark
  - Angelo Montanari, University of Udine, Italy
  - Paolo Terenziani, University of Piemonte Orientale, Italy
* Important dates:
  - Paper submission: June 20th, 2016
  - Notification: July 25th, 2016
  - Final version due: August 10th, 2016
  - Symposium: October 17-19, 2016



36TH ACM SIGMOD-SIGACT-SIGAI SYMPOSIUM ON PRINCIPLES OF DATABASE SYSTEMS
(PODS 2017)
  Call for Papers (1st submission cycle)
  May 14-19, 2017, Raleigh, North Carolina, USA
  http://www.sigmod2017.org
* PODS has two rounds of submissions (see dates below). Note that the
  1st round is moved earlier compared with the previous editions of
  PODS. This is to better synchronize with the two deadlines of the
  ICDT conference (see
  http://www.cs.ox.ac.uk/people/michael.benedikt/icdt17.html)
* TOPICS that fit the interests of the symposium include the following:
  - design, semantics, query languages
  - data models, data structures, algorithms for data management
  - concurrency and recovery, distributed and parallel databases, cloud
    computing
  - model theory, logics, algebras, computational complexity
  - graph databases and (semantic) Web data
  - data mining, information extraction, search
  - data streams
  - data-centric (business) process management, workflows, web services
  - incompleteness, inconsistency, uncertainty in data management
  - data and knowledge integration and exchange, data provenance, views
    and data warehouses, metadata management
  - domain-specific databases (multi-media, scientific, spatial,
    temporal, text)
  - deductive databases
  - data privacy and security
* PROGRAM CHAIR
  Floris Geerts (University of Antwerp, BE)
* IMPORTANT DATES
  - Dates for first submission cycle:
    June 12, 2016, 11:59pm PST: Abstract submission
    June 19, 2016, 11:59pm PST: Paper submission
    August 28, 2016, 11:59pm PST: Accept/Reject/Revise notification
    September 25, 2016, 11:59pm PST: Revision deadline
    October 30, 2016, 11:59pm PST: Accept/Reject notification (Revisions)
  - Dates for second submission cycle:
    December 11, 2016, 11:59pm PST: Abstract submission
    December 18, 2016, 11:59pm PST: Paper submission
    February 26, 2017, 11:59pm PST: Accept/Reject notification
    March 19, 2017, 11:59pm PST: Camera-ready deadline
* AWARDS
  - Best Paper Award: An award will be given to the best submission, as
    judged by the program committee.
  - Best Student Paper Award: There will also be an award for the best
    submission, as judged by the program committee, written by a student
    or exclusively by students.



35TH ACM SIGMOD-SIGACT-SIGAI SYMPOSIUM  PRINCIPLES OF DATABASE SYSTEMS
(PODS 2016)
  Call for Participation
  June 27-29, 2016, San Francisco, California, USA
  http://www.sigmod2016.org
* The PODS program this year will feature an invited keynote, two
  invited tutorials, and the inaugural Gems of PODS talks. The Gems of
  PODS event features topics and results in PODS that have been highly
  influential in the PODS community and beyond.
* Invited keynote and tutorials
* Gems of PODS talks
* Monday (June 27):
  -Keynote:
    A Theory of Regular Queries by Moshe Vardi (Rice University)
  - Gems of PODS talks:
    Optimal Score Aggregation Algorithms by Ronald Fagin (IBM Research
    Almaden)
  - Hypertree Decompositions: Questions and Answers by Georg Gottlob
    (University of Oxford)
* Tuesday (June 28):
  - Invited tutorial:
    Data Management for Social Networking by Sara Cohen (Hebrew
    University of Jerusalem)
* Wednesday (June 29):
  - Invited tutorial:
    Logical Aspects of Massively Parallel and Distributed Systems by
    Frank Neven (Hasselt University)



RULEML AND DECISIONCAMP 2016
  Call for Participation
  Dates: 6-9 July, 2016
  Location:  New Computer Science Department Building, room 120,
  Stony Brook University, New York, USA
  http://2016.ruleml.org
* Benefit from reduced early registration fee by: May 31, 2016
  http://2016.ruleml.org/registration
* Invited presentations by: Richard Waldinger (2016 Herbrand Award
  winner), Charles Forgy (inventor of the RETE algorithm, Bruce Silver
  (book author on DMN Method and Style), Michael Kifer, Theresa Swift
  and Benjamin Grosof.
* Submission Deadline (Papers/Demos/Posters) for all Open Calls: June
  5th, 2016
* The RuleML 2016 Challenge is one of the highlights of the RuleML
  2016 Symposium, providing a friendly competition environment for
  innovative rule-oriented systems and applications, aimed at both
  research and industry participants.
  http://2016.ruleml.org/challenge
* Posters are called for about late-breaking rule topics, e.g.
  domain-specific applications of rule systems. Posters should be
  accompanied by high-quality, original 1-4 page extended abstracts,
  which should be submitted at:
  https://easychair.org/conferences/?conf=ruleml2016 ("10th
  International Rule Challenge" track).
* Both PhD students and mentors are called for:
  http://2016.ruleml.org/doctoral-consortium
* Industry Track will include a panel about use of rules and rule
  technologies in business cases:
  http://2016.ruleml.org/industry-track
* Accepted papers
  http://2016.ruleml.org/list-of-accepted-papers
* Accomodation
  http://2016.ruleml.org/venue-and-accommodation
* Early Registration fees:
  RuleML - Regular: $250
  RuleML - Student: $100
  DecisionCAMP only: $75



3RD INT. SYNTHETIC AND SYSTEMS BIOLOGY SUMMER SCHOOL (SSBSS 2016)
  Call for Participation
  8-14 July 2016, Volterra (Pisa), Tuscany, Italy
* The 3rd International Synthetic and Systems Biology Summer School is a
  great opportunity to exchange ideas and information with colleagues
  and peers from around the world and discover the latest trends and new
  exciting results in Synthetic and Systems Biology.
* Further details: ssbss.school@gmail.com
  http://www.taosciences.it/ssbss/
* Previous Editions:
  SSBSS 2015 http://www.taosciences.it/ssbss2015/
  SSBSS 2014 http://www.taosciences.it/ssbss2014/



29TH EUROPEAN SUMMER SCHOOL IN LOGIC, LANGUAGE AND INFORMATION (ESSLLI 2017)
  Call for Course and Workshop Proposals
  17-28 July, 2017, Toulouse, France
  https://www.irit.fr/esslli2017
* IMPORTANT DATES (with extended deadline)
  15 July 2016: Proposal submission deadline
  30 September 2016: Notification
* SUBMISSION PORTAL
  Please submit your proposals here:
  https://easychair.org/conferences/?conf=esslli2017
* TOPICS AND FORMAT Proposals for courses and workshops at ESSLLI 2017
  are invited in all areas of Logic, Linguistics and Computing
  Sciences. Cross-disciplinary and innovative topics are particularly
  encouraged. Each course and workshop will consist of five 90 minute
  sessions, offered daily (Monday-Friday) in a single week.
* PROGRAMME COMMITTEE
  Chair:
        Shravan Vasishth, Universitaet Potsdam
  Local co-chair:
        Philippe Balbiani, IRIT, Toulouse
  Language and Computation:
        Sebastian Pado, Universitaet Stuttgart
        Mehrnoosh Sadrzadeh, University of London
  Language and Logic:
        Denis Bonnay, l'Universite Paris Ouest
        Jessica Rett, UCLA
  Logic and Computation:
        Tomer Kotek, Technische Universitaet Wien
        Anna Zamansky, University of Haifa
* FURTHER INFORMATION:
  Please send any queries you may have to vasishth dot shravan at gmail dot com.



30th DEDUCTION MEETING/DEDUKTIONSTREFFEN 2016
  Call for Papers
  September 26, 2016, Alpen Adria University, Klagenfurt, Austria
  Hosted by KI 2016.
  https://fg-dedsys.gi.de/dt2016.html
* The annual meeting Deduktionstreffen is the prime activity of the
  Interest Group for Deduction Systems (FGDedSys) of the German
  Informatics Society.
  It is a meeting with a familiar, friendly atmosphere, where all
  members and friends of the German deduction community are invited to
  present, discuss and share their latest research results and ideas
  in an informal setting.
* A particular focus of the Deduktionstreffen is on young researchers
  and students, who are particularly encouraged to present their
  ongoing research projects to a wider audience. Another goal of the
  meeting is stimulate networking effects and to foster collaborative
  research projects.
* Invited Speakers:
   - Armin Biere
   - Cezary Kaliszyk
* We welcome contributions on all theoretical, experimental and
  application aspects of deduction. Accepted abstracts will be
  presented as 5min teaser talks followed by a poster presentation.
* Important dates:
   - Early bird submission: July 15
   - Standard submission: August 15



ARVI COST SUMMER SCHOOL ON RUNTIME VERIFICATION (ARVI COST 2016)
  Call for Participation
  September 23-25, Madrid, Spain
  https://rv2016.imag.fr/?page_id=128
* The first edition of the ARVI COST Summer School on Runtime
  Verification: Branches of Practical Topics Rooted in Theory will be
  co-located with the 16th International Conference on Runtime
  Verification in Madrid and organised over three days with a series
  of lectures from international experts in the field.
* TOPICS:
  - The basics of runtime verification
  - Instrumentation techniques
  - Specification languages
  - Monitor parametrisation
  - Monitoring concurrency errors
  - Performance issues of monitors
  - Combination of static and dynamic analysis
  - Monitoring of distributed systems
  - Time-triggered monitoring
* Confirmed Speakers:
  -  Prof. Wolfgang Ahrendt - Chalmers University of Technology
     and University of Gothenburg (Sweden)
  -  Prof. Ezio Bartocci - University of Vienna (Austria).
  -  Prof. Borzoo Bonakdarpour - University of MacMaster (Canada).
  -  Dr. Marius Bozga - CNRS - Verimag (France).
  -  Dr. Christian Colombo - University of Malta (Malta).
  -  Dr. Ylies Falcone - University of Grenoble (France).
  -  Dr. Adrian Francalanza - University of Malta (Malta).
  -  Dr. Klaus Havelund - NASA Jet Propulsion Laboratory (USA).
  -  Prof. Martin Leucker - University of Lübeck (Germany).
  -  Prof. Joao Lourenço - Universidade Nova de Lisboa (Portugal).
  -  Prof. Dejan Nikovic Technical University of Vienna (Austria).
  -  Prof. Gordon Pace - University of Malta (Malta).
  -  Dr. Giles Reger - University of Manchester (UK).
* Application Procedure and Important Dates:
  Deadline for Applications: July 15, 2016.
  Response to Applicants: July 20, 2016.
  Online Registration and Fee payment: July 29, 2016.
* More details can be found at: https://rv2016.imag.fr/?page_id=128.
  Enquiries can be sent to Ylies.Falcone@imag.fr or
  Christian.Colombo@um.edu.mt.



18TH INTERNATIONAL SYMPOSIUM ON STABILIZATION, SAFETY, AND SECURITY OF
DISTRIBUTED SYSTEMS (SSS 2016)
  Call for Papers
  Lyon, France, November 7-10, 2016
  http://graal.ens-lyon.fr/ SSS16/
* The Symposium on Stabilization, Safety, and Security of Distributed
  Systems is an international forum for researchers and practitioners
  working on the design and development of distributed systems that
  guarantee specific desired properties despite adversity, or that are
  able to restore the desired properties following adversarial
  perturbations in the computing medium building on the principles of
  self-stabilization.  The symposium encourages the submission of
  original contributions spanning fundamental research and practical
  applications within its scope, covered by the three symposium
  tracks.
* TOPICS AND TRACKS
* Track 1: Self-* and Autonomic Computing
  - Self-stabilizing systems
  - Self-organizing, self-managing, and self-configuring systems
  - Self-optimizing and self-healing systems
  - Self-protecting and self-repairing systems
  - Autonomic cloud computing
  - Autonomous vehicles
* Track 2: Foundations
  - Theory of self-stabilization
  - Distributed algorithms
  - Fault-Tolerant distributed systems
  - Formal methods, validation, verification, and synthesis
  - Safety and security
* Track 3: Networks, Multi-Agent Systems, and Mobility
  - Self-Stabilizing networks
  - Peer-to-peer networks
  - Sensor networks, MANETs, and wireless mesh networks
  - Large and extreme scale systems
  - Distributed robot systems
  - Cooperating multi-agent distributed systems
  - Dynamic systems and networks
  - Overlay networks
  - Social networks
  - High-Speed networks
* IMPORTANT DATES
  - Abstract Submission: July 17
  - Paper Submission: July 24
  - Notification: September 12
  - Camera Ready Submission: September 23
  - Authors Registration: September 23
  - Early Registration: October 7
  - Conference: November 7-10
* Keynote Speakers
  Hagit Attiya (Technion, Israel)
  Joseph Halpern (Cornell University, USA)
  TBA
* General Chair:
  Franck Petit (Universite Pierre et Marie Curie, LIP6, France)
* Program Committee Chair:
  Borzoo Bonakdarpour (McMaster University, Canada)
* Program Chairs
  - Track 1: Self-* and Autonomic Computing
    Stephane Devismes, co-chair (University of Grenoble, France)
    Manish Parashar, co-chair (Rutgers University, USA)
  - Track 2: Foundations
    Vijay Garg, co-chair (University of Texas - Austin, USA)
    Sergio Rajsbaum, co-chair (UNAM, Mexico)
  - Track 3: Networks, Multi-Agent Systems, and Mobility
    Yvonne-Anne Pignolet, co-chair (ABB Corporate Research, Switzerland)
    Roger Wattenhofer, co-chair (ETH-Zurich, Switzerland)
* The program committee will select two papers for the best paper and
  best student paper awards.



THE 20TH INTERNATIONAL CONFERENCE ON DATABASE THEORY (ICDT 2017)
  Call for papers
  27-31 March, 2017, Venice, Italy
  http://www.cs.ox.ac.uk/people/michael.benedikt/icdt17.html
* The series of ICDT conferences (http://icdt.tu-dortmund.de/)
  provides an international forum for the communication of research
  advances on the theoretical foundations of database systems.
* ICDT has made significant changes to its submission dates, in
  co-ordination with its sibling conference PODS. There are now two
  submission cycles, with the first providing the possibility of
  revision.
* First submission cycle:
  Abstract deadline: March 18, 2016
  Full paper submission deadline: March 25, 2016
  Accept/Reject/Revise Notification: May 29, 2016
* Second submission cycle:
  Abstract deadline: September 11, 2016
  Full paper submission deadline: September 18, 2016
  Notification: November 27, 2016
* Examples of relevant topics are: concurrency and recovery,
  distributed and parallel databases, cloud computing, connections
  between databases and knowledge representation, graph databases and
  (semantic) Web data, data mining, information extraction, search,
  data streams, data-centric (business) process management, workflows,
  web services, incompleteness, inconsistency, uncertainty in
  databases, data and knowledge integration and exchange, data
  provenance, views and data warehouses, metadata management,
  domain-specific databases (multi-media, scientific, spatial,
  temporal, text), deductive databases, data privacy and security,
  database aspects of machine learning, model theory, logics,
  algebras, computational complexity, design, semantics, query
  languages, data models, data structures, algorithms for data
  management.



Back to the LICS web page.