SIGLOG Monthly 190
March  6, 2017

*******************************************************************
* 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
  ACM SIGLOG Announcement
* DEADLINES
  Forthcoming Deadlines
* CALLS
  MFPS 33 - Call for papers
  TbILLC 2017 - Call for Papers
  WOLLIC 2017 - Call for Papers
  CSL 2017 - First Call For Papers
  WiL 2017 -   Call for Papers
  LORI-VI - First Call for Papers
  FOPPS 2017 - Call for Participation
  CALCO 2017 - Second Call for Papers
  NLS 2017 - First Announcement
  LearnAut 2017 - Call for Papers
  CCA 2017 -  Second Call for Papers
  DARe at LPNMR 2017 - Call for Papers
  METAFINITE 2017 - First Call for Presentations
  MARKTOBERDORF SUMMER SCHOOL -  Call for Participation
  ITP 2017 - Call for Papers
  FSCD 2017 - Second Call for Papers
  LACompLing 2017 - Call for papers
  ESORICS 2017 - Call For Papers
  MFCS 2017 - Call for Papers
  TABLEAUX 2017 - Call for Papers
  FroCoS 2017 - Call for Papers
  RV 2017 - 2nd Call for papers and tutorials
  LC 2017: First Announcement and Call for Submissions
  AIRIM'17 - Call for Papers
  TIME 2017 -  Call for Papers
  SyGuS-COMP 2017 - Call for Solvers and Benchmarks Submission
  NLS 2017 - Second announcement and call for papers
  GandALF 2017 - Preliminary Call for Papers
  RERS Challenge 2017 - Call for Papers
  RSSRail 2017 - Call for Papers
* JOB ANNOUNCEMENTS


ACM SIGLOG ANNOUNCEMENT
  http://siglog.acm.org
* The ACM has recently chartered a Special Interest Group on Logic and
  Computation (ACM SIGLOG).
* We are pleased to announce the 2016 ACM SIGLOG election results for
  the term of 1 July 2016 - 30 June 2019. The SIGLOG Chair is Prakash
  Panangaden and the other officers are Luke Ong (vice-Chair), Amy
  Felty (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
* MFPS 33
  Call for papers
  Ljubljana University, Slovenia, 12-15 June 2017
  http://coalg.org/mfps-calco2017
  Submission Deadline: March 10
* TbILLC 2017
  Call for Papers
  18-22 September, 2017, Kakheti, Georgia
  http://events.illc.uva.nl/Tbilisi/Tbilisi2017/
  Submission deadline: 15 March 2017
* WOLLIC 2017
  Call for Papers
  July 18th-21st, 2017, London, UK
  http://wollic.org.wollic2017/
  Mar 21, 2017: Full paper deadline
* CSL 2017
  Final Call For Papers
  August 20-24, 2017, Stockholm, Sweden
  https://www.csl17.conf.kth.se
  Paper submission deadline:  March 31, 2017
* WiL 2017
  Call for Papers
  June 19, 2017, Reykjavik, Iceland
  https://sites.google.com/site/firstwomeninlogicworkshop/
  Paper submission: 31 March 2017
* LORI-VI
  First Call for Papers
  September 11-14, 2017, Hokkaido University, Sapporo, Japan
  Submission deadline:  March 31, 2017
  http://golori.org/lori2017/
* FOPPS 2017
  Call for Participation
  Braga, Portugal, May 29th - June 4th 2017
  Registration: March 31, 2017 (early) and May 20, 2017 (late).
  http://probprogschool2017.di.uminho.pt/
* CALCO 2017
  Second Call for Papers
  June 13 - 16, 2017
  Ljubljana, Slovenia
  http://coalg.org/calco17/
  Paper submission: April 7, 2017
* NLS 2017
  First Announcement
  Stockholm, August 7 - 11, 2017
  https://www.sls17.conf.kth.se
* LearnAut 2017
  Call for Papers
  LICS 2017 Workshop
  June 19, Reykjavik (Iceland)
  Website: https://learnaut.wordpress.com/
  Submission deadline: April, 1st, 2017
* CCA 2017
  Second Call for Papers
  http://cca-net.de/cca2017/
  July 24-27, 2017, Daejeon, South Korea
  Submission deadline: April 3, 2017
* DARe at LPNMR 2017
  Call for Papers
  Espoo, Finland, 3 July 2017
  Deadline: 3 April 2017
  https://sites.google.com/view/dare-17
* METAFINITE 2017
  First Call for Presentations
  Affiliated with LICS 2017
  June 19 2017,  Reykjavik, Iceland
  http://cs.technion.ac.il/~janos/metafinte2017
  Submission: Friday 7 April 2017
* MARKTOBERDORF SUMMER SCHOOL
  Call for Participation
  Logical Methods for Safety and Security of Software Systems
  August 2-11 2017
  https://asimod.in.tum.de/2017/
  Apply online: https://asimod.in.tum.de/2017/participation.shtml
  Deadline: April 9
* ITP 2017
  Call for Papers
  Brasilia, Brazil - 25-29 September 2017
  Co-located with TABLEAUX 2017 and FroCoS 2017
  http://itp2017.cic.unb.br
  Paper submission deadline: April 10, 2017
* FSCD 2017
  Second Call for Papers
  Second Call for Papers
  4 - 7 September 2017, Oxford, UK
  http://www.cs.ox.ac.uk/conferences/fscd2017/
  Submission Deadline: 14 April 2017
* LACompLing 2017
  Call for papers
  Stockholm, August 18-19, 2017
  http://staff.math.su.se/rloukanova/LACompLing17.html
  Submission deadline for regular papers: April 14, 2017
* ESORICS 2017
  Call For Papers
  Oslo, Norway, September  11-15, 2017
  https://www.ntnu.edu/web/esorics2017/
  Paper submission deadline: April 19, 2017
* MFCS 2017
  Call for Papers
  Aalborg, Denmark, August 21-25, 2017
  http://mfcs2017.cs.aau.dk/
  Paper submission deadline: April 24th, 2017 (AoE)
* TABLEAUX 2017
  Call for Papers
  Brasilia, Brazil - 25-29 September 2017
  Co-located with FroCoS 2017 and ITP 2017.
  http://tableaux2017.cic.unb.br
  Submission deadline: April 25, 2017
* FroCoS 2017
  Call for Papers
  Brasilia, Brazil - 25-29 September 2017
  Co-located with TABLEAUX 2017 and ITP 2017
  http://frocos2017.cic.unb.br
  Submission deadline: April 28, 2017
* RV 2017
  Call for Papers and Tutorials
  September 13-16, Seattle, WA, USA
  http://rv2017.cs.manchester.ac.uk
  Paper and tutorial deadline: May 1, 2017 (Anywhere on Earth)
* LOGIC COLLOQUIUM 2017
  First Announcement and Call for Submissions
  August 14-20, 2017, Stockholm, Sweden
  https://www.lc17.conf.kth.se
  Abstract submission for contributed talks:  May 5, 2017
* AIRIM'17
  Call for Papers
  Prague, Czech Republic, 3 - 6 September, 2017
  https://www.fedcsis.org/2017/airim
  Paper submission (strict deadline): May 10 2017 23:59:59 pm HST
* TIME 2017
  Call for Papers
  Mons (Belgium), 16-18 October 2017
  http://informatique.umons.ac.be/time2017/
  Full papers due May 12
* SyGuS-COMP 2017
  Call for Solvers and Benchmarks Submission
  July 22, 2017 Heidelberg, Germany (with CAV and SYNT)
  http://www.sygus.org/SyGuS-COMP2017.html
  Benchmark submission deadline: 15 May 2017
* NLS 2017
  Second announcement and call for papers
  Stockholm, August 7 - 11, 2017
  Department of Mathematics, Kräftriket Campus, Stockholm University.
  https://www.sls17.conf.kth.se
  Early registration ends: May 15, 2017
* GandALF 2017
  Preliminary Call for Papers
  Rome, Italy,  20-22 September 2017
  http://gandalf2017.istc.cnr.it
  Paper submission deadline: May 26, 2017
* RERS Challenge 2017
  Call for Papers
  Santa Barbara, USA, July 2017.
  Deadline for all submission: 01.07.2017
* RSSRail 2017
  Call for Papers
  November 14-16, 2017, Pistoia, Italy
  https://conferences.ncl.ac.uk/rssrail/
  paper submission deadline: June 8, 2017



THE 33RD CONFERENCE ON THE MATHEMATICAL FOUNDATIONS OF PROGRAMMING
SEMANTICS (MFPS XXXIII)
  Ljubljana University, Slovenia, 12-15 June 2017
  http://coalg.org/mfps-calco2017
  Submission Deadline: March 10
* MFPS conferences are dedicated to the areas of mathematics, logic,
  and computer science that are related to models of computation in
  general, and to semantics of programming languages in
  particular. This is a forum where researchers in mathematics and
  computer science can meet and exchange ideas. The participation of
  researchers in neighbouring areas is strongly encouraged.
* TOPICS include, but are not limited to, the following:
  bio-computation; concurrent qualitative and quantitative distributed
  systems; process calculi; probabilistic systems; constructive
  mathematics; domain theory and categorical models; formal languages;
  formal methods; game semantics; lambda calculus;
  programming-language theory; quantum computation; security;
  topological models; logic; type systems; type theory. We also
  welcome contributions that address applications of semantics to
  novel areas such as complex systems, markets, and networks, for
  example.
* Conference home page:
* INVITED SPEAKERS
  - Rehana Patel, Olin College
  - Laura Kovacs, TU Wien
  - Dexter Kozen, Cornell University
  -  Amr Sabry, Indiana University
* TUTORIAL SPEAKERS AND SPECIAL SESSIONS
  Laure Daviaud, Warsaw
  - Algebraic automata theory
  Nate Foster, Cornell
  - Foundations of Network Programming, special session in honour of
    Dexter Kozen's 65th Birthday
  Ben Worrell, Oxford
  - Metrics and Privacy (Joint MPFS & CALCO)
  Derek Dreyer, MPI-SWS
  - Formal Verification
* IMPORTANT DATES:
  - Submission Deadline: March 10
  - Notification: April 28
  - Proceedings: May 19
  - Conference: June 12-15
* PROGRAM COMMITTEE:
  Alexandra Silva (Chair), London, UK



THE TWELFTH INTERNATIONAL TBILISI SYMPOSIUM ON LANGUAGE, LOGIC AND
COMPUTATION (TbILLC 2017)
  Call for Papers
  18-22 September, 2017, Kakheti, Georgia
  http://events.illc.uva.nl/Tbilisi/Tbilisi2017/
* The Twelfth International Tbilisi Symposium on Language, Logic and
  Computation will be held on 18-22 September 2017 in Kakheti,
  Georgia. The Programme Committee invites submissions for
  contributions on all aspects of language, logic and
  computation. Work of an interdisciplinary nature is particularly
  welcome. Areas of interest include, but are not limited to:
  - Natural language syntax, semantics, and pragmatics
  - Linguistic typology and semantic universals
  - Language evolution and learnability
  - Historical linguistics, history of logic
  - Natural logic, inference and entailment in natural language
  - Logic, games, and formal pragmatics
  - Logics for artificial intelligence
  - Constructive, modal and algebraic logic
  - Algorithmic game theory
  - Computational social choice
  - Formal models of multiagent systems
  - Information retrieval, query answer systems
  - Distributional and probabilistic models of information and meaning
* TUTORIALS:
  Language: Jakub Szymanik (University of Amsterdam)
  Logic: Sam van Gool (City College of New York)
  Computation: TBA
* INVITED SPEAKERS:
  - Language:
    Gemma Boleda (Universitat Pompeu Fabra)
    Ruth Kempson (King's College, London)
  - Logic:
    Alexander Kurz (University of Leicester)
    Eric Pacuit (University of Maryland, tbc)
  - Computation:
    Dexter Kozen (Cornell University)
    Alex Simpson (University of Ljubljana)
* More information will be available on the TbiLLC website:
    http://events.illc.uva.nl/Tbilisi/Tbilisi2017/
* PROGRAMME CHAIRS
    Wiebke      Petersen (Chair, University of Duesseldorf)
    Alexandra Silva (Chair, University College London)
* IMPORTANT DATES
  Submission deadline: 15 March 2017
  Notification: 15 May 2017
  Final abstracts due: 15 June 2017
  Registration deadline: 1 August 2017
  Symposium: September 18-22, 2017
* Programme and submission details can be found at:
  http://events.illc.uva.nl/Tbilisi/Tbilisi2017/



24th WORKSHOP ON LOGIC, LANGUAGE, INFORMATION AND COMPUTATION
(WoLLIC 2017)
  Call for Papers
  July 18th-21st, 2017, London, UK
  http://wollic.org.wollic2017/
* WoLLIC is an annual international forum on inter-disciplinary
  research involving formal logic, computing and programming theory,
  and natural language and reasoning. Each meeting includes invited
  talks and tutorials as well as contributed papers.
* Contributions are invited on all pertinent subjects, with particular
  interest in cross-disciplinary topics. Typical but not exclusive
  areas of interest are: foundations of computing and programming;
  novel computation models and paradigms; broad notions of proof and
  belief; proof mining, type theory, effective learnability; formal
  methods in software and hardware development; logical approach to
  natural language and reasoning; logics of programs, actions and
  resources; foundational aspects of information organization, search,
  flow, sharing, and protection; foundations of mathematics;
  philosophy of mathematics; philosophy of language; philosophical
  logic.  Proposed contributions should be in English, and consist of
  a scholarly exposition accessible to the non-specialist, including
  motivation, background, and comparison with related works.  Articles
  should be written in the LaTeX format of LNCS by Springer. They must
  not exceed 12 pages, with up to 5 additional pages for references
  and technical appendices. The paper's main results must not be
  published or submitted for publication in refereed venues, including
  journals and other scientific meetings.
* IMPORTANT DATES:
  Mar 14, 2017: Paper title and abstract deadline
  Mar 21, 2017: Full paper deadline,
  Apr 22, 2017: Author notification
  May 6, 2017: Final version deadline (firm).



26TH EACSL ANNUAL CONFERENCE ON COMPUTER SCIENCE LOGIC (CSL 2017)
  First Call For Papers
  August 20-24, 2017, Stockholm, Sweden
  https://www.csl17.conf.kth.se
  Paper submission: March 31, 2017
* AIM AND SCOPE
  Computer Science Logic (CSL) is the annual conference of the
  European Association for Computer Science Logic (EACSL). It is an
  interdisciplinary conference, spanning across both basic and
  application oriented research in mathematical logic and computer
  science and is intended for computer scientists whose research
  involves logic, as well as for logicians working on issues essential
  for computer science.
  CSL 2017 will be co-located with, and immediately preceded by, the
  Logic Colloquium 2017 (LC 2017). There will be a joint session of
  CSL 2017 and LC 2017 in the morning of August 20, as well as
  CSL-affiliated workshops during August 25-26.
* IMPORTANT DATES
  Abstract submission for contributed papers:     March 24, 2017
  Paper submission:                               March 31, 2017
  Notification:                                   May 31, 2017
  Abstract submission for short presentations:    June 4, 2017
  Notification on short presentations:            June 14, 2017
* INVITED SPEAKERS
  LC-CSL joint session highlight speakers:
  - Phokion Kolaitis, University of California, Santa Cruz
  - Wolfgang Thomas, RWTH Aachen
* CSL PLENARY SPEAKERS:
  - Laura Kovacs, Vienna University of Technology
  - Stephan Kreutzer, Technische Universit=C3=A4t Berlin
  - Meena Mahajan, Institute of Mathematical Sciences, Chennai
  - Marcus Veanes, Microsoft Research
* SPECIAL AND AFFILIATED EVENTS
  In addition to the plenary and contributed talks CSL 2017, the
  conference will also include the following events:
  - Joint session of CSL 2017 and LC 2017 in the morning of August 20,
    consisting of four plenary highlight talks, offered by speakers
    from both conferences.
  - Presentation of the Alonzo Church award for Outstanding
    Contributions to Logic and Computation,
  - Presentation of the EACSL Ackermann award for Outstanding
    Dissertation on Logic in Computer Science,
  - CSL-affiliated workshops, to be held as CSL co-located events:
     - Workshop on Logical Aspects of Multi-Agent Systems LAMAS 2017
       (August 25)
     - Workshop on Logic and Automata Theory (in memory of Zoltan
       Ezik) (August 25)
     - Workshop on Logic and Algorithms in Computational Linguistics
       LACompLing'17 (August  18-19)
* PC CHAIRS
  - Valentin Goranko (Stockholm University), PC co-chair
  - Mads Dam (KTH, Stockholm), PC co-chair
* CONTACTS AND ENQUIRIES
  With enquiries on organising matters, send email to: CSL
  2017philosophy.su.se
  With enquiries on scientific and programme issues, send email to: CSL
  2017easychair.org



WiL 2017 - WOMEN IN LOGIC WORKSHOP
  Second Call for Papers
  June 19, 2017, Reykjavik, Iceland
  https://sites.google.com/site/firstwomeninlogicworkshop/
* WHAT'S NEW: extended submission deadline and  modified submission
   information.
* We are holding the first Women in Logic (WiL) workshop as a LICS
  2017 associated workshop.  The workshop will provide an opportunity
  for women in the field to increase awareness of one another and one
  another's work, to combat the feeling of isolation. It will also
  provide an environment where women can present to an audience
  comprised of mostly women, replicating the experience that most men
  have at most LICS meetings; we hope that this will be particularly
  attractive to early-career women.
* Topics of interest of this workshop include but are not limited to
  the usual Logic in Computer Science (LICS) topics. These are listed
  as automata theory, automated deduction, categorical models and
  logics, concurrency and distributed computation, constraint
  programming, constructive mathematics, database theory, decision
  procedures, description logics, domain theory, finite model theory,
  formal aspects of program analysis, formal methods, foundations of
  computability, higher-order logic, lambda and combinatory calculi,
  linear logic, logic in artificial intelligence, logic programming,
  logical aspects of bioinformatics, logical aspects of computational
  complexity, logical aspects of quantum computation, logical
  frameworks, logics of programs, modal and temporal logics, model
  checking, probabilistic systems, process calculi, programming
  language semantics, proof theory, real-time systems, reasoning about
  security and privacy, rewriting, type systems and type theory, and
  verification.
* IMPORTANT DATES:
  Paper submission: 31 March 2017;
  Notification: 1 May 2017
* Invited Speakers: Claudia Nalon (University of Brasilia, Brasil),
  Catuscia Palamidessi (INRIA Saclay and LIX, France)
* Detailed information can be found on the webpage.



THE SIXTH INTERNATIONAL CONFERENCE ON LOGIC, RATIONALITY AND
INTERACTION (LORI-VI)
  First Call For Papers
  September 11-14, 2017, Hokkaido University, Sapporo, Japan
  Submission deadline:  March 31, 2017
  http://golori.org/lori2017/
* The International Conference on Logic, Rationality and Interaction
  (LORI) conference series aims at bringing together researchers
  working on a wide variety of logic-related topics that concern the
  understanding of rationality and interaction. The series aims at
  fostering a view of Logic as an interdisciplinary endeavour, and
  supports the creation of an East-Asian community of
  interdisciplinary researchers.
  For detailed conference information and registration, please visit
  the website at   http://golori.org/lori2017/ .
* INVITED SPEAKERS:
  Mike Dunn   (Indiana University, U.S.A.)
  Alan Hajek   (Australian National University)
  Nina Gierasimczuk  (Technical University of Denmark)
  Willemien Kets  (Northwestern University, U.S.A)
  Sara Negri  (University of Helsinki, Finland)
  Hiroakira Ono  (JAIST, Japan)
* PC CHAIRS:
  Alexandru Baltag  (University of Amsterdam, The Netherlands)
  Jeremy Seligman  (University of Auckland, New Zealand)
* CONTACTS:
  Programme:    The PC Chairs  mailto:lori6@easychair.org
  Conference:   Tomoyuki Yamada  mailto:tomoyuki.s.yamada@gmail.com



SCHOOL ON FOUNDATIONS OF PROGRAMMING AND SOFTWARE SYSTEMS (FOPPS 2017)
  Braga, Portugal, May 29th - June 4th 2017
  Registration: March 31, 2017 (early) and May 20, 2017 (late).
  http://probprogschool2017.di.uminho.pt/
* IMPORTANT DATES
  Early Registration:  March 31, 2017
  Late Registration:   May 20, 2017
* It is our greatest pleasure to announce the first edition of the
  School on Foundations of Programming and Software systems
  (FoPPS). The school is jointly funded by EATCS, ETAPS, ACM SIGLOG,
  and ACM SIGPLAN. The topic of the first edition is Probabilistic
  Programming.
* Probabilistic programming languages are used for modelling and
  analysis purposes across multiple areas of computer science,
  including machine learning, security, and quantitative biology. In
  particular, they provide a rigorous foundation for machine learning
  where they are used to describe probabilistic models and to perform
  inference in presence of uncertain information. Probabilistic
  programs are also used in cryptography and in privacy for modelling
  and quantifying security.
* The goal of the school is to introduce attendants to theoretical and
  practical aspects of programming languages, and will propose courses
  that cover the following topics: semantics, analysis, verification,
  applications to machine learning, privacy, and security. The school
  will have lectures by Andy Gordon, Catuscia Palamidessi, Christel
  Baier, Dexter Kozen, Frank Wood, Hongseok Yang, Javier Esparza,
  Michael Carbin, Peter Selinger, Prakash Panangaden, Sriram
  Sankaranarayanan, and Vitaly Shmatikov.
* For more information please check the school webpage:
  http://probprogschool2017.di.uminho.pt/
* Organisers: Luis Barbosa, Gilles Barthe, Joost-Pieter Katoen, Renato
  Neves, Alexandra Silva



7TH INTERNATIONAL CONFERENCE ON ALGEBRA AND COALGEBRA IN COMPUTER
SCIENCE (CALCO 2017)
  Second Call for Papers
  June 13 - 16, 2017
  Ljubljana, Slovenia
  http://coalg.org/calco17/
* IMPORTANT DATES
  Abstract submission:    April 3, 2017
  Paper submission:       April 7, 2017
  Author notification:    May 15, 2017
  Final version due:      May 31, 2017
* SCOPE
  CALCO aims to bring together researchers and practitioners with
  interests in foundational aspects, and both traditional and emerging
  uses of algebra and coalgebra in computer science.
  It is a high-level, bi-annual conference formed by joining the
  forces and reputations of CMCS (the International Workshop on
  Coalgebraic Methods in Computer Science), and WADT (the Workshop on
  Algebraic Development Techniques). Previous CALCO editions took
  place in Swansea (Wales, 2005), Bergen (Norway, 2007), Udine (Italy,
  2009), Winchester (UK, 2011), Warsaw (Poland, 2013) and Nijmegen
  (the Netherlands, 2015).
* INVITED SPEAKERS
    - Nicoletta Sabadini - University of Insubria, IT
    - Alex Simpson -  University of Ljubljana, SL
  Joint Session with MFPS on Metrics, Privacy and Learning:
    - James Worrell - University of Oxford, UK (joint with MFPS)
  Further Invited Speakers
    - Catuscia Palamidessi - Ecole polytechnique, FR (joint with MFPS)
    - Vincent Danos - Ecole normale superieure, FR (joint with MFPS)
    - Marco Gaboardi - University at Buffalo, USA (joint with MFPS)
* SPECIAL SESSION ON METRICS, PRIVACY AND LEARNING
  (joint event with MFPS)
* TOPICS OF INTEREST
  - Abstract models and logics
  - Specialised models and calculi
  - Algebraic and coalgebraic semantics
  - System specification and verification
  - Corecursion in Programming Languages
  - Algebra and Coalgebra in quantum computing
  - String Diagrams and Network Theory
* BEST PAPER AND BEST PRESENTATION AWARDS
  This edition of CALCO will feature two awards: a Best Paper Award
  whose recipients will be selected by the PC before the conference and
  a Best Presentation Award, elected by the participants.
* PC CHAIRS
  Filippo Bonchi (ENS Lyon, France, co-chair)
  Barbara Koenig (University of Duisburg-Essen, Germany, co-chair)
* SATELLITE WORKSHOPS: CALCO EARLY IDEAS AND CALCO TOOLS
  The CALCO Early Ideas Workshop is intended to enable presentation of
  work in progress and original research proposals. PhD students and
  young researchers are particularly encouraged to contribute.
  The CALCO Tools Workshop is dedicated to tools based on algebraic
  and/or coalgebraic principles.
  CALCO 2017 will run together with the CALCO Early Ideas Workshop,
  with dedicated sessions at the end of each conference day. CALCO
  Tools will take place on June 13.



THIRD NORDIC LOGIC SUMMER SCHOOL (NLS 2017)
  First Announcement
  Stockholm, August 7 - 11, 2017
  https://www.sls17.conf.kth.se
* The third Nordic Logic Summer School is arranged under the auspices
  of the Scandinavian Logic Society
  (http://scandinavianlogic.org/). The two previous schools were
  organized in Nordfjordeid, Norway (2013) and Helsinki (2015). The
  intended audience is advanced master students, PhD-students,
  postdocs and experienced researchers wishing to learn the state of
  the art in a particular subject. The school is co-located with Logic
  Colloquium 2017 (14-20 August) and Computer Science Logic 2017
  (21-24 August).
  The school will consist of 10 five-hour courses, running in two
  parallel streams. In addition, there will be short student
  presentations and poster sessions.
* LECTURERS AND COURSES
  The following lecturers and course topics are confirmed.
  Mirna Dzamonja (Univeristy of East Anglia) -- Set Theory
  Martin Escardo (Birmingham) -- Topological and Constructive Aspects
    of Higher-Order Computation
  Henrik Forssell (Oslo) -- Categorical Logic
  Volker Halbach (Oxford) -- Formal Theories of Truth
  Larry Moss (Indiana University, Bloomington) -- Natural Logic
  Anca Muscholl (LaBRI, Universite Bordeaux) -- Logic in Computer
  Science - Control and Synthesis, from a Distributed Perspective
  Eric Pacuit (University of Maryland) -- Logic and Rationality
  Peter Pagin and Dag Westerstahl (Stockholm University) -- Composi-
  	tionality
  Sara L. Uckelman (Durham) -- Medieval Logic
  Andreas Weiermann (Ghent) -- Proof Theory
* IMPORTANT DATES
  Registration
  Registration opens: March 6, 2017
  Early registration: June 2, 2017
  Late registration:  August 4, 2017.
  Submission of abstracts for presentations and posters
  Opening: March 6, 2017
  Closing: May 2, 2017
  Notification of acceptance: May 16, 2017
* FURTHER INFORMATION
  Further information about submissions, registration and
  accommodation possibilities will (in due time) be available on the
  NLS webpage:
  https://www.sls17.conf.kth.se
  Enquiries: nls2017@philosophy.su.se
* PC CHAIR
  Erik Palmgren (chair, Stockholm U).



LEARNING AND AUTOMATA - LICS 2017 WORKSHOP (LEARNAUT 2017)
  Call for Papers
  June 19, Reykjavik (Iceland)
  Website: https://learnaut.wordpress.com/
* Grammatical Inference (GI) studies machine learning algorithms for
  classical recursive models of computations like automata and
  grammars.  The expressive power of these models and the complexity
  of associated computational problems are a major research topic
  within theoretical computer science (TCS). This workshop aims at
  offering a favorable place for dialogue and at generating
  discussions between researchers from these two communities.  We
  invite submissions of recent works, possibly preliminary ones,
  related to the theme of the workshop. Similarly to how main machine
  learning conferences and workshops are organized, all accepted
  abstracts will be part of a poster session held during the workshop.
  Additionally, the Program Committee will select a subset of the
  abstracts for oral presentation. At least one author of each
  accepted abstract is expected to represent it at the workshop. A
  list of topics of interest can be found on the website.
* INVITED SPEAKERS, [TBC]:
  Kim G. Larsen (Aalborg),
  Mehryar Mohri (NYU & Google),
  Alexandra Silva (UCL)
* IMPORTANT DATES:
  - Submission deadline: April, 1st, 2017
  - Notification of acceptance: mid-April, 2017



FOURTEENTH INTERNATIONAL CONFERENCE ON COMPUTABILITY AND COMPLEXITY
IN ANALYSIS (CCA 2017)
  Call for Papers
  July 24-27, 2017, Daejeon, South Korea
  http://cca-net.de/cca2017/
  Submission deadline: April 3, 2017
* TOPICS
  - Computable analysis
  - Complexity on real numbers
  - Constructive analysis
  - Domain theory and analysis
  - Theory of representations
  - Computable numbers, subsets and functions
  - Randomness and computable measure theory
  - Models of computability on real numbers
  - Realizability theory and analysis
  - Reverse analysis
  - Real number algorithms
  - Implementation of exact real number arithmetic
* PC Chair
  Daniel Graca (Faro, Portugal)
* IMPORTANT DATES
  Submission deadline: April 3, 2017
  Notification of authors: May 1, 2017
  Final version: May 29, 2017
* Conference Web Page
  http://cca-net.de/cca2017/
* SATELLITE WORKSHOP ON REAL VERIFICATION
  A co-located "Workshop on Real Verification" will take place on
  Friday, July 28
  https://complexity.kaist.edu/CCA2017/workshop.html



THE FOURTH INTERNATIONAL WORKSHOP ON DEFEASIBLE AND AMPLIATIVE
REASONING (DARe)
  Call for Papers
  Espoo, Finland, 3 July 2017
  Deadline: 3 April 2017
  https://sites.google.com/view/dare-17
  held at the International Conference on Logic Programming and
  Nonmonotonic Reasoning (LPNMR 2017)
* Latest News
  There will be a special issue of the International Journal of
  Approximate Reasoning (IJAR) containing selected extended versions
  of papers that have been accepted at DARe. The call for this special
  issue is planned for late 2017. More information to follow.
* Workshop Description, Aims and Scope
  Classical reasoning is not flexible enough when directly applied to
  the formalization of certain nuances of human quotidian decision
  making. These involve different kinds of reasoning such as reasoning
  with uncertainty, exceptions, similarity, vagueness, incomplete or
  contradictory information and many others.
  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: 3 April 2017
  - Notification: 1 May 2017
  - Camera ready: 22 May 2017
  - Workshop date: 3 July 2017
* WORKSHOP CO-CHAIRS
  - Richard Booth, Cardiff University, UK
  - Giovanni Casini, University of Luxembourg
  - Ivan Varzinczak, CRIL, Univ. Artois & CNRS, France
* FURTHER INFORMATION
  Please visit the workshop website
  (https://sites.google.com/view/dare-17) for further information and
  regular updates.
  Enquiries should be sent to dare.to.contact.us@gmail.com



WORKSHOP ON METAFINITE MODEL THEORY AND DEFINABILITY AND COMPLEXITY OF
NUMERIC GRAPH PARAMETERS  (METAFINITE 2017)
  First Call for Presentations
  Affiliated with LICS 2017
  June 19 2017,  Reykjavik, Iceland
  http://cs.technion.ac.il/~janos/metafinte2017
* AIM:
  The workshop will bring together three strands of investigation
  dealing with the model theory and complexity of numeric graph
  parameters and their generalization to other first order structures.
  (A) Gurevich and Graedel in 1998 initiated the study of metafinite
  model theory to study descriptive complexity of numeric parameters.
  Metafinite model theory found most of its applications in databases
  and abstract state machines (ASM), but was not widely studied in
  connection to numeric combinatorial parameters.
  (B) Courcelle, Makowsky and Rotics initiated a definability theory
  for graph polynomials in 2000 and proved metatheorems for graph
  polynomials and numeric structural parameters.
  (C) Kotek, Makowsky and Ravve questioned wether the Turing model of
  computation was the right choice to discuss the complexity of
  numeric graph parameters and proposed alternatives using the
  Blum-Shub-Smale model of computation.
  The aim of the workshop is to bring together researchers of these
  three strands in order to further explore and elaborate on the
  appropriate framework for the study of numeric structural parameters
  and polynomials and to investigate further metatheorems.
  For more background see http://cs.technion.ac.il/~janos/metafinte2017
* ORGANIZERS and PC:
  A. Goodall (Charles University, Prague)
  J.A. Makowsky (Technion, Haifa)
  E.V. Ravve (ORT-Braude, Karmiel)
* CONFIRMED SPEAKERS:
  E. Graedel (RWTH, Aachen)
  K. Meer (BTU, Cottbus)
  M. Ziegler (KAIST, Southkorea)
  T. Kotek (TU, Vienna)
* IMPORTANT DATES (AoE):
  Submission: Friday 7 April 2017
  Notification: Monday 24 April 2017
  Final version: Monday 15 May 2017
  Workshop: Monday June 19 2017
* CONTACT:
  For further questions write to Dr. Elena Ravve at
  cselena@braude.ac.il



MARKTOBERDORF SUMMER SCHOOL
  Call for Participation
  Logical Methods for Safety and Security of Software Systems
  August 2-11 2017
  https://asimod.in.tum.de/2017/
* Apply online: https://asimod.in.tum.de/2017/participation.shtml
  Deadline: April 9
* The "Marktoberdorf Summer School" is an 11-day event for young
  computer scientists and mathematicians, typically doctoral and
  post-doctoral researchers. It provides mini-courses on
  state-of-the-art topics in "Logical Methods for Safety and Security
  of Software Systems" and leaves ample room for interaction between
  participants and speakers.
* SPEAKERS AND COURSES:
  CHRISTEL BAIER:
     Probabilistic Model Checking
  GILLES BARTHE:
     Relational Verification for Differential Privacy and Cryptography
  NICOLAJ BJORNER:
     Satisfiability Modulo Theories
  CEDRIC FOURNET:
     Security Verification in F*
  ORNA GRUMBERG:
     Program Repair
  JOOST-PIETER KATOEN:
     Foundations of Probabilistic Programming
  DANIEL KROENING:
     Static Analysers for Black Hats and White Hats
  ORNA KUPFERMANN:
     Automated Synthesis of Temporal-Logic Specifications
  MAGNUS MYREEN:
     Verification of an ML Compiler
  TOBIAS NIPKOW:
     Verified Analysis of Functional Data Structures
  LARRY PAULSON:
     Proof Support for Hybrid System Analysis
  ANDRE PLATZER:
     Dynamic Logic for Dynamical Systems



8th INTERNATIONAL CONFERENCE ON INTERACTIVE THEOREM PROVING (ITP 2017)
  Call for Papers
  Brasilia, Brazil - 25-29 September 2017
  Co-located with TABLEAUX 2017 and FroCoS 2017
  http://itp2017.cic.unb.br
* The ITP conference series is concerned with all topics related to
  interactive theorem proving, ranging from theoretical foundations to
  implementation aspects and applications in program verification,
  security, and formalization of mathematics. ITP is the evolution of
  the TPHOLs conference series to the broad field of interactive theorem
  proving. TPHOLs meetings took place every year from 1988 until 2009.
* PROGRAM CHAIRS
  Mauricio Ayala-Rincon, University of Bras=C3=ADlia
  Cesar Munoz, NASA
* ORGANISATION
  University of Brasilia
  Federal University of Rio Grande do Norte
* IMPORTANT DATES
  Abstract submission deadline: April 3, 2017
  Full paper submission deadline: April 10, 2017
  Author notification:  June 2, 2017
  Camera-ready papers:  June 30, 2017



SECOND INTERNATIONAL CONFERENCE ON FORMAL STRUCTURES FOR COMPUTATION
AND DEDUCTION (FSCD'17)
  Second Call for Papers
  4 - 7 September 2017, Oxford, UK
  in-cooperation with the ACM SIGLOG and SIGPLAN and co-located with
  ICFP 2017
  http://www.cs.ox.ac.uk/conferences/fscd2017/
* FSCD (http://fscdconference.org/) covers all aspects of formal
  structures for computation and deduction from theoretical
  foundations to applications.  Building on two communities, RTA
  (Rewriting Techniques and Applications) and TLCA (Typed Lambda
  Calculi and Applications), FSCD embraces their core topics and
  broadens their scope to closely related areas in logics, proof
  theory and new emerging models of computation such as quantum
  computing or homotopy type theory.
* IMPORTANT DATES.
  All deadlines are midnight anywhere-on-earth (AoE)
  and are firm; late submissions will not be considered.
  - Abstract Deadline:  7 April 2017
  - Submission Deadline: 14 April 2017
  - Rebuttal:  29--31 May   2017
  - Notification: 14 June  2017
  - Camera-Ready: 7 July  2017
* TOPICS. Suggested, but not exclusive, list of topics for submission are:
   1. Calculi: Lambda calculus * Concurrent calculi * Logics * Rewriting
   systems * Proof theory * Type theory and logical frameworks
   2. Methods in Computation and Deduction: Type systems * Induction and
   coinduction * Matching, unification, completion, and orderings *
   Strategies * Tree automata * Model checking * Proof search and
   theorem proving * Constraint solving and decision procedures
   3. Semantics: Operational semantics * Abstract machines * Game
   Semantics * Domain theory and categorical models * Quantitative
   models
   4. Algorithmic Analysis and Transformations of Formal Systems: Type
   Inference and type checking * Abstract Interpretation * Complexity
   analysis and implicit computational complexity * Checking
   termination, confluence, derivational complexity and related
   properties * Symbolic computation
   5. Tools and Applications: Programming and proof environments *
   Verification tools * Libraries for proof assistants and interactive
   theorem provers * Case studies in proof assistants and interactive
   theorem provers * Certification
* BEST PAPER AWARD BY JUNIOR RESEARCHERS The program committee will
  consider declaring this award to a paper in which all authors are
  junior researchers: a junior researcher is a person who is either a
  student or whose PhD award date is less than three years from the
  first day of the meeting.
* PROGRAM COMMITTEE CHAIR
  Dale Miller, Inria Saclay & LIX 



WORKSHOP ON LOGIC AND ALGORITHMS IN COMPUTATIONAL LINGUISTICS
(LACOMPLING 2017)
  Call for papers
  Stockholm, August 18-19, 2017
  http://staff.math.su.se/rloukanova/LACompLing17.html
* Affiliated with the 26th Annual EACSL Conference on Computer Science
  Logic CSL'2017 (Stockholm, 20--26 August 2017)
  https://www.csl17.conf.kth.se/
* Co-located with Logic in Stockholm 2017:
  https://www.lis17.conf.kth.se/
* DESCRIPTION
  Computational linguistics studies natural language in its various
  manifestations from a computational point of view, both on the
  theoretical level (modeling grammar modules dealing with natural
  language form and meaning, and the relation between these two) and
  on the practical level (developing applications for language and
  speech technology). Right from the start in the 1950ties, there have
  been strong links with computer science and logic - one can think of
  Chomsky's contributions to the theory of formal languages and
  automata, or Lambek's logical modeling of natural language
  syntax. The workshop assesses the place of computer science logic in
  present day computational linguistics. It intends to be a forum for
  presenting new results as well as work in progress.
* SCOPE The workshop focuses on logical approaches to the
  computational processing of natural language, and on the
  applicability of methods and techniques from the study of artificial
  languages (programming/logic) in computational linguistics.
* TOPICS. The topics of LACompLing2017 include, but are not limited
  to:
  - Computational theories of human language
  - Computational syntax
  - Computational semantics
  - Computational syntax-semantics interface
  - Interfaces between morphology, lexicon, syntax, semantics, speech,
   text, pragmatics
  - Computational grammar
  - Logic and reasoning systems for linguistics
  - Type theories for linguistics
  - Models of computation and algorithms for linguistics
  - Language processing
  - Parsing algorithms
  - Generation of language from semantic representations
  - Large-scale grammars of natural languages
  - Multilingual processing
  - Data science in language processing
  - Machine learning of language
  - Interdisciplinary methods
  - Integration of formal, computational, model theoretic, graphical,
   diagrammatic, statistical, and other related methods
  - Logic for information extraction or expression in written and spoken language
  - Language theories based on biological fundamentals of information
   and languages
  - Computational neuroscience of language
* IMPORTANT DATES
  Submission deadline for regular papers:          April 14, 2017
  Notification of paper acceptance:                May 31, 2017
  Deadline for abstracts of short presentations:   June 4, 2017
  Notifications for short presentations:           June 12, 2017
  Deadline for final submissions:                  June 25, 2017
  Workshop:                                        August 18-19, 2017
* CONTACT
  Roussanka Loukanova (rloukanova@gmail.com)
  Valeria de Paiva (valeria.depaiva@gmail.com)



TWENTY-SECOND EUROPEAN SYMPOSIUM ON RESEARCH IN COMPUTER SECURITY
(ESORICS 2017)
  Call for Papers
  Oslo, Norway, September  11-15, 2017
  https://www.ntnu.edu/web/esorics2017/
* OVERVIEW
  ESORICS is the annual European research event in Computer Security.
  The Symposium started in 1990 and has been held in several European
  countries, attracting a wide international audience from both the
  academic and industrial communities. Papers offering novel research
  contributions in computer security are solicited for submission to
  the Symposium. The primary focus is on original, high quality,
  unpublished research and implementation experiences. We encourage
  submissions of papers discussing industrial research and
  development.
* IMPORTANT DATES
  - Paper submission deadline: April 19, 2017
  - Notification to authors: June 16, 2016
  - Camera ready due: July 26, 2016
* TOPICS OF INTEREST
  Topics of interest include, but are not limited to:
  - access control
  - accountability
  - ad hoc networks
  - anonymity
  - applied cryptography
  - authentication
  - biometrics
  - data and computation integrity
  - database security
  - data protection
  - digital content protection
  - digital forensics
  - distributed systems security
  - embedded systems security
  - inference control
  - information hiding
  - identity management
  - information flow control
  - information security governance and management
  - intrusion detection
  - formal security methods
  - language-based security
  - network security
  - phishing and spam prevention
  - privacy
  - privacy preserving data mining
  - risk analysis and management
  - secure electronic voting
  - security architectures
  - security economics
  - security metrics
  - security models
  - security and privacy for big data
  - security and privacy in cloud scenarios
  - security and privacy in complex systems
  - security and privacy in content centric networking
  - security and privacy in crowdsourcing
  - security and privacy in the IoT
  - security and privacy in location services
  - security and privacy for mobile code
  - security and privacy in pervasive / ubiquitous computing
  - security and privacy policies
  - security and privacy in social networks
  - security and privacy in web services
  - security and privacy in cyber-physical systems
  - security, privacy and resilience in critical infrastructures
  - security verification
  - software security
  - systems security
  - trust models and management
  - trustworthy user devices
  - usable security and privacy
  - web security
  - wireless security
* PROGRAM COMMITTEE CHAIRS:
  - Dieter Gollman, Technische Universitat Hamburg-Harburg, Germany
  - Simon Foley, IMT Atlantique, France



42ND INTERNATIONAL SYMPOSIUM ON MATHEMATICAL FOUNDATIONS OF COMPUTER
SCIENCE (MFCS 2017)
  Call for Papers
  Aalborg, Denmark, August 21-25, 2017
  http://mfcs2017.cs.aau.dk/
* BACKGROUND:
  MFCS conference series is organized since 1972.  MFCS is a
  high-quality venue for original research in all branches of
  theoretical computer science. The broad scope of the conference
  encourages interactions between researchers who might not meet at
  more specialized venues.  MFCS 2017 consists of invited lectures and
  contributed talks, selected by an international program committee of
  researchers focusing on diverse areas of theoretical computer
  science. The conference will be accompanied by workshops.
* We encourage submission of original research papers in all areas of
  theoretical computer science, including (but not limited to) the
  following (alphabetically ordered):
  - algebraic and co-algebraic methods in computer science
  - algorithms and data structures
  - automata and formal languages
  - bioinformatics
  - combinatorics on words, trees, and other structures
  - computational complexity (structural and model-related)
  - computational geometry
  - computer-assisted reasoning
  - concurrency theory
  - cryptography and security
  - databases and knowledge-based systems
  - formal specifications and program development
  - foundations of computing
  - logics in computer science
  - mobile computing
  - models of computation
  - networks (incl. wireless, sensor, ad-hoc networks)
  - parallel and distributed computing
  - quantum computing
  - semantics and verification of programs
  - theoretical issues in artificial intelligence
  - types in computer science
* IMPORTANT DATES:
  - Abstract submission deadline: April 20th, 2017   (AoE)
  - Paper submission deadline:    April 24th, 2017   (AoE)
  - Notification of authors: June 12th, 2017    (AoE)
  - Camera-ready copies due: June 22nd, 2017    (AoE)
  - Early registration deadline: June 23rd, 2017    (AoE)
  - Late registration deadline: August 7th, 2017   (AoE; afterward, only
    on-site registration)
  - Conference dates: August 21 - 25, 2017
* PROGRAM CHAIRS:
  - Kim G. Larsen  - PC chair (Aalborg University, Denmark)
  - Hans L. Bodlaender - co-chair (Eindhoven University of Technology,
    Netherlands)
  - Jean-Francois Raskin - co-chair (Universite Libre de Bruxelles,
    Belgium)



26th INTERNATIONAL CONFERENCE ON AUTOMATED REASONING WITH
ANALYTIC TABLEAUX AND RELATED METHODS (TABLEAUX 2017)
  Call for Papers
  Brasilia, Brazil - 25-29 September 2017
  Co-located with FroCoS 2017 and ITP 2017.
  http://tableaux2017.cic.unb.br
* TABLEAUX is the main international conference at which research
  on all aspects, theoretical foundations, implementation techniques,
  systems development and applications, of the mechanization of
  tableau-based reasoning and related methods is presented.
* Tableau methods offer a convenient and flexible set of tools for
  automated reasoning in classical logic, extensions of classical
  logic, and a large number of non-classical logics. For large groups
  of logics, tableau methods can be generated automatically.  Areas
  of application include verification of software and computer
  systems, deductive databases, knowledge representation and its
  required inference engines, teaching, and system diagnosis.
* PROGRAM CHAIRS
  Claudia Nalon, University of Brasilia, Brazil
  Renate Schmidt, The University of Manchester, UK
* IMPORTANT DATES
  Abstract deadline: April 18, 2017
  Submission deadline: April 25, 2017
  Notifications: June 8, 2017
  Camera-Ready deadline: July 3, 2017.
* AWARDS
  The TABLEAUX 2017 Best Paper Award will be presented to the best
  submission nominated and chosen by the Program Committee among
  the accepted papers.



11th INTERNATIONAL SYMPOSIUM ON FRONTIERS OF COMBINING
SYSTEMS (FroCoS 2017)
  Call for Papers
  Brasilia, Brazil - 25-29 September 2017
  Co-located with TABLEAUX 2017 and ITP 2017
  http://frocos2017.cic.unb.br
* The main goal of the symposium is to disseminate and promote progress
  in research areas related to the development of techniques for the
  integration, combination, and modularization of formal systems together
  with their analysis.
* In various areas of computer science, such as logic, computation,
  program development and verification, artificial intelligence,
  knowledge representation, and automated reasoning, there is an
  obvious need for using specialized formalisms and inference systems
  for selected tasks. To be usable in practice, these specialized
  systems must be combined with each other and integrated into general
  purpose systems. This has led---in many research areas---to the
  development of techniques and methods for the combination and
  integration of dedicated formal systems, as well as for their
  modularization and analysis.
* PROGRAM COMMITTEE CHAIRS
  Clare Dixon, University of Liverpool, UK
  Marcelo Finger, Universidade de Sao Paulo, Brazil
* ORGANISATION
  University of Brasilia
  Federal University of Rio Grande do Norte
* IMPORTANT DATES
  Abstract deadline: April 24, 2017
  Submission deadline: April 28, 2017
  Notifications: June 9, 2017
  Camera-Ready deadline: June 23, 2017.



THE 17TH INTERNATIONAL CONFERENCE ON RUNTIME VERIFICATION (RV 2017)
    Call for Papers and Tutorials
    September 13-16, Seattle, WA, USA
    http://rv2017.cs.manchester.ac.uk
    rv2017@easychair.org
* Runtime verification is concerned with the monitoring and analysis
  of the runtime behaviour of software and hardware systems. Runtime
  verification techniques are crucial for system correctness,
  reliability, and robustness; they provide an additional level of
  rigor and effectiveness compared to conventional testing, and are
  generally more practical than exhaustive formal
  verification. Runtime verification can be used prior to deployment,
  for testing, verification, and debugging purposes, and after
  deployment for ensuring reliability, safety, and security and for
  providing fault containment and recovery as well as online system
  repair.
* Topics of interest to the conference include, but are not limited to:
  - specification languages
  - monitor construction techniques
  - program instrumentation
  - logging, recording, and replay
  - combination of static and dynamic analysis
  - specification mining and machine learning over runtime traces
  - monitoring techniques for concurrent and distributed systems
  - runtime checking of privacy and security policies
  - statistical model checking
  - metrics and statistical information gathering
  - program/system execution visualization
  - fault localization, containment, recovery and repair
  - integrated vehicle health management (IVHM)
  - Application areas of runtime verification include cyber-physical
  - systems, safety/mission-critical systems, enterprise and systems
  - software, autonomous and reactive control systems, health management
  - and diagnosis systems, and system security and privacy.
* We welcome contributions exploring the combination of runtime
  verification techniques with machine learning and static analysis.
  Whilst these are highlight topics, papers falling into these
  categories will not be treated differently from other contributions.
* IMPORTANT DATES.
  - Abstract deadline: April 24, 2017 (Anywhere on Earth)
  - Paper and tutorial deadline: May 1, 2017 (Anywhere on Earth)
  - Tutorial notification: May 21, 2017
  - Paper notification: June 26, 2017
  - Camera-ready deadline: July 24, 2017
  - Conference: September 13-16, 2017
* INVITED SPEAKERS
  - Rodrigo Fonseca, Brown University, USA
  - Vlad Levin and Jakob Lichtenberg, Microsoft Research, USA
  - Andreas Zeller, Saarland University, Germany
* PROGRAM CHAIRS
  - Shuvendu Lahiri, Microsoft Research, USA
  - Giles Reger, University of Manchester, UK



LOGIC COLLOQUIUM 2017 (LC 2017)
  First Announcement and Call for Submissions
  August 14-20, 2017, Stockholm, Sweden
  https://www.lc17.conf.kth.se
* The Logic Colloquium 2017 (LC2017) is the 2017 Annual European
  summer meeting of the Association for Symbolic Logic (ASL) and will
  be held during August 14-20, 2017 at the main campus of Stockholm
  University.  The Logic Colloquium 2017 is organised and hosted
  jointly by the Departments of Mathematics and Philosophy at
  Stockholm University, and is also supported by the KTH Royal
  Institute of Technology.
*  LC2017 will be co-located with two other logic-related events, all
   taking place at Stockholm University:
   - the 3rd Nordic Logic Summer School, NLS2017, August 7-12
   - the 26th EACSL Annual Conference on Computer Science Logic,
     CSL2017, August 20-24.
* There will be a joint session of CSL2017 and LC2017 in the morning
  of August 20.  Further information about all events can be found at:
  https://www.lis17.conf.kth.se
* The programme of LC2017 will also include special sessions, which
  will be announced later.
* INVITED SPEAKERS
* Plenary speakers:
  - David Aspero (University of East Anglia)
  - Alessandro Berarducci (Pisa)
  - Elisabeth Bouscaren (Paris 11)
  - Christina Brech (Sao Paolo)
  - Sakae Fuchino (Kobe University)
  - Denis Hirschfeldt (University of Chicago)
  - Wilfrid Hodges (British Academy)
  - Emil Jerabek (Prague)
  - Per Martin-Löf (Stockholm University)
  - Dag Prawitz (Stockholm University)
  - Sonja Smets (University of Amsterdam)
* Tutorial speakers:
  - Patricia Bouyer-Decitre (LSV ENS Cachan)
  - Mai Gehrke (Paris 7)
* LC2017 invited highlight speakers for the joint LC-CSL session:
  - Veronica Becher (Buenos Aires)
  - Pierre Simon (UC Berkeley)
* IMPORTANT DATES
  - Abstract submission for contributed talks:  May 5, 2017
  - Notification:                               TBA
* PC CHAIR
  - Mirna Dzamonja (PC chair, University of East Anglia)
* CONTACTS AND ENQUIRIES
  For enquiries on scientific and programme issues, send email to:
  Mirna Dzamonja (M.Dzamonja@uea.ac.uk) For enquiries on organising
  matters, send email to: lc2017 at philosophy.su.se



2ND INTERNATIONAL WORKSHOP ON AI ASPECTS OF REASONING, INFORMATION,
AND MEMORY 2017 (AIRIM'17)
  Call for Papers
  Prague, Czech Republic, 3 - 6 September, 2017
  https://www.fedcsis.org/2017/airim
* SCOPE:
  There is general realization that computational models of languages
  and reasoning can be improved by integration of heterogeneous
  resources of information, e.g., multidimensional diagrams, images,
  language, syntax, semantics, quantitative data, memory. While the
  event targets promotion of integrated computational approaches, we
  invite contributions from any individual areas related to
  information, language, memory, reasoning.
* TOPICS:
  - Reasoning systems - theories and applications
  - Proof systems and model checkers
  - Theories of computation and information
  - Interactive computation and reasoning
  - Computation and reasoning with heterogeneous information
  - Space and time in information, language, memory, and reasoning
  - Partiality, underspecification, vagueness, and possibilities
  - Detection of and reasoning with inconsistency
  - Logic and language - approaches, theories, methods
  - Computational morphology, syntax, semantics, and interfaces between
    these
  - Constraint-based and type-theoretic approaches and grammars
  - Logical approaches to multilingual processing
  - Logical and computational foundations in machine learning and
    information retrieval
  - Mathematics for linguistics and cognitive science
  - Reasoning, information, and memory in computational neuroscience
    and life sciences
  - Interdisciplinary approaches to information, language, memory,
    and reasoning
* IMPORTANT DATES
  Paper submission (strict deadline): May 10 2017 23:59:59 pm HST
  Position paper submission: May 31, 2017
  Authors notification: June 14, 2017
  Final paper submission and registration: June 28, 2017
  Final deadline for discounted fee: August 01, 2017
  Conference dates: September 3-6, 2017
* ORGANIZERS
  Roussanka Loukanova, Stockholm University, Sweden
  M. Dolores Jimenez-Lopez, Universitat Rovira i Virgili, Spain
  Henning Christiansen, Roskilde University, Denmark
* CONTACT INFORMATION
  M. Dolores Jimenez-Lopez (mariadolores.jimenez@urv.cat)
  Roussanka Loukanova (rloukanova@gmail.com)



24th INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING
(TIME 2017)
  Call for Papers
  Mons (Belgium), 16-18 October 2017
  http://informatique.umons.ac.be/time2017/
* TIME 2017 aims to bring together researchers interested in reasoning
  about temporal aspects of information in any area of Computer
  Science. The symposium, currently in its 24th 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 (1) Artificial Intelligence, (2)
  Databases and (3) Logic and Verification. Submissions of high-quality
  papers describing research results are solicited. See the webpage
  for a detailed list of topics of interest.
* INVITED SPEAKERS:
  Alessandro Artale (Free University of Bozen-Bolzano);
  Javier Esparza (Technical University of Munich);
  Sheila McIlraith (University of Toronto)
* Authors of selected papers will be invited to submit an extended
  version of their contribution to a special issue of the journal
  Theoretical Computer Science.
* IMPORTANT DATES:
  Abstracts due May 8, 2017;
  Full papers due May 12, 2017;
  Notification June 27, 2017;
  Final version due July 14, 2017;
  Symposium: October 16-18, 2017



SYGUS-COMP 2017 4TH ANNUAL SYNTAX GUIDED SYNTHESIS COMPETITION
(SyGuS-COMP 2017)
  Call for Solvers and Benchmarks Submission
  July 22, 2017 Heidelberg, Germany (with CAV and SYNT)
  http://www.sygus.org/SyGuS-COMP2017.html
* The SyGuS Competition is an annual competition for solvers of the
  syntax-guided synthesis problem. This problem asks to find a program
  meeting a given logical formulae augmented with a grammar
  restricting the set of allowed implementations. These are formulated
  in SyGuS-IF, a logical formalism built on top of SMT-LIB.
* Benchmarks and Solvers submission is now open.
* IMPORTANT DATES:
  - 15 May 2017: Benchmark submission deadline
  - 7 June 2017: Deadline for first version of solvers
* Detailed information can be found on the webpage.



Third Nordic Logic Summer School (NLS 2017)
  Second announcement and call for papers
  Stockholm, August 7 - 11, 2017
  Department of Mathematics, Kräftriket Campus, Stockholm University.
  https://www.sls17.conf.kth.se
* The third Nordic Logic Summer School is arranged under the auspices
  of the Scandinavian Logic Society
  (http://scandinavianlogic.org/). The two previous schools were
  organized in Nordfjordeid, Norway (2013) and Helsinki (2015). The
  intended audience is advanced master students, PhD-students,
  postdocs and experienced researchers wishing to learn the state of
  the art in a particular subject. The school is co-located with Logic
  Colloquium 2017 (August 14-20) and Computer Science Logic 2017
  (August 21-24).
* The school will consist of 10 five-hour courses, running in two
  qparallel streams. In addition, there will be short student
  presentations and poster sessions.
* The lectures start on:
  Monday August 7, 9:00, and end Friday August 11, 16:15
* LECTURERS AND COURSES
  The following lecturers and course topics are confirmed.
  - Mirna Dzamonja (University of East Anglia)
  Set Theory
  - Martin Escardo (Birmingham)
  Topological and Constructive Aspects of Higher-Order Computation
  - Henrik Forssell (Oslo)
  Categorical Logic
  - Volker Halbach (Oxford)
  Truth & Paradox
  - Larry Moss (Indiana University, Bloomington)
  Natural Logic
  - Anca Muscholl (LaBRI, Université Bordeaux)
  Logic in Computer Science - Control and Synthesis, from a
  Distributed Perspective
  - Eric Pacuit (University of Maryland)
  Logic and Rationality
  - Peter Pagin and Dag Westerståhl (Stockholm University)
  Compositionality
  - Sara L. Uckelman (Durham)
  Medieval Logic
  - Andreas Weiermann (Ghent)
  Proof Theory
* IMPORTANT DATES
  - Registration:
    Registration opens: March 6, 2017
    Early registration ends: May 15, 2017
    Late registration ends: August 4, 2017
  - Submission of abstracts for presentations and posters:
    Opening: March 6, 2017
    Closing: May 2, 2017
    Notification of acceptance: May 9, 2017
* FURTHER INFORMATION
  Further information about submissions, registration and accommodation
  possibilities will (in due time) be available on the NLS webpage:
  General enquiries: nls2017 [at] philosophy.su.se
  Accommodation enquiries: logic2017-accommodation [at] math.su.se
* PROGRAM CHAIR
  Erik Palmgren (chair, Stockholm U)



THE EIGHTH INTERNATIONAL SYMPOSIUM ON GAMES, AUTOMATA, LOGICS, AND
FORMAL VERIFICATION (GandALF 2017)
  Rome, Italy,  20-22 September 2017
  http://gandalf2017.istc.cnr.it
* AIM.
  The aim of GandALF 2017 symposium is to bring together
  researchers from academia and industry which are actively working in
  the fields of Games, Automata, Logics, and Formal Verification. The
  idea is to cover an ample spectrum of themes, ranging from theory to
  applications, and stimulate cross-fertilization.
* TOPICS
  Papers focused on formal methods are especially welcome. Authors are
  invited to submit original research or tool papers on all relevant
  topics in these areas. Papers discussing new ideas that are at an
  early stage of development are also welcome. 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
* IMPORTANT DATES
  -  Abstract submission: May 19, 2017
  -  Paper submission: May 26, 2017
  -  Notification: July 7, 2017
  -  Camera-ready: July 31, 2017
  - Conference: Sept. 20-22, 2017
* PROGRAM CHAIRS
  - Patricia Bouyer-Decitre LSV, CNRS & ENS de Cachan, France
  - Pierluigi San Pietro, Politecnico di Milano, Italy



7TH INTERNATIONAL CHALLENGE ON THE RIGOROUS EXAMINATION OF REACTIVE
SYSTEMS (RERS 2017)
  Call for Papers
  Santa Barbara, USA, July 2017.
  co-located with ISSTA/SPIN 2017.
* RERS is designed to encourage software developers and researchers to
  apply and combine their tools and approaches in a free style manner
  to answer evaluation questions for reachability and LTL formulas on
  specifically designed benchmarks. The goal of this challenge is to
  provide a basis for the comparison of verification techniques and
  available tools. The benchmarks are automatically synthesized to
  exhibit chosen properties and then enhanced to include dedicated
  dimensions of difficulty, ranging from conceptual complexity of the
  properties (e.g. reachability, full safety, liveness), over size of
  the reactive systems (a few hundred lines to tens of thousands of
  them), to exploited language features (arrays and index
  arithmetics). They are therefore especially suited for
  community-overlapping tool comparisons.  What distinguishes RERS
  from other challenges is that the challenge problems can be
  approached in a free-style manner: it is highly encouraged to
  combine and exploit all known (even unusual) approaches to software
  verification. In particular, participants are not constrained to
  their own tools. To clearly separate RERS from other challenges,
  this year the LTL analysis is separated from the reachability of
  labels. RERS is then the only challenge with a special track for LTL
  analysis on synthesized benchmarks.
* The main aims of RERS 2017 are to : - encourage the combination of
  usually different research fields for better software verification
  results; - provide a comparison foundation based on differently
  tailored benchmarks that reveals the strengths and weaknesses of
  specific approaches; - initiate a discussion for better benchmark
  generation reaching out across the usual community barriers to
  provide benchmarks useful for testing and comparing a wide variety
  of tools.
* There will be a 1 day workshop where the results will be presented,
  the generation methodology will be explained, and the modalities for
  the RERS 2018 challenge, which will be part of ISoLA 2018 will be
  discussed. There is still a lot of time to get engaged, and
  collecting RERS achievements is a lot of fun!
* SCHEDULE:
* SEQUENTIAL PROBLEMS
  The sequential challenge just started. Its entire setup in online
  since a few days. Thus you can start right away. At least if you are
  a RERS newcomer, we would strongly recommend you to start with the
  training problems:
  (http://www.rers-challenge.org/2017/index.php?page=trainingphase)
  They are an ideal starting point for the challenge: They are smaller
  in size than the challenge problems but otherwise structurally
  equivalent. Moreover, an automatic checker (available on the same
  page) allows you to evaluate your own solutions. After having
  tackled the training problems it should be easy to move on to attack
  the challenge problems.
* PARALLEL PROBLEMS: 01.03.2017:
  The training problems for the parallel challenge wil be online
  01.05.2017: The setup for the parallel challlenge will be online.
* DEADLINE for all submission: 01.07.2017
  Please note that we want to specifically encourage also solutions
  from participants that work with tools developed by others.
* FURTHER INFORMATION
  More detailed information on the challenge can be found in the
  participants section of www.rers-challenge.org/2017. Looking forward
  to seeing you in Santa Barbara! Best regards Bernhard, Falk, Jaco,
  and Markus



INTERNATIONAL CONFERENCE ON RELIABILITY, SAFETY AND SECURITY OF
RAILWAY SYSTEMS: MODELLING, ANALYSIS, VERIFICATION AND CERTIFICATION -
(RSSRAIL 2017)
  Call for Papers
  November 14-16, 2017, Pistoia, Italy
  https://conferences.ncl.ac.uk/rssrail/
* AIMS.
  The railway industry is facing an increasing pressure to improve
  system safety, to decrease the production cost and time to market,
  to reduce the carbon emission and running cost, and to improve the
  system capacity.  Railway systems are now being integrated into
  larger multi-transport networks. Such systems require an even higher
  degree of automation at all levels of operation. These trends
  dramatically increase the complexity of railway applications and
  pose new challenges in developing novel methods of modelling,
  analysis, verification and validation to ensure their reliability,
  safety and security, as well as in supporting novel mechanisms and
  procedures to help argue that the development processes are meeting
  the standards. Following the success of RSSRail 2016 held in Paris
  on June 28-30, 2016, this conference will contribute to a range of
  key objectives. There is a pressing demand to bring together
  researchers and developers working on railway system reliability,
  security and safety to discuss how these requirements can be met in
  an integrated way.
* The conference aims to bring together researchers and engineers
  interested in building critical railway applications and
  systems. This will be a working conference in which research
  advances will be discussed and evaluated by both researchers and
  engineers focusing on their potential to be deployed in industrial
  settings.
* TOPICS. The topics of particular interest include
  - Safety in development processes and safety management
  - Combined approaches to safety and security
  - System and software safety analysis
  - Formal modelling and verification techniques
  - System reliability
  - Validation according to the standards
  - Safety and security argumentation
  - Fault and intrusion modelling and analysis
  - Evaluation of system capacity, energy consumption, cost and their interplay
  - Tool and model integration, toolchains
  - Domain-specific languages and modelling frameworks
  - Model reuse for reliability, safety and security
  - Modelling for maintenance strategy engineering.
* We are interested in the submissions of three types:
  - Research papers
  - Industrial experience reports
  - PhD student papers.
* IMPORTANT DATES:
  - June 1, 2017 - abstract submission
  - June 8, 2017 - paper submission deadline
  - July 8, 2017 - notification
  - August 18, 2017 - camera-read papers submitted
* CONFERENCE CHAIRS:
  Alessandro Fantechi, University of Firenze, Italy
  Thierry Lecomte, ClearSy, France
  Alexander Romanovsky, Newcastle University, UK



Back to the LICS web page.