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Ž Mellis (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.