- FMIndia - example.com

TASE 2025: Call For Papers

by abhisekh.sankaran＠tcs.com

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)

2 months, 2 weeks

1
0
0 0

Petri Nets 2025: deadline extension

by Étienne André

============================================================ Call for papers PETRI NETS 2025 46th international conference on application and theory of Petri nets and concurrency ============================================================ *** DEADLINE EXTENSION *** 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 EXTENDED abstract submission : 15 January 2025 => 22 January 2025 EXTENDED aubmission of papers : 22 January 2025 => 29 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

2 months, 2 weeks

1
0
0 0

World Logic Day 2025 celebrations by ALI

by abhisekh.sankaran＠tcs.com

Dear Colleagues, As part of its celebrations of the World Logic Day 2025, the Association for Logic in India (ALI) 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. ---

2 months, 2 weeks

1
0
0 0

Message about FMIndia subscription being disabled

by Madhavan Mukund

A large number of members subscribed to the FMIndia mailing list were automatically unsubsribed today due to "excessive bounces". It is not clear why this happened. I have restored the status of all those who were unsubscribed. If you receive this message, you are in good shape. If you don't, I expect I will get an email from you at some point --- some of you have already written in after this notification went out --- and I will try to address the problem individually. Apologies for this glitch. --Madhavan P.S. I have also changed some settings on the group to try to prevent this from happening again.

2 months, 2 weeks

1
0
0 0

World Logic Day talk by Prof. Moshe Vardi | Today, 14 January

by abhisekh.sankaran＠tcs.com

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

2 months, 2 weeks

1
0
0 0

NETYS 2025 - First Call for Papers

by Madhavan Mukund

Call for Papers THE 13th INTERNATIONAL CONFERENCE ON NETWORKED SYSTEMS (NETYS 2025) May 21st-23rd, 2025, Rabat, Morocco http://www.netys.net AIM AND SCOPE NETYS aims to bring together researchers and engineers from the theory and practice of distributed and networked systems. The scope of the conference covers all aspects related to the design and the development of these systems, including, but not restricted to, cloud systems, formal verification, concurrent and distributed algorithms, data management, data science, parallel/concurrent/distributed programming, machine learning theory and applications, large language models, multicore architectures, networks, and security. NETYS will provide a forum to report on best practices, novel algorithms, results, and techniques on networked systems. Original research contributions and experience papers on the principles, design, implementation, modeling, analysis, verification and application of networked systems are solicited. Topics of interest are broadly divided into three categories: networked systems, distributed computing and machine learning. Topics of interest include (but are not limited to): 1. NETWORKED SYSTEMS - Cloud systems and data centers - Cyber-physical systems - Distributed database, embedded and operating systems - Multicore architectures and multithreaded applications - Distributed ledgers and blockchain technologies - Internet of Things, 5G, URLLC - Mobile, wireless, ad-hoc and sensor networks - Social networks - Overlay and peer-to-peer infrastructures 2. DISTRIBUTED COMPUTING - Concurrency, synchronization and persistence - Distributed and concurrent data structures - Languages, verification and formal methods for distributed systems - Design and analysis of distributed algorithms - Lower bounds and impossibility results for distributed computing - Game theory, mechanisms design - Fault-tolerance, reliability, self-stabilizing, self-organizing, and autonomic systems - Collaborative intelligent systems 3. MACHINE LEARNING - Collaborative/federated learning - Distributed Machine learning - Trustworthy machine learning - Large language models theory and applications - Fairness and privacy in machine learning - Reinforcement learning theory and applications - Generative AI - Optimization algorithms IMPORTANT DATES (all deadlines are at 23:59 AoE) - Abstract submission: March 1st, 2025 - Paper submission: March 8th, 2025 - Notifications: April 14th, 2025 - Conference dates: May 21st-23rd, 2025 PUBLICATION Springer's Lecture Notes in Computer Science series will publish conference proceedings (https://www.springer.com/gp/computer-science/lncs). One of the authors of each accepted paper must present it at the conference. SUBMISSION INSTRUCTIONS All submissions must follow the LNCS template and be written in English. Full papers are allowed a maximum of 15 pages in the LNCS format, excluding bibliographic references, whereas short papers are allowed a maximum of 5 pages (in the same format). Papers exceeding these limits may be rejected without review. A clearly marked appendix can be included for supplementary materials, but it will be read at the reviewers' discretion; therefore, the main body of the paper should contain sufficient details to assess its contributions. Submission of papers is via Microsoft CMT: https://cmt3.research.microsoft.com/NETYS2025/ PROGRAM CHAIRS Madhavan Mukund <madhavan(a)cmi.ac.in> Salem Lahlou <salem.lahlou(a)mbzuai.ac.ae>

2 months, 2 weeks

1
0
0 0

Invitation to the conference: "Recent Trends in Logic and Game Theory"

by Purbita Jana

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! With Best Regards, Purbita

2 months, 2 weeks

1
0
0 0

ICLA 2025: Early bird registration deadline extension

by abhisekh.sankaran＠tcs.com

====================== 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 18, 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) - Moshe Vardi (Rice University, USA) Moderator: - Mangesh Patwardhan (National Insurance Academy Pune, India) + 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) Georg Zetzsche (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 18, 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

2 months, 2 weeks

1
0
0 0

World Logic Day Celebrations (Jan 15-Jan 22)

by Aalok Thakkar

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.

2 months, 2 weeks

1
0
0 0

CONCUR 2025 - Call for papers

by B Srivathsan

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.

2 months, 3 weeks

1
0
0 0

2025

2024

2023

2022

FMIndia