December 2024 - finite-model-theory

Ici-Rio 2024 - UNILOG'2025, Cusco
by jean-yves beziau 31 Dec '24

31 Dec '24

Dear Colleagues Newton da Costa died this year 2024 at the age of 94. We organized an event dedicated to him, Dec 9-13, in Rio de Janeiro: Imagination, Creativity, Intelligence: ici-Rio 2024 It was a friendly and animated event as you can see here: https://sites.google.com/view/ici-rio-2024/pics A book will be published with papers presented at the event and additional ones, see details here: https://sites.google.com/view/ici-rio-2024/book Dec 4-14, 2025, in Cusco, Peru, there will be the 8th World Congress and School on Universal Logic https://sites.google.com/view/unilog2025/ This 8th UNILOG will include the 3rd World Logic Prizes Contest a contest with winners of a series of Logic Prizes by country based on the Newton da Costa Logic Prize for Brazil that I created in 2014, see details here. https://sites.google.com/view/unilog2025/logic-prizes Happy New Year 2025 ! >------------------------------------------------------------- Jean-Yves Beziau, University of Brazil, Rio de Janeiro President of LUA, Logica Universalis Association https://philpeople.org/profiles/jean-yves-beziau Imagination, Creativity, Intelligence

1 0

7th edition of the World Logic Day
by jean-yves beziau 14 Dec '24

14 Dec '24

In one month exactly, January 14, 2025, it will be the World Logic Day. About the history of the WLD, see: Kurt Gödel: Deceased on the World Logic Day ! https://sites.google.com/view/kg-wld-2024/ Everybody is welcome to organize a celebration JYB

1 0

ICLA 2025: Call for Participation
by Abhisekh Sankaran 13 Dec '24

13 Dec '24

====================== Call for Participation ====================== ============================================================= ICLA 2025: Indian Conference on Logic and its Applications 2025 Dates: + ICLA 2025 conference: February 3 - 5, 2025 + Pre-conference tutorials/workshops: February 1 - 2, 2025 Venue: Indian Statistical Institute (ISI) Kolkata, 203 Barrackpore Trunk Road, Kolkata - 700108, India ICLA 2025 Website: https://logicindia.org/icla/icla2025 Early bird registration deadline: Jan 11, 2025 AoE Register now!: https://logicindia.org/icla/icla2025/#registration ============================================================= ====================== About the conference ====================== The Indian Conference on Logic and its Applications (ICLA) is the primary conference of the Association for Logic in India (ALI [1]). It is a forum for bringing together researchers from a variety of fields in which formal logic plays a significant and often foundational role: Mathematics, Computer Science, Philosophy, Linguistics and Cognitive Science. A special feature of ICLA is the inclusion of studies in systems of logic in the Indian tradition, as well as historical research on logic. More about the conference and its earlier editions can be found at the ALI website [2]. [1] https://logicindia.org/ [2] https://logicindia.org/icla The upcoming ICLA 2025 is the 11th edition of the conference and will take place at the Indian Statistical Institute (ISI) Kolkata [3] during February 3 - 5, 2025. There will be co-located tutorials/workshops prior to the conference during Feb 1 - 2, 2025. [3] https://www.isical.ac.in/ —------------------------- ICLA 2025 features —------------------------- * Best paper and best student paper awards; * Two kinds of contributed papers: - Extended abstracts for inclusion in the conference proceedings that will be published in the FoLLI-LNCS series of Springer [4]. The review process for these abstracts involved a rebuttal phase; - Short abstracts only for presentation in the conference; * Invitation to selected accepted papers of the conference for submission to a special issue of a journal (to be announced in due course); * ALI will co-organize with Jadavpur University, the Asian Workshop on Philosophical Logic (AWPL) which will take place for the first time in India in Kolkata following ICLA 2025. [4] https://www.springer.com/gp/computer-science/lncs/societies-and-lncs/folli-… =================== Invited Speakers =================== Distinguished lecture - Anil Nerode (Cornell University, USA) Keynote talks - Su Gao (Nankai University, China) - Janos Makowsky (Technion, Israel) - Sophie Pinchinat (University of Rennes, France) - Nicholas Ramsey (University of Notre Dame, USA) =================== Committee Chairs =================== Program Committee Chairs: - C Aiswarya (Chennai Mathematical Institute, India) - Prabal Kumar Sen (University of Calcutta, India) - Shashi Mohan Srivastava (IACS Kolkata and RKMVERI Belur, India) Organizing Committee Chairs: - Sourav Chakraborty (Indian Statistical Institute Kolkata, India) - Sujata Ghosh (Indian Statistical Institute Chennai, India) ===================== Co-located Events ===================== ---------------------------------------------------------- Pre-conference: Tutorials/Workshops of ICLA 2025 ---------------------------------------------------------- Venue for all the pre-conference events: ISI Kolkata + Tutorial on First Order Modal Logic (FOML) - Organizers: R Ramanujam (Azim Premji University, India) Yanjing Wang (Peking University, China) - Speakers: Eugenio Orlandelli (University of Bologna, Italy) Anantha Padmanabha (IIT Madras, India) Yanjing Wang (Peking University, China) Reihane Zoghifard (IPM Teheran, Iran) - Dates: Feb 2, 2025 (full day) + Workshop on the Mīmāṃsā system of logical interpretation of imperatives - Organizers: Manidipa Sanyal (University of Calcutta, India) Bama Srinivasan (Anna University, India) - Speakers: Prabal Kumar Sen (University of Calcutta, India) Ranjani Parthasarathi (Anna University, India) Bama Srinivasan (Anna University, India) - Dates: Feb 1, 2025 (half day) + Workshop on Recent Developments in Arithmetic Theories and Applications - Organizers: Khushraj Madnani (MPI-SWS Kaiserslautern, Germany) - Speakers: Alessio Mansutti (IMDEA Software Institute, Spain) Mikhail Starchak (St. Petersburg University, Russia) Chris Köcher (MPI-SWS Kaiserslautern, Germany) (More speaker confirmations are awaited.) - Dates: Feb 1, 2025 (half day) ----------------------------------- Post-conference: AWPL 2025 ----------------------------------- - Dates: Feb 6 - 8, 2025 - Venue: Jadavpur University (JU) Kolkata [5] - Website: https://sites.google.com/view/awpl2025/ - Registration: https://sites.google.com/view/awpl2025/registration [5] https://jadavpuruniversity.in/ =================== Accepted papers =================== The list of accepted papers (extended and short abstracts) of ICLA 2025 can be found at: https://logicindia.org/icla/icla2025/#accepted-papers. ========= Awards ========= The following awards will be given to selected accepted papers during the conference. - Best paper award - Best student paper award ============== Registration ============== The registration for the conference and the co-located pre-conference events, is open. - Early bird registration deadline: Jan 11, 2025 AoE - Registration link: https://logicindia.org/icla/icla2025/#registration For more information, please visit https://logicindia.org/icla/icla2025. We look forward to seeing you in Kolkata! Best regards, ICLA 2025 Organizers

1 0

LMW@CSL’25 - Call for participation and scholarship applications
by Niels Voorneveld 12 Dec '24

12 Dec '24

LOGIC MENTORING WORKSHOP Amsterdam, Netherlands Monday 10th February 2025 https://logic-mentoring-workshop.github.io/csl25/ Colocated with CSL 2025 CALL FOR PARTICIPATION AND SCHOLARSHIP APPLICATIONS The 12th Logic Mentoring Workshop (LMW@CSL) invites participation from students (undergraduate, master's and PhD), in all areas of logic for scholarships to attend the CSL (Computer Science Logic) conference and the LMW (Logic Mentoring Workshop) this year. Attending a conference such as CSL can be a transformative experience. It exposes participants to cutting-edge research and can open up new research avenues and collaboration opportunities. Some scholarships will be generously funded by our sponsors (see below) and cover registration to the workshop, and possibly travel and accommodation. Thanks to generous funding of the NSF, we will additionally be able to fund several US-based students to attend the entire conference. Women and members of minority groups are especially encouraged to apply. The LMW will focus on the technical and practical aspects of a career in logic research, including talks and a panel session from leaders in the subject. LMW'25 builds on a long tradition of LMW workshops held at LICS and CSL every year. SCHOLARSHIP APPLICATIONS Applications should be made via the online form: https://docs.google.com/forms/d/e/1FAIpQLSf_ie8yy7C9EXy3EZKZZND_z2QSQUodvKV… The deadline for applications is the *December 20th, 2024* AoE (anywhere on earth). Notification will be made before December 29th. This deadline is to allow students to register within the limit of early-bird registration which ends on January 10th 2025. WORKSHOP REGISTRATION Registration costs €50 and is done via the CSL main conference webpage <https://csl2025.github.io/index#registration>. Registration to the CSL2025 main conference includes registration for the workshop, if you do so please indicate that you are attending the LMW workshop as well. SPEAKERS : TBA Following the tradition, the Logic Mentoring Workshop will invite senior and junior researchers to share their experience on soft skills and career management after a PhD in Logic, as well as to give scientific talks. ORGANISING COMMITTEE Silvia Butti - University of Oxford Femke van Raamsdonk - VU Amsterdam Niels Voorneveld - Cybernetica SPONSORS ACM Special Interest Group on Logic and Computation (SIGLOG) National Science Foundation (NSF) Jane Street

1 0

FSCD 2025: Second Call for Papers
by Carsten Fuhs 10 Dec '24

10 Dec '24

================================================ Updated information on: invited speakers ================================================ SECOND CALL FOR PAPERS Tenth International Conference on Formal Structures for Computation and Deduction (FSCD 2025) 14-20 July 2025, Birmingham, UK https://fscd-conference.org/2025/ IMPORTANT DATES --------------- All deadlines are midnight anywhere-on-earth (AoE); late submissions will not be considered. Abstract: 10 February 2025 Submission: 17 February 2025 Rebuttal: 7-11 April 2025 Notification: 30 April 2025 Final version: 14 May 2025 OVERVIEW -------- FSCD (https://fscd-conference.org/) covers all aspects of formal structures for computation and deduction, from theoretical foundations to applications. Building on two communities, RTA (Rewriting Techniques and Applications) and TLCA (Typed Lambda Calculi and Applications), FSCD embraces their core topics and broadens their scope to closely related areas in logic, models of computation, semantics and verification in new challenging areas. The suggested, but not exclusive, list of topics for submission is: 1. Calculi: - Rewriting systems (string, term, higher-order, nominal, graph, conditional, modulo, infinitary, etc.); - Lambda calculus; - Logics (first-order, higher-order, equational, modal, linear, classical, constructive, etc.); - Proof theory (natural deduction, sequent calculus, proof nets, etc.); - Type theory and logical frameworks; - Homotopy type theory; - Process algebras (synchronous, asynchronous, static and dynamic semantics with and without time, etc.) - Quantum calculi. 2. Methods in Computation and Deduction: - Type systems (polymorphism, dependent, recursive, intersection, session, etc.); - Induction, coinduction; - Matching, unification, completion, orderings; - Strategies (normalisation, completeness, etc.); - Tree automata; - Model building and model checking; - Proof search and theorem proving; - Constraint solving and decision procedures. 3. Semantics: - Operational semantics and abstract machines; - Game Semantics and applications; - Domain theory and categorical models; - Quantitative models (timing, probabilities, etc.); - Quantum computation and emerging models of computation. 4. Algorithmic Analysis and Transformations of Formal Systems: - Type inference and type checking; - Abstract Interpretation; - Complexity analysis and implicit computational complexity; - Checking termination, confluence, derivational complexity and related properties; - Symbolic computation. 5. Tools and Applications: - Programming and proof environments; - Verification tools; - Proof assistants and interactive theorem provers; - Applications in industry; - Applications of formal systems in other sciences; - Applications of formal systems in education. 6. Formal Systems for Modelling and Verification in new challenging areas: - Certification; - Security; - Blockchain; - Databases; - Deep learning and machine learning algorithms; - Planning. PUBLICATION ----------- The proceedings will be published as an electronic volume in the Leibniz International Proceedings in Informatics (LIPIcs) of Schloss Dagstuhl. All LIPIcs proceedings are open access. SPECIAL ISSUE ------------- There will be a special issue of Logical Methods in Computer Science of selected papers. More details will be provided later. SUBMISSION GUIDELINES --------------------- The submission site is: https://easychair.org/conferences/?conf=fscd2025 Submissions must be formatted using the LIPIcs style files (https://submission.dagstuhl.de/series/details/5#author) and submitted via EasyChair. Submissions can be made in two categories: regular research papers and system descriptions. Please indicate in the submission page in Easychair and in the first page of the paper in which category you are submitting. Regular research papers are limited to 15 pages, excluding references and appendices. They must present original research which is unpublished and not submitted elsewhere. System descriptions are limited to 15 pages, excluding references. Shorter papers are welcome and will be given equal consideration. A system description must present new software tools, or significantly new versions of such tools, in which FSCD topics play an important role. An archive of the code with instructions on how to install and run the tool must be submitted. In addition, a webpage where the system can be experimented with should be provided. One author of each accepted paper is expected to register and present the work in person at the conference. In case that this is not possible for some unforeseen reason, online presentation will be arranged, but in person registration will still be required. BEST PAPER AWARD BY JUNIOR RESEARCHERS -------------------------------------- The programme committee will select a paper in which at least one author is a junior researcher, i.e. either a student or whose PhD award date is less than three years from the first day of the meeting. When submitting the paper, other authors should declare to the PC Chair that at least 50% of contribution is made by the junior researcher(s). INVITED SPEAKERS ---------------- Liron Cohen, Ben-Gurion University Mariangiola Dezani, University of Torino Ekaterina Komendantskaya, University of Southampton Jose Meseguer, University of Illinois Urbana-Champaign PROGRAMME COMMITTEE CHAIR ------------------------- Maribel Fernandez, King's College London, UK Email: fscd2025(a)easychair.org PROGRAMME COMMITTEE ------------------- Thorsten Altenkirch University of Nottingham, UK Sandra Alves University of Porto, Portugal Zena M. Ariola University of Oregon, US Mauricio Ayala-Rincon University of Brasilia, Brazil Kyungmin Bae Pohang University of Science and Technology, Korea Frederic Blanqui INRIA, France James Cheney University of Edinburgh, UK Ugo De'Liguoro University of Torino, Italy Santiago Escobar Universitat Politecnica de Valencia, Spain Silvia Ghilezan University of Novi Sad, Serbia Jean Goubault-Larrecq ENS Paris-Saclay, France Masahito Hasegawa Kyoto University, Japan Paul Blain Levy University of Birmingham, UK Christopher Lynch Clarkson University, US Assia Mahboubi INRIA, France, and VU Amsterdam, Netherlands Damiano Mazza CNRS, University Sorbonne Paris Nord, France Daniele Nantes-Sobrinho Imperial College, UK, and University of Brasilia, Brazil Naoki Nishida Nagoya University, Japan Valeria de Paiva Topos Institute, Berkeley, US Frank Pfenning Carnegie Mellon University, US Brigitte Pientka McGill University, Canada Alessandra di Pierro University of Verona, Italy Femke van Raamsdonk VU Amsterdam, Netherlands Simona Ronchi Della Rocca University of Torino, Italy Grigore Rosu University of Illinois Urbana-Champaign, US Manfred Schmidt-Schauss Goethe University, Germany Carolyn Talcott SRI, US Alvaro Tasistro Universidad ORT Uruguay Jamie Vicary University of Cambridge, UK Glynn Winskel Queen Mary University of London, UK CONFERENCE CHAIRS ----------------- Paul Blain Levy, University of Birmingham, UK Anupam Das, University of Birmingham, UK LOCAL WORKSHOPS CHAIRS ---------------------- Paul Blain Levy, University of Birmingham, UK Anupam Das, University of Birmingham, UK FSCD STEERING COMMITTEE ----------------------- Patrick Baillot (Chair), CNRS, University of Lille Ugo Dal Lago, University of Bologna Amy Felty, University of Ottawa Carsten Fuhs, Birkbeck, University of London (Publicity Chair) Marco Gaboardi, Boston University Herman Geuvers, Radboud University Nijmegen Juergen Giesl, RWTH Aachen University Cynthia Kop, Radboud University Nijmegen (SC Workshop Chair) Giulio Manzonetto, University Paris Cite Daniele Nantes, Imperial College London / University of Brasilia Femke van Raamsdonk, VU Amsterdam Jakob Rehof, TU Dortmund University

1 0

[fm-announcements] NFM 2025 *deadline extended*
by Dutle, Aaron M. (LARC-D320) via fm-announcements 06 Dec '24

06 Dec '24

17th NASA Formal Methods Symposium (NFM’25) 11-13 June 2025 Williamsburg, VA Call for Papers Submission Deadline Extended! Symposium Theme The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and in the aerospace industry requires advanced technologies to address their specification, design, verification, validation, and certification. The NASA Formal Methods Symposium is a forum to foster collaboration between theoreticians and practitioners from NASA, other government agencies, academia, and industry, with the goal of identifying challenges and providing solutions towards achieving assurance for such critical systems. The focus of this symposium is on formal techniques for software and system assurance for applications in space, aviation, robotics, and other NASA-relevant critical systems. Topics of Interest · Advances in Formal Methods – Formal verification, model checking, and static analysis; interactive and automated theorem proving; program and specification synthesis, code transformation and generation; run-time verification and test case generation; techniques and algorithms for scaling formal methods; design for verification and correct-by-design techniques; requirements generation, specification, and validation. · Integration of Formal Methods – Use of ML techniques in formal methods; integration of formal methods and software engineering; integration of diverse formal methods techniques; integration of formal methods with simulation, analysis, and test approaches. · Formal Methods in Practice – Experience reports on applications of formal methods in industry; use of formal methods in education; applications of formal methods to concurrent and distributed systems, human-machine systems, autonomous systems, and fault-detection, diagnostics, and prognostics systems. Submission There are two categories of submissions: · Regular papers – Up to 15 pages plus references. Regular papers describe fully developed work and complete results. · Short papers — Up to 6 pages plus references. Short papers describe either novel and publicly available tools, case studies detailing applications of formal methods, or new emerging ideas in the topics of interest. All papers should be in English and describe original work that has not been published or submitted elsewhere. Authors of accepted papers must present their work in person at the conference. NFM prohibits the use of generative AI to create the textual narrative of the paper. However, the use of generative AI to create examples (such as text, tables, graphics, and code) that support the paper is permitted, but this must be disclosed in the paper. Basic word processing systems that recommend and insert replacement text, perform spelling or grammar checks and corrections, or systems that do language translations need not be disclosed in the paper. All submissions will be fully reviewed by members of the Program Committee. NFM is currently arranging to publish accepted regular and short papers in the Formal Methods subline of Springer’s Lecture Notes in Computer Science (LNCS). Authors should therefore use the LNCS style formatting described at https://www.springer.com/gp/computer-science/lncs/conference-proceedings-gu…<https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.sprin…>. Papers must be submitted in PDF format through the EasyChair submission site, https://easychair.org/conferences/?conf=nfm2025<https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Feasychair…>. Important Dates Abstract submission December 13, 2024 Paper submission December 22, 2024 Author notification February 14, 2025 Camera ready deadline March 14, 2025 Symposium June 11-13, 2025 Note: An abstract must be submitted by December 13 for the paper to be considered. Location and Cost The symposium will be hosted by the Computer Science Department at the College of William & Mary, in historic Williamsburg, VA. Williamsburg is located about 150 miles south of Washington, D.C., and midway between Richmond and Norfolk on Interstate 64. It is home to an award-winning theme park, several recreation opportunities and the world's largest living history museum. For information about visiting the William & Mary campus, including lodging options, see www.wm.edu/about/visiting/<https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.wm.ed…> There will be no registration fee charged to participants. All interested individuals, including non-US citizens, are welcome to attend, listen to the talks, and participate in discussions. However, all attendees must register. --- 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

FMBC25 - First Call for Papers
by Marmsoler, Diego 06 Dec '24

06 Dec '24

6th International Workshop on Formal Methods for Blockchains - First 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 (Mantle) * 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) Diego Marmsoler Lecturer (Education and Research), Computer Science University of Exeter, Innovation 1, Room 10 www: marmsoler.com<http://www.marmsoler.com> Twitter: @DiegoMarmsoler<https://twitter.com/DiegoMarmsoler>

1 0

Call for Submissions: CSL 2025 Workshop on Learning and Logic
by Steffen van Bergerem 02 Dec '24

02 Dec '24

*Call for Submissions* CSL 2025 Workshop on Learning and Logic (LeaLog@CSL) https://sites.google.com/view/lealog25 Amsterdam, Netherlands 10 February 2025 Co-located with the 33rd EACSL Annual Conference on Computer Science Logic (CSL 2025) =================== About the workshop =================== The CSL 2025 Workshop on Learning and Logic is an on-site event happening on the 10th of February 2025 in Amsterdam, Netherlands. It will take place as part of the 33rd EACSL Annual Conference on Computer Science Logic (CSL 2025). The workshop brings together researchers who are working on topics at the intersection of learning and logic, ranging from the logical foundations of learnability and computational learning theory to logical analyses of machine learning models and applications of machine learning in knowledge representation and reasoning. The workshop will consist of invited talks and contributed talks. It does not have any proceedings, and therefore previously published or ongoing work are both encouraged to be presented. Topics for the presentation at the workshop include, but are not limited to, the following: - Logical analysis of machine learning architectures - Techniques for learning logical concepts - Computational learning theory - Logic for formal learning theory - Informational complexity of learning - Graph learning - Applications of ML in knowledge representation and data management - Neuro-symbolic integration - Statistical relational AI - Logical and epistemic aspects of distributed learning - Logical aspects of learning in multi-agent systems - Logical analysis of (iterated) belief dynamics and information change - Logical techniques for explainable AI - Data-driven techniques for temporal logic specification and verification ============================ Submissions ============================ Submissions consist of a title, a short abstract, and an extended abstract in the form of a PDF file (one page, excluding references). The link to the submission form can be found on the workshop website. ============================ Important dates and information ============================ Submission deadline: 8 January 2025 (Anywhere on Earth) Notification: 15 January 2025 * Event: 10 February 2025 * accepted submissions will receive a chance to register for the workshop and/or for CSL by 19 January without paying late registration fee. ============= Invited Speakers ============= - Alexandru Baltag (ILLC, University of Amsterdam) - Johan van Benthem (University of Amsterdam, Tsinghua University, and Stanford) - Dana Fisman (Ben-Gurion University) - Martin Grohe (RWTH Aachen) - Kristin Yvonne Rozier (Iowa State University) ============= Organisers ============= Steffen van Bergerem (Humboldt University of Berlin) Balder ten Cate (ILLC, University of Amsterdam) Aybüke Özgün (ILLC, University of Amsterdam) Sonja Smets (ILLC, University of Amsterdam)

1 0