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

[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

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

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