- FMIndia - mail.cmi.ac.in

The 33rd IEEE/ACM International Symposium on Quality of Service (IWQoS 2025) - Call for Papers
by Neeraj Kumar Singh 08 Jan '25

08 Jan '25

--------------------------- CALL FOR PAPERS --------------------------- The 33rd IEEE/ACM International Symposium on Quality of Service (IWQoS 2025) 2-4 July 2025, Gold Coast, Australia https://iwqos2025.ieee-iwqos.org/ Overview We invite the submission of manuscripts presenting original research results to the IEEE/ACM International Symposium on Quality of Service (IWQoS) 2025, which will be held from July 2-4, 2025, in Gold Coast, Australia. Quality of Service (QoS) has long been a central focus for communications and networking researchers worldwide. While traditional QoS research areas continue to garner significant interest, emerging domains such as the Internet of Things, data centers, virtualization, cloud and fog computing, green computing, and artificial intelligence are driving a new wave of research into service guarantees related to QoS, Quality of Experience (QoE), Quality of Protection (QoP), Software Quality, Data Quality, and, more broadly, Quality of Information Technology. For over two decades, IWQoS has established itself as a premier forum for presenting novel ideas on all QoS-related subjects. The 33rd International Symposium on Quality of Service (IEEE/ACM IWQoS 2025) aims to continue this tradition as an international platform for the presentation and discussion of cutting-edge research in the field. The scope of IWQoS encompasses both the latest theoretical advancements and experimental research papers. Topics of Interest - Artificial Intelligence for QoS - Data analytics for QoS - QoS for data analytics and machine learning - QoS in Internet of Things (IoT), cyber-physical networks - QoS in cloud computing, fog computing and edge computing - Blockchain for QoS - Security, privacy, system dependability, resilience and robustness - QoS in software-defined networking - QoS in information-centric networking - QoS in mobile and next generation cellular networks - System dependability, availability, resilience and robustness to faults and security attacks - Robustness against security vulnerabilities in critical infrastructures - QoS-aware scheduling, resource management, queue management, admission control - Traffic engineering approaches and tools for QoS provisioning and evaluation - QoS evaluation metrics and methodologies - Quality of software - QoE in multimedia networks - Measurement, evaluation, adaptation, and verification - Network operations, network economics, pricing and billing - Architectures and protocols for QoS, QoP or QoE support - Energy awareness in communication and computing systems - Design for future networks and computing systems with integrated QoS Important Dates (AoE) - Paper Registration Deadline: 9 February 2025 - Full Paper Submission Deadline: 16 February 2025† - Early Rejection Notification: 14 March 2025 - Notification of Acceptance: 4 April 2025 - Camera Ready Submission Deadline: 25†April 2025 Submission Instructions Authors are invited to submit manuscripts not exceeding 10 single-spaced, double-column pages (including references) using a font size of 10 points, formatted according to the standard IEEE template for LaTeX or Microsoft Word. Templates can be downloaded by selecting ìConferencesî in the IEEE Template Selector at https://template-selector.ieee.org/. The review process will be double-blind, requiring submissions to avoid revealing the authors' names and affiliations, as well as to refrain from obvious self-references. Papers that do not adhere to these guidelines will be rejected without consideration of their merits. All submissions must be made electronically as PDF files. Please follow the submission like on https://iwqos2025.hotcrp.com/ to submit your paper. More information can be found on the website of IWQoS 2025: https://iwqos2025.ieee-iwqos.org/authors/call-papers Organizing Committee General Co-Chairs - Dan Kim, The University of Queensland, Australia - Surya†Nepal, CSIRO's Data61, Australia Program Co-Chairs - Qi Li, Tsinghua University, China - Salil Kanhere, The University of New South Wales, Australia - Guangdong Bai,†The University of Queensland, Australia Finance/Sponsorship Chair - Xingliang Yuan, The University of Melburne, Australia Local Co-Chairs - Naipeng Dong, The University of Queensland, Australia - Yu Zhang, Griffith University, Australia Publicity Co-Chairs - Jianliang Wu, Simon Fraser University, Canada - Neeraj Kumar Singh, IRIT-ENSEEIHT, France - Ruitao Feng,†Southern Cross University, Australia Publication Chair - Kailong Wang, Huazhong University of Science and Technology, China

1 0

IARCS Verification Seminar Series -- Talk by S P Suresh on January 7 at 1900 hrs IST
by VSS IARCS 07 Jan '25

07 Jan '25

Dear all, The next talk in the IARCS Verification Seminar Series will be given by S P Suresh, a faculty member of Theoretical Computer Science at the Chennai Mathematical Institute. The talk is scheduled on Tuesday, January 7, at 1900 hrs IST (add to Google calendar <https://calendar.google.com/calendar/event?action=TEMPLATE&tmeid=N2xkbWs1a2…> ). The details of the talk can be found on our webpage ( https://fmindia.cmi.ac.in/vss/) and also appended to the body of this email. The Verification Seminar Series, an initiative by the Indian Association for Research in Computing Science (IARCS), is a monthly, online talk-series, broadly in the area of Formal Methods and Programming Languages, with applications in Verification and Synthesis. The aim of this talk-series is to provide a platform for Formal Methods researchers to interact regularly. In addition, we hope that it will make it easier for researchers to explore newer problems/areas and collaborate on them, and for younger researchers to start working in these areas. All are welcome to join. Best regards, Akash, Deepak, Madhukar, Srivathsan ============================================================= Title: Insecurity problem for assertions Meeting Link: https://us02web.zoom.us/j/89164094870?pwd=eUFNRWp0bHYxRVpwVVNoVUdHU0djQT09 (Meeting ID: 891 6409 4870, Passcode: 082194) Abstract: Security protocols underpin most aspects of our digital lives nowadays, with finance, health, and even citizenship requiring some online interaction with remote servers over an insecure network, and involving exchange of sensitive private information. Formal verification of such protocols has a long history of more than 40 years (and applied on many fundamental protocols like TLS and the Signal messaging protocol, and various protocols for electronic voting, e-commerce, etc.). One of the central theoretical results [Rusinowitch-Turuani (2003)] is that the problem of deciding if there is a B-bounded attack on a given protocol is NP-complete, for a fixed number B. A B-bounded attack is one which involves at most B messages and in which a secret is leaked to the malicious attacker. The technical challenge is that although the number of messages is bounded in such attacks, the size of each message is not. In recent work [Ramanujam-Sundararajan-Suresh (2024)] we extended the above NP-completeness result to protocols that involve, in addition to "traditional" messages themselves, certificates or assertions of the form "the previous term that I sent is encrypted, and the term inside the encryption is a number between 1 to 10." In this talk, we describe the insecurity problem, and the solution by Rusinowitch-Turuani (RT03), and show how we can extend the analysis of RT03 to our setting. Bio: S P Suresh is a faculty member of Theoretical Computer Science at the Chennai Mathematical Institute. His research interests include logic in computer science, concurrency and distributed computing, and formal methods for security. His other interests include classical Indian logic and epistemology, Carnatic music, chess, and P G Wodehouse.

1 0

ICLA 2025: Deadline extension for posters
by abhisekh.sankaran＠tcs.com 07 Jan '25

07 Jan '25

Dear Colleagues, As you may already know, the 11th Indian Conference on Logic and its Applications (ICLA 2025 - https://logicindia.org/icla/icla2025) is going to be held at ISI Kolkata during February 3 - 5 2025. Conducted by the Association for Logic in India (ALI - https://logicindia.org) ICLA 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 this conference is the inclusion of studies in systems of logic in the Indian tradition, and historical research on logic. In addition to regular papers, ICLA 2025 welcomes poster proposals relating to the above mentioned fields in a broad sense. The proposals may also include early stage ideas that are promising but have not been developed fully. This is a great opportunity to present and discuss your work in more detail with the relevant audience. Authors are invited to submit a 1-page abstract (excluding references) for their poster proposals in PDF format. The abstracts must be sent to icla2025.posters(a)gmail.com with the subject "ICLA 2025 poster: [Full name of a corresponding author]" by *January 14th, 2025 AoE* (earlier: January 7th, 2025 AoE). If you have any queries regarding the posters, do not hesitate to send an email to icla2025.posters(a)gmail.com. Submission Details: Submission deadline: 14th January 2025, AoE Author notification: 16th January 2025, AoE Submission format: 1-page abstract (excluding references) in PDF format Email to: icla2025.posters(a)gmail.com Subject of email: ICLA 2025 poster: [Full name of a corresponding author] Topics: same as that for ICLA 2025 conference (https://logicindia.org/icla/icla2025/#submission-topics) We look forward to your submissions and hope to see you at ICLA 2025. On behalf of the Organizers of ICLA 2025.

1 0

Fwd: Invitation to the conference: "Recent Trends in Logic and Game Theory"
by Purbita Jana 06 Jan '25

06 Jan '25

Dear All, We are delighted to announce that the conference *"Recent Trends in Logic and Game Theory", *jointly organised by MSE and ISI Chennai*,* will be held at *Madras School of Economics, Chennai*, from *11th-12th February 2025*. This conference aims to bring together experts, researchers, and enthusiasts in the fields of logic and game theory to discuss recent advancements and foster collaboration. *Key Details:* - *Website:* Visit Conference Website <https://sites.google.com/view/rtlg2025/home> - *Dates:* 11th-12th February 2025 - *Venue:* Madras School of Economics, Chennai, Tamil Nadu *Important Deadlines:* - *Contributed Talks Abstract Submission:* 18th January 2025 (AoE) - *Notification of Acceptance:* 25th January 2025 (AoE) - *Registration Deadline:* 31st January 2025 (AoE) *Submission Method: *Please send the abstract to rtlg2025(a)gmail.com, specifying the topic. For more details, visit the call for contributed talks <https://sites.google.com/view/rtlg2025/call-for-contributed-talks?authuser=0> page. *Registration:* Registration is *mandatory* to participate in the conference. Please register by filling out the form at this link: Registration Form <https://forms.gle/KV2SRLDTQEZp977p7>. We look forward to your positive reply and submissions! Please share this invitation with colleagues and peers who may be interested. For any queries, please get in touch with us at rtlg2025(a)gmail.co <rtlg2025(a)gmail.com>m -- With Best Regards, Purbita Jana, *Assistant Professor,* *Madras School of Economics, Chennai, India.* https://sites.google.com/view/purbita/home

1 0

ICLA 2025: Early bird registration ends in 7 days
by abhisekh.sankaran＠tcs.com 05 Jan '25

05 Jan '25

====================== 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) - R Ramanujam (Azim Premji University, India) - 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

IARCS Verification Seminar Series -- Talk by S P Suresh on January 7 at 1900 hrs IST
by VSS IARCS 04 Jan '25

04 Jan '25

Dear all, The next talk in the IARCS Verification Seminar Series will be given by S P Suresh, a faculty member of Theoretical Computer Science at the Chennai Mathematical Institute. The talk is scheduled on Tuesday, January 7, at 1900 hrs IST (add to Google calendar <https://calendar.google.com/calendar/event?action=TEMPLATE&tmeid=N2xkbWs1a2…> ). The details of the talk can be found on our webpage ( https://fmindia.cmi.ac.in/vss/) and also appended to the body of this email. The Verification Seminar Series, an initiative by the Indian Association for Research in Computing Science (IARCS), is a monthly, online talk-series, broadly in the area of Formal Methods and Programming Languages, with applications in Verification and Synthesis. The aim of this talk-series is to provide a platform for Formal Methods researchers to interact regularly. In addition, we hope that it will make it easier for researchers to explore newer problems/areas and collaborate on them, and for younger researchers to start working in these areas. All are welcome to join. Best regards, Akash, Deepak, Madhukar, Srivathsan ============================================================= Title: Insecurity problem for assertions Meeting Link: https://us02web.zoom.us/j/89164094870?pwd=eUFNRWp0bHYxRVpwVVNoVUdHU0djQT09 (Meeting ID: 891 6409 4870, Passcode: 082194) Abstract: Security protocols underpin most aspects of our digital lives nowadays, with finance, health, and even citizenship requiring some online interaction with remote servers over an insecure network, and involving exchange of sensitive private information. Formal verification of such protocols has a long history of more than 40 years (and applied on many fundamental protocols like TLS and the Signal messaging protocol, and various protocols for electronic voting, e-commerce, etc.). One of the central theoretical results [Rusinowitch-Turuani (2003)] is that the problem of deciding if there is a B-bounded attack on a given protocol is NP-complete, for a fixed number B. A B-bounded attack is one which involves at most B messages and in which a secret is leaked to the malicious attacker. The technical challenge is that although the number of messages is bounded in such attacks, the size of each message is not. In recent work [Ramanujam-Sundararajan-Suresh (2024)] we extended the above NP-completeness result to protocols that involve, in addition to "traditional" messages themselves, certificates or assertions of the form "the previous term that I sent is encrypted, and the term inside the encryption is a number between 1 to 10." In this talk, we describe the insecurity problem, and the solution by Rusinowitch-Turuani (RT03), and show how we can extend the analysis of RT03 to our setting. Bio: S P Suresh is a faculty member of Theoretical Computer Science at the Chennai Mathematical Institute. His research interests include logic in computer science, concurrency and distributed computing, and formal methods for security. His other interests include classical Indian logic and epistemology, Carnatic music, chess, and P G Wodehouse.

1 0

World Logic Day talk by Prof. Moshe Vardi
by abhisekh.sankaran＠tcs.com 04 Jan '25

04 Jan '25

================== Talk announcement ================== 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.

1 0

Invitation to the conference: "Recent Trends in Logic and Game Theory"
by Purbita Jana 03 Jan '25

03 Jan '25

Dear All, We are delighted to announce that the conference *"Recent Trends in Logic and Game Theory", *jointly organised by MSE and ISI Chennai*,* will be held at *Madras School of Economics, Chennai*, from *11th-12th February 2025*. This conference aims to bring together experts, researchers, and enthusiasts in the fields of logic and game theory to discuss recent advancements and foster collaboration. *Key Details:* - *Website:* Visit Conference Website <https://sites.google.com/view/rtlg2025/home> - *Dates:* 11th-12th February 2025 - *Venue:* Madras School of Economics, Chennai, Tamil Nadu *Important Deadlines:* - *Contributed Talks Abstract Submission:* 18th January 2025 (AoE) - *Notification of Acceptance:* 25th January 2025 (AoE) - *Registration Deadline:* 31st January 2025 (AoE) *Submission Method: *Please send the abstract to rtlg2025(a)gmail.com, specifying the topic. For more details, visit the call for contributed talks <https://sites.google.com/view/rtlg2025/call-for-contributed-talks?authuser=0> page. *Registration:* Registration is *mandatory* to participate in the conference. Please register by filling out the form at this link: Registration Form <https://forms.gle/KV2SRLDTQEZp977p7>. We look forward to your positive reply and submissions! Please share this invitation with colleagues and peers who may be interested. For any queries, please get in touch with us at rtlg2025(a)gmail.co <rtlg2025(a)gmail.com>m

1 0

AWPL 2025: Early registration ends in 7 days
by abhisekh.sankaran＠tcs.com 24 Dec '24

24 Dec '24

===================================================== 7th Asian Workshop on Philosophical Logic 6-8 February, 2025 Department of Philosophy, Jadavpur University, Kolkata, India https://sites.google.com/view/awpl2025/ ===================================================== [CALL FOR PARTICIPATION: REGISTRATION IS OPEN] https://sites.google.com/view/awpl2025/registration DEADLINE FOR EARLY REGISTRATION: December 31, 2024 (AoE) DEADLINE FOR LATE REGISTRATION: January 20, 2025 (AoE) The 7th Asian Workshop on Philosophical Logic will be held on 6-8 February 2025 at the Department of Philosophy, Jadavpur University, Kolkata, India. Association for Logic in India (ALI [1]) will be a co-organizer for this workshop. The Asian Workshop on Philosophical Logic (AWPL [2]) is a series of events initiated by a group of Asian logicians. Its first instalment took place at JAIST in Japan in 2012. The workshop's primary goal is to promote awareness, understanding, and collaboration among researchers in philosophical logic and related fields. It emphasises the interaction between philosophical ideas and formal theories. AWPL 2025 will happen just after ICLA 2025 [3], which would be held at Indian Statistical Institute, Kolkata, India, during February 3-5, 2025. [1] https://logicindia.org/ [2] http://awpl.org/Workshops.html [3] https://logicindia.org/icla/icla2025 [INVITED SPEAKERS] https://sites.google.com/view/awpl2025/invited-speakers [ACCEPTED PAPERS] https://sites.google.com/view/awpl2025/accepted-papers [LOCAL INFORMATION] https://sites.google.com/view/awpl2025/local-information [CONTACT] awpl2025ju(a)gmail.com

1 0

ICLA 2025: Call for Posters
by abhisekh.sankaran＠tcs.com 24 Dec '24

24 Dec '24

Dear Colleagues, As you may already know, the 11th Indian Conference on Logic and its Applications (ICLA 2025 - https://logicindia.org/icla/icla2025) is going to be held at ISI Kolkata during February 3 - 5 2025. Conducted by the Association for Logic in India (ALI - https://logicindia.org) ICLA 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 this conference is the inclusion of studies in systems of logic in the Indian tradition, and historical research on logic. In addition to regular papers, ICLA 2025 welcomes poster proposals relating to the above mentioned fields in a broad sense. The proposals may also include early stage ideas that are promising but have not been developed fully. This is a great opportunity to present and discuss your work in more detail with the relevant audience. Authors are invited to submit a 1-page abstract (excluding references) for their poster proposals in PDF format. The abstracts must be sent to icla2025.posters(a)gmail.com with the subject "ICLA 2025 poster: [Full name of a corresponding author]" by January 7th, 2025 AoE. If you have any queries regarding the posters, do not hesitate to send an email to icla2025.posters(a)gmail.com. Submission Details: Submission deadline: 7th January 2025, AoE Author notification: 9th January 2025, AoE Submission format: 1-page abstract (excluding references) in PDF format Email to: icla2025.posters(a)gmail.com Subject of email: ICLA 2025 poster: [Full name of a corresponding author] Topics: same as that for ICLA 2025 conference (https://logicindia.org/icla/icla2025/#submission-topics) We look forward to your submissions and hope to see you at ICLA 2025. On behalf of the Organizers of ICLA 2025.

1 0