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 Mller, ETH Zrich, Switzerland) - FASE: Fundamental Approaches to Software Engineering (PC chairs: Heike Wehrheim, Universitt Paderborn, Germany, and Jordi Cabot, Universitat Oberta de Catalunya, Spain) - FoSSaCS: Foundations of Software Science and Computation Structures (PC chairs: Barbara Knig, 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 Universitt Dortmund, Germany) and Peter Hfner (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 Lindstrm 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 firstname.lastname@example.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 email@example.com. 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 Universitt Darmstadt) - Thierry Coquand (University of Gothenburg) - Peter Dybjer (Chalmers University of Technology) - Martn 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 Mrtberg (Stockholm University) - Iosif Petrakis (Ludwig-Maximilians-Universitt Mnchen) - 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 firstname.lastname@example.org 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: email@example.com, 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.