Monthly 229September 02, 2022
Past Issues - How to submit an announcement
- JOB ANNOUNCEMENTS
|The ALP Alain Colmerauer Prolog Heritage Prize:||Sep 02, 2022 (Deadline for nominations)|
|CPP 2023:||Sep 14, 2022 (Abstract), Sep 21, 2022 (Paper)|
|BEWARE 2022:||Sep 23, 2022 (Paper)|
|STACS 2023:||Sep 25, 2022 (Paper)|
|Lecturer/Senior Lecturer at UNSW, Sydney:||Sep 29, 2022 (Programming Lanugages Job Closing), Oct 12, 2022 (Formal Methods and Logic in Computer Science Job Closing)|
|OVERLAY 2022:||Sep 30, 2022 (Paper)|
|FSEN 23:||Oct 07, 2022 (Abstract), Oct 14, 2022 (Paper)|
|ETAPS 2023:||Oct 13, 2022 (Paper)|
|PODS 2023:||Nov 28, 2022 (Second cycle abstract), Dec 05, 2022 (Full paper)|
- Certified Programs and Proofs (CPP) is an international conference on practical and theoretical topics in all areas that consider formal verification and certification as an essential paradigm for their work. CPP spans areas of computer science, mathematics, logic, and education.
CPP 2023 (https://popl23.sigplan.org/home/CPP-2023) will be held on 16-17 January 2023 and will be co-located with POPL 2023 in Boston, Massachusetts, United States. CPP 2023 is sponsored by ACM SIGPLAN, in cooperation with ACM SIGLOG.
CPP 2023 will welcome contributions from all members of the community. The CPP 2023 organizers will strive to enable both in-person and remote participation, in cooperation with the POPL 2023 organizers.
- IMPORTANT DATES (Strict, AoE)
Abstract submission: Sep 14, 2022 Paper submission: Sep 21, 2022 Notification (tentative): Nov 21, 2022 Camera Ready Deadline (tentative): Dec 12, 2022 Conference: Jan 16-17, 2023
- DISTINGUISHED PAPER AWARDS
Around 10% of the accepted papers at CPP 2023 will be designated as Distinguished Papers. This award highlights papers that the CPP program committee thinks should be read by a broad audience due to their relevance, originality, significance and clarity.
- TOPICS OF INTEREST
We welcome submissions in research areas related to formal certification of programs and proofs. The following is a non-exhaustive list of topics of interest to CPP:
- certified or certifying programming, compilation, linking, OS kernels, runtime systems, security monitors, and hardware;
- certified mathematical libraries and mathematical theorems;
- proof assistants (e.g, ACL2, Agda, Coq, Dafny, F*, HOL4, HOL Light, Idris, Isabelle, Lean, Mizar, Nuprl, PVS, etc);
- new languages and tools for certified programming;
- program analysis, program verification, and program synthesis;
- program logics, type systems, and semantics for certified code;
- logics for certifying concurrent and distributed systems;
- mechanized metatheory, formalized programming language semantics, and logical frameworks;
- higher-order logics, dependent type theory, proof theory, logical systems, separation logics, and logics for security;
- verification of correctness and security properties;
- formally verified blockchains and smart contracts;
- certificates for decision procedures, including linear algebra, polynomial systems, SAT, SMT, and unification in algebras of interest;
- certificates for semi-decision procedures, including equality, first-order logic, and higher-order unification;
- certificates for program termination;
- formal models of computation;
- mechanized (un)decidability and computational complexity proofs;
- formally certified methods for induction and coinduction;
- integration of interactive and automated provers;
- logical foundations of proof assistants;
- applications of AI and machine learning to formal certification;
- user interfaces for proof assistants and theorem provers;
- teaching mathematics and computer science with proof assistants.
- SUBMISSION GUIDELINES
Please see the full call for comprehensive information about submission guidelines, publication, copyright and open access.
- The 40th International Symposium on Theoretical Aspects of Computer Science is planned to take place from 7 March to 10 March 2023 in Hamburg, Germany.
For the first time, STACS 2023 will consist of two tracks, A and B, to facilitate the work of the program committee(s).
- Track A is dedicated to algorithms and data structures, complexity and games.
- Track B will cover automata, logic, semantics and theory of programming.
- LISTS OF TOPICS
Authors are invited to submit papers presenting original and unpublished research on theoretical aspects of computer science. Typical areas include:
- algorithms and data structures, including: design of parallel, distributed, approximation, parameterized and randomized algorithms; analysis of algorithms and combinatorics of data structures; computational geometry, cryptography, algorithms for machine learning, algorithmic game theory, quantum algorithms
- complexity, including: computational and structural complexity theory, parameterized complexity, randomness in computation
- automata and formal languages, including: automata theory, games, algebraic and categorical methods, coding theory, models of computation, computability
- logic in computer science, including: finite model theory, database theory, semantics, type systems, program analysis, specification & verification, rewriting and deduction, learning theory, logical aspects of complexity
Please see the full call for detailed submission information: https://www.conferences.uni-hamburg.de/event/272/page/156-call-for-papers
- IMPORTANT DATES (AoE)
Paper submission: Sep 25, 2022 Rebuttal: Nov 14-16, 2022 Author notification: Dec 04, 2022 Final version: Jan 08, 2023 STACS 2023: March 7-10, 2023
BEWARE 2022: Joint BRIO Workshop (Bias, Risk and Opacity in AI), ME&E-LP Workshop (Machine Ethics & Explainability - the Role of Logic Programming), and AWARE AI Workshop (Ethics and AI, a two-way relationship)CALL FOR PAPERS
- The workshop invites submissions from computer scientists, philosophers, economists and sociologists wanting to discuss contributions ranging from the formulation of epistemic and normative principles for AI, their conceptual representation in formal models, to their development in formal design procedures and translation into computational implementations.
Topics of interest include, but are not at all limited to:
- Conceptual and formal definitions of bias, risk and opacity in AI
- Epistemological and normative principles for fair and trustworthy AI
- Ethical AI and the challenges brought by AI to Ethics
- Explainable AI
- Uncertainty in AI
- Ontological modelling of trustworthy as opposed to biased AI systems
- Defining trust and its determinants for implementation in AI systems
- Methods for evaluating and comparing the performances of AI systems
- Approaches to verification of ethical behaviour
- Logic Programming Applications in Machine Ethics
- Integrating Logic Programing with methods for Machine Ethics and Explainable AI
The workshop invites (possibly non-original) submissions of FULL PAPERS (up to 15 pages) and SHORT PAPERS (up to 5 pages). Short papers are particularly suitable to present work in progress, extended abstracts, doctoral theses, or general overviews of research projects. Note that all papers will undergo a careful peer-reviewer process and, if accepted, camera-ready versions of the papers will be published on the AIxIA subseries of CEUR proceedings (Scopus indexed).
Manuscripts must be formatted using the 1-column CEUR-ART Style. For more information, please see the CEUR website http://ceur-ws.org/HOWTOSUBMIT.html. Papers must be submitted through EasyChair https://easychair.org/conferences/?conf=beware22.
- IMPORTANT DATES
Paper submission: Sep 23, 2022 Notification: Oct 21, 2022 Camera ready: Nov 18, 2022
- Organization and Programme Committee: https://sites.google.com/view/beware2022/organization-and-pc
- ABOUT ETAPS
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 2023 is the twenty-sixth event in the series.
- Why choose ETAPS?
- ETAPS is one of the world's leading fora for research on software science, with a history of more than 25 years. - The proceedings of ETAPS appear in gold open access, with no article processing charge for the authors specifically.
- ETAPS has low participation fees for all and students in particular.
- What is new in 2023?
- The SPIN symposium will be co-located with ETAPS. More info at: https://spin-web.github.io/SPIN2023/ .
- TACAS will use a double-blind reviewing process.
- ESOP, FASE, and newly also FoSSaCS welcome voluntary submissions of artefacts for evaluation after paper acceptance; the outcome will not change the paper acceptance decision.
- Presentations of the test-of-time-award and the doctoral- dissertation-award winners will take place.
- A plenary session for TOOLympics will be organised.
- MAIN CONFERENCES (24-27 April 2023)
- ESOP: European Symposium on Programming (PC chair: Thomas Wies, New York University)
- FASE: Fundamental Approaches to Software Engineering (PC chairs: Leen Lambers, BTU Cottbus-Senftenberg, and Sebastián Uchitel, University of Buenos Aires)
- FoSSaCS: Foundations of Software Science and Computation Structures (PC chairs: Pawel Sobocinski, Tallinn University of Technology, and Orna Kupferman, Hebrew University of Jerusalem)
- TACAS: Tools and Algorithms for the Construction and Analysis of Systems (PC chairs: Sriram Sankaranarayanan, University of Colorado, Boulder, CO, and Natasha Sharygina, University of Lugano)
- IMPORTANT DATES (AoE)
Paper submission: Oct 13, 2022 TACAS artefact submission deadline: Nov 10, 2022 Rebuttal (ESOP, FoSSaCS, partially TACAS): Dec 6-8, 2022 Paper notification: Dec 22, 2022 ESOP, FASE, FoSSaCS artefact submission deadline: Jan 05, 2023 Artefact notification TACAS: Jan 19, 2023 Paper final version: Jan 26, 2023 Artefact notification ESOP, FASE, FoSSaCS: Feb 09, 2023
- SUBMISSION INSTRUCTIONS
Please see the full call for submssion instructions: https://etaps.org/2023/call-for-papers
- The strongest papers from the four conferences will be nominated for the ETAPS best paper awards of EAPLS, EASST and EATCS, and the SCP best tool paper award.
- The ETAPS test-of-time award will be granted, recognising outstanding papers published at ETAPS more than ten years in the past.
- The Doctoral Dissertation Award will be granted to promote and recognise an outstanding dissertation in the research areas covered by the four main ETAPS conferences.
- SATELLITE EVENTS (22-23 April 2023)
A number of satellite workshops and other events will take place during the weekend before the main conferences.
In particular, there will be a PhD student mentoring workshop organised by Caterina Urban and Wolfgang Ahrendt.
- The School of Computer Science and Engineering at UNSW, Sydney has the following open positions at Lecturer/Senior Lecturer (= US Assistant-Associate Professor) level.
- Programming Languages, with particular interest in the design and implementation of programming languages, semantics of programming languages, language-based security, programming systems (e.g. virtual machines and run-time systems), compilers, and program analysis, including both theory and tool development.
Programming Lanugages Job Closing: Sep 29, 2022
- Formal Methods and Logic in Computer Science, with particular interest in algorithmic verification and applications towards areas including security foundations, distributed computing, hybrid systems and autonomous systems.
Formal Methods and Logic in Computer Science Job Closing: Oct 12, 2022
To the SIGLOG or LICS website