Monthly 237May 03, 2023
Past Issues - How to submit an announcement
- SIGLOG MATTERS
- JOB ANNOUNCEMENTS
|LICS 2023 Workshop on Combinatorial Games in Finite Model Theory:||May 01, 2023 (Abstract Submission)|
|HOR 2023:||May 02, 2023 (Submission deadline)|
|ACT 2023:||May 03, 2023 (Submission Deadline)|
|FORMATS 2023:||May 04, 2023 (Abstract, extended), May 08, 2023 (Paper, extended)|
|WPTE 2023:||May 05, 2023 (Paper, extended)|
|CLAR 2023:||May 06, 2023 (Submission deadline, extended)|
|GCM 2023:||May 07, 2023 (Abstract), May 14, 2023 (Paper)|
|TIME 2023:||May 12, 2023 (Abstract, extended), May 19, 2023 (Paper, extended)|
|RSSRail 2023:||May 12, 2023 (Papers and Abstract for tutorials, extended)|
|LORI 2023:||May 15, 2023 (Paper deadline)|
|The Proof Society Workshop on Proof Theory and its Applications:||May 15, 2023 (Submission deadline)|
|ASPOCP 2023:||May 15, 2023 (Abstract), May 22, 2023 (Paper)|
|MOSAIC 2023:||May 15, 2023 (Submission deadline)|
|EUMAS 2023:||May 20, 2023 (Papers)|
|Proof Assistant Postdoc at University of Sheffield:||May 23, 2023 (Closing date for applications)|
|iFM 2023:||May 25, 2023 (Abstract)|
|FSCD 2025:||May 27, 2023 (Deadline for location proposals)|
|Associate Professor or Professor at Università degli Studi di Verona:||May 30, 2023 (Recommended deadline)|
|ESSLLI:||May 31, 2023 (Early-registration deadline)|
|Two open positions of logic at Zhejiang University in 2023:||May 31, 2023 (Application deadline)|
|SEFM'23:||Jun 02, 2023 (Abstract), Jun 09, 2023 (Paper)|
|GandALF 23:||Jun 23, 2023 (Abstract), Jun 30, 2023 (Paper)|
|ACKERMANN AWARD 2023:||Jul 01, 2023 (Deadline for)|
|ICDT 2024:||Sep 13, 2023 (Cycle 2 Abstract), Sep 20, 2023 (Cycle 2 Full)|
- Links to registration and local information:
Do book accommodation sooner rather than later. Boston can be expensive and there is another big event on 25 June.
- List of accepted papers: https://lics.siglog.org/lics23/accepted.php
- Invited talks and tutorials from Adnan Darwiche, Azadeh Farzan, Dale Miller, Toniann Pitassi, Dan Suciu
- Combinatorial games in finite model theory
- The decision problem in first order logic (DPFO 2023)
- International Workshop on Quantitative Logical Methods (Qualog)
- Structure meets power
- Logic mentoring workshop (LMW)
WPTE 2023: 10th International Workshop on Rewriting Techniques for Program Transformations and EvaluationCALL FOR PAPERS / DEADLINE EXTENSION
- The aim of WPTE is to bring together the researchers working on program transformations, evaluation, and operationally based programming language semantics, using rewriting methods, in order to share the techniques and recent developments and to exchange ideas to encourage further activation of research in this area.
- Topics include: correctness of program transformations, optimizations and translations; program transformations for proving termination, confluence, and other properties; correctness of evaluation strategies; operational semantics of programs, operationally-based program equivalences such as contextual equivalences and bisimulations; cost-models for arguing about the optimizing power of transformations and the costs of evaluation; program transformations for verification and theorem proving purposes; translation, simulation, equivalence of programs with different formalisms, and evaluation strategies; program transformations for applying rewriting techniques to programs in specific programming languages; program transformations for program inversions and program synthesis; program transformation and evaluation for Haskell and rewriting.
- Important dates:
Paper submission, extended: May 05, 2023 Notifications: Jun 05, 2023 Final version for informal proceedings: Jun 18, 2023 Workshop: Jul 01, 2023 Submission to post-proceedings (journal): autumn 2023 (tbc)
- Zhejiang University Logic and AI Summit (ZJULogAI 2023) brings together the 5th International Conference on Logic and Argumentation (CLAR 2023), the 3rd International Workshop on Logics for New-Generation Artificial Intelligence (LNGAI 2023), International Workshop on Logic, AI and Law (LAIL 2023), the workshop on Epistemology & AI, and the workshop on AI & Arts. It will take place at Zhejiang University on September 8th – 12th, 2023. See the venue information for details.
With its special focus theme on “methods and tools for explainable and ethical AI”, a core objective of ZJULogAI is to present the latest developments and progress made on the crucial question of how to make AI more interpretable, explainable, legal and ethical.
There are multiple events:
- Epistemology & AI
- Event Dates: 8th - 9th September 2023
- Submission Deadline: 15th May 2023
- Web page: https://www.zlaire.net/zjulogai2023/epistemology&ai2023
- Event Dates: 8th - 9th September 2023
- Submission Deadline: 1st May 2023
- Web page: https://www.zlaire.net/zjulogai2023/lngai2023/
- Event Dates: 10th - 12th September 2023
- Submission Deadline: 6th May 2023 (extended)
- Web page: https://www.zlaire.net/zjulogai2023/clar2023/
- Event Dates: 11th - 12th September 2023
- Submission Deadline: 8th May 2023
- Web page: https://www.zlaire.net/zjulogai2023/lail2023
- AI & Arts
- 11th September 2023 (tentative)
- The workshop is aimed at PhDs and other professionals alike. We call for contributed papers to be presented during the workshop either in a short talk of about 20 minutes or through a poster presentation.
- IMPORTANT DATES
Submission deadline: May 15, 2023 Author notification: May 29, 2023
Submissions consist of an extended abstract of at most four pages total (including references, acknowledgements, and any possible appendices). Accepted abstracts will be distributed during the event and may be posted, but will not be formally published, so we welcome work published elsewhere. Shortly we shall send out instructions on the format and method of submission.
- AIMS AND SCOPE
Topics presented include. but are not limited to
- Ordinal analysis
- Applied proof theory and proof assistants
- Cut elimination
- Proof systems
- Philosophy of proof theory
- Proof theory and the foundations of mathematics
- Proof Complexity
- Reverse mathematics
- SAT solvers
- Automated theorem proving
- Types and proofs;
- SUMMER SCHOOL
The Proof Society Workshop on Proof Theory and its Applications is affiliated with the The Proof Society Summer School which will be held just before the workshop from 10-12 July, 2023 Downtown Barcelona
- THE PROOF SOCIETY
The event will be organised under the auspices of The Proof Society whose mission statement is:
- To support the research on the notion of “proof” in its broadest sense, through a series of suitable activities;
- To be therefore inclusive in reaching out to all scientific areas which consider “proof” as an object in their studies;
- To enable the community to shape its future by identifying, formulating and communicating its most important goals;
- To actively promote “proof” to increase its visibility and representation in the larger scientific community and society.
- AIMS AND SCOPE
Since its introduction in the late 1980s, Answer Set Programming (ASP) has been widely applied to various knowledge-intensive tasks and combinatorial search problems. ASP was found to be closely related to SAT, which led to a new method of computing answer sets using SAT solvers and techniques adapted from SAT. This has been a much studied relationship, and is currently extended towards satisfiability modulo theories (SMT). The relationship of ASP to other computing paradigms, such as constraint satisfaction, quantified Boolean formulas (QBF), Constraint Logic Programming (CLP), first-order logic (FOL), and FO(ID) is also the subject of active research. Consequently, new methods of computing answer sets are being developed based on relationships to these formalisms.
Furthermore, the practical applications of ASP also foster work on multi-paradigm problem-solving, and in particular language and solver integration. The most prominent examples in this area currently are the integration of ASP with description logics (in the realm of the Semantic Web) and constraint satisfaction (which recently led to the Constraint Answer Set Programming (CASP) research direction).
A large body of general results regarding ASP is available and several efficient ASP solvers have been implemented. However, there are still significant challenges in applying ASP to real life applications, and more interest in relating ASP to other computing paradigms is emerging. This workshop will provide opportunities for researchers to identify these challenges and to exchange ideas for overcoming them.
Topics of interests include (but are not limited to):
- ASP and classical logic formalisms (SAT/FOL/QBF/SMT/DL).
- ASP and constraint programming.
- ASP and other logic programming paradigms, e.g., FO(ID).
- ASP and other nonmonotonic languages, e.g., action languages.
- ASP and external means of computation.
- ASP and probabilistic reasoning.
- ASP and knowledge compilation.
- ASP and machine learning.
- New methods of computing answer sets using algorithms or systems of other paradigms.
- Language extensions to ASP.
- ASP and multi-agent systems.
- ASP and multi-context systems.
- Modularity and ASP.
- ASP and argumentation.
- Multi-paradigm problem solving involving ASP.
- Evaluation and comparison of ASP to other paradigms.
- ASP and related paradigms in applications.
- Hybridizing ASP with procedural approaches.
- Enhanced grounding or beyond grounding.
The workshop invites two types of submissions:
- original papers describing original research.
- non-original paper already published on formal proceedings or journals.
Authors are invited to submit their manuscripts in PDF via the EasyChair system at the link: https://easychair.org/my/conference?conf=aspocp2023.
- IMPORTANT DATES
Abstract submission: May 15, 2023 Paper submission: May 22, 2023 Notification: Jun 12, 2023 Camera-ready articles due: Jun 22, 2023
Authors of all accepted original contributions can opt for to publish their work on formal proceedings. Accepted non-original contributions will be given visibility on the conference web site including a link to the original publication, if already published.
A selection of extended and revised versions of accepted papers could appear in a special issue. Extended versions of accepted non-original contributions, if not published in a journal yet, might be included in the issue.
- THE WORKSHOP The workshop is an event of the RISE-MSCA project MOSAIC. The RISE-MSCA project MOSAIC — “Modalities in Substructural Logic: Theory, Methods and Applications” aims at:
- Putting forward a comprehensive and unifying logico-mathematical study of substructural modal logics, that is, substructural logics with modalities.
- Exploring the application of substructural modal logics, in particular, in the areas of Artificial Intelligence; legal reasoning; data privacy and security; logical analysis of natural language.
- MOSAIC 2023 invites submissions on a variety of topics on non-classical logics and their applications, with special emphasis on modal substructural logics. We therefore invite contributions on relevant aspects of non-classical logics, such as:
- Proof Theory and complexity;
- Algebraic Semantics;
- Relational frames and structural properties;
- Coalgebras, Correspondence theory;
- Fixpoint logics;
- Logics for reasoning about norms, time, preferences, uncertainty;
- Automated Deduction;
- Applications of non-classical logics.
- IMPORTANT DATES
Submission deadline: May 15, 2023 Notification: Jun 30, 2023 Conference: Sep 27-29, 2023
- INVITED SPEAKERS include:
- Nick Bezhanishvili (University of Amsterdam)
- Serafina Lapenta (University of Salerno)
- Elaine Pimentel (University College of London)
- Adam Prenosil (University of Barcelona)
- Carles Sierra (Artificial Intelligence Research Institute of Barcelona)
- IMPORTANT DATES: (AoE)
Abstract submission: Jun 02, 2023 Paper submission: Jun 09, 2023 Notification: Aug 18, 2023 Camera-ready submission: Sep 10, 2023 Conference: Nov 8–10, 2023
- OVERVIEW AND SCOPE
The conference aims to bring together researchers and practitioners from academia, industry and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools.
The topics of interest include, but are not limited to, the following aspects of software engineering and formal methods.
- Software Development Methods: Formal modelling, specification, and design; Software evolution, maintenance, re-engineering, and reuse
- Design Principles: Programming languages; Domain-specific languages; Type theory; Abstraction and refinement
- Software Testing, Validation, and Verification: Model checking, theorem proving, and decision procedures; Testing and runtime verification; Statistical and probabilistic analysis; Synthesis; Performance estimation and analysis of other non-functional properties; Other light-weight and scalable formal methods
- Security and Safety: Security, privacy, and trust; Safety-critical, fault-tolerant, and secure systems; Software certification
- Applications and Technology Transfer: Service-oriented and cloud computing systems, Internet of Things; Component, object, multi-agent, and self-adaptive systems; Real-time, hybrid, and cyber-physical systems; Intelligent systems and machine learning; HCI, interactive systems, and human error analysis; Education
- Case studies, best practices, and experience reports
- PAPER SUBMISSION
We solicit two categories of papers:
- Regular papers describing original research results, case studies, or surveys, should not exceed 16 pages (excluding bibliography of at most two pages).
- Tool papers that describe an operational tool and its contributions should not exceed 8 pages (including bibliography of at most one page).
Submission site: https://easychair.org/conferences/?conf=sefm2023.
- ARTEFACT EVALUATION
This edition of SEFM introduces an artefact evaluation (AE). An artefact contains any necessary material to support the claims made in the paper and ideally makes the results fully reproducible. Submission of an artefact is optional for regular papers and mandatory for tool papers. The artefacts will be judged by the Artefact Evaluation Committee (AEC).
- We have an opening for a 3-year position of either research associate or research assistant at the University of Sheffield, UK. It is on a project called "Safe and secure concurrent programming for advanced hardware architectures" and involves modelling and verification using a proof assistant, preferably Isabelle. Please share this opportunity with anyone you think might be interested.
Closing date for applications: May 23, 2023
More details can be found here:
- The Computer Science Department of the Università degli Studi di Verona, in beautiful Verona, Italy (EU), invites expressions of interest for open-rank tenured positions (either Associate Professor or Professor) in computer science, with a focus on theory, artificial intelligence, or software engineering and security.
- Web page with the full ad:
- Contact for inquiries:
Flexible, but May 30, 2023 is recommended
Links: SIGLOG website, LICS website, SIGLOG Monthly.