SIGLOG Monthly 187
November 1, 2016

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

TABLE OF CONTENTS
* NEWS
  LICS 2017  CALL FOR PAPERS
  ACM SIGLOG Announcement
  BOOK ANNOUNCEMENT: Temporal Logics in Computer Science
  OBITUARY BJARNI JONSSON (1920-2016)
* DEADLINES
  Forthcoming Deadlines
* CALLS
  CSL 2017 -  Call for Workshop Proposals
  SSS 2016 - Call for Participation
  SETTA 2016 - Call for Participation
  TAMC 2017 - Call for Papers
  ACM CPSS'17 - Call for Papers
  NFM 2017 - 2nd Call for Papers
  ITEQS 2017 - Call for Papers
  PODS 2017 - Call for Papers (2nd submission cycle)
  CIE 2017 - Call for papers
  CAV 2017 - Call for Papers
  FSCD 2017 - Call for Workshop Proposals
  WOLLIC 2017 - Call for Papers
* JOB ANNOUNCEMENTS
  3-YEAR POSTDOC POSITION AT HASSELT UNIVERSITY


THIRTY-SECOND ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2017)
  Call for papers
  20-23 June 2017, Reykjavik, Iceland
  http://lics.rwth-aachen.de/lics17/
* SCOPE
  The LICS Symposium is an annual international forum on theoretical
  and practical topics in computer science that relate to logic,
  broadly construed. We invite submissions on topics that fit under
  that rubric.
  Suggested, but not exclusive, topics of interest include: 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, games and logic, 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
  Authors are required to submit a paper title and a short abstract of
  about 100 words in advance of submitting the extended abstract of
  the paper. The exact deadline time on these dates is given by
  anywhere on earth (AoE).
  - Titles and Short Abstracts Due:      3 January 2017
  - Full Papers Due:                     9 January 2017
  - Author Feedback/Rebuttal Period:     28 Feb - 4 March 2017
  - Author Notification:                 21 March 2017
  - Final Versions Due for Proceedings:  18 April 2017
  Deadlines are firm; late submissions will not be considered. All
  submissions will be electronic via
  https://www.easychair.org/conferences/?conf=3Dlics2017.
* SHORT PRESENTATIONS
  A session of short presentations, intended for descriptions of
  student research, works in progress, and other brief communications,
  is planned. These abstracts will not be published. Dates and
  guidelines will be posted on the conference website.
* KLEENE AWARD FOR BEST STUDENT PAPER
  An award in honour of the late Stephen C. Kleene will be given for
  the best student paper(s), as judged by the program committee. The
  2017 edition of the award is sponsored by the European Association
  for Theoretical Computer Science (EATCS).
* SPECIAL ISSUES
  Full versions of up to three accepted papers, to be selected by the
  qprogram committee, will be invited for submission to the Journal of
  the ACM. Additional selected papers will be invited to a special
  issue of Logical Methods in Computer Science.



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



OBITUARY BJARNI JONSSON (1920-2016)
https://news.vanderbilt.edu/2016/10/12/noted-algebraist-bjarni-jonsson-dies/
* With great sadness that we announce the death of our colleague,
  Bjarni Jonsson, who passed away on September 30, 2016.  Bjarni
  Jonsson was emeritus Distinguished Professor of Mathematics at
  Vanderbilt University and the honorary editor in chief of Algebra
  Universalis. In 2012 he became a fellow of the American Mathematical
  Society. He did his PhD in 1946 at UC Berkeley under supervision of
  Alfred Tarski, and was recognized as an authority on universal
  algebra, lattice theory and algebraic logic.



DATES
* CSL 2017
  Call for Workshop Proposals
  Stockholm,  August 20-24, 2017
  Deadline: November 15, 2016.
  https://www.csl17.conf.kth.es
* SSS 2016
  Call for Participation
  November 7-10, 2016, Lyon, France
  http://avalon.ens-lyon.fr/SSS16
  Registration information is available at
  http://avalon.ens-lyon.fr/SSS16/index.php/registration-2/
* SETTA 2016
  Call for Participation
  Beijing, China, Nov. 9-11, 2016
  http://lcs.ios.ac.cn/setta/
* TAMC 2017
  Call for Papers
  http://www.tamc2017.unibe.ch
  Bern, 20-22 April 2017
  Submission Deadline Extended to November 23
* ACM CPSS'17
  Call for Papers
  Abu Dhabi, UAE, April 2, 2017
  http://icsd.i2r.a-star.edu.sg/cpss17/
  Submission due: Dec 1, 2016
* NFM 2017
  2nd Call for Papers
  http://ti.arc.nasa.gov/events/nfm-2017/
  May 16 - 18, 2017
  NASA Ames Research Center
  Moffett Field, CA, USA
  Paper Submission: December 5, 2016
* ITEQS 2017
  Call for Papers
  Tokyo - Japan
  http://www.mrtc.mdh.se/ITEQS/2017/
  Co-located with ICST 2017
  Submission deadline: December 1, 2016
* PODS 2017
  Call for Papers (2nd submission cycle)
  May 14-19, 2017, Raleigh, North Carolina, USA
  http://www.sigmod2017.org
  December 11, 2016, 11:59pm PST: Abstract submission
  December 18, 2016, 11:59pm PST: Paper submission
* CIE 2017
  Call for papers
  Turku, Finland, June 12-16, 2017
  http://math.utu.fi/cie2017
  Deadline for article submission: January 5, 2017
* CAV 2017
  Call for Papers
  Heidelberg, Germany, July 22-28, 2017
  http://cavconference.org/2017/
* FSCD 2017
  Call for Workshop Proposals
  http://www.cs.ox.ac.uk/conferences/fscd2017
  Submission of workshop proposals: January 30, 2017
* WOLLIC 2017
  Call for Papers
  July 18th-21st, 2017, London, UK
  http://wollic.org.wollic2017/
  Mar 21, 2017: Full paper deadline



26th Annual EACSL Conference on Computer Science Logic CSL 2017
  Call for Workshop Proposals
  Stockholm,  August 20-24, 2017
  Deadline: November 15, 2016.
  https://www.csl17.conf.kth.es
* The 26th Annual EACSL Conference on Computer Science Logic
  CSL'2017  will be organized jointly by Stockholm University
  and KTH Royal Institute of Technology, and will be hosted by
  Stockholm University.  It will be immediately preceded by, and
  colocated with, the Annual European Summer Meeting of the
  Association for Symbolic Logic (Logic Colloquium) 2017.
* This is a call for proposals for satellite workshops affiliated with
  CSL'2017, on topics related to the main topics of the conference,
  including: automata and games, game semantics, automated deduction
  and interactive theorem proving, bounded arithmetic and
  propositional proof complexity,categorical logic and topological
  semantics, computational proof theory, constructive mathematics and
  type theory, decision procedures, domain theory, equational logic
  and term rewriting, finite model theory, higher-order logic, lambda
  calculus and combinatory logic, linear logic and other substructural
  logics, logic programming and constraints, logical aspects of
  computational complexity, logical aspects of quantum computing,
  logic in database theory, logical foundations of programming,
  paradigms, logical foundations of cryptography, and information
  hiding, logics for multi-agent systems, modal and temporal logic,
  model checking and logic-based verification, nonmonotonic reasoning,
  SAT solving, automated induction, satisfiability modulo theories,
  specification, extraction and transformation of programs,
  verification and logical methods for program analysis.
* The workshops will take place on August 25-26 at Stockholm
  University.  They will be relatively independent in terms of
  organisation and format from the main conference, with separate
  program committees, submission and selection policy, calls for
  submissions, possible proceedings etc. These matters will be up to
  the organisers of the individual workshops. The organisers of
  CSL'2017 will take care of the registration and local
  arrangements, and of the overall coordination of the workshops. The
  workshop fees will be minimal, only covering the most essential
  expenses. CSL'2017 participants will be offered
  significantly reduced registration fees for the satellite workshops.
* All accepted workshops/tutorials will be expected to have their
  program ready by mid July 2017.
* The proposals should be submitted by email to
  csl2017 at philosophy.su.se *not later than* November 15, 2016.
* Notification on acceptance will be sent by November 25, 2016. The
  selection will be made by the programme, organising and workshop
  chairs of CSL'2017. With any enquiries, please send an email to the
  above email address.
* CSL'2017 chairs: Mads Dam and Valentin Goranko (PC and OC), Erik
  Palmgren (OC), Dilian Gurov (workshops).



18TH INTERNATIONAL SYMPOSIUM ON STABILIZATION, SAFETY, AND SECURITY OF DISTRIBUTED SYSTEMS (SSS 2016)
  Call for Participation
  November 7-10, 2016, Lyon, France
  http://avalon.ens-lyon.fr/SSS16
  Registration information is available at
  http://avalon.ens-lyon.fr/SSS16/index.php/registration-2/
* The Symposium on Stabilization, Safety, and Security of Distributed
  Systems is an international forum for researchers and practitioners
  working on the design and development of distributed systems that
  guarantee specific desired properties despite adversity, or that are
  able to restore the desired properties following adversarial
  perturbations in the computing medium building on the principles of
  self-stabilization.
* TOPICS AND TRACKS
* Track 1: Self-* and Autonomic Computing
  Self-stabilizing systems
  Self-organizing, self-managing, and self-configuring systems
  Self-optimizing and self-healing systems
  Self-protecting and self-repairing systems
  Autonomic cloud computing
  Autonomous vehicles
* Track 2: Foundations
  Theory of self-stabilization
  Distributed algorithms
  Fault-Tolerant distributed systems
  Formal methods, validation, verification, and synthesis
  Safety and security
* Track 3: Networks, Multi-Agent Systems, and Mobility
  Self-Stabilizing networks
  Peer-to-peer networks
  Sensor networks, MANETs, and wireless mesh networks
  Large and extreme scale systems
  Distributed robot systems
  Cooperating multi-agent distributed systems
  Dynamic systems and networks
  Overlay networks
  Social networks
  High-Speed networks



2ND SYMPOSIUM ON DEPENDABLE SOFTWARE ENGINEERING THEORIES, TOOLS AND APPLICATIONS (SETTA 2016)
  Call for Participation
  Beijing, China, Nov. 9-11, 2016
  http://lcs.ios.ac.cn/setta/
* IMPORTANT DATES
  Early registration deadline: October 10, 2016
  Conference: Nov. 9-11, 2016
* The aim of the symposium is to bring together international
  researchers and practitioners in the field of software
  technology. Its focus is on formal methods and advanced software
  technologies, especially for engineering complex, large-scale
  artifacts like cyber-physical systems, networks of things,
  enterprise systems, or cloud-based services. Contributions relating
  to formal methods or integrating them with software engineering, as
  well as papers advancing scalability or widening the scope of
  rigorous methods to new design goals are especially welcome.
* INVITED SPEAKERS
  - Prof. Edward A. Lee (University of California at Berkeley, USA):
  Dependable Cyber-Physical Systems
  - Prof. Sriram Sankaranarayanan(University of Colorado Boulder, USA):
  From finitely many simulations to flowpipes
  - Prof. Mingsheng Ying (University of Technology Sydney, Australia
  and Tsinghua University, China):
  Toward Automatic Verification of Quantum Programs
* CO-LOCATED EVENTS
  SETTA 2016 will be accompanied by two co-located events:
* 2nd Young Researchers Workshop on Formal Methods (YR-SETTA 2016)
  http://lcs.ios.ac.cn/setta/yr-setta/
*  FMAC 2016 (in Chinese)
  http://lcs.ios.ac.cn/setta/fmac2016/



THEORY AND APPLICATIONS OF MODELS OF COMPUTATION 2017 (TAMC 2017)
  http://www.tamc2017.unibe.ch
  Bern, 20-22 April 2017
* TAMC 2017 aims at bringing together a wide range of researchers with
  interest in computational theory and its applications. The main
  themes of the conference are computability, computer science logic,
  complexity, algorithms, models of computation and systems theory.
  There are two special sessions planned: Logic in computer science
  and New models of computation.
* Typical but not exclusive topics of interest include: algebraic
  computation, algorithmic coding and number theory, approximation
  algorithms, automata theory, computational biology and biological
  computing, computational complexity, computational game theory,
  computational geometry, computer science logic, cryptography, domain
  models, learning theory, modal and temporal logics, model theory for
  computing, natural computation, networks in nature and society,
  online algorithms, optimization, privacy and security, process
  models, proof complexity, property testing, quantum computing,
  randomness and pseudo-randomness, space-time tradeoffs, streaming
  algorithms, systems theory, VLSI models of computation.
* INVITED SPEAKERS:
  Marta Kwiatkowska (Univesity of Oxford, Oxford),
  Pinyan Lu (Shanghai University of Finance and Economics, Shanghai),
  Maria Emilia Maietti (Universite di Padova, Padova),
  Johann A. Makowsky (Israel Institute of Technology, Haifa),
  Carlos Martin-Vide (Universitat Rovira i Virgili, Tarragona),
  Stefan Wolf (Universite della Svizzera italiana, Lugano),
  Jeffery Zucker (McMaster University, Hamilton)
* IMPORTANT DATES
  Submission Deadline extends to: November 23, 2016.
  Notification of Acceptance: December 15, 2016.
  Final Camera Ready Version: January 15, 2017.
* PROGRAMME CHAIRS
  G. Jager (University of Bern),
  Co-chair: T V Gopal (Anna University, India),
* Please find the paper submission guidelines at:
  http://www.tamc2017.unibe.ch/submission.html



3RD ACM CYBER-PHYSICAL SYSTEM SECURITY WORKSHOP (ACM CPSS'17)
  Call for Papers
  Abu Dhabi, UAE, April 2, 2017
  http://icsd.i2r.a-star.edu.sg/cpss17/
* Conference Outline:
  Cyber-Physical Systems (CPS) consist of large-scale interco= nnected
  systems of heterogeneous components interacting with their physical
  environments. There are a multitude of CPS devices and applications
  being deployed to serve critical functions in our lives. The
  security of CPS becomes extremely important. This workshop will
  provide a platform for professionals from academia, government, and
  industry to discuss how to address the increasing security
  challenges facing CPS.  Besides invited talks, we also seek novel
  submissions describing theoretical and practical security solutions
  to CPS. Papers that are pertinent to the security of embedded
  systems, SCADA, smart grid, and critical infrastructure networks are
  all welcome, especially in the domains of energy and
  transportation. Topics of interest include, but are not limited to:
  - Authentication and access control for CPS
  - Autonomous vehicle security
  - Availability, recovery and auditing for CPS
  - Data security and privacy for CPS
  - Embedded systems security
  - EV charging system security
  - Industrial control system security
  - Intrusion detection for CPS
  - IoT security
  - Key management in CPS
  - Legacy CPS system protection
  - Lightweight crypto and security
  - Risk assessment for CPS
  - SCADA security
  - Security architectures for CPS
  - Smart grid security
  - Threat modeling for CPS
  - Urban transportation system security
  - Vulnerability analysis for CPS
  - Wireless sensor network security
* IMPORTANT DATES:
  - Submission due: Dec 1, 2016
  - Notification: Jan 15, 2017
  - Camera-ready due: Feb 1, 2017
* Program Chairs
  Jianying Zhou (I2R, Singapore)
  Ernesto Damiani (KUSTAR, UAE)
* Contact:
  Email: cpss2017@easychair.org
  CPSS Home: http://icsd.i2r.a-star.edu.sg/staff/jianying/cpss/



THE 9TH NASA FORMAL METHODS SYMPOSIUM (NFM 2017)
  Call for Papers
  http://ti.arc.nasa.gov/events/nfm-2017/
  May 16 - 18, 2017
  NASA Ames Research Center
  Moffett Field, CA, USA
* THEME OF THE SYMPOSIUM
  The widespread use and increasing complexity of mission-critical and
  safety-critical systems at NASA and in the aerospace industry
  require advanced techniques that address these systems'
  specification, desi= gn, verification, validation, and certification
  requirements. The NASA Formal Methods Symposium (NFM) is a forum to
  foster collaboration between theoreticians and practitioners from
  NASA, academia, and industry. NFM's goals are to identify
  challenges and to provide solutions for achieving assurance for such
  critical systems.
  New developments and emerging applications like autonomous software
  for Unmanned Aerial Systems (UAS), UAS Traffic Management (UTM),
  advanced separation assurance algorithms for aircraft, and the need
  for system-wide fault detection, diagnosis, and prognostics provide
  new challenges for system specification, development, and
  verification approaches. Similar challenges need to be addressed
  during development and deployment of on-board software for
  spacecraft ranging from small and inexpensive CubeSat systems to
  manned spacecraft like Orion, as well as for ground systems.
* The focus of the symposium will be on formal techniques and other
  approaches for software assurance, including their theory, current
  capabilities and limitations, as well as their potential application
  to aerospace, robotics, and other NASA-relevant safety-critical
  systems during all stages of the software life-cycle.
* TOPICS of interest include but are not limited to:
  - Model checking
  - Theorem proving
  - SAT and SMT solving
  - Symbolic execution
  - Static analysis
  - Model-based development
  - Runtime verification
  - Software and system testing
  - Safety assurance
  - Fault tolerance
  - Compositional verification
  - Security and intrusion detection
  - Design for verification and correct-by-design techniques
  - Techniques for scaling formal methods
  - Formal methods for multi-core, GPU-based implementations
  - Applications of formal methods in the development of:
     - autonomous systems
     - safety-critical artificial intelligence systems
     - cyber-physical, embedded, and hybrid systems
     - fault-detection, diagnostics, and prognostics systems
  - Use of formal methods in:
     - assurance cases
     - human-machine interaction analysis
     - requirements generation, specification, and validation
     - automated testing and verification
* IMPORTANT DATES
  Abstract Submission: November 28, 2016
  Paper Submission: December 5, 2016
  Paper notification: February 3, 2017
  Camera Ready Deadline: March 1, 2017
  Symposium: May 16-18, 2017



1ST INTERNATIONAL WORKSHOP ON TESTING EXTRA-FUNCTIONAL PROPERTIES AND
QUALITY CHARACTERISTICS OF SOFTWARE SYSTEMS (ITEQS 2017)
  Call for Papers
  Tokyo - Japan
  http://www.mrtc.mdh.se/ITEQS/2017/
  Co-located with ICST 2017
  Submission deadline: December 1, 2016
* TOPICS
   - Model-based testing of EFPs; e.g., choice of modeling languages to
   capture EFPs and their role on testability, model-based test case
   generation, etc.
   - Mutation-based testing for EFPs; e.g., application of mutation
   techniques for testing of EFPs particularly introduction of
   EFP-specific mutation operators
   - Search-based testing techniques for EFPs
   - Testability, observability, controllability and the role of the
   platform; e.g., how the choice of operating system can impact
   testability of EFPs, for instance, a real-time operating system,
   introducing testability mechanisms into a platform, designing -
   middlewares for testing of EFPs
   - Empirical studies and experience reports; e.g., on the importance
   of testing EFPs, evaluation of testing methods, case-study and
   reports on project failures due to EFPs, comparison of methods and
   techniques
   - Quality assurance, standards, and their impact on testing EFPs
   - Requirements and testing EFPs; e.g., identification and generation
   of test oracles for EFPs from requirements, requirements for
   testability, traceability
   - Coverage criteria in testing EFPs
   - Processes and their role in testing EFPs; e.g., agile and TDD
   - Fault localization for EFPs and debugging
   - Formal methods, model-checking, and reasoning about EFPs
   - Parallelism, Concurrency, and Testing of multicore applications
   - Performance, Robustness, and Security Testing
   - Testing real-time, embedded, and cyber-physical systems, and their
   challenges
   - Testing quality characteristics of distributed, mobile, and cloud
   applications
* IMPORTANT DATES
  Submission deadline: December 1, 2016
  Notifications: January 2, 2017
  Workshop date: March 12, 2017 (preliminary)
* ORGANIZERS
  Mehrdad Saadatmand, SICS Swedish ICT, Vasteras, Sweden
  (mehrdad@sics.se)
  Birgitta Lindstrom, University of Skovde, Sweden
  (birgitta.lindstrom@his.se)
  Markus Bohlin, SICS Swedish ICT, Vasteras, Sweden
  (markus.bohlin@sics.se)



36TH ACM SIGMOD-SIGACT-SIGAI SYMPOSIUM ON PRINCIPLES OF DATABASE SYSTEMS
(PODS 2017)
  Call for Papers (2nd submission cycle)
  May 14-19, 2017, Raleigh, North Carolina, USA
  http://www.sigmod2017.org
* The PODS symposium series, held in conjunction with the SIGMOD
  conference series, provides a premier annual forum for the
  communication of new advances in the theoretical foundations of data
  management, traditional or non-traditional (see
  http://www.sigmod.org/the-pods-pages/the-pods-pages).
* For the 36th edition, PODS continues to aim to broaden its scope, and
  calls for research papers providing original, substantial
  contributions along one or more of the following aspects:
  - deep theoretical exploration of topical areas central to data
    management;
  - new formal frameworks that aim at providing the basis for deeper
    theoretical investigation of important emerging issues in data
    management; and
  - validation of theoretical approaches from the lens of practical
    applicability in data management.
* TOPICS that fit the interests of the symposium include the following:
  - design, semantics, query languages
  - data models, data structures, algorithms for data management
  - concurrency and recovery, distributed and parallel databases, cloud
    computing
  - model theory, logics, algebras, computational complexity
  - graph databases and (semantic) Web data
  - data mining, information extraction, search
  - data streams
  - data-centric (business) process management, workflows, web services
  - incompleteness, inconsistency, uncertainty in data management
  - data and knowledge integration and exchange, data provenance, views
    and data warehouses, metadata management
  - domain-specific databases (multi-media, scientific, spatial,
    temporal, text)
  - deductive databases
  - data privacy and security
* PROGRAM CHAIR
  Floris Geerts (University of Antwerp, BE)
* IMPORTANT DATES
  - Dates for second submission cycle:
    December 11, 2016, 11:59pm PST: Abstract submission
    December 18, 2016, 11:59pm PST: Paper submission
    February 26, 2017, 11:59pm PST: Accept/Reject notification
    March 19, 2017, 11:59pm PST: Camera-ready deadline
* AWARDS
  - Best Paper Award: An award will be given to the best submission, as
    judged by the program committee.
  - Best Student Paper Award: There will also be an award for the best
    submission, as judged by the program committee, written by a student
    or exclusively by students.



CIE 2017: UNVEILING DYNAMICS AND COMPLEXITY - 13TH COMPUTABILITY IN
EUROPE CONFERENCE. (CIE 2017)
  Call for papers
  Turku, Finland, June 12-16, 2017
  http://math.utu.fi/cie2017
  Deadline for article submission: January 5, 2017
* CiE 2017 is the thirteenth conference organized by CiE
  (Computability in Europe), a European association of mathematicians,
  logicians, computer scientists, philosophers, physicists and others
  interested in new developments in computability and their underlying
  significance for the real world.
* THE PROGRAMME COMMITTEE cordially invites all researchers (European
  and non-European) to submit their papers in all areas related to
  computability for presentation at the conference and inclusion in
  the proceedings at
  https://www.easychair.org/conferences/?conf=cie2017.  Submission
  guidelines are available on the conference web-site.
* The CONFERENCE PROCEEDINGS will be published by LNCS, Springer Verlag.
* IMPORTANT DATES:
  Deadline for article submission: January 5, 2017
  Notification of acceptance: March 1, 2017
  Final versions due: March 13, 2017
  Early registration before:  May 8, 2017
* TUTORIAL SPEAKERS: Denis R. Hirschfeldt (University of Chicago),
  Daniel M. Gusfield (University of California, Davis)
* INVITED SPEAKERS: Scott Aaronson (University of Texas at Austin),
  Karen Lange (Wellesley College), Ludovic Patey (Université Paris
  Diderot), Nicole Schweikardt (Humboldt-Universität zu Berlin),
  Alexander Shen (Université de Montpellier), Moshe Vardi (Rice
  University)
* SPECIAL SESSIONS: Algorithmics for biology, Combinatorics and
  algorithmics on words, Computability in analysis, algebra, and
  geometry, Cryptography and information theory, Formal languages and
  automata theory, History and philosophy of computing.
* Further details regarding the conference, including grants and
  organisation, are available on the web-site.



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



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



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



3-YEAR POSTDOC POSITION AT HASSELT UNIVERSITY
* We have a vacancy for a 3-year postdoc position at Hasselt
  University.  The salary is very good and it comes with social
  security, health insurance, what have you.  The topic is very
  flexible as long as it has to do with finite model theory,
  expressive power of database query languages, in particular
  query languages for novel data models such as JSON or graph
  data, tractable fragments of higher-order logic is also a theme
  that fits.
* The position needs to be filled by 1 January 2017 at the latest.
* The research group on Databases and Theoretical Computer
  Science at Hasselt University is a leading group in the
  theoretical foundations of data management.  Professors are
  Marc Gyssens, Bart Kuijpers, Frank Neven, and Jan Van den
  Bussche
* Please email Jan Van den Bussche
  (jan.vandenbussche@uhasselt.be) if you are interested.
* http://alpha.uhasselt.be/jan.vandenbussche



Back to the LICS web page.