SIGLOG Monthly 202
July 25, 2019
*******************************************************************
* Past issues of the newsletter are available at
https://lics.siglog.org/newsletters/
* Instructions for submitting an announcement to the newsletter
can be found at
https://lics.siglog.org/newsletters/inst.html
*******************************************************************
TABLE OF CONTENTS
* NEWS
ACM SIGLOG Announcement
ACM Computing Surveys - EiC Call for Nominations
* DEADLINES
Forthcoming Deadlines
* CALLS
MFCS 2019 - Call for Participation
RADICAL 2019 - Call for Participation
FORMATS 2019 - Call for Participation
CONCUR 2019 - Call for Participation
FMICS 2019 - Call for Participation
YR-CONCUR 2019 - Call for Participation
FROCOS/TABLEAUX 2019 - Call for Participation
LFCS 2020 - Call for Papers
PROOF THEORY SCHOOL AND WORKSHOP - Call for Participation
QEST 2019 - Call for Participation
FOPPS 2019 - Call for Participation
HIGHLIGHTS 2019 - Call for Participation
* JOB ANNOUNCEMENTS
POSTDOC RESEARCH FELLOWSHIP FOR FEMALES AT MPII/GERMANY
PHD POSITION AT TU WIEN
ACM SIGLOG ANNOUNCEMENT
http://siglog.acm.org
http://www.acm.org/elections/sigs/siglog-2019-results
* In 2014, the ACM chartered a Special Interest Group on Logic and
Computation (ACM SIGLOG).
* We are pleased to announce the 2019 ACM SIGLOG election results for
the term of 1 July 2019 - 30 June 2022. The new SIGLOG Chair is
Frank Pfenning and the other officers are Veronique Cortier (Vice-Chair),
Amy Felty (Treasurer) and Andrzej Murawski (Secretary).
* 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).
ACM COMPUTING SURVEYS (CSUR)
Editor-in-Chief Call for Nominations
https://csur.acm.org/announcements.cfm
* EIC
The term of the current Editor-in-Chief (EiC) of ACM Computing Surveys (CSUR)
is coming to an end, and the ACM Publications Board has established a search
committee to assist the Board with selecting the next EiC, which will be
Chaired by Chris Hankin.
* PLAN
In addition to this search process, the ACM Publications Board is in the
initial stages of developing a plan to substantially expand the scope of
the journal, with the goals of (1) providing broader coverage of the
computing field, including an increased focus on key expanding research
and application areas; and (2) strengthening ACM's overall portfolio with
high-impact, relevant, and timely publications of interest to our community
and society at large. As a result, the ACM Publications Board is open to bold
suggestions for the future of CSUR. This may include a vision that transforms
CSUR as a single conventional journal into a subtitled series that includes
greater representation of computing and AI, multidisciplinary computing
relevant to specific domains, the impact of computing on human society,
and similar major trends. It may also include a vision that transforms
the style, impact, and readership base of CSUR to inject more future-directed
critical reviews, of greater interest to a broad reader constituency, and
with a far higher impact. The successful Editor-in-Chief candidate will be
the one whose proposed vision aligns with future directions and aims of
the ACM Publications Board, as well as the candidate who is most experienced
and best positioned to implement that vision. Nominations, including
self-nominations, are welcome from June 20 through August 1 2019.
DATES
* LFCS 2020
Paper submission: September 10, 2019, any time zone
https://lfcs.ws.gc.cuny.edu/lfcs-2020/
44TH INTERNATIONAL SYMPOSIUM ON MATHEMATICAL FOUNDATIONS
OF COMPUTER SCIENCE (MFCS 2019)
Call for Participation
Aachen, Germany, August 26-30, 2019
http://tcs.rwth-aachen.de/mfcs2019
* The MFCS conference series has been organized since 1972. Traditionally,
the conference moved between the Czech Republic, Slovakia, and Poland,
while since 2013, the conference travels around Europe. In 2019 it will
take place in Germany for the first time.
* MFCS is a high-quality venue for original research in all branches
of theoretical computer science. The broad scope of the conference
encourages interactions between researchers who might not meet at
more specialized venues.
* INVITED SPEAKERS
- Jerome Leroux (LaBRI, Talence)
- Daniel Lokshtanov (University of California at Santa Barbara (UCSB))
- Kurt Mehlhorn (Max-Planck-Institut für Informatik, Saarbruecken)
- Alexandra Silva (University College London)
- Kavitha Telikepalli (Tata Institute of Fundamental Research, Mumbai)
* IMPORTANT DATES
Standard registration deadline: Wednesday, July 31st
Workshops: Friday, August 30th, to Saturday, August 31st, 2019
* AFFILIATED WORKSHOPS
- ARDA 2019 (Advances in Reoptimization and Dynamic Algorithms)
- Structural Sparseness Workspace
2ND INTERNATIONAL WORKSHOP ON RECENT ADVANCEMENT IN
CONCURRENCY AND LOGIC (RADICAL 2019)
Call for Participation
Amsterdam, August 26, 2019
https://sites.google.com/site/radicalconcur/Home
* SCOPE AND TOPICS
The workshop aims to bring together researchers working on different aspects
of logic and concurrency in AI, multi-agent systems, and computer science,
both from a theoretical and a practical point of view. Besides, it aims to
promote research on Foundation of AI in other research communities that are
traditionally Theoretical Computer Science-oriented.
* INVITED SPEAKERS
Marieke Huisman (University of Twente, NL)
Johan van Benthem (ILLC University of Amsterdam, NL / Stanford University, USA)
17TH INTERNATIONAL CONFERENCE OF FORMAL MODELLING AND ANALYSIS
OF TIMED SYSTEMS (FORMATS 2019)
Call for papers
Amsterdam, the Netherlands, August 27-29, 2019
co-located with CONCUR and FMICS
https://lipn.univ-paris13.fr/formats2019/
* INVITED SPEAKERS
NATHALIE BERTRAND: When are dense-time stochastic systems tameable?
MARTA KWIATKOWSKA: joint invited speaker CONCUR
KIM LARSEN: joint invited speaker CONCUR
* TOPICS
The aim of FORMATS is to promote the study of fundamental and
practical aspects of timed systems, and to bring together researchers
from different disciplines that share interests in modelling and
analysis of timed systems. In 2019, FORMATS aims at being more inclusive
wrt to applications, notably real-time systems. Typical topics include
(but are not limited to): Foundations and Semantics: Theoretical
foundations of timed systems and languages; comparison between different
models (timed automata, timed Petri nets, hybrid automata, timed process
algebra, max-plus algebra, probabilistic models). Methods and Tools:
Techniques, algorithms, data structures, and software tools for
analyzing timed systems and resolving temporal constraints (scheduling,
worst-case execution time analysis, optimization, model checking, testing,
constraint solving, etc.). Applications: Adaptation and specialization
of timing technology in application domains in which timing plays an
important role (real-time software, hardware circuits, and problems of
scheduling in manufacturing and telecommunication).
30TH INTERNATIONAL CONFERENCE ON CONCURRENCY THEORY (CONCUR 2019)
Call for Participation
Amsterdam, the Netherlands, 27-30 August 2019
https://event.cwi.nl/concur2019/
* The purpose of the CONCUR conferences is to bring together researchers,
developers, and students in order to advance the theory of concurrency,
and promote its applications.
* KEYNOTE SPEAKERS
Marta Kwiatkowska (University of Oxford, UK)
Kim G. Larsen (Aalborg University, Denmark)
Joel Ouaknine (Max Planck Institute for Software Systems, Germany)
Jaco van de Pol (Aarhus University, Denmark)
* CO-LOCATED EVENTS
24th International Conference on Formal Methods for Industrial Critical
Systems (FMICS 2019)
17th International Conference on Formal Modelling and Analysis of Timed
Systems (FORMATS 2019)
* WORKSHOPS
3rd International Workshop on Methods and Tools for Distributed Hybrid
Systems (DHS 2019)
Combined 26th International Workshop on Expressiveness in Concurrency
and 16th Workshop on Structural Operational Semantics (EXPRESS/SOS 2019)
2nd International Workshop on Recent Advances in Concurrency and Logic
(RADICAL 2019)
4th International Workshop on Timing Performance Engineering for Safety
Critical Systems (TIPS 2019)
8th IFIP WG 1.8 Workshop on Trends in Concurrency Theory (TRENDS 2019)
9th Young Researchers Workshop on Concurrency Theory (YR-CONCUR 2019)
24TH INTERNATIONAL CONFERENCE ON FORMAL METHODS FOR
INDUSTRIAL CRITICAL SYSTEMS (FMICS 2019)
Call for Participation
Amsterdam, The Netherlands, August 30-31, 2019
https://fmics2019.fsa.win.tue.nl
* GENERAL
The aim of FMICS is to bring together scientists and engineers who are
active in the area of formal methods and interested in exchanging their
experiences in the industrial usage of these methods.
* KEYNOTES
- Jaco van de Pol (joint invited speaker CONCUR)
- Holger Hermanns
* REGISTRATION
Register by 1 August 2019 (late registration is possible but at a
higher cost).
* CO-LOCATED EVENTS
CONCUR: https://event.cwi.nl/concur2019/
FORMATS: https://lipn.univ-paris13.fr/formats2019/
WORKSHOPS:
- http://dhs.gforge.inria.fr/
- https://express-sos2019.cs.ru.nl/
- https://sites.google.com/site/radicalconcur
- IFIP WG 1.8 Workshop on Trends in Concurrency Theory
- https://yr-concur2019.fsa.win.tue.nl/
9TH INTERNATIONAL YOUNG RESEARCHERS WORKSHOP ON
CONCURRENCY THEORY (YR-CONCUR 2019)
Call for Participation
Amsterdam, August 31, 2019
https://yr-concur2019.fsa.win.tue.nl
* This workshop aims at providing a platform for PhD students and young
researchers who recently completed their doctoral studies, to exchange
new results related to concurrency theory and receive feedback on their
research. Focus is on informal discussions. Excellent master students
working on concurrency theory are also encouraged to contribute.
12TH INTERNATIONAL SYMPOSIUM ON FRONTIERS OF COMBINING SYSTEMS
(FROCOS 2019) AND 28TH INTERNATIONAL CONFERENCE ON AUTOMATED
REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS (TABLEAUX 2019)
Call for Participation
London, UK, September 2-6, 2016
https://frocos2019.org
https://tableaux2019.org
* PROGRAMME
https://tableaux2019.org/Program_FroCoS_TABLEAUX_2019.pdf
* DEADLINE
The deadline for early registration is August 21st, 2019.
* INVITED TALKS
- Jeremy Avigad. Automated Reasoning for the Working Mathematician
- Maria Paola Bonacina. Conflict-Driven Reasoning in Unions of Theories
- Stephane Graham-Lengrand. Recent and Ongoing Developments of
Model-Constructing Satisfiability
- Stephane Graham-Lengrand and Sara Negri. Remembering Roy Dyckhoff
- Uli Sattler. Modularity and Automated Reasoning in Description Logics
* AFFILIATED WORKSHPS
- The 25th Workshop on Automated Reasoning (ARW 2019), organized by
Alexander Bolotov and Florian Kammueller
- Journeys in Computational Logic: Tributes to Roy Dyckhoff, organized
by Stephane Graham-Lengrand, Ekaterina Komendantskaya and Mehrnoosh
Sadrzadeh
* AFFILIATED TUTORIALS
- Formalising Concurrent Computation: CLF, Celf, and Applications by
Sonia Marin, Giselle Reis and Iliano Cervesato
- How to Build an Automated Theorem Prover---An Introductory Tutorial
(invited TABLEAUX tutorial) by Jens Otten.
SYMPOSIUM ON LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS 2020)
Call for Papers
Deerfield Beach, Florida, January 4-7, 2020
https://lfcs.ws.gc.cuny.edu/lfcs-2020/
* LFCS topics of interest include, but are not limited to: constructive
mathematics and type theory; homotopy type theory; logic, automata, and
automatic structures; computability and randomness; logical foundations
of programming; logical aspects of computational complexity; parameterized
complexity; logic programming and constraints; automated deduction and
interactive theorem proving; logical methods in protocol and program
verification; logical methods in program specification and extraction;
domain theory logics; logical foundations of database theory; equational
logic and term rewriting; lambda and combinatory calculi; categorical logic
and topological semantics; linear logic; epistemic and temporal logics;
intelligent and multiple agent system logics; logics of proof and
justification; nonmonotonic reasoning; logic in game theory and social
software; logic of hybrid systems; distributed system logics; mathematical
fuzzy logic; system design logics; other logics in computer science.
* CHAIRS
LFCS General Chair: Anil Nerode, Ithaca, NY
PC Chair: Sergei Artemov (New York, NY)
* SUBMISSIONS
Proceedings will be published in the Springer LNCS series. Submissions
should be made electronically via easychair. Submitted papers must be in
pdf/12pt format and of no more than 15 pages, present work not previously
published, and must not be submitted concurrently to another conference
with refereed proceedings. LFCS issues the best student paper award named
after John Barkley Rosser Sr. (1907-1989), a prominent American logician
with fundamental contributions in both Mathematics and Computer Science.
* DATES
Submissions deadline: midnight September 10, 2019, any time zone.
Notification: October 10, 2019
INTERNATIONAL SUMMER SCHOOL AND WORKSHOP ON PROOF THEORY
2nd International Summer School on Proof Theory
Swansea, UK, September 8-11, 2019
http://www.proofsociety.org/summer-school-2019/
and
Workshop on Proof Theory
Swansea, September 11-13, 2019
http://www.proofsociety.org/workshop-2019/
* SHORT TALKS
There is a limited number of slots for short (10 min) talks available at
the workshop to present open problems or work in progress. Abstracts may be
sent to u.berger@swansea.ac.uk or submitted at the beginning of the workshop.
Acceptance of short talks will be decided at the beginning of the workshop.
* MISSION AND SCIENTIFIC AIMS
The mission of The Proof Society is to support the notion of proof
in its broadest sense, through a series of suitable activities;
to be therefore inclusive in reaching out to all scientific areas
which consider proof as an object in their studies; to enable the
community to shape its future by identifying, formulating and
communicating it most important goals; to actively promote proof
to increase its visibility and representation.
The aim of the 2nd Workshop on Proof Theory and its Applications
is to reflect on the mission of The Proof Society, through a series of
invited and contributed talks, as well as a panel discussion.
The 1st Workshop and International Summer School on Proof Theory
took place in Ghent in 2018.
* INVITED SPEAKERS AT THE WORKSHOP
- Antonina Kolokolova (Memorial University of Newfoundland)
- Gilles Dowek (ENS Paris-Saclay)
- Helmut Schwichtenberg (LMU Munich)
- Laura Crosilla (University of Birmingham)
- Adam Wyner (Swansea University)
* STUDENT GRANTS
A limited number of grants for UK PhD and Research Master students
is available, which will be awarded on a first-come-first-serve basis.
Further details on the website.
16TH INTERNATIONAL CONFERENCE ON QUANTITATIVE EVALUATION
OF SYSTEMS (QEST 2019)
Call for Participation
Glasgow, UK, September 10-12, 2019
http://www.qest.org/qest2019/
* SCOPE
The International Conference on Quantitative Evaluation of SysTems
(QEST) is the leading forum on quantitative evaluation and verification
of computer systems and networks. Areas of interest include quantitative
specification methods, stochastic and non-deterministic models and
metrics for performance, reliability, safety, correctness, and
security. QEST is interested in both theoretical and experimental
research. QEST welcomes a diversity of modelling formalisms, programming
languages and methodologies that incorporate quantitative aspects such
as probabilities, temporal properties and other forms of
non-determinism. This includes work on the combination of quantitative
evaluation and verification with machine learning techniques. Papers may
advance empirical, simulation and analytic methods. Of particular
interest are case studies that highlight the role of quantitative
specification, modelling and evaluation in the design of
systems. Systems of interest include computer hardware and software
architectures, communication systems, cyber-physical systems,
infrastructural systems, security systems and biological systems. Papers
that describe novel tools to support the practical application of
research results in all of the above areas are also welcome.
* KEYNOTES
- Andrew Gordon (Microsoft Research, UK)
End-User Probabilistic Programming
- Piet Van Mieghem (Delft University of Technology, The Netherlands)
Epidemic Spread on Networks
- Andre Platzer (Carnegie Mellon University, USA)
The Logical Path to Autonomous Cyber-Physical Systems
* REGISTRATION
Registration is now open: https://www.eventsforce.net/gu/109/home
- Early-bird registration deadline: 8 August 2019
- Registration will close on 28 August 2019 at 23:59hrs (UK time)
A limited number of SICSA (https://www.sicsa.ac.uk/) funded PhD
studentships are available for students from Scottish Institutions.
For details see:
http://www.qest.org/qest2019/registration.html
* CHAIRS
General Chair: Gethin Norman, University of Glasgow, UK
Program Co-chairs
Dave Parker, University of Birmingham, UK
Verena Wolf, Saarland University, Germany
3RD SUMMER SCHOOL ON FOUNDATIONS OF PROGRAMMING AND
SOFTWARE SYSTEMS (FOPPS 2019)
10-15 September, Warsaw, Poland
https://www.mimuw.edu.pl/~fopss19/
* NOMINAL TECHNIQUES
The 2019 Alonzo Church Award was given to M. J. Gabbay
and A. M. Pitts for their ground-breaking work on nominal sets.
(https://siglog.org/winners-of-the-2019-alonzo-church-award/)
Do you want to learn what that was about? Come to FoPSS 2019!
* FOPPS
The Summer School on Foundations of Programming and Software
Systems (FoPSS) was jointly created by EATCS, ETAPS, ACM SIGLOG
and ACM SIGPLAN. It was first organised in 2017. The goal is
to introduce the participants to various aspects of computation theory
and programming languages. The school, spread over a single week,
is aimed at students and researchers in Theoretical Computer Science,
broadly construed. Each year the school is focused on a particular,
actively researched topic. Our focus in 2019 are Nominal Techniques
in Computer Science. For the introduction and cornerstone contributions
to this area Murdoch J. Gabbay and Andrew M. Pitts received the 2019
Alonzo Church Award. Both of them are among the lecturers of FoPSS 2019.
The scientific programme of the school is available from our website:
https://www.mimuw.edu.pl/~fopss19/programme.html
* FEES
Early registration fee is 1600PLN (approx. 375EUR), and it includes
lunches, coffee breaks and accommodation in a hotel within a walking
distance from the school venue. We have a few scholarships available
to participants who have difficult access to funding.
Registration is open!
* COLOCATED EVENT
Highlights 2019: 7th annual conference on Highlights of Logic, Games and Automata
17-20 September (http://highlights-conference.org)
7TH ANNUAL CONFERENCE ON HIGHLIGHTS OF LOGIC, GAMES AND
AUTOMATA (HIGHLIGHTS 2019)
Call for Participation
17-20 September 2019, Warsaw
http://highlights-conference.org
* HIGHLIGHTS 2019 is the seventh conference on Highlights of Logic,
Games and Automata that aims at integrating the community working
in these fields. Papers from these areas are dispersed across many
conferences, which makes them difficult to follow. A visit to the
Highlights conference should offer a wide picture of the latest
research in the field and a chance to meet everybody in the
community, not just those who happen to publish in one particular
proceedings volume. The conference is short (from 18 September to
the mid-day on 20 September) and it is preceded by the Highlights
Tutorial Day (17 September). The participation costs are modest
and Warsaw is easy to reach.
* The Contributed Presentations will be around ten minutes long.
All speakers will be also invited to contribute to a Poster Session,
which will open new ways of interaction at the conference for the
whole Highlights community.
* SCOPE
Representative areas include, but are not restricted to:
+ logic and finite model theory
+ automata theory
+ games for logic and verification
* CO-LOCATED EVENT
3rd School on Foundations of Programming and Software Systems on
Nominal Techniques (https://www.mimuw.edu.pl/~fopss19)
POSTDOC RESEARCH FELLOWSHIP FOR FEMALES AT MPII/GERMANY
* The Max Planck Institute for Informatics is looking for excellent
female computer scientists, offering them PostDoc positions to develop
their scientific ideas without exertion of influence. The PostDoc
positions are funded by the Lise Meitner Award. It is a two-year
tax-free postdoctoral research fellowship including business expenses.
This grant is according to the fellowship rules of the Max Planck
Society: it usually amounts to 3,000 Euro/month and is completed by
compensation for business expenses of 10,000 Euro/year.
* Fellows will be chosen based on the strength of their academic
background and research credentials. Applications should include a CV,
a cover letter, a publication list, a short research plan (one page is
enough), and two references, that will be contacted later to provide
recommendation letters.
* The application process for 2019 ends on September 30th, 2019. See the
Lise Meitner Award web page for details on how to apply:
https://www.mpi-inf.mpg.de/lise-meitner-award-fellowship/
For more information, please contact meitner-award@mpi-inf.mpg.de.
PHD POSITION IN LOGICAL METHODS IN COMPUTER SCIENCE AT TU WIEN
* GENERAL
The Institute of Computer Engineering at Technische Universitaet
Wien (TU Wien) is seeking a candidate for a research assistant position
(PhD student, 4 years). The successful applicant will carry out his/her
PhD in the research area of formal methods applied to the specification
and monitor of large-scale, spatially-distributed, stochastic systems,
contributing to the recently acquired project: High-dimensional statistical
learning: new methods to advance economic and sustainability policies.
The successful candidate will be a PhD student of the LogiCS Doctoral
Program and she/he will be supervised by Prof. Ezio Bartocci and
co-supervised by Dr. Laura Nenzi. The application deadline is
August 31, 2019.
* APPLICATION
Please submit your application following the instructions in the
DK LogiCS admission portal. https://logic-cs.at/phd/admission/,
by indicating in the application form:
Prof. Ezio Bartocci and Dr. Laura Nenzi as supervisors. While it is not
necessary to have the Master degree at the moment of the application,
it is instead mandatory to complete it before starting the PhD.
Deadline: August 31, 2019
* CONTACT DETAILS
For further information and inquiries about this post please contact
Laura Nenzi, e-mail: laura.nenzi AT gmail.com
* ABOUT LogiCS
The LogiCS doctoral program is a PhD degree program funded by the
Austrian Science Fund FWF and run jointly by the three Austrian
universities TU Wien (Vienna University of Technology), Graz
University of Technology and Johannes Kepler University Linz. This
program is aimed at highly motivated students who want to work in
the field of Logical Methods in Computer Science.
Back to the LICS web page.