- FMIndia - mail.cmi.ac.in

WAGS@FSTTCS 2026: Call for Talk Proposals and Participation
by Suman Sadhukhan 19 Oct '26

19 Oct '26

Dear Colleagues, We are happy to announce that the third edition of the Workshop on Automata and Games for Synthesis (WAGS) will take place at IIT Delhi on December 19th, as a post-conference workshop of FSTTCS. Please see below the call for talk proposals. *Please distribute the call, consider submitting and encourage your fellow researchers and students to submit their best work of the year! * *-------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------* * CALL FOR CONTRIBUTED TALKS* * Workshop on Automata and Games for Synthesis (WAGS) New Delhi, India December 19, 2026 Co-located with Foundations of Software Technology and Theoretical Computer Science (FSTTCS) 2026 <https://www.fsttcs.org.in/2026/>* *---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------Workshop website: https://sites.google.com/view/wagsfsttcs2026/home <https://sites.google.com/view/wagsfsttcs2026/home>===================About the workshop===================The third iteration of the *Workshop on Automata and Games for Synthesis* is an on-site event happening on December 19th, 2026, in New Delhi, India. It is co-located with Foundations of Software Technology and Theoretical Computer Science (FSTTCS) 2026, the premier international computer science conference in India, and held annually in December since 1981. Automated synthesis of systems from specifications has been a longstanding goal of computer science. The workshop focuses on various aspects by which automata and game solving are used to tackle problems motivated by synthesis.The workshop will feature invited speakers and some sessions with short presentations. For the short presentations, early-career researchersare encouraged to talk about their research in 10–15 minute sessions (exact length will depend on the number of contributions). For submission, we solicit a title and an abstract for the talk here: <https://forms.gle/9wyyUf73418GbPATA <https://forms.gle/9wyyUf73418GbPATA>>The workshop does not have proceedings; therefore previously published talks or ongoing work are both encouraged to be presented. Topics for presentation at the workshop include, but are not limited to, the following:Automata TheoryReactive SynthesisGames on Finite and Infinite GraphsComputational aspects of Game TheoryConcurrency and Distributed computationFormal LanguagesGames and Automata for VerificationSpecification and Verification of Finite and Infinite-state Systems============================Important dates============================Early Submission Deadline: November 13th, 2026 AOEEarly Notification: November 14th, 2026 (notifications sent on a rolling basis, keeping in mind the early-bird registration deadline for FSTTCS)Final Submission Deadline: November 25th 2026 AOEFinal Notification November 30th 2026Workshop December 19th, 2026============================Submission of contributed talks at: <https://forms.gle/9wyyUf73418GbPATA <https://forms.gle/9wyyUf73418GbPATA>>=============Invited speakers=============Jean-François Raskin (Université Libre de Bruxelles)S Akshay (IIT Bombay)And more to be announced.* *=============Organizers=============Anirban MajumdarSuman SadhukhanSanchari SilVaishnavi Vishwanath* *=============Participation=============* *Registration details: TBA soon. The detailed program will be available here <https://sites.google.com/view/wagsfsttcs2026/schedule_1> closer to the workshop.For any queries, contact the organizers: suman.sadhukhan00(a)gmail.com <suman.sadhukhan00(a)gmail.com>, majumdaranirban963(a)gmail.com <majumdaranirban963(a)gmail.com>, sanchari(a)cmi.ac.in <sanchari(a)cmi.ac.in>, vaishnaviv(a)cmi.ac.in <vaishnaviv(a)cmi.ac.in>Best regards,Suman, Sanchari, Vaishnavi, and Anirban*

1 0

Submission Deadline Extended till 25 Oct 2026: ANTIC & AAMLAD 2026 | Springer, SCOPUS Indexed | IIIT Lucknow, India
by Dr. Anshul Verma 19 Oct '26

19 Oct '26

*Submission Deadline Extended till 25 Oct 2026: ANTIC & AAMLAD 2026 | Springer, SCOPUS Indexed | IIIT Lucknow, India* Dear Professor / Researcher, The Department of Computer Science, Indian Institute of Information Technology (IIIT), Lucknow cordially invites your original research submissions for the 6th International Conference on Advanced Network Technologies and Intelligent Computing (ANTIC 2026) — entering its 6th edition. The conference is scheduled to take place in offline mode from 21–23 December 2026 at IIIT Lucknow, India (Online mode exclusively for foreign authors). All accepted and registered manuscripts will be published in Springer's Communications in Computer and Information Science (CCIS) series, indexed in DBLP, Google Scholar, EI-Compendex, SCImago, and Scopus. ---------------------------------------------------------------------- ANTIC 2026 SCOPE ---------------------------------------------------------------------- • Advanced Network Technologies: Blockchain, Cloud/Edge/Fog Computing, Distributed & High-Performance Computing, IoT, MANETs, Network Security, Social Networks, SDN, Wireless Sensor Networks. • Intelligent Computing: AI, Deep Learning, Evolutionary & Genetic Algorithms, Fuzzy Systems, Machine Learning, Neural Networks, Recommendation Systems, Soft Computing, Video/Speech/Text Processing. ---------------------------------------------------------------------- CO-LOCATED WORKSHOP: AAMLAD 2026 ---------------------------------------------------------------------- In conjunction with ANTIC 2026, we are hosting the 2nd International Workshop on Advancing AI and ML Across Disciplines: Use Cases and Emerging Applications (AAMLAD 2026). Scope: Cross-disciplinary AI/ML applications across healthcare, fintech, agriculture, cybersecurity, and climate science. Accepted papers will be published as open-access proceedings in Springer CCIS. • Topics: Generative AI, Explainable AI, Federated Learning, Edge AI, Ethical AI, NLP, Computer Vision, Reinforcement Learning, and AI for Robotics, Smart Cities, & Education. ---------------------------------------------------------------------- IMPORTANT DATES & REGISTRATION FEES ---------------------------------------------------------------------- +-----------------------------------------+--------------------+ | Milestone / Item | Details | +-----------------------------------------+--------------------+ | Manuscript Submission Deadline | *October 25, 2026* | | Acceptance Notification | November 20, 2026 | | Registration Fee Payment | November 30, 2026 | +-----------------------------------------+--------------------+ Registration Fees: • ANTIC 2026: Indian Authors: INR 10,000 | Foreign Authors: USD 250 • AAMLAD 2026 (Open Access): Indian Authors: INR 25,000 | Foreign Authors: USD 350 18% GST is applicable in addition to the registration fee. ---------------------------------------------------------------------- SUBMISSION GUIDELINES ---------------------------------------------------------------------- • Template: Springer LNCS format • Page Limits: Full papers (12–15 pages); Short papers (<12 pages; minimum 6 pages) For detailed submission procedures, please visit: • ANTIC 2026: https://antic.co.in/ • AAMLAD 2026: https://antic.co.in/workshop.html ---------------------------------------------------------------------- CALL FOR REVIEWERS ---------------------------------------------------------------------- Faculty, researchers, and industry experts holding or pursuing a Ph.D. are invited to serve on the reviewer panel. Official certificates will be awarded. Apply here: https://forms.gle/MA7WwwhEhcQMTBe1A ---------------------------------------------------------------------- CONTACT INFORMATION ---------------------------------------------------------------------- • Dr. Anshul Verma (General Chair) - Department of Computer Science, BHU, Varanasi • Dr. Rahul Kumar Verma (Convener) - Department of Computer Science, IIIT, Lucknow • Email: antic.bhu(a)gmail.com • Website: https://antic.co.in Please share this call for papers with your colleagues and research scholars.

1 0

PhD position: Type Systems for Concurrency (Groningen, The Netherlands).
by Jorge A. Pérez 15 Oct '26

15 Oct '26

[Apologies for cross-posting; please forward to any excellent students you might know.] # PhD position in Type Systems for Concurrency - Groningen, The Netherlands We invite applications for one fully-funded PhD position on type systems for concurrency, co-supervised by Jorge Pérez and Dan Frumin (Groningen) and Robbert Krebbers (Nijmegen). The successful candidate will explore the semantic foundations of type systems for message-passing concurrency (e.g., session types), employing techniques like logical relations and coalgebras, and establishing rigorous connections with frameworks like Iris [1] and program logics like Actris. Based at the University of Groningen, the successful candidate will benefit from, and contribute to, the research environment of "Cyclic Structures in Programs and Proofs", a 5-year consortium funded by the Dutch Research Council (NWO) [2]. The ideal candidate has proven research experience in one or more of the following: semantics of programming languages, concurrency theory, type systems, logics such as linear logic and separation logic, and proof assistants. Prior knowledge of session types and Rocq/Iris is not a prerequisite, but it would be an advantage. Applicants must have (or be close to completing) an MSc in Computer Science, Logic, Mathematics (or a related field) and possess strong communication skills (oral and written) in English. Please contact <j.a.perez(a)rug.nl> to submit your application, or if you have questions about the PhD position. Your application should include: (1) a motivation letter (max 2 pages), (2) your CV, (3) grade transcripts for your BSc/MSc degrees, and (4) two contacts for recommendation letters. Applications are reviewed on a rolling basis. To receive full consideration, submit your application by **Friday, October 30, at 23:59 AoE (Anywhere on Earth)**. The intended starting date is **February 2027** or shortly thereafter. [1] https://iris-project.org/ [2] https://cyclic-structures.nl/ -- Jorge A. Pérez Professor of Software Foundations Leader, Fundamental Computing group Bernoulli Institute for Maths, CS and AI University of Groningen, The Netherlands <https://www.jperez.nl> / <https://www.rug.nl/fse/fc>

1 0

VeLCro: Workshop on Verification, Logic, and Cryptography, 11 December 2026, CMI Chennai
by Aalok Thakkar 07 Oct '26

07 Oct '26

Dear All We are pleased to announce VeLCro (VErification, Logic, and CRyptOgraphy), a one-day workshop at the Chennai Mathematical Institute on Friday , 11 December 2026. VeLCrO brings together researchers and students working on formal verification, logic, cryptography, and other areas of computer science for a day of talks and discussion. Students and early-career researchers are especially welcome. Registration is free. To register to attend or give a talk, or to find out more, please visit the workshop page: https://aalok-thakkar.github.io/velcro/ Registration closes on October 30. Thank you B. Srivathsan (CMI) Léonard Brice (ISTA) Aalok Thakkar (Ashoka University) *Aalok Thakkar* *(* *આલોક ઠક્કર)* Assistant Professor, Department of Computer Science +91 98982 29865 | aalok-thakkar.github.io ( http://aalok-thakkar.github.io ) Meeting Link: cal.com/aalok/15min ( http://cal.com/aalok/15min ) Please note: this email may have been sent at a time that aligns with my schedule. Managing work and life responsibilities is unique to each person; kindly respond at a time that works best for you. Sent via Superhuman ( https://superhuman.com/refer/1a2nj18b?utm_medium=signature&utm_source=produ… ) -- *Confidentiality Notice:* This email and any attachments may contain confidential or privileged information. If you are not the intended recipient, please notify the sender by replying to this message, and then delete the email and any attachments permanently. Thank you.

1 0

Call for talks and videos: Workshop on Exposition, Exploration, and Depth 2026 (co-located with FSTTCS 2026)
by Nikhil Balaji 06 Oct '26

06 Oct '26

Dear colleagues, We are pleased to announce that the Workshop on Exposition, Exploration, and Depth 2026 will be held in IIT Delhi, New Delhi, India, on 19th and 20th December 2026. The workshop is co-located with the FSTTCS conference. The idea behind the workshop is to provide explanations and clarity around concepts in Theoretical Computer Science, which can be of interest to a wider audience, but somehow is understood well by a small number of researchers in a subfield. For more details, please visit the URL: https://vaishs.github.io/DepthTCS/index.html The workshop will feature invited talks from experts, contributed talks, and a video competition for students and postdocs. We invite the broader community to participate in the workshop, and welcome proposals for contributed talks and videos. We invite proposals for contributed talks and videos, the calls for the same are appended below. The information can also be found at the webpage mentioned above. **************** Call for contributed talks ***************** We invite proposals for contributed talks on any topic in Theoretical Computer Science. The purpose of these talks is to share a general result or idea that might not be very well known outside its particular subfield of Theoretical CS, but which contains aspects of general interest, and whose intuition can be presented in an accessible manner to a wider audience. The idea is to shed light on some not-very-well-known topics and ideas which might find application in areas outside of the ones where they are customary, rather than to explore deep technical details which would assume familiarity with the basic setup. People whose contributed talks are accepted are required to register for the workshop and present their work in person. There are three important rules to be followed. - The talk must not be about a result directly based on the speaker's own work. - A contributed talk is intended to last for no more than half an hour (25 + 5 for Q&A) and must be accompanied by a clear, expository write-up of at most six pages on the topic, in the LIPIcs format <https://www.dagstuhl.de/en/publishing/series/details/lipics#author>. - The talk and the write-up should exhibit the human understanding of the presenter about the topic, and hence AI should not be used for coming up with the topic or contents of the talk. Your submission should be a work that you could confidently explain, defend, and reproduce yourself. If AI produced a substantial part of your exposition, then it is not an eligible submission. This policy and our judgement criteria are in the spirit of 3Blue1Brown’s Summer of Math Exposition <https://some.3b1b.co/ai-policy>. The proposals will be judged according to the following criteria. - Motivation: It should be clear early on in the explainer why the topic matters and why someone should be excited to learn about it. - Clarity: Jargon should be clearly explained, and the goals of the talk should be easy to understand for a general audience, some of whom might be new to the topic. - Novelty: The idea need not be brand new, but the presentation should either bring a new perspective to a familiar topic, or shed light on an overlooked or obscure idea that deserves more attention. The deadline is 5th November, 2026, AoE. We look forward to receiving your submission! Submission link: https://forms.gle/5FWUQKDF1d9yDpfx8 ********************** Call for videos ********************* We are organizing a video competition for postdocs and students as a part of the workshop. The idea is to recognise and celebrate good expositions in video form and to encourage the community to consider video expositions as a way of spreading understanding. The expository video can draw from any topic or concept in Theoretical Computer Science, and should not be more than 20 minutes (there is no lower bound, though, and shorter videos conveying an idea clearly are more than welcome). We encourage making videos for a wider TCS audience on topics which are not very well-known outside an area. The following rules must be followed for an entry to be considered for the competition. - All the creators of the video must be an undergraduate, postgraduate, or PhD student, or a postdoctoral researcher, at the time of submission. - The video must not be created through AI video generators. The narration should be by one of the creators, reflecting their understanding about the topic of the video. We follow a similar judging criteria and the same AI policy as 3Blue1Brown’s Summer of Math Exposition <https://some.3b1b.co/ai-policy>. The videos will be judged according to the following criteria. - Motivation: It should be clear early on in the explainer why the topic matters and why someone should be excited to learn about it. - Clarity: Jargon should be clearly explained, and the goals of the talk should be easy to understand for a general audience, some of whom might be new to the topic - Novelty: The idea need not be brand new, but the presentation should either bring a new perspective to a familiar topic, or shed light on an overlooked or obscure idea that deserves more attention. - Memorability: Something should make the piece stick with the audience, even months later, whether that's the beauty of the presentation, the enthusiasm of the presenter, or a mind-blowing aha! moment. The deadline is 5th November, 2026, AoE. We look forward to receiving your submission! Submission link: https://forms.gle/27WU7zovHTCAqymq7 *********************************************************************************** For any queries, please contact the organizers. *Organizing Team* Nikhil Balaji (IIT Delhi) Syamantak Das (IIIT Delhi) Ashutosh Rai (IIT Delhi) Vaishnavi Sundararajan (IIT Delhi)

1 0

CFP - ISORC 2027
by Nitin Auluck 28 Sep '26

28 Sep '26

30th IEEE ISORC 2027 Call for Papers IIT Ropar, Punjab, India April 07-09. 2027. https://isorc-conference.org/ We are pleased to announce the 30th IEEE International Symposium on Real-Time Distributed Computing (IEEE ISORC 2027), to be held at the Indian Institute of Technology Ropar (IIT Ropar), Punjab, India, in March 2027. Exact conference dates will be announced soon. About IEEE ISORC IEEE ISORC was established in 1998 to advance research in real-time distributed computing. For nearly three decades, ISORC has provided an intimate forum for researchers and practitioners to address fundamental and emerging challenges in timing, predictability, determinism, and dependability in modern computing systems. Today, real-time constraints extend well beyond traditional embedded systems and play a central role in autonomous vehicles, edge AI, medical devices, industrial control systems, robotics, and next-generation communications infrastructure. IEEE ISORC 2027 welcomes high-quality research that places real-time constraints, timing analysis, determinism, dependability, or embedded-system concerns at the center of the contribution. AI/ML, IoT, distributed systems, and autonomous computing topics are welcome when they are grounded in explicit real-time, timing, predictability, or embedded-system requirements. IEEE ISORC 2027 marks the symposium’s 30th anniversary and its first edition in India, hosted by IIT Ropar. Consistent with the ISORC tradition, the technical program will maintain a single-track format, providing participants with opportunities to engage with the complete technical program, exchange ideas, and interact with researchers from the real-time and distributed computing community. Topics of Interest IEEE ISORC 2027 invites original research papers and practitioner contributions in all areas of real-time distributed computing, including, but not limited to: 1. Real-Time and Embedded System Architectures • Hardware/software co-design • Real-time operating systems and hypervisors • Time-predictable processors and memory systems • Microcontroller and SoC platforms • Multicore and heterogeneous embedded architectures 2. AI/ML on the Edge • TinyML scheduling and real-time inference • Neural network inference and WCET analysis • LLM inference on constrained hardware • Real-time-aware model compression • Edge AI hardware, including NPUs and GPUs • Deterministic and predictable AI/ML execution 3. Medical IoT and Healthcare Embedded Systems • Real-time sensor fusion in medical devices • Closed-loop control systems • Wearable and implantable systems • Real-time constraints in medical IoT • Real-time telemedicine • Timing requirements in safety-critical healthcare systems 4. Autonomous and Safety-Critical Systems • Autonomous vehicles and UAVs • Real-time perception and decision-making • Real-time robotics • Safety-critical software systems • ISO 26262 and DO-178C timing considerations • Predictable execution in autonomous systems 5. Real-Time Communications and Networking • 5G/6G Ultra-Reliable Low-Latency Communications (URLLC) • Time-Sensitive Networking (TSN) • Deterministic networking • V2X and C-V2X communications • Real-time communication protocols • Quality-of-Service and latency guarantees 6. Distributed Real-Time Computing Infrastructures • Real-time cloud, edge, and fog computing • Real-time containerization and orchestration • Distributed real-time middleware • Digital twins and real-time data pipelines • Real-time resource allocation across distributed infrastructures 7. Scheduling, Resource Management, and Timing Analysis • Static and dynamic scheduling • Worst-Case Execution Time (WCET) analysis • Mixed-criticality systems • Real-time task models • Energy-aware real-time scheduling • Timing predictability and analysis • Resource management for heterogeneous systems 8. Dependability, Fault Tolerance, and Resilience • Fault detection and recovery in real-time systems • Redundancy and failover mechanisms • Formal verification • Real-time DevOps and CI/CD • Cybersecurity for real-time embedded systems • Resilient distributed real-time systems 9. Real-Time AI Certification and Formal Verification • Timing verification of ML components • Formal methods for neural network safety • Verification of AI-enabled real-time systems • Certification workflows for real-time AI • Safety assurance for AI in critical systems 10. Sustainable and Green Real-Time Computing • Energy-aware real-time scheduling • Dynamic Voltage and Frequency Scaling (DVFS) • Power-constrained embedded systems • Energy-efficient real-time architectures • Carbon-aware real-time infrastructure • Sustainable edge and embedded computing 11. Industry 4.0, Smart Manufacturing, and Cyber-Physical Systems • Real-time industrial control • Cyber-physical systems • Industrial IoT • Real-time SCADA systems • Digital factories • Smart manufacturing systems 12. Operating Systems, Middleware, and System Software • Real-time kernels and operating systems • Linux RT, Zephyr, and FreeRTOS • Real-time operating systems for multicore platforms • DDS and ROS 2 • Distributed real-time middleware • Real-time hypervisors 13. Real-Time Analytics and Stream Processing • Complex event processing • Real-time time-series analysis • Online machine learning with latency constraints • Real-time stream processing • Stream correlation and event detection • Low-latency distributed analytics 14. Case Studies and Industrial Applications • Real-world deployment studies • Industrial experiences • Real-time system implementations • Application and tool development • Empirical evaluations of real-time distributed systems Paper Submission All full-length papers should be prepared using the standard IEEE double-column conference format. Submissions will undergo peer review and will be evaluated based on factors including originality, technical quality, significance, methodological rigor, clarity of presentation, and relevance to the scope of IEEE ISORC. Submission details and the online submission system will be announced on the conference website. Important Dates Call for Papers Released: September 16 2026 Paper Submission Deadline:15 October 2026 Acceptance Notification: December 1, 2026 Author Registration Deadline: January 2027 Camera-Ready Papers Due: January 2027 Conference Dates: April 07-09. 2027, IIT Ropar, India Venue and Format IEEE ISORC 2027 will be held at the Indian Institute of Technology Ropar (IIT Ropar), Punjab, India, marking the symposium’s first edition in India. In keeping with the ISORC tradition, the technical program will follow a single-track format, allowing participants to attend the complete technical program. The symposium will also include dedicated opportunities for networking and cultural engagement reflecting the host region. For further information, please visit: https://isorc-conference.org/ We look forward to welcoming researchers, practitioners, and students to IIT Ropar for IEEE ISORC 2027. -- ---- Dr. Nitin Auluck / डॉ. नितिन औलक Professor / प्राध्यापक Room #114, S. Ramanujan Block / कमरा #११४, एस. रामानुजन ब्लॉक Department of Computer Science & Engineering / कंप्यूटर विज्ञान और अभियांत्रिकी विभाग Indian Institute of Technology Ropar / भारतीय प्रौद्योगिकी संस्थान रोपड़ Rupnagar, Punjab, India, 140001 / रूपनगर, पंजाब, भारत, १४०००१ nitin(a)iitrpr.ac.in | https://sites.google.com/iitrpr.ac.in/nauluck/home | LinkedIn: www.linkedin.com/in/nitin-auluck | Twitter: @auluck_nitin -- **CONFIDENTIALITY NOTICE: The contents of this email message and any attachments are intended solely for the addressee(s) and may contain confidential and/or privileged information and may be legally protected from disclosure. If you are not the intended recipient of this message or their agent, or if this message has been addressed to you in error, please immediately alert the sender by reply email and then delete this message and any attachments. If you are not the intended recipient, you are hereby notified that any use, dissemination, copying, or storage of this message or its attachments is strictly prohibited.* *

1 0

RHPL@FSTTCS 2026: Deadline Extension and Student Awards | New Deadline: Oct 4, 2026 IST (firm)
by Abhisekh Sankaran 27 Sep '26

27 Sep '26

TCS Confidential Dear Colleague, This is to announce that the submission deadline for RHPL 2026 has been extended. The new submission deadline is ** Oct 4, 2026 IST **. The extended deadline is firm. We are also pleased to announce that the Student Poster Competition at RHPL 2026 will feature awards for top student posters. We gratefully acknowledge TCS Research for sponsoring the awards. Please find below the important links for the workshop. - Submission form: https://forms.fillout.com/t/7ePHh773f2us - Submission page: https://fmindia.cmi.ac.in/rhpl2026/submit_proposal - Official website: https://fmindia.cmi.ac.in/rhpl2026/ The previous edition of the workshop can be found at: https://fmindia.cmi.ac.in/rhpl2025. For any queries, feel free to write to us at the email addresses below. - pankaj.kumar.kalita(a)ibm.com - abhisekh.sankaran(a)tcs.com We look forward to receiving your submissions. On behalf of the RHPL@FSTTCS workshop organizing committee: Pankaj Kumar Kalita (IBM Software Innovation Lab) (co-Chair) Abhisekh Sankaran (TCS Research) (co-Chair) Deepak D'Souza (IISc Bangalore) Uday Khedker (IIT Bombay) Kumar Madhukar (IIT Delhi) Kartik Nagar (IIT Madras) Ganesan Ramalingam (Microsoft) Abhik Roychoudhury (National University of Singapore) Divyesh Unadkat (Synopsys) =====-----=====-----===== Notice: The information contained in this e-mail message and/or attachments to it may contain confidential or privileged information. If you are not the intended recipient, any dissemination, use, review, distribution, printing or copying of the information contained in this e-mail message and/or attachments to it are strictly prohibited. If you have received this communication in error, please notify us by reply e-mail or telephone and immediately and permanently delete the message and any attachments. Thank you

1 0

Call for Papers: TWEB Special Issue on the Agentic Web
by Yacine Sam 24 Sep '26

24 Sep '26

[Apologies for multiple postings] [ https://maestro.acm.org/trk/click?ref=z16l2snue3_2-32027_0_0x332a2ax029886 | ACM Digital Library ] [ https://maestro.acm.org/trk/click?ref=z16l2snue3_2-32027_0_0x33ae5dx029886 ] CALL FOR PAPERS ACM Transactions on the Web Special Issue on the Agentic Web Guest Editors [ https://maestro.acm.org/trk/click?ref=z16l2snue3_2-32027_0_0x348099x029886 | Boualem Benatallah ] , Dublin City University, Ireland [ https://maestro.acm.org/trk/click?ref=z16l2snue3_2-32027_0_0x34809ax029886 | Pradyumna Chari ] , Massachusetts Institute of Technology, MA, USA [ https://maestro.acm.org/trk/click?ref=z16l2snue3_2-32027_0_0x34809bx029886 | Ramesh Raskar ] , Massachusetts Institute of Technology, MA, USA [ https://maestro.acm.org/trk/click?ref=z16l2snue3_2-32027_0_0x34809cx029886 | Yacine Sam ] , University of Tours, France This special issue explores the emerging foundations, architectures, protocols, evaluation methodologies, and broader social, economic, regulatory, and sustainability implications of the Agentic Web, where billions of AI agents can discover, communicate, and coordinate across open Web environments. It aims to bring together researchers and practitioners to advance the understanding, governance, and deployment of the agentic Web. [ https://maestro.acm.org/trk/click?ref=z16l2snue3_2-32027_0_0x34809dx029886 | Click here for the full Call for Papers and submission instructions. ] Important Dates Submissions deadline: September 30, 2026 First-round review decisions: November 30, 2026 Deadline for revision submissions: December 31, 2026 Notification of final decisions: February 28, 2027 Tentative publication: Spring 2027 For questions and further information, please contact Yacine Sam ( [ https://maestro.acm.org/trk/click?ref=z16l2snue3_2-32027_0_0x34809ex029886 | yacine.sam(a)univ-tours.fr ] ). As of January 1, 2026, ACM has become a fully [ https://maestro.acm.org/trk/click?ref=z16l2snue3_2-32027_0_0x3454d0x029886 | Open Access ] Publisher. Open Access will enable ACM authors to gain a competitive edge in visibility, impact, and global reach. Please visit the TWEB Open Access [ https://maestro.acm.org/trk/click?ref=z16l2snue3_2-32027_0_0x34809fx029886 | page ] for information on the transition plan including APC rates, waivers and discounts. [ https://maestro.acm.org/trk/click?ref=z16l2snue3_2-32027_0_0x3454e0x029886 | Sign up for TWEB TOC alerts. ] [ https://maestro.acm.org/trk/click?ref=z16l2snue3_2-32027_0_0x3454e1x029886 | https://tweb.acm.org ] [ https://maestro.acm.org/trk/click?ref=z16l2snue3_2-32027_0_0x343866x029886 | Become an ACM Certified Reviewer. ] You are subscribed with: yacine.sam(a)univ-tours.fr [ https://optout.acm.org/unsubscribe.cfm?re=yacine.sam@univ-tours.fr&rl=CFP | Unsubscribe ] The call-for-papers(a)hq.acm.org email address is not monitored. Please do not reply to it directly. Association for Computing Machinery 1601 Broadway, 10th Floor, New York, NY 10019 [ https://maestro.acm.org/trk/click?ref=z16l2snue3_2-32027_0_0x3477cfx029886 ] Connect with us: [ https://www.linkedin.com/showcase/acmdl/ ] [ https://bsky.app/profile/acm.org ] [ https://substack.com/@theofficialacm? ] [ https://www.acm.org/binaries/content/gallery/images-mail/wechat-qr-code.png ] -- Yacine Sam Associate-Professor Computer Science Lab., DI, Faculté S&T Tours University, France Bâtiment L, Bureau L 3170, 3ème Étage Parc de Grandmont - 37200 TOURS +33(0)2 47 36 70 17 yacine.sam(a)univ-tours.fr

1 5

STACS 2027 - Second Call for Papers
by C Aiswarya 24 Sep '26

24 Sep '26

The 44th International Symposium on Theoretical Aspects of Computer Science STACS 2027 is planned to take place from March 8th to March 12th in Göttingen, Germany Webpage:https://stacs2027.uni-goettingen.de/ ======================================================================== STACS 2027 will consist of two tracks, A and B. Track A (PC chairs: Paweł Gawrychowski, Meirav Zehavi) focuses on algorithms, data structures, and complexity, while track B (PC Chairs: Laurent Bienvenu, Florin Manea) focuses on automata, logic, semantics, and theory of programming. The complete list of the PC can be seen here:https://events.gwdg.de/event/1460/page/472-program-committees Invited Speakers: ======================== Confirmed Keynote Speakers: Mikołaj Bojańczyk Jesper Nederlof (one more speaker to be confirmed) Tutorial speaker: Inge Li Gørtz Submissions: ======================== For all details (including instructions regarding AI usage), see the webpagehttps://events.gwdg.de/event/1460/page/476-submissions. Quick overview: Authors are invited to submit papers presenting original and unpublished research on theoretical aspects of computer science. Topics covered by the tracks include, but are not limited to, the following: Track A. Algorithms, Data Structures, and Complexity Design of algorithms Approximation algorithms Online algorithms Distributed/parallel algorithms Parameterized algorithms Randomized algorithms Analysis of algorithms Combinatorics of data structures Computational geometry Cryptography Algorithms for machine learning Algorithmic game theory Quantum algorithms Computational and structural complexity theory Parameterized complexity Randomness in computation Track B. Automata, Logic, Semantics and Theory of Programming Automata theory Games and multi-agent systems Algebraic and categorical methods Models of computation Concurrency Timed systems Finite model theory Database theory Semantics Type systems Program analysis Specification and verification Rewriting and deduction Learning theory Logical aspects of computability and complexity Important Dates: ======================== Submission deadline: 11 October 2026, 23:59 AoE Rebuttal: 30 November - 2 December 2026 Notification: 22 December 2026 Conference: 8 - 12 March 2027 Format of submissions: ======================== Submissions should be made through EasyChair athttps://easychair.org/conferences/?conf=stacs2027 Authors are invited to submit an extended abstract or a full paper with at most 15 pages; this page limit excludes the title page, the references section, and a possible appendix. In preparing submissions, the usage of the LIPIcs style file is mandatory; no changes to font size, page geometry, etc. are permitted. Please refer to LIPIcs author instructions. Submissions submitted after the deadline will not be considered, and submissions not adhering to the expected format risk rejection without consideration of the content. Submissions should be made to appropriate tracks. The PCs reserve the right to reassign a paper to a different track, if deemed necessary. The extended abstract should contain a succinct statement of the considered issues and of their motivation, a summary of the main results, and a brief explanation of their significance, accessible to non-specialist readers. This should be followed by a rigorous derivation of the claimed results. Proofs omitted due to space constraints should be put into an appendix. It is allowed and encouraged to provide the anonymized full version of the paper as the appendix. Simultaneous submission to other conferences with published proceedings or to journals is not allowed. PC members are allowed to submit their works as well, except for PC chairs. Double-blind reviewing: ======================== As in the previous years, STACS 2027 will employ a lightweight double-blind reviewing process: submissions should not reveal the identity of the authors in any way. Nothing should be done in the name of anonymity that weakens the submission or makes the job of reviewing the paper more difficult. In particular, important references should not be omitted or anonymized. In addition, authors should feel free to disseminate their ideas or draft versions of their paper as they normally would. For example, authors may post drafts of their papers on the web, submit them to arXiv, and give talks on their research ideas. Rebuttal: ======================== There will be a rebuttal period for authors. Authors will receive the reviews of their submissions and have a few days to prepare and submit rebuttals. These rebuttals become part of the PC discussions, but entail no specific responses. Rebuttals will be handled through EasyChair. Conference: ======================== At least one author of each accepted paper is expected to register at the conference. For authors who cannot present their paper in person, a possibility for remote presentation will be offered.

1 0

Submission Open: 6th ANTIC 2026 & AAMLAD Workshop | Springer CCIS | IIIT Lucknow, India
by Dr. Anshul Verma 17 Sep '26

17 Sep '26

Dear Professor / Researcher, The Department of Computer Science, Indian Institute of Information Technology (IIIT), Lucknow cordially invites your original research submissions for the 6th International Conference on Advanced Network Technologies and Intelligent Computing (ANTIC 2026) — entering its 6th edition. The conference is scheduled to take place in offline mode from 21–23 December 2026 at IIIT Lucknow, India (Online mode exclusively for foreign authors). All accepted and registered manuscripts will be published in Springer's Communications in Computer and Information Science (CCIS) series, indexed in DBLP, Google Scholar, EI-Compendex, SCImago, and Scopus. ---------------------------------------------------------------------- ANTIC 2026 SCOPE ---------------------------------------------------------------------- • Advanced Network Technologies: Blockchain, Cloud/Edge/Fog Computing, Distributed & High-Performance Computing, IoT, MANETs, Network Security, Social Networks, SDN, Wireless Sensor Networks, Formal Modelling & Verification. • Intelligent Computing: AI, Deep Learning, Evolutionary & Genetic Algorithms, Fuzzy Systems, Machine Learning, Neural Networks, Recommendation Systems, Soft Computing, Video/Speech/Text Processing. ---------------------------------------------------------------------- CO-LOCATED WORKSHOP: AAMLAD 2026 ---------------------------------------------------------------------- In conjunction with ANTIC 2026, we are hosting the 2nd International Workshop on Advancing AI and ML Across Disciplines: Use Cases and Emerging Applications (AAMLAD 2026). Scope: Cross-disciplinary AI/ML applications across healthcare, fintech, agriculture, cybersecurity, and climate science. Accepted papers will be published as open-access proceedings in Springer CCIS. • Topics: Generative AI, Explainable AI, Federated Learning, Edge AI, Ethical AI, NLP, Computer Vision, Reinforcement Learning, and AI for Robotics, Smart Cities, Formal Modelling & Verification. ---------------------------------------------------------------------- IMPORTANT DATES & REGISTRATION FEES ---------------------------------------------------------------------- +-----------------------------------------+--------------------+ | Milestone / Item | Details | +-----------------------------------------+--------------------+ | Manuscript Submission Deadline | October 15, 2026 | | Acceptance Notification | November 20, 2026 | | Registration Fee Payment | November 30, 2026 | +-----------------------------------------+--------------------+ Registration Fees: • ANTIC 2026: Indian Authors: INR 10,000 | Foreign Authors: USD 250 • AAMLAD 2026 (Open Access): Indian Authors: INR 25,000 | Foreign Authors: USD 350 ---------------------------------------------------------------------- SUBMISSION GUIDELINES ---------------------------------------------------------------------- • Template: Springer LNCS format • Page Limits: Full papers (12–15 pages); Short papers (<12 pages; minimum 6 pages) For detailed submission procedures, please visit: • ANTIC 2026: https://antic.co.in/ • AAMLAD 2026: https://antic.co.in/workshop.html ---------------------------------------------------------------------- CALL FOR REVIEWERS ---------------------------------------------------------------------- Faculty, researchers, and industry experts holding or pursuing a Ph.D. are invited to serve on the reviewer panel. Official certificates will be awarded. Apply here: https://forms.gle/MA7WwwhEhcQMTBe1A ---------------------------------------------------------------------- CONTACT INFORMATION ---------------------------------------------------------------------- • Dr. Anshul Verma (General Chair) - Department of Computer Science, BHU, Varanasi • Dr. Rahul Kumar Verma (Convener) - Department of Computer Science, IIIT, Lucknow • Email: antic.bhu(a)gmail.com • Website: https://antic.co.in Please share this call for papers with your colleagues and research scholars.

1 0