SIGLOG Monthly 203
October 24, 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
* DEADLINES
  Forthcoming Deadlines
* CALLS
  ETAPS 2020 - Call for Papers
  CiSS 2019 - Call for Participation
  FLOPS 2020 - Call for Papers
  FSCD-IJCAR - Call for Workshop proposals
  ICALP-LICS 2020 - Call for Workshop proposals
  CSL 2020 - Call for Participation
  CiE - Call for Papers
  FAUM - Call for Participation
  CMCS 2020 - Call for Papers
  LICS 2020 - Call for Papers
  HoTSoS 2020 - Call for Papers/Tutorials/Talks
  QONFEST 2020 - Call for Workshop Proposals
  CAV 2020 - Call for Papers
  DIAGRAMS 2020 - Call for Submissions
  FSCD 2020 - Call for Papers
  AiML 2020 - Call for Papers
  WoLLIC 2020 - Call for Papers
* JOB ANNOUNCEMENTS
  PHD POSITION AT VU AMSTERDAM
  PHD STUDENTSHIP AT THE UNIVERSITY OF LIVERPOOL
  ASSISTANT PROFESSOR IN MATHEMATICS AT CHAPMAN UNIVERSITY
  ASSISTANT PROFESSOR IN PHILOSOPHY AT CARNEGIE MELLON UNIVERSITY


DATES
  * ETAPS - Papers: October 24, 2019
  * CiSS 2019 - Registration: October 25, 2019
  * FLOPS 2020 - Abstracts: November 15, 2019
  * FSCD-IJCAR - Workshop proposals: November 15, 2019
  * ICALP-LICS 2020 - Workshop proposals: November 30, 2019
  * CSL 2020 - Early registration: December 5, 2019
  * CiE - Abstracts: January 3, 2020
  * FAUM - Workshop: December 18, 2019
  * CMCS 2020 - Abstracts: January 6, 2020
  * LICS 2020 - Abstracts: January 6, 2020
  * HoTSoS 2020 - Paper/Tutorial/Talk Submissions: January 8, 2020
  * QONFEST 2020 - Workshop proposals: January 15, 2020
  * CAV 2020 - Paper submission: January 23, 2020
  * DIAGRAMS 2020 - Pre-submission: January 24, 2020
  * FSCD 2020 - Abstracts: February 6, 2020
  * AiML 2020 - Abstracts: March 11, 2020
  * WoLLIC 2020 - Paper deadline: April 15, 2020



23RD EUROPEAN JOINT CONFERENCES ON THEORY AND PRACTICE OF SOFTWARE (ETAPS 2020)
  Last Call for Papers
  Dublin, Ireland
  25-30 April 2020
  http://www.etaps.org/2020
* ABOUT
  ETAPS is the primary European forum for academic and industrial
  researchers working on topics relating to software science. ETAPS,
  established in 1998, is a confederation of four annual conferences,
  accompanied by satellite workshops. ETAPS 2020 is the twenty-third
  event in the series.
* MAIN CONFERENCES (27-30 April)
  - ESOP: European Symposium on Programming
    (PC chair: Peter MŸller, ETH ZŸrich, Switzerland)
  - FASE: Fundamental Approaches to Software Engineering
    (PC chairs: Heike Wehrheim, UniversitŠt Paderborn, Germany,
    and Jordi Cabot, Universitat Oberta de Catalunya, Spain)
  - FoSSaCS: Foundations of Software Science
    and Computation Structures
    (PC chairs: Barbara Kšnig, Univ Duisburg-Essen, Germany,
    and Jean Goubault-Larrecq, LSV, ENS Paris-Saclay, France)
  - TACAS: Tools and Algorithms for the Construction and Analysis
    of Systems
    (PC chairs: Armin Biere, Johannes-Kepler-Univ Linz, Austria,
    and David Parker, University of Birmingham, United Kingdom)
  TACAS '20 will host the 9th Competition on Software Verification
  (SV-COMP). POST, which was an ETAPS conference 2012-2019,
  has been discontinued.
* INVITED SPEAKERS
  - Unifying speakers:
    Lars Birkedal (Aarhus Universitet, Denmark)
    Jane Hillston (University of Edinburgh, United Kingdom)
  - ESOP invited speaker:
    Isil Dillig (University of Texas at Austin, USA)
  - FASE invited speaker:
    Willem Visser (Stellenbosch University, South Africa)
* IMPORTANT DATES
  - Papers due: 24 October 2019 23:59 AoE (=GMT-12)
  - Rebuttal (ESOP, FoSSaCS and, for selected papers, TACAS):
    9 December 00:01 AoE - 10 December  23:59 AoE
  - Notification: 23 December 2019
  - Camera-ready versions due: 22 February 2020
* SUBMISSION INSTRUCTIONS
  For definitions of the different paper types and specific
  instructions, where they are present, see the webpages of the
  individual conferences.
* PUBLICATION
  The proceedings will be published in the Advanced Research in
  Computing and Software Science (ARCoSS) subline of Springer's LNCS
  series. The proceedings volumes will appear in gold open access, so
  the published versions of all papers will be available for everyone to
  download from the publisher's website freely, from the date of online
  publication, perpetually. The copyright of the papers will remain with
  the authors.
* SATELLITE EVENTS (25-26 April)
  A number of satellite workshops will take place before the main
  conferences.
  - 25-26 April (two days):
    CMCS, GALOP, SynCoP, VerifyThis, VPT, WADT, WRLA
  - 25 April:
    CREST, InterAVT, MSFP, TEASE-LP
  - 26 April:
    HCVS, MARS, MeTRiD, PLACES, RW
* ORGANIZATION
  ETAPS 2020 is organised by the University of Limerick in cooperation
  with Lero, the Irish Software Research Centre spanning 9 universities
  and ITs in Ireland.
* CHAIRS
  General chair: Tiziana Margaria (University of Limerick and Lero,
  Ireland)
  Workshop chairs: Falk Howar (Technische UniversitŠt Dortmund,
  Germany) and Peter Hšfner (Data61, Australia)



CIRCULARITY IN SYNTAX AND SEMANTICS 2019 (CiSS 2019)
  Call for Participation
  20-22 November 2019
  Gothenburg, Sweden
  http://www.cse.chalmers.se/~bahafs/CiSS2019/
* AIMS
  The workshop is dedicated to aspects of circularity and ill-foundedness
  in formal methods. The aim is to gather together researchers who study
  and/or utilise these phenomena from different perspectives such as provability,
  formal reasoning, construction, computation and complexity. As well as
  invited speakers there will be sessions for contributed talks.
* TOPICS
  Topics of interest include (but are not restricted to):
  - Logics with circular or self-referential semantics, such as temporal logics,
  fixed point logic, mu-calculi;
  - Models of infinite computation, including automata and games;
  - Non-wellfounded or circular derivation systems for provability,
  satisfiability, type-checking, etc.;
  - Impredicative constructions in foundations, such as theories of inductive
  definitions, impredicative type theory and non-wellfounded set theory;
  - Self-reference in natural and formal languages and their treatment;
  - Philosophical considerations of any of the above topics.
* COLLOCATED EVENTS
  We are proud to announce that the 2019 Lindstršm Lectures will be held
  in connection with CiSS and delivered by Johan van Benthem. More information
  is available at
  https://flov.gu.se/english/research/research-areas/logic/lindstrom-lectures
* IMPORTANT DATES
  Registration deadline: 25 October 2019
  Conference: 20?22 November 2019
* INVITED SPEAKERS
  - Johan van Benthem (Amsterdam)
  - Mads Dam (KTH)
  - Amina Doumane (Lyon and Warsaw)
  - Mai Gehrke (CNRS)
  - Helle Hvid Hansen (TU Delft)
  - Paul-AndrŽ Mellis (Paris Diderot)



15TH INTERNATIONAL SYMPOSIUM ON FUNCTIONAL AND LOGIC PROGRAMMING (FLOPS 2020)
  Call for Papers
  23-25 April, 2020
  Akita, Japan
  https://www.ipl.riec.tohoku.ac.jp/FLOPS2020/
* AIMS
  FLOPS aims to bring together practitioners, researchers and
  implementors of the declarative programming paradigm, to discuss
  mutually interesting results and common problems: theoretical
  advances, their implementations in language systems and tools, and
  applications of these systems in practice. The scope includes all
  aspects of the design, semantics, theory, applications,
  implementations, and teaching of declarative programming.  FLOPS
  specifically aims to promote cross-fertilization between theory and
  practice and among different styles of declarative programming.
* SCOPE
  FLOPS solicits original papers in all areas of the declarative
  programming:
  - functional, logic, functional-logic programming, rewriting systems,
  formal methods and model checking, program transformations and
  program refinements, developing programs with the help of theorem
  provers or SAT/SMT solvers, verifying properties of programs using
  declarative programming techniques;
  - foundations, language design, implementation issues (compilation
  techniques, memory management, run-time systems, etc.), applications
  and case studies.
* SUBMISSION
  Submissions should fall into one of the following categories:
  - Regular research papers: they should describe new results and will
  be judged on originality, correctness, and significance.
  - System descriptions: they should describe a working system and will
  be judged on originality, usefulness, and design.
  - Declarative pearls: new and excellent declarative programs or
  theories with illustrative applications.
  System descriptions and declarative pearls must be explicitly marked
  as such in the title.
  FLOPS 2020 will employ a lightweight double-blind reviewing process.
* PROCEEDINGS
  The proceedings will be published by Springer International
  Publishing in the Lecture Notes in Computer Science (LNCS) series.
* DATES
  15 November 2019 (AoE): Abstract submission
  22 November 2019 (AoE): Submission deadline
  24 January 2020: Author notification
  16 February 2020: Camera ready due
  23-25 April 2020: FLOPS Symposium
* CHAIRS
  Keisuke Nakano  Tohoku University (co-chair)
  Konstantinos Sagonas    Uppsala University (co-chair)
* ORGANIZERS
  Keisuke Nakano  Tohoku University, Japan (PC Co-Chair, General Chair)
  Kostis Sagonas  Uppsala University, Sweden (PC Co-Chair)
  Kazuyuki Asada  Tohoku University, Japan (Local Co-Chair)
  Ryoma Sin'ya    Akita University, Japan (Local Co-Chair)
  Katsuhiro Ueno  Tohoku University, Japan (Local Co-Chair)



FSCD-IJCAR 2020
  Call for Workshop Proposals
  http://fscd2020.org
  http://ijcar2020.org
  Paris, France
  Main Conference: 30 June - 3 July 2020
  Workshops: 29 June, 4-5 July 2020
* GENERAL
  FSCD 2020 will be the fifth edition of the International Conference on
  Formal Structures for Computation and Deduction.  IJCAR 2020 will be
  the tenth International Joint Conference on Automated Reasoning.
  We invite proposals for workshops, tutorials or other satellite
  events, on any topic to related formal structures in computation,
  deduction and automated reasoning, from theoretical foundations to
  tools and applications.
  Satellite events will take place on the 29 June and 4-5 July, before
  and after the main conference (30 June - 5 July). It is expected that
  satellite events would run for 1 or 2 days, and be open to
  participants of parallel events.
* PROPOSALS
  Proposals must be limited to three pages and should be submitted by
  email to ws.org@fscd2020.org. Please check the website for
  the description of the format. The Organizing Committee of FSCD-IJCAR
  will determine the final list of accepted workshops based on the
  recommendations from the Workshop Chairs of the hosting conferences
  and availability of space and facilities.
* ORGANIZERS
  The organizers of satellite events are expected to create and maintain
  a website for the event; handle paper selection, reviewing and
  acceptance; draw up a tentative programme of talks; advertise their
  event though specialist mailing lists; prepare the informal
  pre-proceedings (if applicable) in a timely fashion; and arrange any
  post-proceedings. Some amount of financial support may be offered to
  workshops, depending on the number of participants.
  The FSCD-IJCAR organizing committee will handle promotion of the event
  on the main conference website; integration of the event's programme
  into the overall timetable; registration of participants; arrangement
  of an appropriate meeting room; and provision of lunch and coffee
  breaks for participants.
* IMPORTANT DATES
  Submission of workshop proposals: 15 November, 2019
  Notification of success of proposals: 1 December, 2019
  Main conference: 30 June - 3 July 2020
  Workshop dates: 29 June, 4-5 July 2020
* WORKSHOP CHAIR
  Giulio Manzonetto, University of Paris 13



ICALP-LICS 2020
  Call for Workshops
  http://econcs.pku.edu.cn/icalp2020/
  https://lics.siglog.org/lics20/
  July 8-12, 2020
  Beijing, China
* EVENT
  ICALP-LICS 2020 will take place in co-location from 8th till 12th of
  July 2020 in Beijing, China. The conferences will be
  preceded by two days of joint workshops, held on July 6th and 7th. We
  invite proposals of workshops affiliated with ICALP-LICS 2020 on all
  topics covered by ICALP and LICS, as well as other areas of theoretical
  computer science.
* DEADLINE
  Proposals should be submitted no later than November 30th, 2019
  by sending an email to frederic.blanqui@inria.fr. Due to limited space
  of the venue we might not be able to accommodate all the proposed
  workshops. You should expect notification on the acceptance of your
  proposal by mid December 2019.
* PROPOSAL FORMAT
  A workshop proposal submission should consist of:
  - workshop's name and URL (if already available)
  - workshop's organizers together with their email addresses and
  web pages;
  - short description of the area covered by the workshop and the
  motivation behind it;
  - expected number of participants (if available, please include the
  data of previous years);
  - planned format of the event;
  - date preference (July 6th or 7th).
  As for the format, a standard option is a one-day workshop consisting of
  invited talks by leading experts and of shorter contributed talks,
  either directly invited by the organizers or selected among submissions.
  Deviations from this standard are also warmly welcome, including a
  shorter or a longer time span than a full day, or other elements of the
  schedule like open problem sessions, discussion panels, or working sessions.
* INVITED SPEAKERS
  If you plan to have invited speakers, please specify their expected
  number and, if possible, tentative names. If you plan a call for papers
  or for contributed talks followed by a selection procedure, the
  submission date should be scheduled after ICALP 2020 and LICS 2020
  notification, while the notification should take place considerably
  before the early registration deadline. In your submission please
  include details, in particular the time schedule, of the planned
  procedure of selecting papers and/or contributed talks. If you plan to
  have published proceedings of your workshop, please provide the name of
  the publisher. Please be advised that ICALP-LICS 2020 is not able to
  provide any financial support for publishing workshop proceedings.
* FINANCES
  We expect the workshops to be financially independent. The expenses
  related to the participation of invited speakers, production of workshop
  materials, etc. should be covered from independent sources. On top of
  standard ICALP/LICS registration fee there will be a moderate
  registration fee for the workshops that will cover coffee breaks. This
  workshop fee will be waived for maximum two invited speakers for each
  workshop.
* SELECTION COMMITTEE
  Frédéric Blanqui, Naoki Kobayashi, Yuqin Kong, Michal Pilipczuk,
  Zhilin Wu, Lijun Zhang



COMPUTER SCIENCE LOGIC (CSL 2020)
  Call for Participation
  Barcelona, Catalonia, Spain
  January 13 - 16, 2020
  http://www.cs.upc.edu/csl2020
* CONFERENCE
  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. CSL 2020 will be the 28th edition in the series. For the
  first time in the series, the conference will be held in the month of
  January. It is expected that the succeeding conferences in the series
  will also be held in the begining of the natural year.
* INVITED SPEAKERS
  Véronique Cortier, LORIA, France
  Anuj Dawar, University of Cambridge, UK
  Artur Jez, University of Wroclaw, Poland
  Delia Kesner, University Paris Diderot, France
  Iddo Tzameret, Royal Holloway, UK
* PROGRAMME
  Thirty-two contributions were selected for presentation at CSL 2020. A
  full list is available at http://www.cs.upc.edu/csl2020/program.html .
* REGISTRATION
  The early registration deadline is Thursday, December 5, 2019.



FOUNDATIONS AND APPLICATIONS OF UNIVALENT MATHEMATICS (FAUM)
  Call for Participation
  18-20 December 2019,
  Herrsching (near Munich), Germany
  http://cj-xu.github.io/faum/
* FOCUS
  This workshop focuses on both the foundation of univalent mathematics
  and the applications of the univalent innovations.
* INVITED SPEAKERS
  - Benedikt Ahrens  (University of Birmingham)
  - Thorsten Altenkirch  (University of Nottingham)
  - Andrej Bauer  (University of Ljubljana)
  - Ulrik Buchholtz  (Technischen UniversitŠt Darmstadt)
  - Thierry Coquand  (University of Gothenburg)
  - Peter Dybjer  (Chalmers University of Technology)
  - Mart’n Escard—  (University of Birmingham)
  - Valery Isaev  (JetBrains Research)
  - Nicolai Kraus  (University of Birmingham)
  - Fredrik Nordvall Forsberg  (University of Strathclyde)
  - Paige Randall North  (Ohio State University)
  - Anders Mšrtberg  (Stockholm University)
  - Iosif Petrakis  (Ludwig-Maximilians-UniversitŠt MŸnchen)
  - Bas Spitters  (Aarhus University)
  - Thomas Streicher  (TU Darmstadt)
  - Benno van den Berg  (Universiteit van Amsterdam)
  - Andrea Vezzosi  (IT University of Copenhagen)
  The programme will be updated in the workshop's webpage later.
* REGISTRATION
  There is no registration fee. To aid planning, please contact
  Chuangjie Xu by writing to xu@math.lmu.de for registration.
  This workshop is supported by the LMUexcellent Junior Researcher Fund.



COMPUTABILITY IN EUROPE (CiE 2020)
  Salerno, Italy
  June 29 - July 3, 2020
  https://www.acie.eu/cie-conference-series/cie2020
  https://www.acie.eu
* IMPORTANT DATES:
  Deadline for abstract registration: 3 January 2020 AOE
  Deadline for article submission: 17 January 2020 AOE
  Notification of acceptance: 29 February 2020
  Final versions due: 15 March 2020
  Deadline for informal presentations submission: 10 April 2020
  (The notifications of acceptance for informal presentations will be
  sent a few days after submission.)
  Early registration before: 1 May 2020
* GENERAL
  CiE 2020 is the 16th conference organized by CiE (Computability in
  Europe), a European association of mathematicians, logicians, computer
  scientists, philosophers, physicists and others interested in new
  developments in computability and their underlying significance for
  the real world.
* TUTORIAL SPEAKERS:
  - Virginia Vassilevska Williams (MIT)
  - Martin Ziegler (Korea Advanced Institute of Science and Technology)
* INVITED SPEAKERS:
  Paolo Boldi (University of Milan)
  Véronique Bruyère (University of Mons)
  Ekatarina Fokina (Vienna University of Technology)
  Amaury Pouly (CNRS Paris)
  Antonio Restivo (University of Palermo)
  Damien Woods (Maynooth University)
* HOST
  Department of Computer Science, University of Salerno
* SPECIAL SESSIONS
  Algorithmic Learning Theory
  Combinatorial String Matching
  Computable Topology
  History and Philosophy of Computing
  Large scale Bioinformatics and Computational Sciences
  Modern aspects of Formal Languages



15TH IFIP WG 1.3 INTERNATIONAL WORKSHOP ON COALGEBRAIC METHODS IN COMPUTER SCIENCE (CMCS 2020)
  Call for Papers
  Dublin, Ireland,
  25 - 26 April 2020
  (co-located with ETAPS 2020)
  http://www.coalg.org/cmcs20
* OBJECTIVES
  Established in 1998, the CMCS workshops aim to bring together
  researchers with a common interest in the theory of coalgebras, their
  logics, and their applications. As the workshop series strives to
  maintain breadth in its scope, areas of interest include neighbouring
  fields as well.
* EVENT
  CMCS'20 will be held in Dublin, Ireland, co-located with ETAPS 2020 on
  25-26 April 2020.
* IMPORTANT DATES
  Abstract regular papers           6 January 2020
  Submission regular papers        10 January 2020
  Notification                     12 February 2020
  Camera-ready copy                21 February 2020
  Submission short contributions   26 February 2020
  Notification short contributions 11 March 2020
* PC CHAIRS
  Daniela Petrisan, Université Paris 7, France
  Jurriaan Rot, UCL and Radboud University, The Netherlands
* SUBMISSION GUIDELINES
  We solicit two types of contributions: regular papers and short
  contributions. Regular papers must be original, unpublished, and not
  submitted for publication elsewhere. They should not exceed 20 pages
  in length in Springer LNCS style. Short contributions may describe work
  in progress, or summarise work submitted to a conference or workshop
  elsewhere. They should be no more than two pages.
  The proceedings of CMCS 2020 will include all accepted regular papers
  and will be published post-conference as a Springer volume in the
  IFIP-LNCS series (pending approval). Accepted short contributions will
  be bundled in a technical report.



35TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2020)
  Call for Papers
  8-12 July 2020, Beijing
  (co-located with ICALP 2020)
  https://lics.siglog.org/lics20/
* SCOPE
  The LICS Symposium is an annual international forum on theoretical
   and practical topics in computer science that relate to logic, broadly
   construed. We invite submissions on topics that fit under that rubric.
   Suggested, but not  exclusive, topics of interest include: automata theory,
  automated deduction, categorical models and logics, concurrency
  and distributed computation, constraint programming, constructive
  mathematics, database theory, decision procedures, description logics,
  domain theory, finite model theory, formal aspects of program analysis,
  formal methods, foundations of computability, games and logic,
  higher-order logic, lambda and combinatory calculi, linear logic,
  logic in artificial intelligence, logic programming, logical aspects
  of bioinformatics, logical aspects of computational complexity, logical
  aspects of quantum computation, logical frameworks, logics of programs,
  modal and temporal logics, model checking, probabilistic systems,
  process calculi, programming language semantics, proof theory,
  real-time systems, reasoning about security and privacy, rewriting,
  type systems and type theory, and verification.
* NOTICE
  LICS 2020 will use a double-blind reviewing process.
* IMPORTANT DATES
  Authors are required to submit a paper title and a short abstract of
  about 100 words in advance of submitting the extended abstract of
  the paper. The exact deadline time on these dates is given by anywhere
  on earth (AoE).
  Titles and Short Abstracts Due: 6 January 2020
  Full Papers Due:        10 January 2020
  Author Feedback/Rebuttal Period: 16?20 March 2020
  Author Notification: 10 April 2020
  Deadlines are firm; late submissions will not be considered. All
  submissions will be electronic via
  https://www.easychair.org/conferences/?conf=lics2020.
* KLEENE AWARD FOR BEST STUDENT PAPER
  An award in honour of the late Stephen C. Kleene will be given for
  the best student paper(s), as judged by the program committee.
* SPECIAL ISSUES
  Full versions of up to three accepted papers, to be selected by the
  program committee, will be invited for submission to the Journal
  of the ACM. Additional selected papers will be invited to a special
  issue of Logical Methods in Computer Science.



7TH ANNUAL HOT TOPICS IN THE SCIENCE OF SECURITY SYMPOSIUM (HoTSoS)
  Call for Papers
  April 7-8, 2020
  Nashville, Tennessee
  http://hotsos.org/
* Submissions are solicited for the 7th Annual Hot Topics in the Science of
  Security (HoTSoS) Symposium, which will be held April 7-8, 2020 at the
  Burge Union on the University of Kansas campus in Lawrence, Kansas.
  The 7th Symposium continues the series? emphasis on cyber-security
  with a strong methodology and scientific rigor. This symposium solicits
  original work in security and privacy, particularly that which examines
  the scientific foundations of trustworthy systems. The program will include
  papers, invited talks, a special working session, panels, tutorials, and posters.
  The poster session will be highlighted by a poster competition. The papers
  will appear in the conference proceedings to be published by ACM Press.
* Topics that fit the interests of the symposium include the following:
   -    Cyber-Physical Systems Security and Resilience, including research
  related to the Internet of Things,
   -    Methodologies for analyzing and designing resilient system architectures,
   -    The construction of scalable, composable, provably secure systems,
   -    Policy-based tools for secure, private collaboration across different
   domains of authority,
   -    Security-Metrics-Driven Development and Evaluation for guiding
   choice-making assuring or predicting the security properties of cyber systems,
   -    Designing, modeling, and analyzing systems with specified security
   properties by taking into account human behavior, including operators,
   users, and adversaries,
   -    Policy enforcement that enables the collection, storage, and sharing
   of data in accordance with privacy requirements,
   -    Software analysis and retrofitting to improve security and privacy
   of software systems,
   -    Application or advancement of privacy preserving technology, and
   -    Trustworthy AI topics to include understanding theoretical limitations,
   explainability, design principles, verification and validation, and metrics.
* IMPORTANT DATES
   -    Paper/Tutorial/Talk Submissions: January 8, 2020
   -    Poster Submissions: January 8, 2020
   -    Paper/Tutorial/Talk Decisions: February 14, 2020
   -    Camera Ready: February 28, 2020
   -    Conference: April 7-8, 2020
* CHAIRS
   -    General Chair: Perry Alexander (University of Kansas)
   -    Program Co-Chairs: Drew Davidson (University of Kansas) and
   Baek-Young Choi (UMKC)



QONFEST 2020
  Call for Workshop Proposals
  August 31-September 5, 2020
  Vienna, Austria
 http://qonfest2020.conf.tuwien.ac.at/
* SCOPE
  QONFEST is the umbrella conference comprising the joint international
  2020 meetings CONCUR (31st International Conference on Concurrency
  Theory), QEST (17th International Conference on Quantitative Evaluation
  of SysTems), FORMATS (18th International Conference on Formal Modeling
  and Analysis of Timed Systems) and FMICS (25th International Conference
  on Formal Methods for Industrial Critical Systems). QONFEST 2020 will be
  hosted at TU Wien, Vienna, Austria, with the conferences taking place in the
  main building at Karlsplatz 13, 1040 Wien, and the workshops in the computer
  science building at Favoritenstr. 9-11, 1040 Wien.
 * CALL FOR AFFILIATED WORKSHOPS
   Researchers and practitioners are invited to submit proposals for
   workshops to be affiliated to QONFEST 2020. Example topics include:
   concurrency theory and its applications, timed systems, semantics, logics,
   verification techniques, cross-fertilization between industry and academia
   and opportunities for young and prospective researchers. Past QONFEST
   conferences have been accompanied by successful workshops on a variety
   of topics. You can have an idea of the past workshops by browsing the
   pages of the previous editions of CONCUR, QEST, FORMATS and FMICS.
   The purpose of the workshops is to provide participants with a friendly,
   interactive atmosphere for presenting novel ideas and discussing their application.
* DATES
  The workshops take place on Monday August 31, 2020 and
  Saturday September 5, 2020. The QONFEST organization offers:
   - a link from the QONFEST web site;
  - setup of meeting space, and related equipment,
  - coffee-breaks and lunch for the participants on the day of the workshop,
  - on-line and on-site registration to the workshop,
  - free workshop registration for an organizer and in case of more than 15
  participants a second free workshop registration
  The main responsibility for organizing the workshop goes to the workshop
  organizer(s), including:
   - workshop publicity (possibly including call for papers, submission
   and review process)
  - scheduling of workshop activities in collaboration with the QONFEST
  workshop chair.
* IMPORTANT DATES
  Submission of workshop proposals: January 15, 2020 (but we greatly
  appreciate if you announce your proposal to us as soon as possible).
  Notification: January 31, 2020
 * QONFEST 2020 WORKSHOP CHAUR
   Florian Zuleger, Technische Universität Wien



32ND INTERNATIONAL CONFERENCE ON COMPUTER-AIDED VERIFICATION (CAV 2020)
  Call for Papers
  July 19-24 2020
  Los Angeles, USA
  http://i-cav.org/2020/call-for-papers/
* CONFERENCE
  Workshops: July 19-20, 2020
  Tutorials: July 20, 2020
  Main conference: July 21-24, 2020
* SCOPE
  CAV 2020 is the 32nd 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.
  CAV considers it vital to continue spurring advances in hardware and software
  verification while expanding to new domains such as machine learning,
  autonomous systems, and computer security. The proceedings of the
  conference will be published in the Springer-Verlag Lecture Notes in
  Computer Science series. A selection of papers is expected to be invited
  to a special issue of Formal Methods in System Design and the Journal
  of the ACM.
* IMPORTANT DATES
  Paper submission: January 23, 2020 (firm)
  Rebuttal period: March 10-12, 2020
  Author notification: April 3, 2020
  Artifact submission for full papers: April 14, 2020
  Artifact notification: May 10, 2020
  Final version due: May 15, 2020
* CAV AWARD
  Nomination deadline: February 20, 2020



11TH INTERNATIONAL CONFERENCE ON THE THEORY AND APPLICATION OF DIAGRAMS (DIAGRAMS 2020)
  Call for Papers
  24-28 August 2020
  Tallinn, Estonia
  http://www.diagrams-conference.org/2020/
* MAIN
  Diagrams 2020 is the eleventh conference in the biennial series that
  started in 2000. The multidisciplinary nature of Diagrams means it
  encompasses: architecture, art, artificial intelligence, biology,
  cartography, cognitive science, computer science, education, graphic
  design, history of science, human-computer interaction, linguistics,
  logic, mathematics, philosophy, psychology, and software modelling.
  The conference attracts a large number of researchers from these
  interrelated fields, positioning Diagrams as the major international
  event in the area.
* DEADLINES
  Deadline for pre-submission: 24th January 2020
* CALLS
  Diagrams 2020 has various calls, providing a range of opportunities for
  taking part in the conference. Diagrams solicits research contributions
  falling within the scope of the conference, to be submitted to one of three tracks:
  - Main track
  http://www.diagrams-conference.org/2020/index.php/calls/main-track/
  - Psychology of Diagrams track
  http://www.diagrams-conference.org/2020/index.php/calls/psychology-of-diagrams/
  - Philosophy of Diagrams track
  http://www.diagrams-conference.org/2020/index.php/calls/philosophy/
  - In addition, Diagrams seeks to host Workshops and Tutorials:
  http://www.diagrams-conference.org/2020/index.php/calls/workshops/
  http://www.diagrams-conference.org/2020/index.php/calls/tutorials/



5TH INTERNATIONAL CONFERENCE ON FORMAL STRUCTURES FOR COMPUTATION AND DEDUCTION (FSCD 2020)
  Call for Papers
  June 29 - July 5, 2020
  Paris, France
  http://fscd2020.org/
* FSCD covers all aspects of formal structures for computation and deduction
  from theoretical foundations to applications. Building on two communities,
  RTA (Rewriting Techniques and Applications) and TLCA (Typed Lambda
  Calculi and Applications), FSCD embraces their core topics and broadens
  their scope to closely related areas in logics, models of computation (e.g.
  quantum computing, probabilistic computing, homotopy type theory),
  semantics and verification in new challenging areas (e.g. blockchain protocols
  or deep learning algorithms).
* PUBLICATION
  The proceedings will be published as an elec- tronic volume in the Leibniz
  International Proceedings in Informatics (LIPIcs) of Schloss Dagstuhl.
  All LIPIcs proceedings are open access.
* SPECIAL ISSUE
  Authors of selected papers will be invited to submit an extended version to
  a special issue of Logical Methods in Computer Science.
* SUBMISSION GUIDELINES
  Submissions can be made in two categories. Regular research papers are
  limited to 15 pages (including references, with the possibility to add an
  annex for technical details, e.g. proofs) and must present original research
  which is unpublished and not submitted elsewhere. System descriptions
  are limited to 15 pages (including references) and must present new software
  tools in which FSCD topics play an important role, or significantly new
  versions of such tools. Complete instructions on submitting a paper can be
  found on the conference web site.
* BEST PAPER AWARD BY JUNIOR RESEARCHERS
  The program committee will select a paper in which at least one author
  is a junior researcher, i.e. either a student or whose PhD award date is less
  than three years from the first day of the meeting. Other authors should
  declare to the PC Chair that at least 50% of contribution is made by the junior
  researcher(s).
* IMPORTANT DATES
  All deadlines are midnight anywhere-on-earth (AoE); late submissions
  will not be considered.
       Abstract:         February 6, 2020
       Submission:    February 9, 2020
       Rebuttal:         March 27-29, 2020
       Notification:     April 13, 2020
       Final version:  April 27, 2020



13TH INTERNATIONAL CONFERENCE ON ADVANCES IN MODAL LOGIC  (AiML 2020)
  Call for Papers
  August 17-21, 2020
  Helsinki
  https://www.helsinki.fi/en/conferences/advances-in-modal-logic-2020
* AIMS
  Advances in Modal Logic is an initiative aimed at presenting the state
  of the art in modal logic and its various applications. The initiative consists
  of a conference series together with volumes based on the conferences.
  Information about the AiML series can be obtained at http://www.aiml.net
  AiML 2020 is the 13th conference in the series.
* TOPICS
  We invite submissions on all aspects of modal logic, including:
  - history of modal logic
  - philosophy of modal logic
  - applications of modal logic
  - automated reasoning for modal logics
  - computational aspects of modal logic (complexity and decidability of modal
  and temporal logics, model checking, model generation)
- theoretical aspects of modal logic (topological/algebraic/categorical perspectives
  on modal logic, co-algebraic modal logic, completeness and canonicity,
  correspondence and duality theory, many-dimensional modal logics, modal
  fixed-point logics, model theory of modal logic, proof theory of modal logic)
- specific instances and variations of modal logic (description logics, modal logics
  over non-boolean bases, dynamic logics and other process logics, epistemic
  and deontic logics, modal logics for agent-based systems, modal logic and
  game theory, modal logic and grammar formalisms, provability and interpretability
  logics, conditional logics, spatial and temporal logics, hybrid logic, intuitionistic
  (modal) logics, intermediate logics, bunched implication and separation logics)
  Papers on related subjects will also be considered.
* PAPER SUBMISSIONS
  There will be two types of submissions for AiML 2020:
  (1) Full papers for publication in the proceedings and presentation
  at the conference.
  (2) Short presentations intended for presentation at the conference
  but not for the published proceedings.
  Both types of papers should be submitted electronically using the EasyChair
  submission page at: https://easychair.org/conferences/?conf=aiml2020
  At least one author of each accepted paper or short presentation must register
  for and attend the conference.
* DATES
  Abstracts of full papers submission deadline: 11 March 2020
  Full papers submission deadline: 18 March 2020
  Full papers acceptance notification: 18 May 2020
  Short presentations submission deadline: 25 May 2020
  Short presentations acceptance notification: 8 June 2020
  Final version of full papers and short presentations due: 11 June 2020



27TH WORKSHOP ON LOGIC, LANGUAGE, INFORMATION AND COMPUTATION (WoLLIC 2020)
  Call for Papers
  August 4th to 7th, 2020
  Lima, Peru
  http://wollic.org/wollic2020
* AIMS
  WoLLIC is an annual international forum on inter-disciplinary research
  involving formal logic, computing and programming theory, and natural
  language and reasoning. Each meeting includes invited talks and
  tutorials as well as contributed papers. The twenty-seventh WoLLIC
  will be held at Universidad de Ingenieria y Tecnologia, Lima, Peru
  from August 4th to 7th, 2020.  It is scientifically sponsored by the
  Association for Symbolic Logic (ASL), the Interest Group in Pure and
  Applied Logics (IGPL), the The Association for Logic, Language and
  Information (FoLLI), the European Association for Theoretical Computer
  Science (EATCS), ACM Special Interest Group on Logic and Computation
  (ACM-SIGLOG) (TBC), the Sociedade Brasileira de Computação (SBC),
  and the Sociedade Brasileira de Lógica (SBL).
* PROCEEDINGS
  The proceedings of WoLLIC 2020, including both invited and contributed
  papers, will be published in advance of the meeting as a volume in Springer's
  LNCS series. In addition, abstracts will be published in the Conference Report
  section of the Logic Journal of the IGPL, and selected contributions will be
  published (after a new round of reviewing) as a special post-conference
  WoLLIC 2020 issue of a scientific journal (to be confirmed).
* STUDENT GRANTS
  ASL sponsorship of WoLLIC 2020 will permit ASL student members to apply
  for a limited travel grant (deadline: 90 days before the event starts).
  Visit https://aslonline.org/meetings/student-travel-awards/  for details.
* IMPORTANT DATES
  April 15, 2020: Full paper deadline
  May 23, 2020: Author notification
  May 30, 2019: Final version deadline (firm)



PHD POSITION IN THEORETICAL COMPUTER SCIENCE AT VU AMSTERDAM
* GENERAL
   We are seeking applications for a fully-funded, 4-year PhD
   position in the Section of Theoretical Computer Science of
   the Vrije Universiteit Amsterdam (VUA). The goal of the
   project is the development of techniques for reasoning about
   automata that transform finite and infinite words (also known
   as transducers). In this project, we will use and extend
   techniques from automata theory, combinatorics on words,
   logic, coalgebra and term rewriting.
* EMBEDDING
   The principal investigator of this project is Joerg Endrullis
   with a background in term rewriting and automata theory. We
   will collaborate with Helle Hansen from Delft University of
   Technology (TU Delft) having expertise in logic and coalgebra.
   At the Vrije Universiteit Amsterdam we will collaborate with
   Femke van Raamsdonk with a background in higher-order rewriting,
   and Jasmin Blanchette working on formal verification and theorem
   provers.
* QUALIFICATIONS
   Applicants should have a masters degree in computer science,
   mathematics, logic, or a closely related area. Knowledge of
   automata theory, coalgebra, logic, term rewriting or lambda
   calculus is considered an advantage. Fluency in English is
   important. Dutch language proficiency is not required.
* APPLICATION
   Please send applications by email to dr. Joerg Endrullis,
   e-mail: j.endrullis@vu.nl, tel. +31 (0)20 5989886.
   For more details on the salary, employment conditions and
   documents required for application, see the full vacancy text at
   http://joerg.endrullis.de/vacancy/2019/09/15/phd-vacancy.html.
   Feel free to contact us for further information about the project
   and the position.
* DEADLINE
   Review of applications will begin on December 1, 2019, and will
   continue until the position is filled.



PHD STUDENTSHIP IN COMPUTER SCIENCE LOGIC APPLIED TO DATABASES AND KNOWLEDGE REPRESENTATION AT THE UNIVERSITY OF LIVERPOOL
* The Knowledge Representation and Verification Groups at the Department
  of Computer Science, University of Liverpool, jointly offer a PhD Scholarship
  for work at the intersection of Logic, Knowledge Representation, and Databases.
  The topic of the project is dependent on the interest and background of the student.
  It is linked to the new EPSRC-funded research project "quantMD: Ontology-Based
  Management of Many-Dimensional Quantitative Data".
* OBDM
  Ontology-based data management (OBDM) is a technology
  that has been developed over the past decade with the aim of
  facilitating access to various types of data sources. So far, OBDM
  has been developed primarily for access to purely qualitative and
  one-dimensional data, but nowadays data is mostly numerical,
  many-dimensional, often temporal, and user information needs
  usually involve quantitative analysis. The aim of this project is to develop
  a novel OBDM framework for querying and analysing many-dimensional
  numerical data. To address the challenges, we aim to bring together techniques
  from databases, knowledge representation, and formal methods, in particular
  temporal and modal logics, and develop these further. We aim to develop
  a theoretical framework for querying such data, develop tools for using this
  framework in practice, and test our tools with our partners.
  The research will take place under the direction of Professors Frank Wolter
  and Boris Konev and Dr Martin Zimmermann at the Department of Computer
  Science, University of Liverpool. quantMD is a joint project with Professor
  Michael Zakharyaschev at University of London and with the following partners:
  Free University of Bolzano (Italy), Siemens (Germany), Sirius (Norway),
  J. Pilsudski Institute (US), and Siris Academic (Spain).
  The PhD student on this project will have a good background in one
  of the following areas: computational logic, mathematical logic, databases,
  or knowledge representation and reasoning.
  For more information and to apply, please contact Professor Frank Wolter
  (https://www.liverpool.ac.uk/computer-science/staff/frank-wolter/) and
  Dr Martin Zimmermann (https://www.liverpool.ac.uk/computer-science/staff/martin-zimmermann/).



TENURE-TRACK ASSISTANT PROFESSORSHIP IN MATHEMATICS AT CHAPMAN UNIVERSITY
* Chapman University seeks applicants for a tenure-track assistant
  professorship in Mathematics. All areas of mathematics will be seriously
  considered, including mathematical logic, category theory, universal algebra
  and type theory. Applications will be accepted through Academic Jobs Online
  at  https://academicjobsonline.org/ajo/jobs/14834



ASSISTANT PROFESSORSHIP IN PHILOSOPHY AT CARNEGIE MELLON UNIVERSITY
* The Department of Philosophy at Carnegie Mellon University
  is looking to hire a mathematical logician at the assistant professor level.
  Interfolio: https://apply.interfolio.com/69329
  MathJobs: https://www.mathjobs.org/jobs/jobs/14697
  PhilJobs: https://philjobs.org/job/show/13806
* WEB
  Web address to apply	https://apply.interfolio.com/69329
  Hard deadline November 15, 2019, 11:59pm EST



Back to the LICS web page.