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

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

[FOIS 2025] Call for Tutorials for the 15th International Conference on Formal Ontology in Information Systems, 08-12 September 2025 (Catania, Italy)
by Lucia Gomez Alvarez 27 Jan '25

27 Jan '25

=================== CALL FOR TUTORIALS =================== 15th International Conference on Formal Ontology in Information Systems 08-12 September 2025 (Catania, Italy) Website: https://www.dmi.unict.it/fois2025/ ================================ Submission deadline: 28 February 2025  Questions to: tutorials-fois2025(a)easychair.org ================================ The Tutorial Chairs for FOIS 2025 invite proposals for tutorials to be held on-site in conjunction with FOIS 2025, during the week of the main conference which will take place 08-12 September 2025 in Catania, Italy. FOIS 2025 seeks original and highly relevant proposals for tutorials to complement the conference program. The tutorial program will address the diverse interests of its audience: ontologies, formal ontology, and knowledge management and their application in information science or other areas. Moreover, tutorials can be an excellent opportunity to cover basic or advanced topics related to ontology research, ranging from cognitive science to knowledge representation, natural language processing, artificial intelligence, logic, philosophy, and linguistics as well as well-established or emerging research areas, techniques, methodologies and perspectives related to the ontology field. In 2025, we are looking for individuals and teams of presenters who would like to offer a tutorial specifically designed as a basic or an advanced description of a topic, or as a showcase of relevant techniques. We privilege diversity in the organizing team as well as the presence of young researchers and PhD students. Moreover, up to 1 instructor per tutorial can have their registration fees waived for the tutorials as well as for JOWO 2025, the Joint Ontology Workshops (https://www.dmi.unict.it/fois2025/?page_id=422) which are co-located with FOIS 2025. ====== Format ====== Tutorials are intended to be highly interactive, and educational, and should actively engage the audience to participate in the discussion. We accept short and long tutorials, which are expected to last 1h30 and 3h respectively. =================== Submission instructions =================== Proposals should be no more than 2 pages in length, and must contain the following information: - title; - names and affiliations of the presenters; - a brief CV of the presenters, including their experience in tutorial organization; Please indicate a primary contact person. - description of the topic (max 1 page); - brief description of the expected audience. Please give an estimate of the expected number of participants and their background and interests; if applicable, please relate this to participation in similar prior events; - 200-word abstract highlighting why the tutorial is attractive to FOIS 2025 participants – Why is it novel? What are key learning outcomes? Proposals should be submitted via EasyChair by 28 February 2025 as a single PDF file. A notification regarding your submission will be received on 14 March 2025. =============== Evaluation criteria =============== The decision on acceptance or rejection of tutorial proposals will be made on the basis of the overall quality of the proposal and its appeal to a reasonable fraction of the FOIS community. In particular, tutorials should satisfy each of the following criteria: - The research topic falls in the general scope of the conference. - There is a clear focus on a specific technology, problem or application. - There is an anticipation of a sufficiently large community interested in the topic. - There is a concrete plan for the tutorial format. - The presenters have reasonable experience in providing engaging lectures. - The material for the tutorial is made available to the FOIS 2025 community before the tutorial date. ============= Important dates ============= Submission deadline: 28 February 2025 Notification: 15 March 2025 Tutorials take place on-site in conjunction with FOIS 2025 in Catania, Italy (08-09 September 2025) ================ Terms and conditions ================ The presenters/instructors of accepted tutorials are expected to: - participate in the tutorial in person; - have an active role in the tutorial; - submit the material for attendees (slide sets, additional teaching material, software installation, question answering, and usage guides for practical hands-on sessions, e.g., Jupyter Notebooks.) to the Tutorial Chairs and make it available on the FOIS 2025 website at least one week prior to the date of the tutorial. ============ Tutorial chairs ============ Lucía Gómez Álvarez, University Grenoble Alpes, Inria, CNRS, Grenoble INPG, France Gilles Kassel, Jules Verne University of Picardie, France Please direct all further questions to tutorials-fois2025(a)easychair.org _________________________ | Lucía Gómez Álvarez INRIA & Univ. Grenoble Alpes, LIG, Grenoble, France | | lucia.gomez-alvarez at inria.fr https://moex.inria.fr<https://moex.inria.fr/> |

1 0

FMBC25 - Second Call for Papers
by Marmsoler, Diego 17 Jan '25

17 Jan '25

6th International Workshop on Formal Methods for Blockchains - Second Call for Papers https://fmbc.gitlab.io/2025 May 04, 2025, Hamilton, ON, Canada Co-located with the European joint conferences on theory and practice of software (ETAPS 2025) https://www.etaps.org/2025/ -------------------------------------------------------------------------- -------------------------------------------------------------------------- IMPORTANT DATES -------------------------------------------------------------------------- Abstract submission: February 3rd, 2025 Full paper submission: February 10th, 2025 Notification: March 14th, 2025 Camera-ready: March 31st, 2025 Workshop: May 4th, 2025 Deadlines are Anywhere on Earth: https://en.wikipedia.org/wiki/Anywhere_on_Earth -------------------------------------------------------------------------- -------------------------------------------------------------------------- TOPICS OF INTEREST -------------------------------------------------------------------------- Blockchain is a novel technology to store data in a decentralized way. Although the technology was originally invented to enable cryptocurrencies, it quickly found applications in several other domains. Blockchains may also provide support for Smart Contracts. Smart Contracts are scripts of an ad-hoc programming language that are stored in the blockchain and that run on the network. They can interact with the ledger's data and update its state. These scripts can express the logic of possibly complex contracts between users of the blockchain. Thus, Smart Contracts can facilitate the economic activity of blockchain participants. Since blockchains are often used to store financial transactions, bugs may result in huge economic losses and thus it is now of utmost importance to have strong guarantees of the behaviour of blockchain software. These guarantees can be brought by using Formal Methods. Indeed, Blockchain software encompasses many topics of computer science where using Formal Methods techniques and tools is relevant: consensus algorithms to ensure the liveness and the security of the data on the chain, programming languages specifically designed to write smart contracts, cryptographic protocols, such as zero-knowledge proofs, used to ensure privacy, etc. This workshop is a forum to identify theoretical and practical approaches of formal methods for Blockchain technology. Topics include, but are not limited to: * Formal models of Blockchain applications or concepts * Formal methods for consensus protocols * Formal methods for Blockchain-specific cryptographic primitives or protocols * Design and implementation of Smart Contract languages * Verification of Smart Contracts * Zero-knowledge proof and its applications in a blockchain setting -------------------------------------------------------------------------- -------------------------------------------------------------------------- SUBMISSION -------------------------------------------------------------------------- Submit original manuscripts (not published or considered elsewhere) with a page limit of 12 pages for full papers and 6 pages for short and tool papers (excluding bibliography and short appendix of up to 5 additional pages). Alternatively you may also submit an extended abstract of up to 3 pages (including bibliography) summarizing your ongoing work in the area of formal methods and blockchain. Authors of selected extended-abstracts are invited to give a short lightning talk. Extended abstracts will not occur in the workshop proceedings. Submission link: https://easychair.org/conferences/?conf=fmbc2025 Authors are encouraged to use LaTeX and prepare their submissions according to the instructions and styling guides for OASIcs provided by Dagstuhl. Instructions for authors: https://submission.dagstuhl.de/documentation/authors#oasics At least one author of an accepted paper is expected to present the paper at the workshop as a registered participant. -------------------------------- -------------------------------- PROCEEDINGS -------------------------------- All submissions will be peer-reviewed by at least three members of the program committee for quality and relevance. Accepted regular papers (full, short, and tool papers) will be included in the workshop proceeding, which will be published as a volume of the OpenAccess Series in Informatics (OASIcs) by Dagstuhl. -------------------------------- -------------------------------- PROGRAM COMMITTEE -------------------------------- PC CO-CHAIRS * Diego Marmsoler (University of Exeter, UK) (D.Marmsoler(a)exeter.ac.uk<mailto:D.Marmsoler@exeter.ac.uk>) * Meng Xu (University of Waterloo, Canada) (meng.xu.cs(a)uwaterloo.ca<mailto:meng.xu.cs@uwaterloo.ca>) PC MEMBERS * Massimo Bartoletti (University of Cagliari) * Bernhard Beckert (Karlsruhe Institute of Technology) * Franck Cassez (Movement Labs) * Denisa Diaconescu (University of Bucharest) * Maurice Herlihy (Brown University) * Sebastian Holler (Max Planck Institute for Security and Privacy) * Enrico Lipparini (University of Genoa) * Fan Long (University of Toronto) * Orestis Melkonian (Input Output (IOG)) * Baoluo Meng (GE Aerospace Research) * Burcu Kulahcioglu Ozkan (Delft University of Technology) * Gordon Pace (University of Malta) * Vincent Rahli (University of Birmingham) * Sophie Rain (TU Wien) * Augusto Sampaio (Federal university of Pernambuco) * Derek Sorensen (Certora) * Bas Spitters (Aarhus University) * Meng Sun (Peking University) * Mark Utting (The University of Queensland) * Adele Veschetti (TU Darmstadt) * Christoph Weidenbach (Max Planck Institute for Informatics) * Teng Zhang (Aptos Labs)

1 0

[CFP] Second Call for Papers: DEON 2025
by Hackl, Andrea 16 Jan '25

16 Jan '25

================================================ Updated information on: co-located DEON tutorial day and PC ================================================ SECOND CALL FOR PAPERS: DEON 2025, VIENNA The 17th International Conference on Deontic Logic and Normative Systems (DEON 2025) will be held July 1 - July 03, 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 01, 2025 - Paper submission deadline: March 08, 2025 - Notification of acceptance: May 08, 2025 - Camera-ready version: May 25, 2025 - Tutorial day: June 30, 2025 - Conference: July 1 - July 03, 2025 *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 *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. Confirmed speakers to date include: - Pedro Cabalar (Corunna University, Spain) - Ilaria Canavotto (University of Maryland, US) - 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. *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

ICDT 2026 Call for Papers
by Balder ten Cate 15 Jan '25

15 Jan '25

** ICDT 2026 - Call for Papers ** 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

[fm-announcements] DisCoTec 2025, 2nd CfP: 20th International Federated Conference on Distributed Computing Techniques
by Bas van den Heuvel via fm-announcements 15 Jan '25

15 Jan '25

[Apologies for multiple postings] ************************************************************************ Joint Call for Papers DisCoTec 2025 20th International Federated Conference on Distributed Computing Techniques Lille, France, 16-20 June 2025 Submission deadline: 7 February 2025 https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.disco… ************************************************************************ DisCoTec 2025 is one of the major events sponsored by the International Federation for Information Processing (IFIP) and the European Association for Programming Languages and Systems (EAPLS). It gathers conferences and satellite events that cover a broad spectrum of distributed computing subjects — from theoretical foundations and formal description techniques, testing and verification methods, to language design and system implementation approaches. The three main conferences are: * COORDINATION 2025 - International Conference on Coordination Models and Languages * DAIS 2025 - International Conference on Distributed Applications and Interoperable Systems * FORTE 2025 - International Conference on Formal Techniques for Distributed Objects, Components, and Systems DisCoTec 2025 is organised by Inria Lille and the University of Lille. It will be hosted by Polytech Lille. * NEW: Accommodations for parents of young children * Subject to budget availability, we are planning to make special logistical arrangements for conference participants travelling with young children (and potentially accompanying persons). We invite interested persons to contact the General Chair (simon.bliudze(a)inria.fr), as soon as possible to discuss the arrangements that might be applicable. * Keynote Speakers * - Alysson Bessani (Universidade de Lisboa, Portugal) - Hélène Coullon (IMT Atlantique, France) - Omar Inverso (GSSI, Italy) - Burcu Ozkan (TU Delft, The Netherlands) * Important Dates (for all main conferences) * All deadlines expire at 23:59 anywhere on earth. - Abstract submission: 31 January 2025 - Paper submission: 7 February 2025 - Paper notification: 28 March 2025 - Camera-ready: 23 April 2025 (TBC) - DisCoTec conference: 16-20 June 2025 See each conference site for topics of interest, paper categories, and submission instructions. * Main Conferences * - COORDINATION (https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.disco…) 27rd International Conference on Coordination Models and Languages PC Chairs: Cinzia Di Giusto (Université Côte d’Azur, FR) and António Ravara (NOVA School of Science and Technology, PT) - DAIS (https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.disco…) 25st International Conference on Distributed Applications and Interoperable Systems PC Chairs: Daniel Balouek (INRIA, FR) and Ibéria Medeiros (University of Lisbon, PT) - FORTE (https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.disco…) 45st International Conference on Formal Techniques for Distributed Objects, Components and Systems PC Chairs: Carla Ferreira (NOVA University of Lisbon, PT) and Claudio A. Mezzina (University of Urbino, IT) * Artefact Evaluation Chairs * - DisCoTec-wide: Roberto Casadei (University of Bologna, Italy) - COORDINATION: Duncan Attard (University of Glasgow, UK) - DAIS: Vinicius Cogo (Ciências/ULisboa, Portugal) - FORTE: Emilio Incerto (IMT School for Advanced Studies Lucca, Italy) * Proceedings * Main conference proceedings will be published as volumes in the Springer LNCS-IFIP series. The volumes will be open access from the IFIP digital library after a 3-year embargo. * Journal Special Issues * Selected papers accepted at the main conferences will be invited for submission to special issues in high-quality journals, such as: - Logical Methods in Computer Science - Science of Computer Programming (Software Track). * Organizing Committee * - Simon Bliudze, General Chair (Inria Center at the University of Lille, France) - Larisa Safina, Satellite Events Chair (Inria Center at the University of Lille, France) - Adrien Luxey-Bitri, Young Researchers Forum Chair (University of Lille, France) - Imen Sayar, Gender equality / Women in Science co-Chair (University of Lille, France) - Manel Barkallah, Gender equality / Women in Science co-Chair (University of Namur, Belgium) - Bas van den Heuvel, Publicity co-Chair (University of Freiburg, Germany) - Matthew Alan Le Brun, Publicity co-Chair (University of Glasgow, UK) - Rémy Raes, Head of student volunters (Inria Center at the University of Lille, France) * Steering Committee * - Rocco De Nicola (IMT School for Advanced Studies Lucca, Italy) - Adrian Francalanza (University of Malta, Malta; Chair) - Ivan Lanese (University of Bologna/INRIA, Italy) - Alberto Lluch Lafuente (Technical University of Denmark, Denmark) - Mieke Massink (CNR-ISTI, Italy) - Luís Veiga (INESC-ID, Universidade de Lisboa, Portugal) - Gianluigi Zavattaro (University of Bologna, Italy) - Carla Ferreira (NOVA University of Lisbon, Portugal) - Jorge A. Pérez (University of Groningen, The Netherlands) --- 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

TASE 2025: Call For Papers
by Abhisekh Sankaran 15 Jan '25

15 Jan '25

TASE 2025 Call For Papers Limassol, Cyprus, July 14-16, 2025 https://cyprusconferences.org/tase2025/ The 19th Theoretical Aspects of Software Engineering Conference (TASE 2025) will be held in Limassol, Cyprus, on July 14-16, 2025. TASE 2025 aims to bring together researchers and developers from academia and industry with interest in the theoretical aspects of software engineering. Modern society is increasingly dependent on software systems that are becoming larger and more complex. This poses new challenges to current software engineering methodologies that need to be enhanced using modern results from theoretical computer science. We invite submission of research papers on topics covering all theoretical aspects of software engineering, including those describing applications of theoretical computer science in industrial applications and software engineering methodologies. Important Dates Abstract Submission : Feb 1, 2025 (AoE) Paper Submission : Feb 7, 2025 (AoE) Author Notification : April 1, 2025 (AoE) Camera-ready Version and Author Registration : May 1, 2025 (AoE) Conference : July 14-16, 2025 Topics of Interest Authors are invited to submit high quality technical papers describing original and unpublished work in all theoretical aspects of software engineering. Topics of interest include, but are not limited to: Software engineering, including: ■ Software processes and workflows ■ Software architectures and design ■ Software product lines ■ Requirements engineering ■ Model-driven software engineering ■ Software testing and quality assurance ■ Software safety, security and reliability ■ Reverse engineering and software maintenance ■ Component-based software engineering ■ Feature-oriented programming ■ Program synthesis ■ Use of AI and large language models in software engineering Formal methods and theoretical computer science, including: ■ Deductive verification ■ Model checking ■ Theorem proving, decision procedures, SAT and SMT ■ Specification languages ■ Program logics and calculi ■ Formal languages and automata theory ■ Run-time verification and monitoring ■ Integration of formal methods ■ Formal methods for AI systems, and vice versa Programming language design and technology, including: ■ Formal semantics ■ Abstract interpretation and program analysis ■ Language paradigms, including object-oriented, functional, declarative, etc. ■ Type systems and behavioral typing ■ Compiler design ■ Domain-specific languages Tools and application areas, including: ■ Software tools putting theory into practice ■ Cyber-physical, embedded, and real-time systems ■ Distributed and concurrent systems ■ Semantic web and web services ■ Service-oriented programming and cloud computing ■ Quantum circuits and programs ■ Cryptographic algorithms Submission Submissions to the conference must not have been published or be concurrently considered for publication elsewhere. All submissions will be judged on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the conference. The proceedings will be published in the Springer Lecture Notes in Computer Science series. Papers should be written in English and should not exceed 16 pages (excluding bibliography) for long papers and 6 pages (excluding bibliography) for short papers in LNCS format. Submissions should be made through the TASE 2025 submission page, handled by the EasyChair conference management system. Submission link: https://easychair.org/conferences/?conf=tase2025. The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to a special issue in journal Science of Computer Programming ( https://www.sciencedirect.com/journal/science-of-computer-programming). Organization Committee. General Chair George A. Papadopoulos (University of Cyprus, Cyprus) PC Chairs Zhilin Wu (Institute of Software, Chinese Academy of Sciences, China) Philipp Rümmer (University of Regensburg, Germany) Local Organization Chair George A. Papadopoulos (University of Cyprus, Cyprus) Publicity Chair Qinxiang Cao (Shanghai Jiaotong University, China) PC Members Jie An (Institute of Software, Chinese Academy of Sciences, China) Zoltán Horváth (Eotvos Lorand University, Budapest, Hungary) Zhenya Zhang (Kyushu University, Japan) Jun Pang (University of Luxembourg, Luxembourg) Wanwei Liu (National University of Defense Technology, China) Anna Philippou (University of Cyprus, Cyprus) Yedi Zhang (National University of Singapore, Singapore) Zhe Hou (Griffith Univerity, Australia) Zhiwu Xu (Shenzhen University, China) Hongfei Fu (Shanghai Jiao Tong University, China) Guangdong Bai (The University of Queensland, Australia) Jyun-Ao Lin (National Taipei University of Technology, Taiwan, China) Shaoying Liu (Hiroshima University, Japan) Marc Frappier (Université de Sherbrooke, Canada) Julie Cailler (Loria, University of Lorraine, France) Dominique Mery (Loria, Université de Lorraine, France) Andreas Katis (KBR Inc. at NASA Ames Research Center, USA) Grigory Fedyukovich (Florida State University, USA) Mingshuai Chen (Zhejiang University, China) Mohammed Erradi (ENSIAS Rabat, Morocco) Ramanathan S. Thinniyam (Uppsala University, Sweden) Lucas Cordeiro (The University of Manchester, UK) Andrei Paskevich (Université Paris-Sud, LRI, France) Marcello Bonsangue (Leiden University, Neitherlands) Peter Backeman (Mälardalen University, Sweden) Kristin Yvonne Rozier (Iowa State University, USA) Nikolaj Bjørner (Microsoft, USA) Mizuhito Ogawa (Japan Advanced Institute of Science and Technology, Japan) Aaron Tomb (Amazon Web Services, USA) Jun Sun (Singapore Management University, Singapore) Daniel Stan (LRDE, Epita Paris, France) Eric Mercer (Brigham Young University, USA)

1 0

World Logic Day 2025 celebrations by ALI
by Abhisekh Sankaran 15 Jan '25

15 Jan '25

Dear Colleagues, As part of its celebrations of the World Logic Day 2025, the Association for Logic in India (ALI) <https://logicindia.org/> invites you to an online lecture by Prof. Shashi Mohan Srivastava. The lecture details are as below. Date and time: ============== Date: January 16, 2025 Time: 18:00 IST Zoom Meeting details: =================== Meeting link: https://us02web.zoom.us/j/84357712770?pwd=LYLWbkiNat5vll4stGyn6Vx34nvXIu.1 Meeting ID: 843 5771 2770 Passcode: wldcali25 Lecture details: ============= Speaker: Prof. Shashi Mohan Srivastava, IACS Kolkata and RKMVERI Belur, India Title: Recalling Vaught's conjecture Abstract: Vaught's conjecture states the following. The countable models of a countable first order theory, up to isomorphism, are either countably many or continuum many. This problem is still open, and it seems not much activity has been going on on it. Speaker Bio: Prof. Shashi Mohan Srivastava is an Emeritus Professor at the Statistics and Mathematics Unit, Indian Statistical Institute (ISI), Kolkata, India, which he joined in 1980. He is also a Visiting Professor at the Indian Association for the Cultivation of Science (IACS), Kolkata, and the Ramakrishna Mission Vivekananda Educational and Research Institute (RKMVERI) Belur, Kolkata. He graduated from ISI Kolkata in 1980 under the supervision of Prof. A. Maitra. He was a member of the Institute for Advanced Studies, Princeton, during the academic year 1979–1980. Prof. Srivastava's primary research interest lies in descriptive set theory. He is the recipient of the Indian National Science Academy medal for young scientists, and is the author of the books, A Course on Borel Sets and A Course on Mathematical Logic, both published by Springer. He is an enthusiastic teacher and has written several expository articles aimed at popularising mathematical logic and set theory in India. We look forward to seeing you at the lecture. ---

1 0

Logic in All its Dimensions - LUA - 7th edition of the World Logic Day, January 14, 2025, 4pm CET
by jean-yves beziau 13 Jan '25

13 Jan '25

The World Logic Day (WLD) was launched in 2019, see: J.-Y.Beziau "1st World Logic Day: 14 January 2019", Logica Universalis, vol.13 (2019), pp.1-20. https://link.springer.com/article/10.1007/s11787-019-00221-5 and was recognized by UNESCO the same year, see: The Inclusion of the World Logic Day in the UNESCO International Days Calendar https://www.youtube.com/watch?v=xeDNHL-YHKA This year, for the 7th edition of the WLD, LUA (the Logica Universalis Association) is organizing an on-line round table "Logic in All its Dimensions", a special session of the Logica Universalis Webinar, emphasizing the many aspects and applications of logic. Each participant will speak about 10/15mn and then there will be a general discussion: https://worldlogicday.com/events/2025/lua-world-logic-day-2025---logic-in-a… > Luis Felipe Bartolo Alegre, Munich Center for Mathematical Philosophy at Ludwig Maximilian University of Munich, Germany, Founder and Vice-President of the Peru's Society for Epistemology and Logic (SEPLO), "Logic here, there, and everywhere: the 8th UNILOG in Cusco, Peru, December 2025" > Marcin Trepczyński, Faculty of Philosophy, University of Warsaw, Poland, Member of the Executive Board of the Logic And Religion Association (LARA), "Logic and Religion" > Jean-Yves Beziau. University of Brazil, Rio de Janeiro, President of the Logica Universalis Association (LUA), "Square of Opposition: a Logic Framework with Many Applications" > Jasmin Özel, Institute of Philosophy, Paderborn University, Germany and James Woodbridge, Department of Philosophy, University of Nevada, Las Vegas, USA, "Logic, Chance and Money: a new series of events every two years in Las Vegas" > Carolyn Talcott, SRI International, Menlo Park, California, USA, "Logic for Modeling and Design of Diverse Complex Systems" > Sankha Basu, Department of Mathematics, Indraprastha Institute of Information Technology, New Delhi, India, Member of the Logic Society of Delhi, "Logics for Inconsistency Tolerance" Everybody is welcome to attend, register here: https://link.springer.com/journal/11787/updates/27731708 Jean-Yves Beziau Editor-in-Chief of the Journal Logica Universalis Organizer of the Logica Universalis Webinar

1 0

[Vardi-list] World Logic Day Lecture: Homo Ratiocinator (Reckoning Human)- 1/14/25
by Moshe Vardi 07 Jan '25

07 Jan '25

January 14, 2025, 4-5pm CST Moshe Vardi World Logic Day Lecture: Homo Ratiocinator (Reckoning Human) Remote participation will be available via Zoom. The link will be sent to those who RSVP. https://www.eventbrite.com/e/world-logic-day-moshe-vardi-lecture-homo-ratio… _______________________________________________ Vardi-list mailing list Vardi-list(a)mailman.rice.edu https://mailman.rice.edu/mailman/listinfo/vardi-list

1 0