- FMIndia - mail.cmi.ac.in

World Logic Day Celebrations (Jan 15-Jan 22)
by Aalok Thakkar 12 Jan '25

12 Jan '25

The Logic Society of Delhi invites you to the *World Logic Day 2025 Celebrations*. Join us for an exciting lineup of virtual talks, and an in-person meet-up on January 22. *Event Schedule*: January 15, 7:00 PM One Hundred Prisoners and a Light Bulb – and other Knowledge Puzzles Speaker: *Hans van Ditmarsch*, Senior Researcher, CNRS, France. Zoom Link: (https://upenn.zoom.us/j/94964030447) January 20, 7:30 PM Making Necessity Relevant Speaker: *Shawn Standefer,* Assistant Professor, National Taiwan University, Taiwan. Zoom Link: https://upenn.zoom.us/j/99219236470 January 21, 7:30 PM Generalised Geometric Logic and its Applications Speaker: *Purbita Jana*, Assistant Professor, Madras School of Economics, India. Zoom Link: https://upenn.zoom.us/j/97902248017 January 22, 7:00 PM Logic Society of Delhi Meet-up! Join us at Cafe Lota (National Crafts Museum & Hastkala Academy, New Delhi) to meet and network with logic enthusiasts from Delhi NCR. Talk abstracts and more details at: https://logic-society-delhi.github.io/logic-day-2025.html We look forward to seeing you at these events! Please help share the word. We would love to have attendance from across India and the world. You may direct your questions to logic.society.delhi(a)ashoka.edu.in.

1 0

CONCUR 2025 - Call for papers
by B Srivathsan 10 Jan '25

10 Jan '25

CONCUR 2025 is the 36th International Conference on Concurrency Theory. Its purpose is to bring together researchers, developers, and students in order to advance the theory of concurrency, and promote its applications. It will be co-located with QEST+FORMATS, FMICS and a number of workshops, under the joint name CONFEST 2025. CONFEST 2025 will take place August 25-30, 2025 at the University of Aarhus, Denmark. Important dates (anywhere on Earth) - Abstracts: April 1, 2025 (AoE) - Submissions: April 7, 2025 (AoE) - Rebuttal Response: May 8-12, 2025 (AoE) - Notification: May 27, 2025 (AoE) - Camera Ready: June 10, 2025 (AoE) - Conference(s): Aug 26-29, 2025 - Workshops: Aug 25 and 30, 2025 Paper submission CONCUR 2025 solicits high quality papers reporting research results and/or experience related to the topics mentioned below. - All papers must be original, unpublished, and not submitted for publication elsewhere. - Each paper will undergo a thorough review process. The paper may be supplemented with a clearly marked appendix, which will be reviewed at the discretion of the program committee. - Papers must be submitted electronically as PDF files via EasyChair (https://easychair.org/conferences/?conf=concur2025) - The CONCUR 2025 proceedings will be published by LIPIcs, please use their style files (https://drops.dagstuhl.de/entities/series/LIPIcs#author) - Submissions follow a single blind process. - Papers must not exceed 15 pages (excluding references and clearly marked appendices) using the LIPIcs style. Topics Submissions are solicited in the theory and practice of concurrent systems. The principal topics include (but are not limited to): - Basic models of concurrency such as abstract machines, domain-theoretic models, categorical and coalgebraic models, game-theoretic models, parametric models, process algebras, graph transformation systems, Petri nets, hybrid systems, mobile and collaborative systems, probabilistic systems, real-time systems, quantum systems, biology-inspired systems, and synchronous systems; - Logics for concurrency such as modal logics, program logics, probabilistic and stochastic logics, temporal logics, multi-agent logics, and resource logics; Verification and analysis techniques for concurrent systems such as abstract interpretation, atomicity checking, model checking, race detection, pre-order and equivalence checking, run-time verification, state-space exploration, static analysis, synthesis, testing, theorem proving, type systems, and security analysis; - Distributed/parallel algorithms and concurrent data structures: design, analysis, complexity, correctness, fault tolerance, reliability, availability, consistency, self-organization, self-stabilization, commitment schemes, communication protocols; - Theoretical foundations, tools, and empirical evaluations of architectures, execution environments, and software development for concurrent systems such as geo-replicated systems, distributed ledgers, communication networks, multiprocessor and multi-core architectures, quantum computing, quantum communication, shared and transactional memory, resource management and awareness, compilers and tools for concurrent programming, programming models such as component-based, object- and service-oriented. Invited Speakers - Christel Baier, TU Dresden, Germany - Chris Heunen, University of Edinburgh, UK - Andreas Pavlogiannis, Aarhus University, Denmark - Jiri Srba, Aalborg University, Denmark PC Chairs - Patricia Bouyer, CNRS, France (http://www.lsv.fr/~bouyer/) - Jaco van de Pol, Aarhus University, Denmark (https://cs.au.dk/~jaco/) Program Committee - Luca Aceto, Reykjavik University, Iceland - Guy Avni, University of Haifa, Israel - Ezio Bartocci, TU Wien, Austria - Michael Blondin, Université de Sherbrooke, Canada - Patricia Bouyer (chair), CNRS, France - Janna Burman, Université Paris-Saclay, France - Michaël Cadilhac, DePaul University, USA - Pedro R. D'Argenio, Universidad Nacional de Córdoba, Argentina - Josee Desharnais, Laval University, Canada - Pierre Ganty, IMDEA, Spain - Rob van Glabbeek, University of Edinburgh, UK - Christoph Haase, University of Oxford, UK - Tingting Han, Birkbeck, University of London, UK - Sebastian Junges, Radboud University, The Netherlands - Jan Kretinsky, Masaryk University, Czech Republic - S Krishna, IIT Bombay, India - Sławomir Lasota, University of Warsaw, Poland - Rupak Majumdar, Max Planck Institute for Software Systems, Germany - Paul-André Melliès, CNRS, Université de Paris Cité, France - Benjamin Monmege, Aix-Marseille Université, France - Wojciech Penczek, Polish Academy of Sciences, Poland - Nir Piterman, University of Gothenburg, Sweden - Jaco van de Pol (chair), Aarhus University, Denmark - Mickael Randour, F.R.S.-FNRS & Université de Mons, Belgium - Ana Sokolova, University of Salzburg, Austria - B Srivathsan, Chennai Mathematical Institute, India - Marielle Stoelinga, University of Twente, The Netherlands - Bow-Yaw Wang, Academia Sinica, Taiwan - Dominik Wojtczak, University of Liverpool, UK - Zhilin Wu, Chinese Academy of Sciences, China - Mingsheng Ying, University of Technology Sydney, Australia - Martin Zimmermann, Aalborg University, Denmark Steering Committee - Luca Aceto - Christel Baier - Pedro R. D’Argenio - Wan Fokkink, chair - Catuscia Palamidessi - Jiri Srba Questions on submissions should be directed to the PC chairs.

1 0

2nd call for papers: Petri Nets 2025 (Paris)
by Étienne André 10 Jan '25

10 Jan '25

============================================================ Call for papers PETRI NETS 2025 46th international conference on application and theory of Petri nets and concurrency ============================================================ Paris, France 23-27 June 2025 https://petrinets25.github.io/web/ ## Paper Submission Petri Nets 2025 solicits high quality papers reporting research results and/or tools related to the topics mentioned below. * Regular papers (20 pages LNCS excluding references) must describe original results pertaining to the development of the theory of Petri nets and distributed and concurrent systems in general, new results extending the applicability of Petri nets, or case studies, application and experience reports pertinent to the practical use of Petri nets and concurrency. * Tool papers (10 pages LNCS excluding references) must describe a computer tool based on Petri nets (not an application of the tool or the theory behind the tool). The tool should be available for use by other groups (but not necessarily for free). The submission should indicate how the reviewers can get access to the tool (this must be for free). The tool will be demonstrated in the Tool Exhibition, in addition to being presented in a conference talk. All papers must be original, unpublished, and not submitted for publication elsewhere. Papers must be written in English using the Springer LNCS format, including line numbers (e.g., https://ctan.org/pkg/lineno LaTeX package) and submitted electronically (as a PDF file) by the deadline using EasyChair(https://easychair.org/conferences/?conf=petrinets2025). ## Important dates Abstract submission : 15 January 2025 Submission of papers : 22 January 2025 Notification : 10 March 2025 Final version due : 24 March 2025 Participation in tool exhibition: 30 May 2025 Workshops and Tutorials : 23-24 June 2025 Main Conference : 25-27 June 2025 The deadline is the end of day (AoE). ## Topics of Interest Topics specific to Petri Nets * Analysis and synthesis, structure and behavior of nets * System design and model-driven development using nets * Relationships between Petri nets and other approaches * Net-based semantical, logical and algebraic calculi * Higher-level net models (colored nets, timed nets, etc.) * Stochastic net models * Verification and model checking using nets * Process discovery and conformance checking * Computer tools for nets * Standardization of nets * Experience reports describing applications of nets to different kinds of systems and application fields (e.g., flexible manufacturing systems, office automation, real-time systems, workflows, embedded systems, process mining, biological systems, supervisory control, health and medical systems, protocols and networks, environmental systems, Internet and Web services, hardware, e-commerce and trading, telecommunications, programming languages, railway networks, performance evaluation, component based development, operations research) General topics of interest related to concurrency * Application of concurrency to system design: formal models for designing computer systems with concurrent behavior, applied research aimed at designing computer systems which exhibit concurrency, etc. * Model checking and verification of distributed systems * Verification of infinite-state or parametric systems * Causality/partial order theory of concurrency * Educational issues related to concurrency * New developments in the theory of concurrency * Modeling of hardware and biological systems Papers presenting original research on application or theory of Petri nets, as well as contributions addressing topics relevant to the general field of distributed and concurrent systems or focused on applications of concurrency to system design are sought. The language of the conference is English, and its proceedings will be published by Springer-Verlag in LNCS. All accepted papers will be considered for an Outstanding Paper award. Authors of selected papers presented at the conference will be invited to submit an extended version that will be further reviewed for inclusion into a special issue of a renowned journal. ## Tool Exhibition An exhibition of Petri net tools will take place on Wednesday June 25. It consists of informal demonstrations for small groups/individuals and there are no scheduled talks. Requests for participation in the tool exhibition must be sent to the Tool Exhibition chairs by the deadline stated at the top of this Call for Papers. They should include a link to the Web pages for the tool (or a short description of the tool). The demonstrators should bring their own laptops, while the organisers may be requested to give access to the Internet. ## Courses, Workshops and Tutorials The main conference takes place from Wednesday 25 to Friday 27. The two days before the main conference also offer a wide range of activities. The Petri Net Course takes place from Monday 23 to Tuesday 24. It offers a thorough introduction to Petri nets in half-days and full-day modules. For successful participation in the entire course, including preparation and examination, two credit points (ECTS) will be awarded. Each module of the course can also be taken separately, without any credit. Detailed descriptions of Workshops and Tutorials will be made available via the conference Web page. It is also possible to arrange Meetings and Courses related to Petri Nets. Submissions for such activities must contain a 2-5 page description. They must be received by the Workshops and Tutorials chairs via email no later than January 15, 2025. ## Organization The 46th annual international Petri Nets conference will be organised by the LoVe (Logics and Verification) team at the Université Sorbonne Paris Nord (France) jointly with members of the MeFoSyLoMa group. The conference will take place at the Campus Condorcet. ### Organization Committee * Étienne André (Université Sorbonne Paris Nord) * Carlos Olarte (Université Sorbonne Paris Nord) ### Program committee co-chairs * Elvio Amparore, Italy * Łukasz Mikulski, Poland ### Workshops co-chairs * Giuliana Franceschinis, Italy * Karsten Wolf, Germany ### Petri Net Course and Tutorials co-chairs * Jörg Desel, Germany * Lars Kristensen, Norway ### Publicity chair * Benoît Barbot, France ## Program committee * Elvio Amparore, Italy (co-chair) * Abel Armas Cervantes, Australia * João Paulo Barros, Portugal * Benoît Delahaye, France * João Miguel Fernandes, Portugal * Guiliana Franceschinis, Italy * Luis Gomes, Portugal * Xudong He, USA * Loïc Helouet, France * Wojciech Jamroga, Luxemburg * Gabriel Juhás, Slovakia * Anna Kalenkova, Australia * Michael Köhler-Bußmeier, Germany * Lars Kristensen, Norway * Lisa Mannel, Germany * Łukasz Mikulski, Poland (co-chair) * Andrew Miner, USA * Guillermo Alberto Perez, Belgium * Marta Pietkiewicz-Koutny, UK * Artem Polyvyanyy, Australia * Lucia Pomello, Italy * Andrey Rivkin, Denmark * Natalia Sidorova, The Netherlands * Jiří Srba, Denmark * Jeremy Sproston, Italy * Nathalie Sznajder, France * Remigiusz Wisniewski, Poland * Karsten Wolf, Germany

1 0

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