finite-model-theory

Download

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

January 2025

10 participants
12 discussions

Final Call for Submissions: CSL 2025 Workshop on Learning and Logic (LeaLog@CSL)
by Steffen van Bergerem 02 Jan '25

02 Jan '25

*Final 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

ICLA 2025: Early bird registration deadline in 10 days
by Abhisekh Sankaran 01 Jan '25

01 Jan '25

===================================================== ICLA 2025 wishes you a Happy and Prosperous New Year ===================================================== ====================== 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) =================== Panel Discussions =================== + Goedel's Incompleteness Theorems Panelists: - Su Gao (Nankai University, China) - Anil Nerode (Cornell University, USA) - Shashi Mohan Srivastava (IACS Kolkata and RKMVERI Belur, India) - More confirmations are awaited + Education and Careers in Logic Panelists: - Janos Makowsky (Technion, Israel) - Anil Nerode (Cornell University, USA) - Shashi Mohan Srivastava (IACS Kolkata and RKMVERI Belur, India) - R Venkatesh (TCS Research, India) - More confirmations are awaited =================== 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) - 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: Toghrul Karimov (MPI-SWS Saarbrücken, Germany) Chris Köcher (MPI-SWS Kaiserslautern, Germany) Alessio Mansutti (IMDEA Software Institute, Spain) Mikhail Starchak (St. Petersburg University, Russia) - 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