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.