Monthly 243November 01, 2023
Past Issues - How to submit an announcement
- JOB ANNOUNCEMENTS
|2 Postdocs in verification/synthesis for AI at Oxford:||Nov 06, 2023 (Applications)|
|CTLM 2023:||Nov 07, 2023 (Contributed talks)|
|Postdoc in Verification and Game Theory at Liverpool:||Nov 10, 2023 (Applications)|
|PhD in Logic and Legal Reasoning at TU Wien:||Nov 30, 2023 (Applications)|
|FLOPS 2024:||Dec 06, 2023 (Abstract), Dec 13, 2023 (Papers)|
|4 Positions at Oxford:||Dec 13, 2023 (Deadline)|
|DEON2023:||Jan 07, 2024 (Paper)|
|SPIN 2024:||Jan 15, 2024 (Submissions)|
|IJCAR 2024:||Jan 15, 2024 (Abstract), Jan 22, 2024 (Paper), Nov 27, 2023 (Co-located event proposals)|
|CAV 2024:||Jan 19, 2024 (Paper), Mar 01, 2024 (CAV Award Nomination deadline)|
|LICS 2024:||Jan 21, 2024 (Titles and Short Abstracts), Jan 26, 2024 (Full Papers Due)|
|FSCD 2024:||Feb 05, 2024 (Abstract), Feb 12, 2024 (Paper)|
|CiE 2024:||Feb 10, 2024 (Article), May 15, 2024 (Informal presentations)|
|ICALP 2024:||Feb 14, 2024 (Paper)|
|AiML 2024:||Mar 08, 2024 (Abstract), Mar 15, 2024 (Full papers)|
- We are organizing a one-day conference at TU Wien on Dec 7, 2023, focusing mainly on the connection between logic and other mathematics.
We have two invited speakers, Julia Wolf (University of Cambridge, UK) and Ulrich Kohlenbach (TU Darmstadt, Germany).
Now we are looking for contributed speakers and we'd appreciate if you take into consideration giving a talk at the conference.
The deadline for submitting your presentation proposal (the title and abstract of your talk) is Nov 7, 2023.
For more information, please visit https://sites.google.com/view/techniquesfromlogic/home. If you have any questions, you may contact Lorenzo Sauras-Altuzarra (firstname.lastname@example.org). Thank you in advance.
- IJCAR is the premier international joint conference on all topics in automated reasoning.
IJCAR 2024 will be hosted by the Inria Nancy Research Center and LORIA in Nancy, France, from July 1-6, 2024.
IJCAR 2024 is the merger of leading events in automated reasoning:
- CADE (Conference on Automated Deduction)
- FroCoS (Symposium on Frontiers of Combining Systems)
- TABLEAUX (Conference on Analytic Tableaux and Related Methods)
IJCAR 2024 invites submissions related to all aspects of automated or interactive logical reasoning, including foundations, implementations, and applications. Original research papers and descriptions/evaluations of working automated deduction systems or proof assistant systems are solicited.
IJCAR topics include the following:
- Logics of interest include: propositional, first-order, classical, equational, higher-order, non-classical, constructive, modal, temporal, many-valued, substructural, description, type theory.
- Methods of interest include: tableaux, sequent calculi, resolution, model-elimination, inverse method, paramodulation, term rewriting, induction, unification, constraint solving, decision procedures, model generation, model checking, semantic guidance, interactive theorem proving, logical frameworks, AI-related methods for deductive systems, proof presentation, automated theorem proving, combination of decision or proof procedures, SAT and SMT solving, machine learning and theorem proving, integration of automated provers/proof assistants in automated test generators, program synthesisers, verified compilers, intelligent systems, agent based systems, knowledge processing systems, formal methods tools and other symbolic tools, etc.
- Applications of interest include: verification, formal methods, program analysis and synthesis, computer mathematics, declarative programming, deductive databases, knowledge representation and processing/engineering, education, formalization of mathematics, trusted AI, etc.
- IMPORTANT DATES (partly tentative)
Abstract submission: Jan 15, 2024 Paper submission: Jan 22, 2024 Notification of paper decisions (tentative): Mar 15, 2024 Camera-ready papers due (tentative): Apr 04, 2024 Workshops & Tutorials: Jul 1-2, 2024 Conference, including CASC: Jul 3-6, 2024
- WORKSHOPS, TUTORIALS, SYSTEM COMPETITION
A two-day workshop and tutorial programme will be co-organized with the conference. In addition, the annual CADE ATP System Competition (CASC) will be held during the conference. Details will be published in separate calls and on the conference website.
- SUBMISSION GUIDELINES
Please see full call: https://merz.gitlabpages.inria.fr/2024-ijcar/post/call-for-papers/
- BEST PAPER AWARD
IJCAR 2024 will recognize the most outstanding submissions with a best paper award and a best student paper award at the conference.
- STUDENT TRAVEL AWARDS
Woody Bledsoe Travel Awards will be available to support selected students in attending the conference.
- The International Joint Conference on Automated Reasoning (IJCAR 2024) is soliciting proposals for co-located events such as workshops, tutorials and competitions.
Researchers are invited to submit proposals on any topic related to automated reasoning, from theoretical foundations to tools and applications.
The co-located events will take place before the IJCAR conference on Monday & Tuesday, July 1-2, 2024.
Proposals can have up to three pages and should consist of the following two parts.
- A description part including: short scientific justification of the proposed topic, its significance, and the particular benefits of the workshop to the community, as well as a list of previous or related workshops (if relevant); and a brief description (up to 120 words) of the event for the website and publicity material.
- An organisational part including: contact information for the workshop organisers; proposed affiliated conference; estimate of the number of workshop participants; proposed format and agenda (e.g. paper presentations, tutorials, demo, sessions, etc.) potential invited speakers; procedures for selecting papers and participants; tentative schedule for paper submission and notification of acceptance; plans (and needs) for remote participation [A zoom connection can be provided on demand]; plans for dissemination, if any (e.g. a journal special issue); duration (which may vary from one day to two days); and any other special requirements.
The IJCAR organising 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.
Proposals should be sent directly to Sophie Tourret by email at email@example.com
- IMPORTANT DATES
Co-located event proposals submission: Nov 27, 2023 Notification of success of proposals: Dec 11, 2023 Main conference: Jul 3-6, 2024 Workshop dates: Jul 1-2, 2024
CAV 2024 is the 36th 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.
Topics of interest include but are not limited to: Algorithms and tools for verifying models and implementations; Algorithms and tools for system synthesis; Algorithms and tools that combine verification and learning; Mathematical and logical foundations of verification and synthesis; Specifications and correctness criteria for programs and systems; Deductive verification using proof assistants; Hardware verification techniques; Program analysis and software verification; Software synthesis; Hybrid systems and embedded systems verification; Formal methods for cyber-physical systems; Compositional and abstraction-based techniques for verification; Probabilistic and statistical approaches to verification; Verification methods for parallel and concurrent systems; Testing and run-time analysis based on verification technology; Decision procedures and solvers for verification and synthesis; Applications and case studies in verification and synthesis; Verification in industrial practice; New application areas for algorithmic verification and synthesis; Formal models and methods for security; Formal models and methods for biological systems
Submissions on a wide range of topics are sought, particularly ones that identify new research directions. CAV 2024 is not limited to topics discussed in previous instances of the conference. Authors concerned about the appropriateness of a topic may communicate with the conference chairs prior to submission.
Main submission site is: https://easychair.org/conferences/?conf=cav2024.
Paper submissions in CAV fall into one of the following three categories (more information here: http://i-cav.org/2024/call-for-papers/):
- Regular Papers (18 pages max, must be anonymized)
- Tool Papers (10 pages max, not anonymized)
- Industrial Experience Reports & Case Studies. (10 pages max, not anonymized)
- IMPORTANT DATES (AoE)
Paper submission: Jan 19, 2024 Rebuttal period: Feb 29-Mar 3, 2024 Author notification: Mar 26, 2024 Artifact submission: Apr 8, 2024 (mandatory for tool papers) Artifact notification: May 10, 2024 Final version due: May 19, 2024 Workshops: Jul 22-23, 2024 Main Conference: Jul 24-27, 2024
- CAV AWARD
The CAV award is given annually at the CAV conference for fundamental contributions to the field of Computer-Aided Verification. For details about the CAV award nomination, please see the following page: http://i-cav.org/2024/cav-award/.
CAV Award Nomination deadline: Mar 01, 2024
- CONTACT (CONFERENCE CO-CHAIRS)
- Arie Gurfinkel, University of Waterloo
- Vijay Ganesh, Georgia Tech
- IMPORTANT DATES (AOE):
The notifications of acceptance for informal presentations will be sent a few days after submission.
Article submission: Feb 10, 2024 Notification of acceptance: Apr 20, 2024 Final versions due: May 01, 2024 Informal presentations submission: May 15, 2024 Early registration before: May 20, 2024 Conference: July 08-12, 2024
- GENERAL INFORMATION
CiE 2024 will be an anniversary event. It is the 20th conference organized by CiE (Computability in Europe), in the same place as the first edition, Amsterdam.
CiE is a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested innew developments in computability and their underlying significance for the real world.
- TUTORIAL SPEAKERS
- Matthew Harrison-Trainor (University of Illinois Chicago)
- Sonja Smets (University of Amsterdam)
- INVITED SPEAKERS
- Arnold Beckmann (Swansea University)
- Rod Downey (Victoria University of Wellington)
- Elvira Mayordomo (University of Zaragoza)
- Alexandre Miquel (Universidad de la República)
- Monika Seisenberger (Swansea University)
- Mariya Soskova (University of Wisconsin–Madison)
- SPECIAL SESSIONS
There will be 6 special sessions, including:
- Computable aspects of symbolic dynamics and tilings (chairs: Benjamin Hellouin and Ilkka Torma)
- Algorithmic randomness and Kolmogorov complexity session (chairs: Rupert Hölzl abd Denis Hirschfeldt)
- Bio-inspired Computation (BiC)
- History and Philosophy of Computing (HaPoC)
- CONFERENCE TOPICS
See full call for submission instructions: https://events.illc.uva.nl/CiE/CiE2024/Submissions/
- INFORMAL PRESENTATIONS
Continuing the tradition of past CiE conferences, we invite researchers to present informal presentations of their recent work. A proposal for an informal presentation must be submitted via e-mail (firstname.lastname@example.org), using the LNCS style file (available at https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines), and be 1 page long; a brief description of the results suffices and an abstract is not required. Informal presentations will not be published in the LNCS conference proceedings. Results presented as informal presentations at CiE 2024 may appear or may have appeared in other conferences with formal proceedings and/or in journals.
- WOMEN IN COMPUTABILITY
We are very happy to announce that within the framework of the Women in Computability program, we are able to offer some grants for junior women researchers who want to participate in CiE 2024. Applications for this grant should be sent to Lorenzo Galeotti
, before May 15, 2024 and include a short cv (at most 2 pages) and contact information for an academic reference. Preference will be given to junior women researchers who are presenting a paper (including informal presentations) at CiE 2024.
- HOSTED BY
The event will be held in the Amsterdam University College academic building located at Amsterdam Science Park. We are grateful for support from the University of Amsterdam.
- ICALP is the main conference and annual meeting of the European Association for Theoretical Computer Science (EATCS). As usual, ICALP will be preceded by a series of workshops, which will take place on July 7.
The 2024 edition has the following features:
- Submissions are anonymous and there is a rebuttal phase.
- The conference is planned as a physical, in-person event.
- ICALP 2024 is co-located with Logic in Computer Science (LICS) 2024 and Formal Structures for Computation and Deduction (FSCD) 2024.
- Important dates and information
Deadlines are firm; late submissions will not be considered.
Submissions: Feb 14, 2024 (1pm CET) Rebuttal: Mar 26-29, 2024 Author notification: Apr 14, 2024 Camera-ready version: Apr 28, 2024 Early registration: TBA Conference: Jul 8-12, 2024 (Workshops on July 7)
- SUBMISSION GUIDELINES
Please see full call for submission guidance.
During the conference, the following awards will be delivered:
- the EATCS award,
- the Gödel prize,
- the Presburger award,
- the EATCS distinguished dissertation award,
- the best papers for Track A and Track B,
- the best student papers for Track A and Track B.
Published open access in Leibniz International Proceedings in Informatics (LIPIcs).
- Track A: Algorithms, Complexity and Games: Algorithmic and Complexity Aspects of Network Economics; Algorithmic Aspects of Biological and Physical Systems; Algorithmic Aspects of Networks and Networking; Algorithmic Aspects of Security and Privacy; Algorithmic Game Theory and Mechanism Design; Approximation and Online Algorithms; Combinatorial Optimization; Combinatorics in Computer Science; Computational Complexity; Computational Geometry; Computational Learning Theory; Cryptography; Data Structures; Design and Analysis of Algorithms; Distributed and Mobile Computing; Foundations of Machine Learning; Graph Mining and Network Analysis; Parallel and External Memory Computing; Parameterized Complexity; Quantum Computing; Randomness in Computation; Sublinear Time and Streaming Algorithms; Theoretical Foundations of Algorithmic Fairness
- Track B: Automata, Logic, Semantics, and Theory of Programming: Algebraic and Categorical Models of Computation; Automata, Logic, and Games; Database Theory, Constraint Satisfaction Problems, and Finite Model Theory; Formal and Logical Aspects of Learning; Formal and Logical Aspects of Security and Privacy; Logic in Computer Science and Theorem Proving; Models of Computation: Complexity and Computability; Models of Concurrent, Distributed, and Mobile Systems; Models of Reactive, Hybrid, and Stochastic Systems; Principles and Semantics of Programming Languages; Program Analysis, Verification, and Synthesis; Type Systems and Typed Calculi
- 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.
There will be two types of submissions for AiML 2024:
- Full papers for publication in the proceedings and presentation at the conference.
- Short presentations intended for presentation at the conference but not for the published proceedings.
For more information, please visit https://www.cs.cas.cz/aiml2024/cfp.html
- IMPORTANT DATES
Abstract submission: Mar 08, 2024 Full papers submission: Mar 15, 2024 Full papers notification: May 20, 2024 Short presentations submission: May 30, 2024 Short presentations notification: Jun 14, 2024 Final versions of full papers and short presentations: Jun 21, 2024 Registration deadline: TBA Conference: Aug, 19–22 2024
- A PhD position is available in the Laboratoire d’Informatique de Paris-Nord (LIPN), Villetaneuse, France. Contact: Tayssir TOUILI (email@example.com)
The recruited PhD student is expected to investigate and develop novel techniques, algorithms and tools for malware detection. The ultimate goal is to build a malware detector that beats the existing commercial malware detection tools.
More details can be found here: https://lipn.univ-paris13.fr/~touili/sujet-PhD.pdf
- How to apply:
The position is available immediately. Candidates must have a master in computer science and be good programmers. The candidate must send a CV, university grades, recommendation letters, and a motivation letter to Tayssir TOUILI (firstname.lastname@example.org)
- The research group Theory and Logic, Institute of Logic and Computation of the Vienna University of Technology is seeking an exceptionally talented and motivated student for a PhD position.
The position is embedded in the LoDEx project (Logical Methods for Deontic Explanations), a joint project between TU Wien (PI: Agata Ciabattoni), the University of Luxembourg (PI: Leon van der Torre), and the Ruhr-University Bochum (PI: Christian Straßer).
This PhD position is a shared position with the University of Luxembourg: the candidate is expected to spend the first two years at TU Wien in Vienna and then two years in Luxembourg completing his/her PhD under a Cotutelle agreement in the Computational Law and Machine Ethics (CLAiM) group at the University of Luxembourg.
Apply before: Nov 30, 2023
- Two short-term postdoctoral positions area available on the FUN2MODEL project (fun2model.org), an ERC Advanced Grant (2019-2025) at the University of Oxford. Since the project has already advanced substantially and is currently developing new methodologies, priority will be given to researchers who are aligned with one or more of its six research themes (see http://fun2model.org/researchthemes.php):
- Safety, Robustness and Fairness Guarantees http://fun2model.org/safety.php
- Robustness Guarantees for Bayesian Neural Networks http://fun2model.org/bayesian.php
- Efficient Robust Learning http://fun2model.org/robust-learning.php
- Tractable Causal Inference and Reasoning http://fun2model.org/inference.php
- Multi-agent Coordination and Collaboration http://fun2model.org/multi-agent.php
- Human-like Decision Making http://fun2model.org/human-like.php
Application deadline: Nov 06, 2023
More information about the positions and the application process can be found at: https://www.cs.ox.ac.uk/news/2193-full.html
- We are seeking to recruit a motivated and research-focused research associate to carry out research in Verification and Game Theory, as part of the EPSRC project "Games for Good" with Patrick Totzke, Sven Schewe and Qiyi Tang.
You will enjoy developing algorithms, lower bounds, and possibly proof-of-concept implementations related to computer-aided formal verification. The position includes collaboration with our academic partners and research visits across Europe.
The project aims to better understand the notion of good-for-games (GfG) and related restricted forms of non-determinism, especially for computational models with infinite state spaces. We will investigate new ways to restrict non-determinism that maintain high expressiveness while simultaneously allowing for efficient verification procedures. In particular, we plan to study stochastic variants of history-determinism, such as automata that are good-for-Markov chains / Markov Decision Processes, as well as stochastic resolvers and their memory requirements. As above, you will work together in collaboration with our partners to share research outputs and deliver results.
- Further information: https://www.jobs.ac.uk/job/DDK022/postdoctoral-research-associate-in-verification
Application deadline: Nov 10, 2023
Links: SIGLOG website, LICS website, SIGLOG Monthly.