SIGLOG Monthly 194
July 4, 2017
*******************************************************************
* Past issues of the newsletter are available at
http://lics.siglog.org/newsletters/
* Instructions for submitting an announcement to the newsletter
can be found at
http://lics.siglog.org/newsletters/inst.html
*******************************************************************
TABLE OF CONTENTS
* NEWS
Winners of the 2017 Alonzo Church Award
FLoC 2018 - Preliminary annoucement
ACM SIGLOG Announcement
EATCS Bulletin - Call for abstracts
* DEADLINES
Forthcoming Deadlines
* CALLS
RV-CuBES - Call for contributions
HELMUTH VEITH STIPEND - Call for Application
PODS 2018 - Call for Papers
ISSTA & SPIN 2017 - Call for Participation
CAV 2017 - Call for Participation
FSTTCS 2017 - Call for Papers
CCA 2017 - Call for Participation
RW 2017 - Call for Applications
EPS 2017 - Call for Posters and Encyclopedia Entries
TPNC 2017 - Call for papers
CSL 2017 - Call for Participation
LOGIC AND AUTOMATA THEORY - Call for participation
CPP 2018 - Call for Papers
FoIKS 2018 - Call for papers
* JOB ANNOUNCEMENTS
PART-TIME (50%) FACULTY POSITION IN COMPUTER SCIENCE - SOFTWARE LANGUAGES LAB IN BRUSSELS
12 PH.D. STUDENT POSITIONS IN ALGORITHMS, VERIFICATION, AND LOGIC
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: Hane 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
* RV-CuBES
Call for contributions
Deadline extension: abstracts - July 8, final submission - July 15
http://rv2017.cs.manchester.ac.uk/rv-cubes/
affiliated with RV 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
* ISSTA & SPIN 2017
Call for Participation
July 10-14, 2017, Santa Barbara, California, USA
http://conf.researchr.org/home/issta-2017
http://conf.researchr.org/home/spin-2017
* CAV 2017
Call for Participation
Heidelberg, Germany, 22-28 July 2017
http://www.cavconference.org/2017
* FSTTCS 2017
Call for Papers
Kanpur, India, December 11 - 15, 2017
Conference website: http://fsttcs.org/
Submission deadline: July 24
* CCA 2017
Call for Participation
July 24-27, 2017, Daejeon, South Korea
http://cca-net.de/cca2017/
* RW 2017
Call for Applications- PARTICIPATION TOKENS STILL AVAILABLE
The 13th Reasoning Web Summer School (RW 2017)
London, U.K., July 7-11, 2017
http://reasoningweb.org/2017
* EPS 2017
Call for Posters and Encyclopedia Entries
24, 25th of September 2017, Brasilia, Brazil
http://proofsystem.github.io/Encyclopedia/
Submission: August 1
* 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
* CPP 2018
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
AN INTERNATIONAL WORKSHOP ON COMPETITIONS, USABILITY, BENCHMARKS,
EVALUATION, AND STANDARDISATION FOR RUNTIME VERIFICATION TOOLS
(RV-CuBES 2017)
Call for contributions
http://rv2017.cs.manchester.ac.uk/rv-cubes/
affiliated with RV 2017
* HIGHLIGHTS
The goal of this workshop is to provide a venue to discuss ongoing
efforts to improve how we evaluate and compare tools for runtime
verification. We invite two kinds of submissions: tool overview
papers of existing tools and position papers. Attendance at the
workshop is not compulsory for submission, but encouraged The
workshop will be integrated into RV 2017 to engage with the wider RV
community
* RELATION TO RV 2017
There is no overlap in scope between this workshop and RV 2017. Any
papers containing original technical developments should be
submitted to RV 2017 rather than this workshop as the workshop
focuses on tool reviews (containing existing work) and position
statements. If there is any uncertainty please contact the workshop
chairs. The workshop will be integrated into RV 2017.
* SUBMISSIONS
We invite two forms of submission: Tool Overview papers and Position
papers. All submissions will be subject to a lightweight review by
the PC to ensure a reasonable standard and to provide constructive
feedback to improve the quality of the submission.
* IMPORTANT DATES
Abstracts: 8 July 2017
Final Submission: 15 July 2017
Notification 1 August 2017
Workshop at RV 2017 13-16 September 2017
Post-proceedings deadline 14 October 2017
* Program Committee Chairs
Giles Reger, University of Manchester, UK
Klaus Havelund, NASA Jet Propulsion Laboratory, USA
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.
26TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS
24TH INTERNATIONAL SPIN SYMPOSIUM ON MODEL CHECKING OF SOFTWARE
(ISSTA & SPIN 2017)
July 10-14, 2017, Santa Barbara, California, USA
http://conf.researchr.org/home/issta-2017
http://conf.researchr.org/home/spin-2017
* ISSTA is the leading research symposium on software testing and
analysis, bringing together academics, industrial researchers, and
practitioners to exchange new ideas, problems, and experiences on
how to analyze and test software systems.
* The SPIN symposium brings together researchers and practitioners
interested in automated, tool-based techniques to analyze software
systems and models of software systems for verification and
validation purposes.
* RESEARCH PROGRAM
ISSTA list of accepted papers:
http://conf.researchr.org/info/issta-2017/accepted-papers
SPIN list of accepted papers:
http://conf.researchr.org/info/spin-2017/accepted-papers
* KEYNOTE SPEAKERS
ISSTA
Christopher Kruegel, UCSB
Armando Solar-Lezama, MIT
SPIN
Domagoj Babic, Google
Byron Cook, Amazon Web Services
Gerard Holzmann, Nimble Research
* CO-LOCATED EVENTS
ISSTA Doctoral Symposium
http://conf.researchr.org/track/issta-2017/issta-2017-doctoral-symposium
ISSTA Demonstrations track
http://conf.researchr.org/track/issta-2017/issta-2017-demos
TECPS 2017: Workshop on Testing Embedded and Cyber-Physical Systems
http://conf.researchr.org/track/issta-2017/issta-2017-tecps
RERS Challenge 2017: Rigorous Examination of Reactive Systems
http://www.rers-challenge.org/2017/
* FOLLOW US ON SOCIAL MEDIA
http://facebook.com/isstaconf
http://twitter.com/issta_conf
http://twitter.com/hashtag/spin17sym
COMPUTER-AIDED VERIFICATION, 29TH INTERNATIONAL CONFERENCE (CAV 2017)
Call for Participation
Heidelberg, Germany, 22-28 July 2017
http://www.cavconference.org/2017
* TL;DR Early registration: June 14, 2017; Hotel booking deadlines:
early June, 2017; We hope to welcome you at CAV -- we have an
exciting program!
* ABOUT CAV
CAV 2017 is the 29th in a series dedicated to the advancement of the
theory and practice of computer-aided formal analysis methods for
hardware and software 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. Along with the main
conference, CAV will feature eight workshops (including a special
workshop in honor of David Dill) and tutorials.
* HIGHLIGHTS:
-- WORKSHOPS (22-23 July)
-- VERIFICATION MENTORING WORKSHOP (23 July)
-- SPECIAL WORKSHOP Dill@60 in Honor of David Dill (24 July)
-- MAIN CONFERENCE (24-28 July)
* INVITED SPEAKERS
Chris Hawblitzel, Microsoft Research
Marta Kwiatkowska, Oxford
Viktor Vafeiadis, MPI-SWS
Winner of the CAV award (to be announced at the conference)
* INVITED TUTORIALS
Loris D'Antoni, University of Wisconsin-Madison: The power of
symbolic automata and transducers
Mayur Naik, University of Pennsylvania: Maximum Satisfiability in
Software Analysis: Applications and Techniques
* PUBLIC LECTURE ``Logic Lounge'' in memory of Helmut Veith
Fabiana Zollo: Social Dynamics in the Post-Truth Society: How the
Confirmation Bias is Changing the Public Discourse
* SATELLITE EVENTS (22-23 July)
7 satellite workshops will take place before CAV 2017.
Check their calls for papers and consider contributing!
SYNT - Sixth Workshop on Synthesis (July 22)
DARS - Design and Analysis of Robust Systems (July 22)
NSV/Rise4CPS - Numerical Software Verification and Formal Methods
for Rigorous Systems Engineering of
Cyber-Physical Systems (July 22-23)
SMT - Satisfiability Modulo Theories (July 22-23)
VSTTE - Verified Software: Theories, Tools, and Experiment
(July 22-23)
VMW - Verification Mentoring Workshop (July 23)
FEVER - Formal Approaches to Explainable VERification (July 23)
37TH ANNUAL CONFERENCE ON FOUNDATIONS OF SOFTWARE TECHNOLOGY AND
THEORETICAL COMPUTER SCIENCE (FSTTCS 2017)
Call for Papers
Kanpur, India, December 11 - 15, 2017
Conference website: http://fsttcs.org/
* TOPICS
Representative areas include, but are not limited to,
the following.
- Algorithms and Data Structures
- Algorithmic Graph Theory and Combinatorics
- Approximation Algorithms
- Automata and Formal Languages
- Combinatorial Optimization
- Communication Complexity
- Computational Biology
- Computational Complexity
- Computational Geometry
- Computational Learning Theory
- Cryptography and Security
- Game Theory and Mechanism Design
- Logic in Computer Science
- Model Theory, Modal and Temporal Logics
- Models of Concurrent and Distributed Systems
- Models of Timed, Reactive, Hybrid and Stochastic Systems
- Parallel, Distributed and Online Algorithms
- Parameterized Complexity
- Principles and Semantics of Programming Languages
- Program Analysis and Transformation
- Proof Complexity
- Quantum Computing
- Randomness in Computing
- Specification, Verification, and Synthesis
- Theorem Proving, Decision Procedures, and Model Checking
- Theoretical Aspects of Mobile and High-Performance Computing
* INVITED SPEAKERS
Sham Kakade (University of Washington, USA)
Anca Muscholl (LaBRI & Universite de Bordeaux, France)
Devavrat Shah (MIT, USA)
Vinod Vaikuntanathan (MIT CSAIL, USA)
Thomas Wilke (Christian-Albrechts-Universitaet zu Kiel, Germany)
* IMPORTANT DATES
Paper submission deadline: Monday, July 24, 2017 (Anywhere on earth)
Notification to Authors: Monday, September 18, 2017
Camera-ready deadline: Monday, October 16, 2017
Conference: December 11 - 15, 2017
FOURTEENTH INTERNATIONAL CONFERENCE ON COMPUTABILITY AND COMPLEXITY
IN ANALYSIS (CCA 2017)
Call for Participation
July 24-27, 2017, Daejeon, South Korea
http://cca-net.de/cca2017/
* ABOUT. This conference is concerned with the theory of computability
and complexity over real-valued data. The topics of interest
include foundational work on various models and approaches for
describing computability and complexity over the real numbers. They
also include complexity-theoretic investigations, both foundational
and with respect to concrete problems, and new implementations of
exact real arithmetic, as well as further developments of already
existing software packages. The conference CCA 2017 is preceded by
the 15th Asian Logic Conference from July 10 to 14 and followed by
the Workshop on Real Verification on Friday, July 28.
* INVITED SPEAKERS
Hee-Kap Ahn (Pohang, Republic of Korea)
Veronica Becher (Buenos Aires, Argentina)
Anders Hansen (Cambridge, UK)
Takayuki Kihara (Berkeley, USA)
Amaury Pouly (Max Planck Institute, Germany)
Linda Brown Westrick (Connecticut, USA)
* REGISTRATION
Early bird registration is open until June 10th:
http://kaist.kiwii.co.kr/
* SATELLITE WORKSHOP ON REAL VERIFICATION
A co-located "Workshop on Real Verification" will take place on
Friday, July 28
https://complexity.kaist.edu/CCA2017/workshop.html
THE 13TH REASONING WEB SUMMER SCHOOL (RW 2017)
Call for Applications
London, U.K., July 7-11, 2017
http://reasoningweb.org/2017
* co-located with:
- RuleML+RR: International Joint Conference on Rules and Reasoning
London, U.K., July 12-15, 2017
http://2017.ruleml-rr.org
- RuleML+RR Doctoral Consortium
http://2017.ruleml-rr.org/doctoral-consortium/
- DecisionCAMP 2017
London, U.K., July 13-14, 2017
http://2017.ruleml-rr.org/decisioncamp-2017
- 11th International Rule Challenge
London, U.K., July 12-15, 2017
http://2017.ruleml-rr.org/calls/international-rule-challenge/
* The purpose of the Reasoning Web Summer School is to disseminate
recent advances on reasoning techniques which are of particular
interest to Semantic Web and Linked Data applications. The school is
primarily intended for postgraduate (PhD or MSc) students, postdocs,
young researchers, and senior researchers wishing to learn about
Reasoning on the Semantic Web and related issues. In 2017, the theme
of the school is:
"Semantic Interoperability on the Web"
* IMPORTANT DATES
Application deadline: May 20, 2017 (extended)
Notifications: May 25, 2017
Registration deadline: May 31, 2017
* LECTURES
- Andrea Cali (Birkbeck University of London, U.K.)
"Ontology querying: Datalog strikes back"
- Thomas Eiter (Technical University of Wien, Austria)
"Answer Set Programming with External Source Access"
- Thomas Lukasiewicz (University of Oxford, U.K.)
"Uncertainty Reasoning for the Semantic Web"
- Marco Montali (Free University of Bolzano/Bozen, Italy)
"Ontology-based Data Access for Log Extraction in Process Mining"
- Axel Polleres (Vienna University of Economics & Business, Austria)
"Challenges for Semantic Data Integration on the Web of Open Data"
- Marie-Christine Rousset (University Grenoble-Alpes,
Institut Universitaire de France)
"Datalog revisited for reasoning in Linked Data"
- Torsten Schaub (University of Potsdam, Germany and
Inria, Bretagne Atlantique, Rennes, France)
"A Tutorial on Hybrid Answer Set Solving"
- Juan Sequeda (Capsenta, USA)
"Integrating Relational Databases with the Semantic Web"
- Giorgos Stamou (National Technical University of Athens, Greece)
"Ontological query answering over semantic data"
* FURTHER DETAILS on applications, student fees and grants, venue, are
available on the school website.
ENCYCLOPEDIA OF PROOF SYSTEMS - POSTER SESSION & TASK-FORCE (EPS 2017)
Call for Posters and Encyclopedia Entries
24, 25th of September 2017, Brasilia, Brazil
http://proofsystem.github.io/Encyclopedia/
* DESCRIPTION. The Encyclopedia of Proof Systems was created in 2014
with the goal of being a quick reference for the various proof
systems used by logicians. Since then, it has collected 64 entries
on the most various logics and calculi. This was only possible due
to the collaboration of many members of the logic community. This
event aims to promote the encyclopedia and attract more
contributions and collaborators. It consists of:
- a poster session in the afternoon of September 24th, 2017, during
which submitted entries will be displayed as posters;
- an interactive hands-on meeting in the morning of September 25th,
2017, for those who would like to contribute to the continuous
improvement of the encyclopedia.
* Submissions and instructions are available in the website:
http://proofsystem.github.io/Encyclopedia/
* IMPORTANT DATES
Submission: 1 August 2017
Notification: 15 August 2017
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)
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
* 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/
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.
12 PH.D. STUDENT POSITIONS IN ALGORITHMS, VERIFICATION, AND LOGIC
RWTH Aachen University
Call for Applications
Deadline for applications: July 14, 2017
Starting date positions: October 1, 2017
https://moves.rwth-aachen.de/research/projects/unravel/
* The RWTH Aachen University is looking for enthusiastic and highly
qualified doctoral researchers. 12 positions are available within
the Research Training Group (RTG) UnRAVeL. The key emphasis of an
RTG is on the qualification of doctoral researchers with a focused
research program and a structured training strategy. UnRAVeL aims
to significantly advance probabilistic modelling and analysis for
uncertainty by developing new theories, algorithms, and tool-sup-
ported verification techniques, and to apply them to core problems
from security, planning, and safety and performance analysis.
* Application procedure, required profile, job description, and the
possible Ph.D. projects are all available on the web page.
* Involved supervisors: Martin Grohe, Erich Gradel, Erika Abraham,
Jurgen Giesl, Joost-Pieter Katoen, Christof Loding, Britta Peis,
Gerhard Woeginger, Gerhard Lakemeyer, Ulrike Meyer, Nils Niessen,
Pascal Schweitzer.
Back to the LICS web page.