- finite-model-theory - lists.rwth-aachen.de

VCLA International Student Awards - Second Call for Nominations
by Hackl, Andrea 02 Apr '25

02 Apr '25

The Vienna Center for Logic and Algorithms of TU Wien calls for the nomination of authors of outstanding theses and scientific works in the field of Logic and Computer Science, in the following two categories: - Outstanding Master Thesis Award* - Outstanding Undergraduate Thesis Award (Bachelor thesis or equivalent, 1st cycle of the Bologna process)* *The degree must have been awarded between January 1st, 2024 and December 31st, 2024 (inclusive). ---------------------------------- The main areas of interest are: ---------------------------------- - Computational Logic, covering theoretical and mathematical foundations such as proof theory, model theory, computability theory, Boolean satisfiability (SAT), QBF, constraint satisfaction, satisfiability modulo theories, automated deduction (resolution, refutation, theorem proving), non-classical logics (substructural logics, multi-valued logics, deontic logics, modal and temporal logics). - Algorithms and Computational Complexity, including design and analysis of discrete algorithms, complexity analysis, algorithmic lower bounds, parameterized and exact algorithms, decomposition methods, approximation algorithms, randomized algorithms, algorithm engineering, as well as algorithmic game theory, computational social choice, parallel algorithms, graph drawing algorithms, and distributed algorithms. - Databases and Artificial Intelligence, concerned with logical methods for modeling, storing, and drawing inferences from data and knowledge. This includes subjects like query languages based on logical concepts (Datalog, variants of SQL, XML, and SPARQL), novel database-theoretical methods (schema mappings, information extraction and integration), logic programming, knowledge representation and reasoning (ontologies, answer-set programming, belief change, inconsistency handling, argumentation, planning). - Verification, concerned with logical methods and automated tools for reasoning about the behavior and correctness of complex state-based systems such as software and hardware designs as well as hybrid systems. This ranges from model checking, program analysis and abstraction to new interdisciplinary areas such as fault localization, program repair, program synthesis, and the analysis of biological systems. ---------------------------------- Awards ---------------------------------- - The Outstanding Master Thesis Award: 1200 EUR. - The Outstanding Undergraduate Thesis Award: 800 EUR. - The winners will be invited to present their work at an award ceremony in Vienna, if the situation allows. ---------------------------------- Eligibility ---------------------------------- - The degree must have been awarded between January 1st, 2024 and December 31st, 2024 (inclusive). - Students who obtained their degree at TU Wien are not eligible. ---------------------------------- Nomination Requirements ---------------------------------- Nominations must include: - A cover page that contains the name and contact details of the nominated person, the title of the work for which the person is being nominated, award category, the date on which the degree was awarded, and the name of the university. - An English summary of the thesis of maximum 3 pages, excluding references (A4 or letter page size, 11pt font min). The summary must clearly state the main contribution of the work, its novelty, and its relevance to some of the aforementioned areas of interest. - The CV of the nominated person, including publication list (if applicable). - An endorsement letter from a supervisor or another proposing person. The letter must clearly state the independent and novel contribution of the student, and why the proposer believes the student deserves the award. The endorsement letter may be provided after the submission deadline, and emailed directly to vcla_awards (AT) tuwien.ac.at. - The full thesis. All documents should be in English, with the exception of the thesis. In case the thesis is in a different language, it must be accompanied by a research report in English of at least 10 pages that should be sufficient for the committee to evaluate the merit and quality of the submitted work. ---------------------------------- Instructions for submitting self-nominations ---------------------------------- - Nominations should be submitted electronically by the applicants using the following link to EasyChair: https://easychair.org/conferences/?conf=vclaawards2025. - Submissions consist of two pdf files. The first is a single pdf file containing all documents for the nomination except the full thesis; the documents should appear in the order they are listed above. The second pdf file is the full thesis. - The endorsement letter may optionally be sent by email by the endorser and omitted from the Easychair submission. In this case, please email the letter as a pdf file, including the name of the nominated person in the subject, to vcla_awards (AT) tuwien DOT ac DOT at. - The submission must be accompanied by a plain text electronic abstract of the thesis of at most 400 words, and three keywords. - The nominated student must be listed as the only author in the submission form. ---------------------------------- Important dates ---------------------------------- - Submission deadline: April 20th, 2025 (anywhere on Earth) - Notification of decision: Beginning of July, 2025 ---------------------------------- Contact ---------------------------------- Please send all inquiries to vcla_awards(a)tuwien.ac.at<mailto:vcla_awards@tuwien.ac.at>. ---------------------------------- VCLA Award Committee 2025 ---------------------------------- Shqiponja Ahmetaj (chair) Alexis de Colnet Katalin Fazekas Simon Dominik Fink Phuc Hung Hoang Daniela Kaufmann Matthias Lanzinger Xinghan Liu Anela Lolic (chair) Sanja Lukumbuzya Xavier Parent Adrian Rebola Pardo Martin Riener Zeynep Saribatur Sebastian Skritek Martin Tappler ---------------------------------- Website with information on the award and the previous awardees ---------------------------------- https://www.vcla.at/vcla-awards/

1 0

a talk announcement
by R Ramanujam 01 Apr '25

01 Apr '25

hi, would the following talk announcement be of interest to the FMT group? thanks, ram On the occasion of World Logic Day, January 14, 2025, the DLMPST Commission on Logic Education invites you to a webinar by Professor Moshe Vardi. Date: January 14, 2025 Time: 0700 CST, 1300 GMT, 1400 CET, 1830 IST, 2100 (Beijing) Zoom Link: URL: https://cmi-ac-in.zoom.us/j/89055168551?pwd=7SeShMDEKSLw1wy6ZaZj4JEa0hiuqE.1 Meeting ID: 890 5516 8551 Passcode: gangesha Talk details: Machine Learning and Logic: Fast and Slow Thinking Moshe Y. Vardi Rice University Computer science seems to be undergoing a paradigm shift. Much of earlier research was conducted in the framework of well-understood formal models. In contrast, some of the hottest trends today shun formal models and rely on massive data sets and machine learning. A cannonical example of this change is the shift in AI from logic programming to deep learning. I will argue that the correct metaphore for this development is not paradigm shift, but paradigm expansion. Just as General Relativity augments Newtonian Mechanics, rather than replace it -- we went to the moon, after all, using Newtonian Mechanics -- data-driven computing augments model-driven computing. In the context of Artificial Intelligence, machine learning and logic correspond to the two modes of human thinking: fast thinking and slow thinking. The challenge today is to integrate the model-driven and data-driven paradigms. I will describe one approach to such an integration -- making logic more quantitative. I will conclude by discussing implications for computer-science education. Speaker Bio: Moshe Y. Vardi is a University Professor, and the George Distinguished Service Professor in Computational Engineering at Rice University. He is the author and co-author of close to 800 papers, as well as two books. He is the recipient of several scientific awards, is a fellow of several societies, and a member of several honorary academies. He holds ten honorary titles. He is a Senior Editor of Communications of the ACM, the premier publication in computing, focusing on societal impact of information technology. -- R Ramanujam

1 1

Paraconsistent Newsletter Winter-Summer 2025
by jean-yves beziau 20 Mar '25

20 Mar '25

Due to climate change, there was a delay in the seasonal paraconsistent newsletter. In this Winter-Summer 2025 edition you will find: 1) Recent papers, books, videos related to paraconsistency 2) A contest to win holidays on the island of inconsistency 3) Future events connected to paraconsistency 4) An interview of Soma Dutta 5) Obituaries of Newton da Costa, Ray Jennings and John Woods Enjoy! Jean-Yves Beziau Editor of the Paraconsistent Newsletter https://sites.google.com/view/paranews-2025-1

1 0

Postdoc position @ King's College London
by Hubie Chen 03 Mar '25

03 Mar '25

## Postdoc position in Theoretical CS @ King's College London A postdoctoral research position in theoretical computer science is available at King's College London. The successful candidate will be hosted by Hubie Chen and will be expected to work on topics related to the themes of complexity, database theory, structural decomposition methods, and logic. Research interest and experience in the following areas will be valued: logic in computer science, database theory, finite model theory, structural decomposition methods, term rewriting, and parameterized complexity theory. Key dates: the application deadline is April 17, 2025; it is hoped that the successful applicant will start by August 2025, but there is some flexibility concerning the start date. If the position is started by August 1, 2025, it can be held for at least 1 year. The exact starting date and duration can be set in a way that takes into account the successful candidate's needs and schedule. To apply, please follow the instructions at: https://my.corehr.com/pls/coreportal_kclp/erq_jobspec_version_4.display_for… If you are planning to apply, it will be appreciated if, in addition to following the instructions at this link, you would e-mail your CV to hubie.chen(a)kcl.ac.uk . Any questions can also be directed to this e-mail address.

1 0

ICDT 2026 - Final Call for Papers
by Balder ten Cate 01 Mar '25

01 Mar '25

** ICDT 2026 - Final Call for Papers (for the first submission round) ** ICDT is a series of international scientific conferences on research of data management theory (https://databasetheory.org/icdt-pages). Since 2009, it is annually and jointly held with EDBT (Extending DB Technology). The 29th edition of ICDT, in 2026, will take place in Tampere, Finland. ** Topics of Interest ** We welcome research papers on every topic related to the principles and theory of data management, provided that there is a clear connection to foundational aspects. This includes, for example, articles on "classical" data management topics such as: - The theoretical investigation of various aspects of underlying data management systems (e.g., Indexes, Concurrency and recovery, Distributed and parallel databases, Cloud computing, Privacy and security, Graph databases, Data streams and sketching, Data-centric (business) process management and workflows, Data and knowledge integration and exchange, Data provenance, Views, Data warehouses, Domain-specific databases - multimedia, scientific, spatial, temporal, text data, ...), - The design and study of data models and query languages, - The development and analysis of algorithms for data management, but also includes papers exploring existing or identifying new connections between data management and other areas, such as the areas of: knowledge representation, semantic web, web services, information retrieval and data mining, machine learning/AI, distributed computing, theoretical computer science. In all of the above, a clear emphasis on foundational aspects is expected. You may want to check https://dblp.org/db/conf/icdt/index.html to get an overview of previous editions of ICDT. The Program Committee reserves the right to desk reject a submission when it is regarded to be out of scope. ** Submission Cycles and Dates ** ICDT will have two submission cycles for 2026, with deadlines as follows: All times are Anywhere on Earth (UTC + 12) ** ICDT Submission Cycle 1 ** March 13, 2025: Abstract submission March 20, 2025: Paper submission June 1, 2025: Notification ** ICDT Submission Cycle 2 ** September 3, 2025: Abstract submission September 10, 2025: Paper submission December 1, 2025: Notification Papers rejected in the first submission cycle cannot be submitted to the second submission cycle unless explicitly requested by the reviewers. ** Program Committee ** ** ICDT 2026 Program Committee Chair ** Balder ten Cate, ILLC, University of Amsterdam ** ICDT 2026 Program Committee Members ** Antonella Poggi, University of Rome Sapienza Batya Kenig, Technion Carsten Lutz, University of Leipzig Cristina Sirangelo, CNRS, Université Paris Cité Diego Figueira, CNRS, Univ Bordeaux Dominik Freydenberger, Loughborough University Emanuel Sallinger, TU Wien Floris Geerts, University of Antwerp Francesco Scarcello, Università della Calabria Hubie Chen, King's College London Jeff M. Phillips, University of Utah Liat Peterfreund, Hebrew University of Jerusalem Luc Segoufin, INRIA, ENS Ulm Mahmoud Abo Khamis, RelationalAI Marco Calautti, Università degli Studi di Milano Markus Schmid, Humboldt-Universität zu Berlin Martin Grohe, RWTH Aachen University Matthias Niewerth, Bayreuth University Miika Hannula, University of Tartu Sanjay Krishnan, University of Chicago Sebastian Rudolph, TU Dresden Stavros Sintos, University of Illinois Chicago Stefan Mengel, CNRS, Université d’Artois ** Submission Instructions ** All submissions will be electronic via EasyChair. Link: https://easychair.org/conferences/?conf=icdt2026 Papers must be written in English and provide sufficient detail to allow the program committee to assess their merits. Papers must be submitted as PDF documents, using the LIPIcs style ( http://www.dagstuhl.de/en/publications/lipics/instructions-for-authors). ** Tracks ** 1. ** Regular Research Papers (15 pages, anonymized) ** The results must be unpublished and not submitted for publication elsewhere, including the proceedings of other symposia or workshops. Papers must be at most 15 pages, excluding references. Additional details may be included in a clearly marked appendix, which, however, will be read at the discretion of the program committee (online appendices are not allowed). Papers not conforming to these requirements may be rejected without further consideration. 2. ** Database Theory in Action (4 pages, non-anonymized) ** To broaden the scope of ICDT and showcase the impact of database theory, ICDT 2026 includes again a “Database Theory in Action” track that calls for short papers illustrating interesting applications of database theory in other domains or in solving real-world problems. These papers will be 4 pages + references, and can be based on a previously published paper at another venue. In particular, we invite papers that demonstrate novel and important connections between database theory and neighboring communities such as Database Systems, Operating Systems, Programming Languages, Machine Learning, Artificial Intelligence, Knowledge Representation, Distributed Computing, and Industry. At the discretion of the program committee, there may be invited papers to this track as well. The title of the papers submitted to this track must start with “Database Theory in Action:”. These papers should also include clear pointers to all relevant previous publications, websites, tools, repositories, etc. The proceedings will appear in the Leibniz International Proceedings in Informatics (LIPIcs) series, based at Schloss Dagstuhl. This guarantees that the proceedings will be available online and free of charge, while the authors retain the rights over their work. At least one author of each accepted paper is expected to register at the conference and to present the paper. ** Anonymous Submission ** From 2024, ICDT has adopted anonymous submission (only for regular track papers; submissions for the “database theory in action” track should not be anonymous), in line with other leading conferences in the database community such as SIGMOD and PODS. The intent of anonymous submission is to ensure that the identity of the authors is not presented to the reviewers during the review process. Specifically, submitted papers must not list authors or affiliations, and must not include acknowledgments to funding sources, or other colleagues or collaborators. References to the authors' own prior work must not be distinguished from other references. Where this is not possible (for instance, when referring to a specific system to which the authors have privileged access), anonymized citations are permissible. For more background on the motivation for anonymous submissions, and the mechanisms to achieve it, please consult [Snodgrass, 2007] https://www2.cs.arizona.edu/~rts/pubs/TODS07.pdf Simultaneously, the authors may make their submissions available to the community via pre-print services such as ArXiv and through talks. We do require that work is not labeled as "under submission at ICDT" or indicates that it is under review, but otherwise place no restrictions on sharing results. This does not conflict with the anonymous submission requirement. **Awards** An award will be given to the Best Paper. Also, an award will be given to the Best Newcomer Paper written by newcomers to the field of database theory. The latter award will preferentially be given to a paper written only by students; in that case the award will be called Best Student-Paper Award. The program committee reserves the following rights: not to give any award; to split an award among several papers; and to define the notion of a newcomer. Papers authored or co-authored by program committee members are not eligible for a best paper or a best newcomer paper award.

1 0

[CFP] Third Call for Papers: DEON 2025
by Hackl, Andrea 26 Feb '25

26 Feb '25

================================================ Extended Submission Deadline ================================================ THIRD CALL FOR PAPERS: DEON 2025, VIENNA The 17th International Conference on Deontic Logic and Normative Systems (DEON 2025) will be held July 1 - July 3, 2025 at TU Wien (Vienna, Austria). The conference will be preceded by a day of tutorials on June 30. We happily invite paper submissions and participation at DEON 2025. *About the DEON conference series* The biennial International Conference on Deontic Logic and Normative Systems (DEON) conference series aims at bringing together researchers interested in the formal study of normative concepts, normative reasoning, and normative systems using methods from computer science, artificial intelligence, philosophy, linguistics, mathematics, and law. The series particularly aims at fostering interdisciplinary collaboration that combines methods from these various fields. Topics include but are not limited to the investigation of normative reasoning, concepts, and systems in relation to: agency and action, argumentation, defeasible reasoning, deontic modals, epistemic reasoning, explainability, knowledge representation, legal reasoning, multi-agent systems, natural language, norm change/revision, philosophy of reasons, policy preference reasoning, responsibility, social values, temporal reasoning and trustworthy systems. We welcome submissions of both theoretical and applied research for DEON 2025, and encourage interdisciplinary work. *Special focus* In addition to the general themes of the DEON conference series, DEON 2025 encourages the submission of papers on the special theme of Normative AI. The central aim of Normative AI is to ensure that AI systems make morally, legally, and socially acceptable decisions. As AI becomes increasingly important to human society, it is crucial to ensure that these technologies have a positive and responsible impact. This highly interdisciplinary field involves the evaluation and development of theories, formal frameworks, and algorithms, integrating both symbolic and sub-symbolic AI methods. *Important dates* - Abstract submission deadline: March 05, 2025 (extended) - Paper submission deadline: March 13, 2025 (extended) - Notification of acceptance: May 08, 2025 - Camera-ready version: May 25, 2025 - Tutorial day: June 30, 2025 - Conference: July 1 - July 03, 2025 *Keynotes* Natasha Alechina (Utrecht University, The Netherlands) Henry Prakken (Utrecht University, The Netherlands) Christian Straßer (Ruhr University Bochum, Germany) *Tutorial day* In addition to the conference, DEON 2025 will be paired with full tutorial day hosting a variety of tutorials on DEON related topics by top researchers in their respective fields. The tutorial will be given by: - Pedro Cabalar (Corunna University, Spain) - Ilaria Canavotto (University of Maryland, US) - Elisa Freschi (University of Toronto) & Josephine Dik (TU Wien) - Matthias Scheutz (Tufts Institute for AI, US) *Publication* The proceedings of the conference will be published by College Publications as an open-access book and will be available for participants during the conference. *Submission details* We invite submission of original and unpublished work. Parallel submission to journals or other conferences or workshops with published proceedings is not permitted. The reviewing process is single-blind (non-anonymized). Papers should be written in English. Submitted papers should not be longer than 15 pages (excluding references and technical appendix). Paper submission in PDF format will be managed through EasyChair. Submission templates and guidelines can be found on the Website: https://sites.google.com/view/deon-2025/home *Program Chairs* Agata Ciabattoni, Vienna University of Technology (TU Wien) John Horty, University of Maryland, USA *Program Committee* Houssam Abbas (Oregon State University) Chitta Baral (Arizona State University) Christoph Benzmüller (Otto-Friedrich-Universität Bamberg) Kees van Berkel (TU Wien) Jan Broersen (Utrecht University) Ilaria Canavotto (University of Maryland) Jose Carmo (University of Madeira) Huimin Dong (TU Wien) Hein Duijf (Utrecht University) Federico L. G. Faroldi (University of Pavia) Stef Frijters (KU Leuven) Guido Governatori (Central Queensland University) Joris Hulstijn (Utrecht University) Aleks Knoks (University of Luxembourg) Björn Lellmann (Bundesministerium für Finanzen) Emiliano Lorini (IRIT) Tim Lyon (Technische Universität Dresden) Juliano Maranhao (University of São Paulo) Réka Markovich (University of Luxembourg) Alessandra Marra (MCMP LMU Munich) Paul McNamara (University of New Hampshire) Robert Mullins (University of Oxford) Shyam Nair (Arizona State University) Pavel Naumov (University of Southampton) Eugenio Orlandelli (University of Bologna) Eric Pacuit (University of Maryland) Xavier Parent (TU Wien) Clayton Peterson (Université du Québec à Trois-Rivières) Gabriella Pigozzi (Université Paris-Dauphine) Antonino Rotolo (University of Bologna) Frederik Van De Putte (Erasmus University of Rotterdam & Ghent University) Olivier Roy (Universität Bayreuth) Ken Satoh (Center for Juris-Informatics, ROIS, Japan) Christian Strasser (Ruhr-University Bochum) Allard Tamminga (University of Greifswald) Leon van der Torre (University of Luxembourg) Paolo Turrini (University of Warwick) Serena Villata (CNRS - Laboratoire d'Informatique, Signaux et Systèmes de Sophia-Antipolis) Tomoyuki Yamada (Hokkaido University)

1 0

[fm-announcements] LOPSTR 2025 call for papers
by Laura Titolo via fm-announcements 24 Feb '25

24 Feb '25

35th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2025). Part of ICLP 2025 and co-located with PPDP 2025 September 9-10, 2025 - Rende, Italy https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Flopstr.gi… Important dates: - Abstract submission: May 9, 2025 (AoE) - Paper submission: May 16, 2025 (AoE) - Author notification: June 27, 2025 (AoE) - Camera-ready: July 17, 2025 (AoE) - Symposium: September 9-10, 2025 OVERVIEW The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions to logic-based program development in any programming language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. LOPSTR 2025 will be held at the University of Calabria, Rende, Italy. It will be co-located with ICLP 2025 and PPDP 2025. At least one of the authors of an accepted paper is expected to attend the conference and present the paper. Information about venue and travel will be available on the ICLP 2025 website. Topics of interest include all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large, including, but not limited to: - synthesis - transformation - specialization - inversion - composition - optimisation - specification - analysis and verification - testing and certification - program and model manipulation - AI methods for program development - verification and testing of AI-based systems - transformational techniques in software engineering - logic-based methods for security - logic-based methods for cyber-physical and distributed systems - applications, tools, and industrial practice Survey papers that present some aspects of the above topics from a new perspective and papers that describe experience with industrial applications and case studies are also welcome. PAPER SUBMISSION Submissions can be made in two categories: - Regular Papers (15 pages max.) - Short Papers (8 pages max.) References will NOT count towards the page limit. Additional pages may be used for appendices not intended for publication. Reviewers are not required to read the appendices, and thus papers should be intelligible without them. All submissions must be written in English. Submissions must not substantially overlap with papers/tools that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Submissions of Regular Papers must describe original work. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC Chairs in case of questions). Submissions of Short Papers may include presentations of exciting if not fully polished research or tool demonstrations that are of academic and industrial interest. Tool demonstrations should describe the relevant system, usability, and implementation aspects of a tool. All accepted papers will be included in the conference proceedings and published by Springer as a Lecture Notes in Computer Science (LNCS) volume. After the symposium, a selection of a few best papers will be invited for submission to rapid publication in the Journal of Theory and Practice of Logic Programming (TPLP). Authors of selected papers will be invited to revise and/or extend their submissions to be considered for publication. The papers submitted to TPLP will be subject to the journal's standard reviewing process. SUBMISSION GUIDELINES Authors should submit an electronic copy of the paper (written in English) in PDF, formatted in the Lecture Notes in Computer Science style. Each submission must include on its first page the paper title; authors and their affiliations; contact author's email; abstract; and three to four keywords which will be used to assist the PC in selecting appropriate reviewers for the paper. Authors should consult Springer's authors' instructions on the author's page, and use their proceedings templates, either for LaTeX (available also in Overleaf) or for Word, for the preparation of their papers. Springer encourages authors to include their ORCIDs in their papers. In addition, upon acceptance, the corresponding author of each paper, acting on behalf of all of the authors of that paper, must complete and sign a Consent-to-Publish form. The corresponding author signing the copyright form should match the corresponding author marked on the paper. Once the files have been sent to Springer, changes relating to the authorship of the papers cannot be made. Page numbers (and, if possible, line numbers) should appear on the manuscript to help the reviewers in writing their report. So, for LaTeX, we recommend that authors use: \pagestyle{plain} \usepackage{lineno} \linenumbers Papers should be submitted via EasyChair: https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Feasychair… PROGRAM CHAIRS Santiago Escobar, Univesitat Politecnica de Valencia, Spain Laura Titolo, Code Metal, USA PUBLICITY CHAIR Manuel Borroto, University of Calabria, Italy HISTORY LOPSTR is a renowned symposium that has been held for more than 30 years. The first meeting was held in Manchester, UK in 1991. Information about previous symposia: https://gcc02.safelinks.protection.outlook.com/?url=http%3A%2F%2Flopstr.web…. You can find the contents of past LOPSTR symposia at DBLP (https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fdblp.uni-…) and past LNCS proceedings at Springer (https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Flink.spri…). --- To opt-out from this mailing list, send an email to fm-announcements-request(a)lists.nasa.gov with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting fm-announcements-owner(a)lists.nasa.gov

1 0

[fm-announcements] Call for Papers: 3rd TACPS Workshop @ CAV 2025
by Ivan Ruchkin via fm-announcements 24 Feb '25

24 Feb '25

Call for Papers: 3rd International Workshop on Trustworthy Autonomous Cyber-Physical Systems (TACPS) We cordially invite submissions for the upcoming 3rd International Workshop on Trustworthy Autonomous Cyber-Physical Systems (TACPS), which explores the intersection of artificial intelligence, safety, security, testing, and verification in autonomous cyber-physical systems. This workshop will focus on neurosymbolic methods and foundation models to address the challenges of testing, verifying, and deploying autonomous systems in critical environments. Their typical examples include autonomous vehicles, aerial drones, and industrial control systems. The workshop will be held on July 21, 2025. It will be co-located with the 37th International Conference on Computer-Aided Verification (CAV) in Zagreb, Croatia. Our primary goal is to facilitate meaningful discussions and idea exchanges between workshop paper authors and our world-leading TPC members. We accept the following three paper categories, which will not be considered official, formal publications. Each submission will undergo the same rigorous review process by our TPC. This approach allows authors to further refine or submit their work to other top-tier venues. Accepted workshop papers will be hosted on Arxiv and shared with a broader audience through our TACPS community, with the potential to be invited for follow-up discussions at Shonan and Dagstuhl seminars in 2026. Paper Categories: 1. Vision Papers (4 pages, plus 1 page for references) Vision papers should present innovative and groundbreaking ideas supported by promising initial results or speculative visions about the future of autonomous CPS. Submissions should provide well-motivated arguments and strong scientific intuition, laying the groundwork for future research directions in neurosymbolic methods and foundation models for autonomous systems. We particularly encourage the discussion of how formal methods will contribute to these directions. 2. Research Papers (8 pages, plus 2 pages for references) Research papers should describe original, unpublished theoretical, empirical, conceptual, or experimental research related to neurosymbolic approaches and foundation models applied to autonomous CPS. Papers should present novel contributions to the fields of verification, safety, and testing of autonomous systems using these advanced techniques. Survey papers on relevant topics are also welcome under this category. 3. Experience Papers (8 pages, plus 2 pages for references) Experience papers should focus on the practical application and implementation aspects of neurosymbolic and foundation model-based approaches in autonomous CPS. These papers should detail real-world use cases, system integration challenges, and insights from deploying these techniques in practice. Topics of Interest (including but not limited to): • Neurosymbolic Reasoning, Learning, and Verification for Autonomous CPS • Integration of symbolic reasoning with machine learning models for decision-making and learning in autonomous systems. • Case studies of neurosymbolic reasoning in real-world autonomous CPS applications. • Formal safety and correctness verification techniques for neurosymbolic models and their application in ensuring the safety of autonomous systems. • Program Synthesis for Autonomous CPS • Techniques for automatically synthesizing programs (e.g., type-directed synthesis) for autonomous systems using formal typing systems. • Program synthesis methods that combine symbolic and neural components to ensure correctness and safety in autonomous CPS. • Methods for transforming and synthesizing code to improve the performance, reliability, and safety of autonomous systems. • Using synthesis to adapt code based on changing environments and scenarios. • Foundation Models-Based Test Generation for Autonomous CPS • Leveraging large-scale foundation models to generate effective test cases for autonomous CPS. • Applying foundation models for fault detection and robustness testing in real-world environments. • Neurosymbolic Reinforcement Learning for Autonomous CPS • Integrating neurosymbolic methods with reinforcement learning to improve decision-making in autonomous systems. • The role of neurosymbolic approaches in reinforcement learning-based autonomous systems, focusing on real-time safety and adaptability. • Surveys of Neurosymbolic and Foundation Models for Autonomous CPS • Comprehensive surveys of current research on neurosymbolic methods and foundation models applied to autonomous CPS. Such surveys fall under the Research Papers category. • Review and comparison of existing techniques and their potential to advance autonomous systems’ reliability, safety, and trustworthiness. • Formal Methods for Trustworthy Autonomous CPS • Use of formal methods (satisfiability solving, model checking, reachability verification, theorem proving, and other techniques) for proving the correctness, safety, and other trustworthiness aspects of autonomous CPS. • The application of formal verification to the development and deployment of neurosymbolic systems and foundation models in autonomous CPS. Submission Details: • Paper Format: Submissions must follow the ACM conference style and all authors should use the official “ACM Primary Article Template”, as can be obtained from the ACM Proceedings Template page <https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.acm.o…>. • Microsoft Word users: please still use the “Interim Template” and not the New Workflow for ACM Publications. This should result in a two-column format. • LaTeX users: please refer to the sample-sigconf.tex example file in the template available on the ACM Proceedings Template page <https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.acm.o…>. • Submission Link: Papers must be submitted through the Easychair system: https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Feasychair… • Review Process: Submissions will undergo a single-blind review process, and all accepted papers will be published in an Arxiv proceedings volume. • Deadlines: • All paper submissions are due by March 31, 2025 (anywhere on Earth) • Notifications will be sent by April 30, 2025 • The camera-ready deadline is set for May 30, 2025 (anywhere on Earth) We look forward to receiving your submissions and hope to see you at the workshop! For more information on the workshop, please visit https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.tacps…. --- To opt-out from this mailing list, send an email to fm-announcements-request(a)lists.nasa.gov with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting fm-announcements-owner(a)lists.nasa.gov

1 0

DaLí 2025, 1st call for papers
by Alexandre Madeira 20 Feb '25

20 Feb '25

====================================================================== DaLí 2025 - 1st Call for Papers DaLí 2025: 6th Workshop on Dynamic Logic - New trends and applications Shaanxi Normal University, Xi'an, Shaanxi Province, P. R. China October 20-21, 2025 ***(temporary link) http://dali2025.web.ua.pt *** ====================================================================== *** Important Dates *** - Abstract submission deadline: *1st June, 2025* - Full paper submission deadline: *5th of June, 2025* - Author notifications: *15th of July, 2025* **** Overview ***** Building on the ideas of Floyd-Hoare logic, dynamic logic was introduced in the 70's as a formal tool for reasoning about, and verify, classic imperative programs. Over time, its aim has evolved and expanded; DL can be seen now as a general set of ideas and tools devised for representing, describing and reasoning about diverse kind of actions, including (but not limited to) frameworks tailored for specific programming problems/ paradigms (e.g., separation logics), settings for modelling new computing domains (e.g., probabilistic, continuous and quantum computation), frameworks for reasoning about information dynamics (e.g., dynamic epistemic logics) and systems for reasoning about long term information dynamics (e.g., learning theory). Both its theoretical relevance and practical potential make DLs a topic of interest in a number of scientific venues, from wide-scope software engineering conferences to modal logic specific events. The aim of the DaLí 2025 workshop is to bring together, in a single place, researchers with a shared interest in the formal study of actions (from Academia to Industry and more, from Mathematics to Computer Science and beyond) to present their work, foster discussions and encourage collaborations. Previous editions of DaLí took place in Brasília (2017), Porto (2019), online (2020, 2022) and Tblisi (2023). **** List of Topics **** Submissions are invited on the general field of dynamic logic, its variants and applications, including (but not restricted to): - Dynamic logic, foundations and applications - Logics with regular modalities - Modal/temporal/epistemic/game logics - Kleene and action algebras and their variants - The interface between logic and learning - Quantum dynamic logic - Co-algebraic modal/dynamic logics - Graded and fuzzy dynamic logics - Dynamic logics for cyber-physical systems - Dynamic epistemic logic - Complexity and decidability of variants of dynamic logics and temporal logics - Model checking, model generation and theorem proving for dynamic logics - Integration of Dynamic Logic with Machine Learning Models **** Submission and Proceedings **** We solicit two categories of papers: .Regular papers - describing original research results, case studies, or surveys, should not exceed 15 pages (excluding bibliography of at most two pages). .Short papers - describing original research results or case studies, maybe in an incubation phase, with 6 to 8 pages (excluding bibliography of at most one page). Papers must be formatted according to the guidelines for Springer LNCS papers. All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. Papers can be submitted through Easychair: https://easychair.org/conferences/?conf=dal2025 A post-proceedings volume in Springer LNCS is being arranged. A special issue of the event with extended papers will be published in Journal of Logical and Algebraic Methods in Programming (Elsevier). *** Invited Speakers *** TBA *** Program Committee Chairs *** Jing Wang (Shaanxi Normal University, China) Alexandre Madeira (University of Aveiro, PT) *** Organising Committee chair *** Lei Li (Shaanxi Normal University, China) *** Program Committee *** Thomas Ågotnes (U. of Bergen, No) Carlos Areces (FaMAF, Ar) Philippe Balbiani (IRIT, Fr) Alexandru Baltag (U Amesterdam, Nl) Luís Soares Barbosa (U of Minho, Pt) Mario Benevides (UFF, Br) Thomas Bolander (Technical U. of Denmark, Dk) Raul Fervari (U. Nacional de Córdoba, CONICET, Ar) Sabine Frittella (Lab. d'Informatique Fondamentale d'Orléans, Fr) Xiaoxuan Fu (China U. of Political Science and Law, Ch) Sujata Ghosh (Indian Statistical Institute, In) Leandro Gomes (Lille University, Fr) Reiner Hähnle (TU Darmstadt, Ge) Asta Halkjær From (U. of Copenhagen, Dk) Andreas Herzig (CNRS, IRIT, Univ. Toulouse, Fr) Gabriele Kern-Isberner (Dortmund University, De) Alexander Knapp (Universität Augsburg, Ge) Sophia Knight (U. of Minnesota Duluth, USA) Katherine Kosaian (U. of Iowa, USA) Clemens Kupke (U. of Strathclyde, UK) Lei Li (Shaanxi Normal University, Ch) Fei Liang (School of Philosophy and Social Development, Shandong U., Ch) Fenrong Liu (Tsinghua University, Ch) Alexandre Madeira (University of Aveiro, Pt) Manuel A. Martins (University of Aveiro, Pt) Alessandra Palmigiano (Vrije Universiteit Amsterdam, Nl) Elaine Pimentel (UCL, UK) R Ramanujam (I. of Mathematical Sciences, Chennai, In) Katsuhiko Sano (F. of Humanities and Human Sciences, Hokkaido U., Jp) Igor Sedlar (Czech Academy of Sciences, Cz) Sonja Smets (U. Amsterdam, Nl) Ionuț Țuțu (IMAR, Ro) Johan van Benthem (U. Amsterdam, Nl) Jing Wang (Shaanxi Normal University, Ch) Yì Nicholas Wáng (Dep of Philosophy, Sun Yat-sen University, Ch) Zhaoqing Xu (Sichuan University, Ch) Fan Yang (Utrecht University, Nl) Zhiguang Zhao (Taishan University, Ch) *** Steering Committee *** Alexandru Baltag (U. Amsterdam, NL) Alexandre Madeira (U. Aveiro, PT) Andreas Herzig (IRIT, U. Paul Sabatier, FR) Fenrong Liu (Tsinghua U., CH) Johan van Benthem (U. Amsterdam, NL) Igor Sedlár (Czech Academy of Sciences, CZ) Luís Soares Barbosa (U. Minho, PT), Chair Manuel Martins (U. Aveiro, PT) Mário Benevides (Federal U. Rio de Janeiro, BR) Sonja Smets (U. Amsterdam, NL) __________________________________ Alexandre Madeira madeira(a)ua.pt

1 0

VCLA International Student Awards - Call for Nominations
by Hackl, Andrea 19 Feb '25

19 Feb '25

The Vienna Center for Logic and Algorithms of TU Wien calls for the nomination of authors of outstanding theses and scientific works in the field of Logic and Computer Science, in the following two categories: - Outstanding Master Thesis Award* - Outstanding Undergraduate Thesis Award (Bachelor thesis or equivalent, 1st cycle of the Bologna process)* *The degree must have been awarded between January 1st, 2024 and December 31st, 2024 (inclusive). ---------------------------------- The main areas of interest are: ---------------------------------- - Computational Logic, covering theoretical and mathematical foundations such as proof theory, model theory, computability theory, Boolean satisfiability (SAT), QBF, constraint satisfaction, satisfiability modulo theories, automated deduction (resolution, refutation, theorem proving), non-classical logics (substructural logics, multi-valued logics, deontic logics, modal and temporal logics). - Algorithms and Computational Complexity, including design and analysis of discrete algorithms, complexity analysis, algorithmic lower bounds, parameterized and exact algorithms, decomposition methods, approximation algorithms, randomized algorithms, algorithm engineering, as well as algorithmic game theory, computational social choice, parallel algorithms, graph drawing algorithms, and distributed algorithms. - Databases and Artificial Intelligence, concerned with logical methods for modeling, storing, and drawing inferences from data and knowledge. This includes subjects like query languages based on logical concepts (Datalog, variants of SQL, XML, and SPARQL), novel database-theoretical methods (schema mappings, information extraction and integration), logic programming, knowledge representation and reasoning (ontologies, answer-set programming, belief change, inconsistency handling, argumentation, planning). - Verification, concerned with logical methods and automated tools for reasoning about the behavior and correctness of complex state-based systems such as software and hardware designs as well as hybrid systems. This ranges from model checking, program analysis and abstraction to new interdisciplinary areas such as fault localization, program repair, program synthesis, and the analysis of biological systems. ---------------------------------- Awards ---------------------------------- - The Outstanding Master Thesis Award: 1200 EUR. - The Outstanding Undergraduate Thesis Award: 800 EUR. - The winners will be invited to present their work at an award ceremony in Vienna, if the situation allows. ---------------------------------- Eligibility ---------------------------------- - The degree must have been awarded between January 1st, 2024 and December 31st, 2024 (inclusive). - Students who obtained their degree at TU Wien are not eligible. ---------------------------------- Nomination Requirements ---------------------------------- Nominations must include: - A cover page that contains the name and contact details of the nominated person, the title of the work for which the person is being nominated, award category, the date on which the degree was awarded, and the name of the university. - An English summary of the thesis of maximum 3 pages, excluding references (A4 or letter page size, 11pt font min). The summary must clearly state the main contribution of the work, its novelty, and its relevance to some of the aforementioned areas of interest. - The CV of the nominated person, including publication list (if applicable). - An endorsement letter from a supervisor or another proposing person. The letter must clearly state the independent and novel contribution of the student, and why the proposer believes the student deserves the award. The endorsement letter may be provided after the submission deadline, and emailed directly to vcla_awards (AT) tuwien.ac.at. - The full thesis. All documents should be in English, with the exception of the thesis. In case the thesis is in a different language, it must be accompanied by a research report in English of at least 10 pages that should be sufficient for the committee to evaluate the merit and quality of the submitted work. ---------------------------------- Instructions for submitting self-nominations ---------------------------------- - Nominations should be submitted electronically by the applicants using the following link to EasyChair: https://easychair.org/conferences/?conf=vclaawards2025. - Submissions consist of two pdf files. The first is a single pdf file containing all documents for the nomination except the full thesis; the documents should appear in the order they are listed above. The second pdf file is the full thesis. - The endorsement letter may optionally be sent by email by the endorser and omitted from the Easychair submission. In this case, please email the letter as a pdf file, including the name of the nominated person in the subject, to vcla_awards (AT) tuwien DOT ac DOT at. - The submission must be accompanied by a plain text electronic abstract of the thesis of at most 400 words, and three keywords. - The nominated student must be listed as the only author in the submission form. ---------------------------------- Important dates ---------------------------------- - Submission deadline: April 20th, 2025 (anywhere on Earth) - Notification of decision: Beginning of July, 2025 ---------------------------------- Contact ---------------------------------- Please send all inquiries to vcla_awards(a)tuwien.ac.at<mailto:vcla_awards@tuwien.ac.at>. ---------------------------------- VCLA Award Committee 2025 ---------------------------------- Shqiponja Ahmetaj and Anela Lolic will be co-chairing this edition of the VCLA International Student Awards. The remaining members of the committee will be announced in due time. ---------------------------------- Website with information on the award and the previous awardees ---------------------------------- https://www.vcla.at/vcla-awards/

1 0