SIGLOG Monthly
August 9, 2017
*******************************************************************
* Past issues of the newsletter are available at
http://lii.rwth-aachen.de/lics/newsletters/
* Instructions for submitting an announcement to the newsletter
can be found at
http://lii.rwth-aachen.de/lics/newsletters/inst.html
*******************************************************************
TABLE OF CONTENTS
* NEWS
Winners of the 2017 Alonzo Church Award
FLoC 2018 - Preliminary annoucement
ACM SIGLOG Announcement
EATCS Bulletin - Call for abstracts
* DEADLINES
Forthcoming Deadlines
* CALLS
LASH 2017 - Call for Contributions
DataMod 2017 - Call for Presentation Reports
HELMUTH VEITH STIPEND - Call for Application
PODS 2018 - Call for Papers
TPNC 2017 - Call for papers
CSL 2017 - Call for Participation
LOGIC AND AUTOMATA THEORY - Call for participation
FSCD 2017 - Call for participation
PADL 2018 - Call for Papers
ESORICS 2017 - Call for Participation
RV 2017 - 1st Call for Participation
GandALF 2017 - Call for participation
TABLEAUX 2017 - Call for Participation
FroCoS 2017 - Call for Participation
ITP 2017 - Call for Participation
ISAIM 2018 - Call for Papers
CPP 2018 - Call for Papers
FoIKS 2018 - Call for papers
* JOB ANNOUNCEMENTS
POST-DOC POSITION AT TU DORTMUND
POSTDOCTORAL RESEARCHER IN SEMANTICS AND TOOLS FOR QUANTUM PROGRAMMING LANGUAGES
PART-TIME (50%) FACULTY POSITION IN COMPUTER SCIENCE - SOFTWARE LANGUAGES LAB IN BRUSSELS
WINNERS OF THE 2017 CHRUCH AWARD
http://siglog.org/winners-of-the-2017-alonzo-church-award/
* The 2017 Alonzo Church Award for Outstanding Contributions to Logic
and Computation is given jointly to Samson Abramsky, Radha
Jagadeesan, Pasquale Malacaria, Martin Hyland, Luke Ong, and Hanno
Nickau for providing a fully-abstract semantics for higher-order
computation through the introduction of game models, thereby
fundamentally revolutionising the field of programming language
semantics, and for the applied impact of these models.
* Their contributions appeared in three papers:
- S. Abramsky, R. Jagadeesan, and P. Malacaria. Full Abstraction for
PCF. Information and Computation, Vol. 163, No. 2, pp. 409 - 470,
2000.
- J.M.E. Hyland and C.-H.L. Ong. On Full Abstraction for PCF: I, II,
and III. Information and Computation, Vol. 163, No. 2,
pp. 285 - 408, 2000.
- H. Nickau. Hereditarily sequential
functionals. Proc. Symp. Logical Foundations of Computer Science:
Logic at St. Petersburg (eds. A. Nerode and Yu.V. Matiyasevich),
Lecture Notes in Computer Science, Vol. 813,
pp. 253 - 264. Springer-Verlag, 1994.
A description of the contributions is available at
http://siglog.org/winners-of-the-2017-alonzo-church-award/
* The 2017 award will be presented at the 26th Computer Science Logic
(CSL) Conference, the annual meeting of the European Association for
Computer Science Logic. This will be held August 20th - 24th, 2017, at
Stockholm University, Sweden.
THE 2018 FEDERATED LOGIC CONFERENCE (FLoC 2018)
Preliminary annoucement
6-19 July 2018
Oxford, England UK
http://www.floc2018.org/
* In 1996, as part of its Special Year on Logic and Algorithms, DIMACS
hosted the first Federated Logic Conference (FLoC). It was modelled
after the successful Federated Computer Research Conference (FCRC),
and synergetically brought together conferences that apply logic to
computer science.
* We are pleased to announce the seventh Federated Logic Conference
(FLoC'18) to be held in Oxford, UK, in July 2018, at the
Mathematical Institute and the Blavatnik School of Government at the
University of Oxford.
* FLoC 2018 brings together nine major international conferences
related to mathematical logic and computer science:
International Conference on Computer Aided Verification (CAV)
IEEE Computer Security Foundations Symposium (CSF)
International Symposium on Formal Methods (FM)
International Conference on Formal Structures for Computation and
Deduction (FSCD)
International Conference on Logic Programming (ICLP)
International Joint Conference on Automated Reasoning (IJCAR)
International Conference on Interactive Theorem Proving (ITP)
Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
International Conference on Theory and Applications of Satisfiability
Testing (SAT)
Plus FLoC workshops (7-8 July, 13 July, and 18-19 July) and the
School on Foundations of Programming and Software Systems (FoPSS, 30
June - 6 July).
* We have already begun confirming exciting lineup of speakers,
including keynotes by Shafi Goldwasser and Georges Gonthier; plenary
lectures by Peter O'Hearn and Byron Cook; and a public lecture by
Stuart Russell at the Sheldonian Theatre. We will also hold an
Oxford Union-style debate on ethics for autonomous robots. There
will be banquets, receptions and other social events in historic
venues across the city: see www.floc2018.org/social-events/ for the
latest updates.
* PROGRAMME COMMITTEE
General Chair: Moshe Y. Vardi
Co-chairs: Daniel Kroening, Marta Kwiatkowska
CAV: Hana Chockler
CSF: Stephen Chong
FM: Bill Roscoe
FSCD: Helene Kirchner
ICLP: Paul Tarau
IJCAR: Roberto Sebastiani
ITP: Assia Mahboubi
LICS: Martin Hofmann
SAT: Olaf Byersdorff
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).
EATCS Bulletin - Call for abstracts
* EATCS Bulletin, http://eatcs.org/index.php/eatcs-bulletin, has a
section for "Technical contributions." To stimulate this section
further, we will be considering for publication abstracts of works
that have been accepted by journals and/or conferences or have
appeared in major archives. The topics of interest include all
areas of theoretical computer science (for instance, see topics of
the three Tracks of ICALP,
http://www.easyconferences.eu/icalp2016/cfp.html).
* Abstracts should be rather detailed, 2-3 pages long in the format
given at http://eatcs.org/index.php/eatcs-bulletin. Submissions
should include the information on the full paper (the name of
conferences, archives, etc) and sufficiently detailed explanation of
its merits, e.g., importance, motivations, clear comparison with
existing results and novelty and/or new ideas of proof techniques.
* The Bulletin is published in Feb, Jun and Oct. The deadline for the
abstract submission is 20th of the previous month, for instance, May
20 (Sat) 2017 for the June issue of this year. All materials
including tex and pdf files should be sent electrically to
bulletin@eatcs.org and iwama@kuis.kyoto-u.ac.jp.
Acceptance/rejection, decided based on its merit mentioned above,
will be notified as soon as possible. The Bulletin will not require
copy-right transfer for accepted abstracts.
DATES
* LASH 2017
Call for Contributions
August 28, 2017, Melbourne Australia
LogicAndSearch.org/LaSh2017
* DataMod 2017
Call for Presentation Reports
September 4-5, 2017, Trento, Italy
Satellite event of SEFM 2017
http://pages.di.unipi.it/datamod/edition-2017/
* HELMUTH VEITH STIPEND
Call for Applications
http://bit.ly/Forsyte-Helmut-Veith-Stipend
Deadline: August 20, 2017
* PODS 2018
Call for Papers
June 11 - June 13, 2018, Houston, Texas, USA
PODS has two rounds of submissions (see dates below).
Paper submission (2nd cycle): Dec 19, 2017
* TPNC 2017
Call for papers
Prague, Czech Republic, December 18-20, 2017
Faculty of Mathematics and Physics, Charles University
http://grammars.grlmc.com/TPNC2017/
Paper submission: August 6, 2017
* CSL 2017
Call for Participation
August 20 - 24, 2017, Stockholm, Sweden
http://logic.math.su.se/csl-2017
* LOGIC AND AUTOMATA THEORY
Call for participation
A one-day workshop in memory of Zoltan Esik
A satellite event of CSL 2017
Stockholm, August 25, 2017
https://www.imsc.res.in/~jam/esik/zoltan.html
* FSCD 2017
Call for participation
Oxford, UK, 3-9 September 2017 (colocated with ICFP)
http://www.cs.ox.ac.uk/conferences/fscd2017/
* PADL 2018
Call for Papers
http://popl18.sigplan.org/track/PADL-2018-papers
Los Angeles, CA, USA, 8 - 9 January, 2018
Co-located with ACM POPL 2018 (http://popl18.sigplan.org/home)
Paper submission: September 10, 2017
* ESORICS 2017
Call for Participation
Oslo, Norway — September 11-15, 2017
https://www.ntnu.edu/web/esorics2017/
* RV 2017
Call for Participation
September 13-16 2017, Seattle, WA, USA
http://rv2017.cs.manchester.ac.uk
* GandALF 2017
Call for participation
Rome, Italy, 20-22 September 2017
http://gandalf2017.istc.cnr.it
* TABLEAUX 2017
Call for Participation
Brasilia, Brazil - 25-28 September 2017
Co-located with FroCoS 2017 and ITP 2017
Workshops and Tutorials: 23-25 September 2017
http://tableaux2017.cic.unb.br
* FroCoS 2017
Call for Participation
Brasilia, Brazil - 27-29 September 2017
Co-located with TABLEAUX 2017 and ITP 2017
Workshops and Tutorials: 23-25 September 2017
http://frocos2017.cic.unb.br
* ITP 2017
Call for Participation
Brasilia, Brazil - 26-29 September 2017
Co-located with TABLEAUX 2017 and FroCoS 2017
Workshops and Tutorials: 23-25 September 2017
http://itp2017.cic.unb.br
* ISAIM 2018
Call for Papers
January 3-5, 2018, Fort Lauderdale FL, USA
http://isaim2018.cs.virginia.edu
Paper submission: October 3, 2017
* CPP 2018
Second Call for Papers
January 8-9, 2018, Los Angeles, USA
http://popl18.sigplan.org/track/CPP-2018
Full paper submission deadline: Wed 11 Oct 2017
* FoIKS 2018
Call for papers
May 14-18, 2018, Alfred Renyi Institute of Mathematics, Budapest, Hungary
http://2018.foiks.org/
Paper submission: December 01, 2017
LASH 2017 WORKSHOP ON LOGIC AND SEARCH (LASH 2017)
Call for Contributions
August 28, 2017, Melbourne Australia
LogicAndSearch.org/LaSh2017
* The LaSh Worshops on Logic and Search are devoted to the study of
logic-based methods for specifying and solving computational search
and optimization problems, with particular emphasis on solving based
on high-level, declarative, problem specifications. LaSh-2017 is
affiliated with SAT, CSP and ICLP 2017.
* Researchers interested in giving a 20 to 30 minute talk should
submit a proposal, in the form either of a talk abstract, or a full
paper in any common format. Submissions or enquiries may be sent
by email to dgm@sfu.ca, with the subject LaSh 2017 Submission. In
the case of a paper, please indicate if it is new or previously
published work.
* Topics of interest include: Logics and representation languages;
Model finders and ground solvers (e.g., SAT, ASP, SMT, CSP solvers);
Grounding and grounding-based solving systems; Pre-processing,
automated reasoning over specifications, automated solver generation
and meta-programming; Problem and instance structure; Applications.
* IMPORTANT DATES
Sunday August 6: Submission of presentation proposals
Saturday August 12: Notification of acceptance
Monday August 28: Workshop
6th INTERNATIONAL SYMPOSIUM "FROM DATA TO MODELS AND BACK" (DataMod 2017)
Call for Presentation Reports
September 4-5, 2017, Trento, Italy
Satellite event of SEFM 2017
http://pages.di.unipi.it/datamod/edition-2017/
* DataMod 2017 aims at bringing together practitioners and researchers
from academia, industry and research institutions interested in the
combined application of computational modelling methods with
data-driven techniques from the areas of knowledge management, data
mining and machine learning.
* Modelling and analysis methodologies include Agent-based
Methodologies, Automata-based Notations, Big Data Analytics,
Cellular Automata, Classification, Clustering, Segmentation and
Profiling, Conformance Analysis, Constraint Programming, Data
Mining, Differential Equations, Empirical Modelling, Game Theory,
Machine Learning, Membrane Systems, Network Theory and Analysis,
Ontologies, Optimisation Modelling, Petri Net= s, Process Calculi,
Process Mining, Rewriting Systems, Spatio-temporal Data
Analysis/Mining, Statistical Model Checking, System Dynamics, Text
Mining, Topological Data Analysis
* Application domains include Biology, Brain Data and Simulation,
Business Process Management, Climate Change, Cybersecurity, Ecology,
Education, Environmental Risk Assessment and Management, Enterprise
Architectures, Epidemiology, Genetics, Governance, Open Source
Software Development and Communities, Pharmacology, Resilience
Engineering, Safety and Security Risk Assessment, Social Good,
Social Software Engineering, Social Systems, Sustainable
Development, Threat modelling and analysis, Urban Ecology and Smart
Cities
* Presentation reports concern recent or ongoing work on relevant
topics and ideas, for timely discussion and feedback at the
workshop. There is no restriction as for previous/future publication
of the contents of a presentation. Presentation reports will receive
a lightweight review to establish their relevance for DataMod.
* IMPORTANT DATES
Submission: 8 August 2017;
Notification: 10 August 2017
HELMUTH VEITH STIPEND
Call for Applications
Deadline: August 20, 2017
* It is our pleasure to invite academically excellent female
applicants in pursuit (or planning to pursue) a master degree in
Computer Sciences at TU Wien to apply for Helmut Veith Stipend. The
recipients of Helmut Veith Stipend receive EUR 6000 annually for the
duration of up to two years, and waiver of all tuition fees for the
study at TU Wien. The application deadline is August 20, 2017. For
more information download the Flyer for Helmut Veith Stipend.
* ABOUT HELMUT VEITH
The stipend is named to honour the memory of Helmut Veith
(1971 - 2016), specifically his international influential research,
and his visionary mentorship of building bridges between the
computer science and the society. The Helmut Veith Stipend continues
the late scholar's support of female scientist in the field of
computer science, and his backing of the revival era in the Austrian
logic scene.
* More information here
http://bit.ly/Forsyte-Helmut-Veith-Stipend
37th ACM SIGMOD-SIGACT-SIGAI Symposium on PRINCIPLES OF DATABASE
SYSTEMS (PODS 2018)
Call for Papers
June 11 - June 13, 2018, Houston, Texas, USA
PODS has two rounds of submissions (see dates below).
* 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 37th 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;
- validation of established theoretical approaches from the lens of
practical applicability in data management. Papers in this track
should provide an experimental evaluation that gives new insight
in established theories. Besides, they should provide a clear
message to the database theory community as to which aspects need
further (theoretical) investigation, based on the experimental
findings.
* Topics (that fit the interests of the symposium include, but are not
limited to):
- concurrency & recovery, distributed/parallel databases, cloud
computing
- data and knowledge integration and exchange, data provenance, views
and data warehouses, metadata management
- data-centric (business) process management, workflows, web services
- data management and machine learning
- data mining, information extraction, search
- data models, data structures, algorithms for data management
- data privacy and security, human-related data and ethics
- data streams
- design, semantics, query languages
- domain-specific databases (multi-media, scientific, spatial,
temporal, text)
- graph databases and (semantic) Web data
- incompleteness, inconsistency, uncertainty in data management
- knowledge-enriched data management
- model theory, logics, algebras, computational complexity
* PROGRAM CHAIR: Marcelo Arenas
* IMPORTANT DATES:
First Submission Cycle:
- Abstract submission: Jun 15, 2017
- Paper submission: Jun 22, 2017
- First notification: Aug 31, 2017
- Revision deadline: Sep 28, 2017
- Final notification: Nov 02, 2017
Second Submission Cycle:
- Abstract submission: Dec 12, 2017
- Paper submission: Dec 19, 2017
- Final notification: Feb 27, 2018
All deadlines end at 11:59pm AoE.
6th INTERNATIONAL CONFERENCE ON THE THEORY AND PRACTICE OF NATURAL
COMPUTING (TPNC 2017)
Call for papers
Prague, Czech Republic, December 18-20, 2017
Faculty of Mathematics and Physics, Charles University
http://grammars.grlmc.com/TPNC2017/
* TPNC is a conference series intending to cover the wide spectrum of
computational principles, models and techniques inspired by
information processing in nature. TPNC 2017 will reserve significant
room for young scholars at the beginning of their career and
particular focus will be put on methodology. The conference aims at
attracting contributions to nature-inspired models of computation,
synthesizing nature by means of computation, nature-inspired
materials, and information processing in nature.
* PROGRAMME CHAIR
Carlos Martin-Vide (Rovira i Virgili University, ES, co-chair)
Roman Neruda (Prague, co-chair)
* DEADLINES (all at 23:59 CET):
Paper submission: August 6, 2017
Notification of paper acceptance or rejection: September 6, 2017
Final version of the paper for the LNCS proceedings: September 16, 2017
Early registration: September 16, 2017
Late registration: December 4, 2017
Submission to the post-conference journal special issue: March 20, 2018
* QUESTIONS AND FURTHER INFORMATION:
david.silva409 (at) yahoo.com
26TH EACSL ANNUAL CONFERENCE ON COMPUTER SCIENCE LOGIC (CSL 2017)
Call for Participation
August 20 - 24, 2017, Stockholm, Sweden
http://logic.math.su.se/csl-2017
* 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 several other logic-related events,
taking place at Stockholm University, including the 3rd Nordic Logic
Summer School, NLS 2017, August 7-11, and the Logic Colloquium 2017
(LC 2017), August 14-20.
* INVITED SPEAKERS
* Invited highlight speakers for the LC-CSL joint session on August 20:
Veronica Becher (University of Buenos Aires)
Phokion Kolaitis (University of California Santa Cruz and IBM
Research - Almaden)
Pierre Simon (UC Berkeley)
Wolfgang Thomas (RWTH Aachen)
* CSL plenary speakers:
Laura Kovács (Vienna University of Technology)
Stephan Kreutzer (Technische Universität Berlin)
Meena Mahajan (Institute of Mathematical Sciences, Chennai)
Margus 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:
- Presentation of the Alonzo Church award for Outstanding
Contributions to Logic and Computation,
- Presentation of the EACSL Ackermann award for Outstanding
Dissertation on Logic in Computer Science,
- CSL-affiliated workshops, to be held as CSL co-located events:
Workshop on Logic and Algorithms in Computational Linguistics
LACompLing'17 (August 16-19)
Workshop on Logical Aspects of Multi-Agent Systems
LAMAS 2017 (August 25)
Workshop on Logic and Automata Theory (in memory
of Zoltan Ezik) (August 25)
* Further information about all events can be found on
http://logic.math.su.se/logic-in-stockholm-2017
LOGIC AND AUTOMATA THEORY
Call for participation
A one-day workshop in memory of Zoltan Esik
A satellite event of CSL 2017
Stockholm, August 25, 2017
https://www.imsc.res.in/~jam/esik/zoltan.html
* SPEAKERS
Mikolaj Bojanczyk (University of Warsaw)
Anna Ingolfsdottir (Reykjavik University)
Szabolcs Ivan (University of Szeged)
Wolfgang Thomas (RWTH, Aachen)
Pascal Weil (LaBRI, CNRS and Univ. of Bordeaux)
* Registration link
https://www.math-stockholm.se/konferenser-och-akti/
logic-in-stockholm-2/26th-eacsl-annual-co/
computer-science-logic-2017-august-20-24-1.717663
* Organisers
R. Ramanujam (jam@imsc.res.in) and
Thomas Schwentick (thomas.schwentick@tu-dortmund.de)
2ND INTERNATIONAL CONFERENCE ON FORMAL STRUCTURES FOR COMPUTATION
AND DEDUCTION (FSCD 2017)
Call for participation
Oxford, UK, September 2017 (colocated with ICFP)
http://www.cs.ox.ac.uk/conferences/fscd2017/
* FSCD is a conference covering all aspects of formal structures for
computation and deduction from theoretical foundations to
applications. Building on two communities, RTA (Rewriting
Techniques and Applications) and TLCA (Typed Lambda Calculi and
Applications), FSCD embraces their core topics and broadens their
scope to closely related areas in logics, proof theory and new
emerging models of computation such as quantum computing and
homotopy type theory.
* REGISTRATION
The registration page is already open and linked from:
http://www.cs.ox.ac.uk/conferences/fscd2017/registration.html
The early registration deadline is *** 7 August ***.
Students should apply for scholarships by *** 21 July ***
(for more details please visit the conference webpage).
* INVITED SPEAKERS
- Marco Gaboardi (Univ. Buffalo, SUNY)
- Georg Mose (Univ. Innsbruck)
- Alexandra Silva (University College London)
- Christine Tasson (PPS and Univ. Paris Diderot)
* SATELLITE EVENTS
- Trends in Linear Logic and Applications (September 3)
- 31st International Workshop on Unification (September 3)
- Trends in Mechanised Security Proofs, COST Action CA15123 EUTypes
Workshop (September 3)
- Third Workshop on Higher-Dimensional Rewriting and Applications
(September 8-9) (co-located)
- Third Workshop on Homotopy Type Theory and Univalent Foundations
(September 8-9)
- First Workshop on String Diagrams in Computation, Logic, and
Physics (September 8-9) (co-located)
- Fourth Meeting on Structures and Deduction (September 8 and 9)
- Sixth International Workshop on Confluence (September 8)
- International Workshop on Logical Frameworks and Meta-Languages -
Theory and Practice (September 8)
- Fourth International Workshop on Rewriting Techniques for Program
Transformation and Evaluation (September 8)
- IFIP Working Group 1.6: Rewriting (September 9)
* PROGRAM CHAIR
Dale Miller (Inria Saclay)
* CONFERENCE CHAIR
Sam Staton (University of Oxford)
* WORKSHOPS CHAIR
Jamie Vicary (University of Oxford)
20TH INTERNATIONAL SYMPOSIUM ON PRACTICAL ASPECTS OF DECLARATIVE
LANGUAGES (PADL 2018)
Call for Papers
http://popl18.sigplan.org/track/PADL-2018-papers
Los Angeles, CA, USA, 8 - 9 January, 2018
Co-located with ACM POPL 2018 (http://popl18.sigplan.org/home)
* The two best papers accepted for publication at PADL will be
invited to submit an extended version for rapid publication in the
journal Theory and Practice of Logic Programming.
* PADL is a well-established forum for researchers and practitioners
to present original work emphasizing novel applications and
implementation techniques for all forms of declarative concepts,
including, functional, logic, constraints, etc. Topics of interest
include, but are not limited to:
- Innovative applications of declarative languages
- Declarative domain-specific languages and applications
- Practical applications of theoretical results
- New language developments and their impact on applications
- Declarative languages and software engineering
- Evaluation of implementation techniques on practical applications
- Practical experiences and industrial applications
- Novel uses of declarative languages in the classroom
- Practical extensions such as constraint-based, probabilistic, and
reactive languages.
PADL 2018 will accept both technical and application papers:
* IMPORTANT DATES
Abstract submission: September 3, 2017
Paper submission: September 10, 2017
Notification: October 9, 2017
Camera-ready: October 23, 2017
Symposium: January 8-9, 2017
* Program Chairs:
- Nicola Leone, University of Calabria, Italy
- Kevin Hamlen, University of Texas at Dallas, TX, USA
22ND EUROPEAN SYMPOSIUM ON RESEARCH IN COMPUTER SECURITY (ESORICS 2017)
Call for Participation
Oslo, Norway, September 11-15, 2017
https://www.ntnu.edu/web/esorics2017/
* OVERVIEW
ESORICS is the annual European research event in Computer Security.
ESORICS 2017 spans a total of 3 days, featuring:
- 3 keynote speeches
(Cormac Herley, Paul Syverson, Sandro Etalle)
- 54 paper presentations in 3 days (Sep 11-13)
- workshops (Sept 14 - 15)
* REGISTRATION
Early Registration for ESORICS+Workshops 2017 is open, but will end
soon. Early registration deadline is August, 15th 2017.
* FURTHER DETAILS
https://www.ntnu.edu/web/esorics2017/
THE 17TH INTERNATIONAL CONFERENCE ON RUNTIME VERIFICATION (RV 2017)
Call for Participation
September 13-16 2017, Seattle, WA, USA
http://rv2017.cs.manchester.ac.uk
* Affiliated Event:
RV-CuBES - An International Workshop on Competitions, Usability,
Benchmarks, Evaluation, and Standardisation for Runtime Verification
Tools
* Early Registration and Accommodation Deadline
August 13
* OVERVIEW
Runtime verification is concerned with the monitoring and analysis
of the runtime behaviour of software and hardware systems. Runtime
verification techniques are crucial for system correctness,
reliability, and robustness; they provide an additional level of
rigor and effectiveness compared to conventional testing, and are
generally more practical than exhaustive formal
verification. Runtime verification can be used prior to deployment,
for testing, verification, and debugging purposes, and after
deployment for ensuring reliability, safety, and security and for
providing fault containment and recovery as well as online system
repair.
* Topics of interest to the conference include: specification
languages, monitor construction techniques, program instrumentation,
logging, recording, and replay, combination of static and dynamic
analysis, specification mining and machine learning over runtime
traces, monitoring techniques for concurrent and distributed
systems, runtime checking of privacy and security policies,
statistical model checking, metrics and statistical information
gathering, program/system execution visualization, fault
localization, containment, recovery and repair, integrated vehicle
health management (IVHM).
* INVITED TALKS
- Rodrigo Fonseca, Brown University, USA:
- Vlad Levin and Jakob Lichtenberg, Microsoft, USA:
- Andreas Zeller, Saarland University, Germany:
* TUTORIALS
- Ankush Desai and Shaz Qadeer, UC Berkeley and Microsoft Research
- Madhusudan Parthasarathy, University of Illinois at Urbana-Champaign
- Adrian Francalanza, University of Malta
THE EIGHTH INTERNATIONAL SYMPOSIUM ON GAMES, AUTOMATA, LOGICS, AND
FORMAL VERIFICATION (GandALF 2017)
Call for participation
Rome, Italy, 20-22 September 2017
http://gandalf2017.istc.cnr.it
* REGISTRATION NOW OPEN : http://gandalf2017.istc.cnr.it/registration/
* The aim of GandALF 2017 symposium is to bring together researchers
from academia and industry which are actively working in the fields
of Games, Automata, Logics, and Formal Verification. The idea is to
cover an ample spectrum of themes, ranging from theory to
applications, and stimulate cross-fertilization.
* The list of accepted papers can be found here:
http://gandalf2017.istc.cnr.it/accepted-papers/
* INVITED SPEAKERS
- Luca Aceto, Reykjavik University,
Iceland/Gran Sasso Science Institute, L'Aquila, Italy
- Ranko Lazic, University of Warwick, U.K.
- Michael Wooldridge, Head of Department of Computer Science,
University of Oxford, U.K.
* AIxIA CALL FOR SCHOLARSHIP
The Italian Association for Artificial Intelligence offers travel
grants, which partially support the registration fees, travel,
accommodation and meal expenses, for the participation of students
in GandALF 2017. The candidates should send the travel grant
application to Andrea Orlandini (by email gandalf.2017@istc.cnr.it)
by 30/07/2017
* More info here:
http://gandalf2017.istc.cnr.it/aixia-call-for-scholarships/
* PROGRAM CHAIRS
Patricia Bouyer-Decitre LSV, CNRS and ENS de Cachan, France
Pierluigi San Pietro, Politecnico di Milano, Italy
26th INTERNATIONAL CONFERENCE ON AUTOMATED REASONING WITH
ANALYTIC TABLEAUX AND RELATED METHODS (TABLEAUX 2017)
Call for Participation
Brasilia, Brazil - 25-28 September 2017
Co-located with FroCoS 2017 and ITP 2017
Workshops and Tutorials: 23-25 September 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.
* INVITED SPEAKERS
- Carlos Areces (FaMAF - Universidad Nacional de Cordoba, Argentina)
- Wolfgang Bibel (Technische Universitat Darmstadt, Germany)
(TABLEAUX anniversary session)
- Katalin Bimbo (University of Alberta, Canada) (TABLEAUX/FroCoS/ITP)
- Jasmin Blanchette (Vrije Universiteit Amsterdam, The Netherlands)
(TABLEAUX/FroCoS/ITP)
- Reiner Hahnle (Technische Universitat Darmstadt, Germany) (TABLEAUX
anniversary session)
- Cezary Kaliszyk (Universitat Innsbruck, Austria)
(TABLEAUX/FroCoS/ITP)
* ACCEPTED PAPERS
See http://tableaux2017.cic.unb.br/#accepted
* PROGRAM CHAIRS
Claudia Nalon, University of Brasilia, Brazil
Renate Schmidt, The University of Manchester, UK
* REGISTRATION
For more information visit tableaux2017.cic.unb.br/#registration
Early registration until 4th August
Late registration until 2nd September
11th INTERNATIONAL SYMPOSIUM ON FRONTIERS OF COMBINING
SYSTEMS (FroCoS 2017)
Call for Participation
Brasilia, Brazil - 27-29 September 2017
Co-located with TABLEAUX 2017 and ITP 2017
Workshops and Tutorials: 23-25 September 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.
* INVITED SPEAKERS
- Katalin Bimbo (University of Alberta, Canada) (TABLEAUX/FroCoS/ITP)
- Jasmin Blanchette (Vrije Universiteit Amsterdam, The Netherlands)
(TABLEAUX/FroCoS/ITP)
- Cezary Kaliszyk (University of Innsbruck, Austria)
(TABLEAUX/FroCoS/ITP)
- Cesare Tinelli (University of Iowa, USA)
- Renata Wassermann (University of Sao Paulo, Brazil)
* ACCEPTED PAPERS
See http://frocos2017.cic.unb.br/#accepted
* PROGRAM COMMITTEE CHAIRS
Clare Dixon, University of Liverpool, UK
Marcelo Finger, Universidade de Sao Paulo, Brazil
* REGISTRATION
For more information visit frocos2017.cic.unb.br/#registration
Early registration until 4th August
Late registration until 2nd September
8th INTERNATIONAL CONFERENCE ON INTERACTIVE THEOREM PROVING (ITP 2017)
Call for Participation
Brasilia, Brazil - 26-29 September 2017
Co-located with TABLEAUX 2017 and FroCoS 2017
Workshops and Tutorials: 23-25 September 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.
* INVITED SPEAKERS
- Katalin Bimbo (University of Alberta, Canada) (TABLEAUX/FroCoS/ITP)
- Jasmin Blanchette (Vrije Universiteit Amsterdam, The Netherlands)
(TABLEAUX/FroCoS/ITP)
- Moa Johansson (Chalmers University of Technology, Sweden)
- Cezary Kaliszyk (University of Innsbruck, Austria)
(TABLEAUX/FroCoS/ITP)
- Leonardo de Moura (RISE, Microsoft Research)
* ACCEPTED PAPERS
See http://itp2017.cic.unb.br/#accepted
* PROGRAM CHAIRS
Mauricio Ayala-Rincon, University of Brasilia
Cesar Munoz, NASA
* REGISTRATION
For more information visit itp2017.cic.unb.br/#registration
Early registration until 4th August
Late registration until 2nd September
15th INTERNATIONAL SYMPOSIUM ON ARTIFICIAL INTELLIGENCE AND
MATHEMATICS (ISAIM 2018)
Call for Papers
January 3-5, 2018, Fort Lauderdale FL, USA
http://isaim2018.cs.virginia.edu
* The International Symposium on Artificial Intelligence and
Mathematics (ISAIM) is a biennial meeting that fosters interactions
between mathematics, theoretical computer science, and artificial
intelligence. This is the fifteenth Symposium in the series, which
is sponsored by Annals of Mathematics and Artificial Intelligence.
We seek submissions of recent results with particular emphasis on
the foundations of AI and mathematical methods used in AI. Papers
describing applications are also encouraged, but the focus should be
on principled lessons learned from the development of the
application. Traditionally, the Symposium attracts participants
from a variety of disciplines, thereby providing a unique forum for
scientific exchange. The three-day Symposium includes invited
speakers, presentations of technical papers, and special topic
sessions.
* Special Topic Invited Sessions:
- Boolean and pseudo-Boolean Functions, organized by Endre Boros,
Rutgers University, and Yves Crama, University of Liege
- Formalising Robot Ethics, organized by Michael Fisher,
University of Liverpool, and Marija Slavkovik, University of Bergen
- Topological Reasoning and Data Analyses, organized by Debasis Mitra,
Florida Istitute of Technology
- Theory of Machine Learning, organized by Lev Reyzin,
University of Illinois at Chicago
* IMPORTANT DATES
Paper submission: October 3, 2017
Notification: October 31, 2017
Final version due: November 27, 2017
Workshop: January 3-5, 2018, Ft. Lauderdale, Florida
* Detailed Call for Papers:
http://isaim2018.cs.virginia.edu/cfps.html
* PROGRAM COMMITTEE CHAIRS
Jurgen Dix and Guillermo R. Simari
* CONTACT
isaim2018 at mail DOT cs DOT virginia DOT edu.
* Join isaim@googlegroups.com to receive announcements related to ISAIM.
SEVENTH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND
PROOFS (CPP 2018)
Call for Papers
January 8-9, 2018, Los Angeles, USA
http://popl18.sigplan.org/track/CPP-2018
* OVERVIEW
Certified Programs and Proofs (CPP) is an international forum on
theoretical and practical topics in all areas, including computer
science, mathematics, and education, that consider certification as
an essential paradigm for their work. Certification here means
formal, mechanized verification of some sort, preferably with
production of independently checkable certificates.
* DATES
- Abstract submission deadline: Fri 6 Oct 2017
- Full paper submission deadline: Wed 11 Oct 2017
- Notification: Tue 14 Nov 2017
* INVITED SPEAKERS
- Brigitte Pientka (McGill University, Canada)
- René Thiemann (University of Innsbruck, Austria)
* PROGRAM CO-CHAIRS
- June Andronick (Data61, CSIRO and UNSW, Australia)
- Amy Felty (University of Ottawa, Canada)
10th SYMPOSIUM ON FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS
(FoIKS 2018)
Call for papers
May 14-18, 2018, Alfred Renyi Institute of Mathematics,
Budapest, Hungary
http://2018.foiks.org/
* FoIKS 2018 solicits original contributions dealing with any
foundational aspect of information and knowledge systems. This
includes submissions that apply ideas, theories or methods from
specific disciplines to information and knowledge systems. Examples
of such disciplines are discrete mathematics, logic and algebra,
model theory, information theory, complexity theory, algorithmics
and computation, statistics and optimization.
* The FoIKS symposia are a forum for intense discussions. Speakers
will be given sufficient time to present their ideas and results
within the larger context of their research; furthermore,
participants will be asked to prepare a first response to another
contribution in order to initiate discussion.
* INVITED SPEAKERS
Laura Kovacs (TU Wien),
Sebastian Link (Auckland Univ.),
David Pearce (TU Madrid),
Bernhard Thalheim (Christian-Albrechts Univ. Kiel)
* Scientific Sponsors: ALP, EATCS, Vienna Center for Logic and Algorithms
* IMPORTANT DATES
Abstract submission due: November 24, 2017;
Paper submission: December 01, 2017;
Notification: February 02, 2018
* Detailed information can be found on the webpage: http://2018.foiks.org/
POST-DOC POSITION AT TU DORTMUND
* At TU Dortmund University, we are looking for talented and motivated
post-doctoral researchers (or PhD students) interested in joining
the project Dynamic Expressiveness of Logics, which is funded by the
Deutsche Forschungsgemeinschaft (DFG).
* The opening is in the working group of Thomas Schwentick.
* The position is limited to two years, until 30.09.2019, and does not
involve teaching obligations.
* The official, complete job opening is available at
https://service.tu-dortmund.de/documents/18/2120797/Research+Assistant+(Ref=
.-Nr.+w45-17)/ade04a70-99ab-46fb-8dbf-fc129ac24d06?version=3D1.0
* Interested? Please do not hesitate to contact us:
TU Dortmund, Dept. of Computer Science
Chair I - Logic in Computer Science
Thomas Schwentick
Otto-Hahn-Str. 12
44227 Dortmund
Germany
POSTDOCTORAL RESEARCHER IN SEMANTICS AND TOOLS FOR QUANTUM PROGRAMMING
LANGUAGES
* Applications are invited for a postdoctoral position beginning
October 1, 2017 and running through November 30, 2018. The position
is in the Department of Computer Science at Tulane University, and
will be under the supervision of Professor Michael Mislove.
* The successful applicant will work on a project entitled
"Semantics, Formal Reasoning, and Tool Support for Quantum
Programming". The project involves designing high-level semantic
models and tools to support quantum functional programming
languages. A prototype language is Proto-Quipper, which has been
under development (http://www.mathstat.dal.ca/~selinger/quipper/
). This language uses the circuit model for quantum computation, and
envisions languages that support quantum computation under classical
control. The overall aim is to design type-safe functional
programming languages for quantum computing. The project also
involves developing the meta-theory (including categorical
semantics) of such languages, and eventually to formalize some of
the meta-theory in a proof assistant. The focus of the Tulane work
is modeling recursion in such languages, which requires developing
quantum domain theory, but interactions with other aspects of the
project are expected.
* Familiarity with programming language design, and / or semantics
is a prerequisite of the position. The latter includes categorical
semantics and domain theory. A good knowledge of category theory is
also a prerequisite. Of course, familiarity with quantum computing
is helpful. Additional components of the project will address issues
around quantum information such as non-locality and contextuality,
adapting proof assistants (Coq, Agda, Lean, etc) to develop
automated verification for quantum programming languages.
* To apply for one of this position, direct your browser to the link:
https://apply.interfolio.com/41053
* Funding for the project comes from the DOD and the U.S. Air Force
Office of Scientific Research.
PART-TIME (50%) FACULTY POSITION IN COMPUTER SCIENCE - SOFTWARE
LANGUAGES LAB IN BRUSSELS
* The computer science department of the Vrije Universiteit Brussel is
offering a part-time position as professor to reinforce its software
languages and software engineering branch. The position is published
under the heading:
WE/2017/001 - Senior Academic Staff - 50% - Science and
Bio-Engineering Sciences - Computer Sciences - Software Language
Engineering
on the university's job offers website located at
http://vub.talentfinder.be.
The planned starting date for this position is October 1st, 2017.
Contract duration is 2 academic years.
* The deadline for applying is
July 24th, 2017.
Applications should reach us through the
website.
* CONTACT
Viviane Jonckers
Software Languages Lab
email: vejoncke@vub.ac.be
phone: +32 2 629 29 67
* FUNCTION
- Research
The selected candidate has to reinforce the research of the Software
Languages Lab (SOFT - http://soft.vub.ac.be) which focusses on
`software language engineering'. The lab is active in programming
language research and software engineering research. We are
specifically looking for a candidate who can link these two domains,
e.g. by designing new language features or language extensions with
a specific focus on modern software engineering problems or by
studying the software engineering aspects that emerge from new
“nearly mainstream” languages such as Scala, Clojure, Julia, etc.
The candidate's research methodology can be formalism-based,
artefact-driven, or experimental. Candidates whose academic track
record shows the ability to combine several methodologies are
explicitly welcome.
- Teaching
The teaching assignment may include both general courses on bachelor
or master level and more specialized courses on MA level. The exact
course list will be negotiated with the candidate and will depend on
his/her expertise and language skills.
Back to the LICS web page.