SIGLOG Monthly 188
December 9, 2016
*******************************************************************
* 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
LICS 2017 CALL FOR PAPERS
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
TABLEAUX 2017, FROCOS 2017, ITP 2017 - Call for Worshops and Tutorials
PODS 2017 - Call for Papers (2nd submission cycle)
HoTSoS 2017 - Call for papers
CIE 2017 - Call for papers
CAV 2017 - Call for Papers
CREST 2017 - Call for Papers
FSCD 2017 - Call for Workshop Proposals
CIAA 2017 - Call for papers
SAC SVT 2017 - Call for Participation
WiL 2017 - Call for Papers
WOLLIC 2017 - Call for Papers
CSL 2017 - First Call For Papers
LORI-VI - First Call for Papers
CALCO 2017 - First Call for Papers
NLS 2017 - First Announcement
CCA 2017 - First Call for Papers
ITP 2017 - Call for Papers
TABLEAUX 2017 - Call for Papers
FroCoS 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.siglog.org/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.
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://siglog.hosting.acm.org/the-alonzo-church-award-for-outstanding-contributions-to-logic-and-computation/
* 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
* TABLEAUX 2017, FROCOS 2017, ITP 2017
Call for Worshops and Tutorials
Brasilia, Brazil - 23-25 September 2017
http://tableaux2017.cic.unb.br/#cfw
* 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
* HoTSoS 2017
Call for Papers
4-5 April 2017, Hanover, Maryland
http://cps-vo.org/group/hotsos
Submissions due: December 14, 2016;
* 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/
* CREST 2017
Call for Papers
http://se.uni-konstanz.de/crest2017
April 29, 2017, Uppsala, Sweden
A satellite event of ETAPS 2017
abstracts due: January 27, 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
* 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
* 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/
* CALCO 2017
First Call for Papers
June 13 - 16, 2017
Ljubljana, Slovenia
http://coalg.org/calco17/
Abstract submission: April 3, 2017
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
* 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
WORKSHOPS - TABLEAUX 2017, FROCOS 2017, ITP 2017
Call for Worshops and Tutorials
Brasilia, Brazil - 23-25 September 2017
http://tableaux2017.cic.unb.br/#cfw
* We invite researchers and practitioners to submit proposals for
co-located workshops and in-depth tutorials on topics relating to
automated theorem proving and its applications. Workshops/tutorials
can target the automated reasoning community in general, focus on
a particular theorem proving system, or highlight more specific
issues or recent developments.
* PROPOSALS
Submissions should be sent to nalon@unb.br and should contain the
name and contact details of the main organiser(s), names of additional
organisers (if applicable), title and organisational style of event
(tutorial, public workshop, project workshop, etc.),preferred length
of workshop (between half day and two days), estimated number of
attendees, short (up to one page) description of topic, and pointers
to previous editions of the workshop, or to similar events (if appli-
cable).
* IMPORTANT DATES
Submission deadline: 9 December 2016
Notification: 23 December 2016
Program: 18 August 2017
Workshop dates: 23-25 September 2017
Main conferences dates: 25-29 September 2017
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.
ANNUAL HOT TOPICS IN THE SCIENCE OF SECURITY SYMPOSIUM
AND BOOTCAMP (HOTSOS 2017)
Call for Papers
4-5 April 2017, Hanover, Maryland
http://cps-vo.org/group/hotsos
Submissions due: December 14, 2016;
* OVERVIEW
Submissions are solicited for the 4th Annual Hot Topics in the
Science of Security (HoTSoS) Symposium and Bootcamp, which will be
held April 4-5, 2017 at The Hotel at Arundel Preserve in Hanover,
Maryland. The symposium will include a mix of invited talks,
refereed papers, panels, tutorials, and posters. As in prior years,
papers will appear in the conference proceedings to be published by
ACM Press.
* SCOPE, GOALS, AND VISION
HoTSoS draws together researchers, practitioners, and thought
leaders from government, industry, and academia. The conference
provides a forum for dialogue centered upon the development and
advancement of scientific foundations in cybersecurity. The
technical emphasis of HoTSoS is on scientific methods, data
gathering and analysis, experimental approaches, mathematical
models, and the interactions among those approaches to build a
foundational science of security. The HoTSoS vision is one of
engaging and growing a community -- including researchers and
skilled practitioners from diverse disciplines -- that is
focused around the advancement of scientific methods.
* TOPICS OF INTEREST
We invite submissions on any topic related to science of security that
aligns with the conference scope and goals listed above. The 2017
HoTSoS will highlight the following themes:
- Scalability and composability in the construction of secure systems,
- Policy-governed collaboration for handling data across different
domains of authority while ensuring security and privacy,
- Security metrics to guide choice-making in security engineering
and response,
- Resilient architectures that can deliver service despite compromised
components,
- Analysis of human behavior, including modeling users, operators,
and adversaries, to support improved design and analysis,
- Foundational research related to privacy that allows for the
ability to use (i.e., collect, store, and share) data in
accordance with requirements, and
- Foundations for the security of cyber-physical systems, including
applications to the Internet of Things.
* IMPORTANT DATES:
Submissions due: December 14, 2016;
Decisions: February 15, 2017;
Final Versions: March 1, 2017
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
2ND INTERNATIONAL WORKSHOP ON CAUSAL REASONING FOR
EMBEDDED AND SAFETY-CRITICAL SYSTEMS TECHNOLOGIES (CREST 2017)
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=3Dcrest2017.
* Keynotes
Samantha Kleinberg, Stevens Institute of Technology, USA
NN
* 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
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:
Véronique Cortier (CNRS, LORIA,France)
Kim G. Larsen (Aalborg University, Denmark)
Damien Pous (CNRS, ENS Lyon, France)
* Program Committee:
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/
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
7TH INTERNATIONAL CONFERENCE ON ALGEBRA AND COALGEBRA IN COMPUTER SCIENCE
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)
http://cca-net.de/cca2017/
July 24-27, 2017, Daejeon, South Korea
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/
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.
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.