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.