SIGLOG Monthly 189
January 11, 2017

*******************************************************************
* Past issues of the newsletter are available at
 http://lics.siglog.org/newsletters/
* Instructions for submitting an announcement to the newsletter
 can be found at
 http://lics.siglog.org/newsletters/inst.html
*******************************************************************

TABLE OF CONTENTS
* NEWS
  THE 2017 ALONZO CHURCH AWARD FOR OUTSTANDING CONTRIBUTIONS TO LOGIC
   AND COMPUTATION (Call for Nominations)
  ACM SIGLOG Announcement
  BOOK ANNOUNCEMENT: Temporal Logics in Computer Science
* DEADLINES
  Forthcoming Deadlines
* CALLS
  CAV 2017 - Call for Papers
  ACSD 2017 - Call for papers
  CREST 2017 - Second Call for Papers
  FSCD 2017 - Call for Workshop Proposals
  ISORC 2017 - Call for Papers
  CIAA 2017 - Call for papers
  SAC SVT 2017 - Call for Participation
  SPIN 2017 - 2nd Call for Papers
  WiL 2017 -   Call for Papers
  WOLLIC 2017 - Call for Papers
  CSL 2017 - First Call For Papers
  LORI-VI - First Call for Papers
  FOPPS 2017 - Call for Participation
  CALCO 2017 - First Call for Papers
  NLS 2017 - First Announcement
  CCA 2017 -  First Call for Papers
  METAFINITE 2017 - First Call for Presentations
  ITP 2017 - Call for Papers
  TABLEAUX 2017 - Call for Papers
  FroCoS 2017 - Call for Papers
* JOB ANNOUNCEMENTS
  3-YEAR POSTDOC POSITION AT HASSELT UNIVERSITY


THE 2017 ALONZO CHURCH AWARD FOR OUTSTANDING CONTRIBUTIONS TO LOGIC
    AND COMPUTATION
  Call for Nominations
  Deadline: March 1, 2017
* INTRODUCTION
  An annual award, called the Alonzo Church Award for Outstanding
  Contributions to Logic and Computation, 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 Gödel Society (KGS). The award is for an outstanding
  contribution represented by a paper or by a small group of papers
  published within the past 25 years. This time span allows the
  lasting impact and depth of the contribution to have been
  established. The award can be given to an individual, or to a group
  of individuals who have collaborated on the research. For the rules
  governing this award, see:
  http://goo.gl/ZEq5GJ
* The 2016 Alonzo Church Award was given to Rajeev Alur and David Dill
  for their invention of timed automata, see:
  http://eacsl.kahle.ch/church16.pdf
* ELIGIBILITY AND NOMINATIONS
  The contribution must have appeared in a paper or papers published
  within the past 25 years. Thus, for the 2017 award, the cut-off date
  is January 1, 1992. When a paper has appeared in a conference and
  then in a journal, the date of the journal publication will
  determine the cut-off date. In addition, the contribution must not
  yet have received recognition via a major award, such as the Turing
  Award, the Kanellakis Award, or the Godel Prize. (The nominee(s) may
  have received such awards for other contributions.) While the
  contribution can consist of conference or journal papers, journal
  papers will be given a preference.
* Nominations for the 2017 award are now being solicited. The
  nominating letter must summarise the contribution and make the case
  that it is fundamental and outstanding. The nominating letter can
  have multiple co-signers. Self-nominations are excluded. Nominations
  must include: a proposed citation (up to 25 words); a succinct
  (100-250 words) description of the contribution; and a detailed
  statement (not exceeding four pages) to justify the
  nomination. Nominations may also be accompanied by supporting
  letters and other evidence of worthiness.
* Nominations are due by March 1, 2017, and should be submitted to
  gdp@inf.ed.ac.uk.
* PRESENTATION OF THE AWARD
  The 2017 award will be presented at the CSL conference, the annual
  meeting of the European Association for Computer Science Logic. The
  award will be accompanied by an invited lecture by the award winner,
  or by one of the award winners. The awardee(s) will receive a
  certificate and a cash prize of USD 2,000. If there are multiple
  awardees, this amount will be shared.
* AWARD COMMITTEE
  The 2017 Alonzo Church Award Committee consists of the following four
  members:
  Natarajan Shankar,
  Catuscia Palamidessi,
  Gordon Plotkin (chair),
  Moshe Vardi.



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



BOOK ANNOUNCEMENT:
  Temporal Logics in Computer Science
  by S. Demri and V. Goranko and M. Lange
  Cambridge University Press 2016, 752 Pages
  ISBN: 9781107028364
* This comprehensive text provides a modern and technically precise
  exposition of the fundamental theory and applications of temporal
  logics in computer science.
* Part I presents the basics of discrete transition systems, including
  constructions and behavioural equivalences. Part II examines the
  most important temporal logics for transition systems. Part III studies
  their expressiveness and complexity. Part IV describes the main
  computational methods and decision procedures for model checking
  and model building based on tableaux, automata and games.
* Further information can be found at
  www.cambridge.org/core_title/gb/434611



DATES
* CAV 2017
  Call for Papers
  Heidelberg, Germany, July 22-28, 2017
  http://cavconference.org/2017/
* ACSD 2017
  Call for Papers
  Zaragoza, Spain, June 28-30, 2017
  http://pn2017.unizar.es
  Submission deadline (papers): January 20, 2017
* CREST 2017
  Call for Papers
  http://se.uni-konstanz.de/crest2017
  April 29, 2017, Uppsala, Sweden
  A satellite event of ETAPS 2017
  Papers due: February 3, 2017
* FSCD 2017
  Call for Workshop Proposals
  http://www.cs.ox.ac.uk/conferences/fscd2017
  Submission of workshop proposals: January 30, 2017
* ISORC 2017
  Call for Papers
  http://isorc2017.org/
  May 16-18, 2017, The Fields Institute, Toronto, Canada
  Papers due: January 31, 2017
* CIAA 2017
  Call for Papers
  June 27-30, 2017, Université Paris-Est Marne-la-Vallée (France)
  http://ciaa17.univ-mlv.fr/
  Submission deadline: March 1st, 2017 AoE
* SAC SVT 2017
  Call for Participation
  A Track of the ACM Symposium on Applied Computing
  Marrakech, Morocco, April 3 - 7, 2017
  http://antares.sip.ucm.es/svt2017/
  Early Registration: Friday, February 3, 2017
* SPIN 2017
  2nd Call for Papers
  Santa Barbara, CA, USA, July 13-14, 2017
  Collocated with ISST
  http://conf.researchr.org/home/spin-2017
  Paper Submission: February 10, 2017*
* WiL 2017
  Call for Papers
  June 19, 2017, Reykjavik, Iceland
  https://sites.google.com/site/firstwomeninlogicworkshop/
  Paper submission: 17 Feb 2017;
* WOLLIC 2017
  Call for Papers
  July 18th-21st, 2017, London, UK
  http://wollic.org.wollic2017/
  Mar 21, 2017: Full paper deadline
* CSL 2017
  First Call For Papers
  August 20-24, 2017, Stockholm, Sweden
  https://www.csl17.conf.kth.se
  Paper submission: March 31, 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
  First 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
* CCA 2017
  First Call for Papers
  http://cca-net.de/cca2017/
  July 24-27, 2017, Daejeon, South Korea
  Submission deadline: April 3, 2017
* 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
* 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
* 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



29TH INTERNATIONAL CONFERENCE ON COMPUTER-AIDED VERIFICATION (CAV 2017)
  Call for Papers
  Heidelberg, Germany, July 22-28, 2017
  http://cavconference.org/2017/
* IMPORTANT DATES
  All deadlines are AOE (Anywhere on Earth).
  Papers:
    Paper submission:          January 24, 2017 (Tuesday)
    Author response period:    March 20-22, 2017 (Monday - Wednesday)
    Author notification:       April 12, 2017 (Wednesday)
    Final version:             May 5, 2017 (Friday)
  Conference:
    Workshops:                 July 22-23, 2017
    Main conference:           July 24-28, 2017
* CAV 2017 is the 29th in a series dedicated to the advancement of the
  theory and practice of computer-aided formal analysis and synthesis
  methods for hardware and software systems.  CAV considers it vital
  to continue spurring advances in hardware and software verification
  while expanding to domains such as cyber-physical, social, and
  biological systems.  The conference covers the spectrum from
  theoretical results to concrete applications, with an emphasis on
  practical verification tools and the algorithms and techniques that
  are needed for their implementation. The proceedings of the
  conference will be published in the Springer LNCS series. A
  selection of papers will be invited to a special issue of Formal
  Methods in System Design and the Journal of the ACM.
* Topics of interest include but are not limited to:
  Algorithms and tools for verifying models and implementations
  Algorithms and tools for system synthesis
  Mathematical and logical foundations of verification and synthesis
  Specifications and correctness criteria for programs and systems
  Deductive verification using proof assistants
  Hardware verification techniques
  Program analysis and software verification
  Software synthesis
  Hybrid systems and embedded systems verification
  Compositional and abstraction-based techniques for verification
  Probabilistic and statistical approaches to verification
  Verification methods for parallel and concurrent systems
  Testing and run-time analysis based on verification technology
  Decision procedures and solvers for verification and synthesis
  Applications and case studies in verification and synthesis
  Verification in industrial practice
  New application areas for algorithmic verification and synthesis
  Formal models and methods for security
  Formal models and methods for biological systems
* Lightweight Double-Blind Reviewing Process CAV 2017 will employ a
  lightweight double-blind reviewing process. This means that
  committee members will not have access to authors' names or
  affiliations as they review a paper; however, authors' names will be
  revealed once reviews have been submitted.
* CHAIRS
    Viktor Kuncak, EPFL, Switzerland
    Rupak Majumdar, Max Planck Institute for Software Systems, Germany
* CAV Award Committee
    Tom Ball  (Chair), Microsoft research
    Kim G. Larsen, Aalborg University
    Natarajan Shankar, SRI International
    Pierre Wolper, Liege University



17TH INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM
DESIGN (ACSD 2017)
  Call for Papers
  Zaragoza, Spain, June 28-30, 2017
  http://pn2017.unizar.es
* CONFERENCE SCOPE
  The conference aims at cross-fertilizing both theoretical and
  applied research about formal approaches (in a broad sense) to
  designing computer systems that exhibit some kind of concurrent
  behaviour. In particular, the following topics are of interest:
  - Formal models of computation and concurrency for the above
    systems and problems, like data-flow models, communicating
    automata, Petri nets, process algebras, graph rewriting systems,
    state charts, MSCs, modal and temporal logics
  - Compositional design principles like modular synthesis,
    distributed simulation and implementation, distributed control,
    adaptivity, supervisory control
  - Algorithms and tools for concurrent systems, ranging from
    programming languages to algorithmic methods for system analysis
    and construction, including model checking, verification, and
    static analysis techniques as well as synthesis procedures
  - Synchronous and asynchronous systems on all design levels:
    polychronous systems, endochronous systems, globally
    asynchronous locally synchronous systems
  - Cyber-physical systems, hybrid systems, networked systems, and
    networks in biological systems
  - High-performance computer architectures like many-core
    processors, networks on chip, graphics processing units,
    instruction-level parallelism, dataflow architectures, up to
    ad-hoc, mobile, and wireless networks
  - Memory consistency models for multiprocessor and multicore
    architectures, replicated data, including software and hardware
    memory models, DRAM scheduling, cache coherency, memory-aware
    algorithms
  - Real-time aspects, including hard real-time requirements,
    security and safety-critical issues, functional and timing
    verification
  - Implementation aspects like resource management, including task
    and communication scheduling, network-, memory-, and
    power-management, energy/power distribution, fault-tolerance,
    quality of service, scalability, load balancing, power
    proportionality
  - Design principles for concurrent systems, in particular
    hardware/software co-design, platform-based design,
    component-based design, energy-aware design, refinement
    techniques, hardware/software abstractions, cross-layer
    optimization
  - Business process modelling, workflow execution systems, process
    (de-)composition, inter-organizational and heterogeneous work
    flow systems, systems for computer-supported collaborative work,
    web services
  - Case studies of general interest, from industrial applications
    to consumer electronics and multimedia, automotive systems,
    (bio-)medical applications, neuromorphic applications, internet
    (of things) and grid computing, to gaming applications.
* IMPORTANT DATES
  Submission deadline (abstracts):    January 13, 201
  Submission deadline (papers):       January 20, 2017
  Notification of acceptance:         March 17, 2017
  Camera-ready submission deadline:   April 15, 2017
  Conference sessions:                June 26-30, 2017
* PROGRAM COMMITTEE CHAIRS
    Alex Legay, France
    Klaus Schneider, Germany



2ND INTERNATIONAL WORKSHOP ON CAUSAL REASONING FOR
EMBEDDED AND SAFETY-CRITICAL SYSTEMS TECHNOLOGIES (CREST 2017)
  Second Call for Papers
  http://se.uni-konstanz.de/crest2017
  April 29, 2017, Uppsala, Sweden
  A satellite event of ETAPS 2017
* Formal approaches for automated causality
  analysis, fault localization, explanation of events, accountability
  and blaming have been proposed independently by several communities -
  in particular, AI, concurrency, model-based diagnosis, software
  engineering, security engineering and formal methods. Work on these
  topics has significantly gained speed during the last years. The goals
  of this workshop are to bring together and foster exchange between
  researchers from the different communities, and to present and discuss
  recent advances and new ideas in the field. Topics of interest
  include, but are not limited to:
  - foundation of causal reasoning about systems in the philosophy of
    sciences
  - languages and logics for causal specification and causal analysis
  - definitions of causality and explanation
  - causality analysis on models, programs, and/or traces
  - fault localization
  - causal reasoning in security engineering
  - causality in accident analysis, safety cases and certification
  - fault ascription and blaming
  - accountability
  - applications, implementations, tools and case studies of the above
* SUBMISSION
  Papers should be prepared in EPTCS style with a length of up to 15
  pages. All contributions must be submitted via the EasyChair
  submission web site for CREST 2017:
  https://easychair.org/conferences/?conf=crest2017.
* KEYNOTES
  - Samantha Kleinberg, Stevens Institute of Technology, USA: The Logic
    of Causality
  - Marco Bozzano, Fondazione Bruno Kessler, Italy: Causality and
    temporal dependencies in the design of fault management
* ORGANIZERS
  Alex Groce, Oregon State University, USA
  Stefan Leue, University of Konstanz, Germany
* IMPORTANT DATES
  Abstracts due: January 27, 2017
  Papers due: February 3, 2017
  Notification: March 10, 2017
  Papers for informal participant's proceedings due: March 24, 2017
  Workshop date: April 29, 2017
  Papers for post-workshop EPTCS proceedings due: June 9, 2017



FORMAL STRUCTURES FOR COMPUTATION AND DEDUCTION (FSCD 2017)
  Call for Workshop Proposals
  September 2017, Oxford, UK
  http://www.cs.ox.ac.uk/conferences/fscd2017
* FSCD 2017, co-located with ICFP 2017, will be the second edition of
  the International Conference on Formal Structures for Computation
  and Deduction. The FSCD conference was created by the communities
  behind two major conferences, RTA (Rewriting Techniques and
  Applications) and TLCA (Typed Lambda Calculi and Applications). The
  first event took place in Porto, Portugal in June 2016 and was
  extremely successful, attracting 186 participants and 11 workshops.
* We invite proposals for workshops, tutorials or other satellite
  events, on any topic to related formal structures in computation and
  deduction, from theoretical foundations to tools and applications. A
  full list of suggested topics is given here:
    http://www.cs.ox.ac.uk/conferences/fscd2017/cfp.html
  Satellite events will take place on 7-9 September, after the main
  conference on 3-6 September. It is expected that satellite events
  would run for 1 or 2 days, and be open to participants of parallel
  events.
* PROPOSALS
  Proposals should be submitted by email directly to the workshop chair
  jamie.vicary@cs.ox.ac.uk, with the following information:
  - title of the satellite event, description of the topic and its
    relevance to FSCD;
  - names and affiliations of the organizers;
  - pointers to information about past editions of the event, if
    applicable;
  - proposed event duration and format (for example, paper
    presentations, tutorials, demo sessions, etc);
  - plans for invited speakers or special sessions;
  - estimate of the number of participants;
  - procedures for selecting papers and participants and plans for the
    publication of proceedings, if any;
  - tentative schedule for paper submission and notification of
    acceptance;
  - a brief description (up to 120 words) of the event for the website
    and publicity material;
  - any other special requirements.
* IMPORTANT DATES
  Submission of workshop proposals: January 30, 2017
  Notification of success of proposals: February 13, 2017
  Main conference: September 3-6, 2017
  Workshop dates: September 7-9, 2017



20TH IEEE INTERNATIONAL SYMPOSIUM ON REAL-TIME COMPUTING (ISORC 2017)
  Call for Papers
  http://isorc2017.org/
  May 16-18, 2017, The Fields Institute, Toronto, Canada
* Topics
  ISORC has become established as the leading event devoted to
  state-of-the-art research in the field of
  object/component/service-oriented real-time distributed computing
  (ORC) technology. The conference theme for 2017 will be "Scalable,
  Real Time Analytics". This theme will focus on both:
  - Algorithms and Computational Infrastructure to Support Real Time
  Data Analytics
  - Case Studies & Applications in Real Time Data Analytics
* In addition to high-quality theoretical papers, we solicit
  high-quality papers pertaining to the above application domains. We
  invite original submissions pertaining to all aspects of ORC
  technology and especially those that are well aligned with the 2017
  theme. These include, but are not limited to:
  - Programming and system engineering: real-time programming
  challenges, ORC paradigms, object/component models, languages,
  synchronous languages,
  - Embedded .NET, RT RMI, RT Java, UML, model-maintenance, system of
  systems, time-predictable systems and hardware.
  - Distributed computing and communication infrastructures: real-time
  communication, networked platforms, protocols, Internet QoS,
  peer-to-peer computing, sensor networks, VANETS and V2V and V2I
  communication, trusted and dependable systems.
  - Algorithms for Real Time Analytics: clustering and classification
  approaches, stream processing algorithms, real time decision tree
  generation and update, real time machine learning, statistical
  approaches. Approaches related to stream correlation and sampling,
  etc.
  - System software: real-time kernels and OS, middleware support for
  ORC, QoS management, extensibility, synchronization, resource
  allocation, scheduling, fault tolerance, security.
  - Applications: Medical devices, intelligent transportation systems,
  Industrial automation systems, Internet of Things and Smart Grids,
  Embedded systems (automotive, avionics,consumer electronics,
  building systems, sensors, etc), multimedia processing, RT Web-based
  applications.
  - System evaluation: performance analysis, monitoring & timing,
  dependability, end-to-end QoS, overhead, fault detection and
  recovery time.
  - Cyber-physical and Cyber-social systems (e.g. social media analytics)
* IMPORTANT DATES
  Submission deadline (papers and reports): January 31, 2017
  Submission deadline (PhD forum): February 15, 2017
  Notification of acceptance (all): March 5, 2017
  Camera ready papers deadline: March 20, 2017
* General Chairs
  Sebastian Fischmeister, University of Waterloo, Canada
  Mathias Pacher, Goethe University Frankfurt am Main, Germany
* PC Chairs
  Omer Rana, Cardiff University, UK
  Aaron Myrick, Aerospace Corporation, USA
  Arvind Easwaran, NTU, Singapore



22ND INTERNATIONAL CONFERENCE ON IMPLEMENTATION AND APPLICATION OF
AUTOMATA (CIAA 2017)
  Call for Papers
  June 27-30, 2017, Universite Paris-Est Marne-la-Vallee (France)
  http://ciaa17.univ-mlv.fr/
  Submission deadline: March 1st, 2017 AoE
* AIMS:
  The CIAA conference series, which was started in 1996, covers all
  aspects of implementation, application, and theory of automata and
  related structures. It aims to attract contributions from both
  classical automata theory and applications.
* TOPICS:
  Topics of interest include, but not limited to: algorithms on
  automata, automata and logic, bioinformatics, complexity of automata
  operations, compilers, computer-aided verification, concurrency,
  data structure design for automata, data and image compression,
  design and architecture of automata software, digital libraries,
  DNA/molecular/membrane computing, document engineering, editors,
  environments, experimental studies and practical experience,
  implementation of verification methods and model checking,
  industrial applications, natural language and speech processing,
  networking, new algorithms for manipulating automata,
  object-oriented modeling, pattern-matching, pushdown automata and
  context-free grammars, quantum computing, structured and
  semi-structured documents, symbolic manipulation environments for
  automata, transducers and multi-tape automata, techniques for
  graphical display of automata, VLSI, viruses and related phenomena,
  and the world-wide web.
* PROGRAMS:
  The scientific program will consist of invited lectures and
  presentations of papers selected by the international program
  committee, based on a thorough peer-reviewing process.  A Best Paper
  Awards (named after one of the conference founders, the late Sheng
  Yu) will be announced and presented during the conference.
* INVITED SPEAKERS:
  Veronique Cortier (CNRS, LORIA,France)
  Kim G. Larsen (Aalborg University, Denmark)
  Damien Pous (CNRS, ENS Lyon, France)
* PC CHAIRS
  Arnaud Carayol (Universite Paris-Est, France) (co-chair)
  Cyril Nicaud (Universite Paris-Est, France) (co-chair)
* IMPORTANT DATES:
  Submission deadline: March 1st, 2017 AoE
  Author notification: April 8, 2017
  Camera-ready version: April 18, 2017
  Conference: June 27 - 30, 2017
* CONTACT: ciaa17@u-pem.fr



SOFTWARE VERIFICATION AND TESTING (SAC SVT 2017)
  Call for Participation
  A Track of the ACM Symposium on Applied Computing
  Marrakech, Morocco, April 3 - 7, 2017
  http://antares.sip.ucm.es/svt2017/
* Scope
  For the past thirsty years, the ACM Symposium on Applied Computing
  has been a primary gathering forum for applied computer scientists,
  computer engineers, software engineers, and application developers
  from around the world. SAC 2017 is sponsored by the ACM Special
  Interest Group on Applied Computing (SIGAPP).
* Registration Information
  - Author Registration: Friday, December 16, 2016
  - Early Registration: Friday, February 3, 2017
  - SAC-SVT day: 1 day during April 3 - 7, 2017
* Further information
  http://www.sigapp.org/sac/sac2017/



24TH INTERNATIONAL SYMPOSIUM ON MODEL CHECKING OF SOFTWARE (SPIN 2017)
  2nd Call for Papers
  Santa Barbara, CA, USA, July 13-14, 2017
  http://conf.researchr.org/home/spin-2017
* The SPIN symposium aims at bringing together researchers and
  practitioners interested in automated tool-based techniques for the
  analysis of software as well as models of software, for the purpose
  of verification and validation. The symposium specifically focuses
  on concurrent software, but does not exclude analysis of sequential
  software. Submissions are solicited on theoretical results, novel
  algorithms, tool development, empirical evaluation, and education.
* Topics of interest include, but are not limited to:
  - Formal verification techniques for automated analysis of software
  - Formal analysis for modeling languages, such as UML/state charts
  - Formal specification languages, temporal logic, design-by-contract
  - Model checking
  - Automated theorem proving, including SAT and SMT
  - Verifying compilers
  - Abstraction and symbolic execution techniques
  - Static analysis and abstract interpretation
  - Combination of verification techniques
  - Modular and compositional verification techniques
  - Verification of timed and probabilistic systems
  - Automated testing using advanced analysis techniques
  - Combination of static and dynamic analyses
  - Derivation of specifications, test cases, or other useful
     material via formal analysis
  - Case studies of interesting systems or with interesting results
  - Engineering and implementation of software verification and
     analysis tools
  - Benchmark and comparative studies for formal verification and
     analysis tools
  - Formal methods education and training
  - Insightful surveys or historical accounts on topics of relevance
     to the symposium
* IMPORTANT DATES
  Paper Submission: February 10, 2017 (23:59:59 Anywhere on Earth)
  Author Notification : April 15, 2017
  Camera-Ready Paper: May 20, 2017
  Symposium : July 13-14, 2017
  Organization
* CHAIRS
  Hakan Erdogmus, Program Co-Chair, Carnegie Mellon University, USA
  Klaus Havelund, Program Co-Chair, NASA/Caltech Jet Propulsion
  Laboratory, USA
  Corina Pasareanu, Awards Chair, NASA Ames Research Center, USA
  Ylies Falcone, Publicity Chair, Univ. Grenoble Alpes, Inria, France



WiL 2017 - WOMEN IN LOGIC WORKSHOP
  Call for Papers
  June 19, 2017, Reykjavik, Iceland
  https://sites.google.com/site/firstwomeninlogicworkshop/
* 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, and lowering the stress of the occasion;
  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: 17 Feb 2017;
  Notification: 15 Mar 2017
* Invited Speakers:
  Claudia Nalon (University of Brasilia, Brasil),
  Catuscia Palamidessi (INRIA Saclay and LIX, France)
* Detailed information can be found on the webpage.



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 co-located events on
    August 25 and (possibly) 26, including:
  - Workshop on Logical Aspects of Multi-Agent Systems LAMAS (August 25)
  - Workshop on Logic and Automata Theory (in memory of Zoltan Ezik)
    (August 25) More workshops may be added later.
* PC CHAIRS
  - Valentin Goranko (Stockholm University), PC co-chair
  - Mads Dam (KTH, Stockholm), PC co-chair



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)
  First 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
  James Worrell - University of Oxford, UK (joint with MFPS)
  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).



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/



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



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



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.




Back to the LICS web page.