- FMIndia - example.com

ICLA 2025: Call for Participation

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 11, 2025 AoE Register now!: https://logicindia.org/icla/icla2025/#registration ============================================================= ====================== About the conference ====================== The Indian Conference on Logic and its Applications (ICLA) is the primary conference of the Association for Logic in India (ALI [1]). It is a forum for bringing together researchers from a variety of fields in which formal logic plays a significant and often foundational role: Mathematics, Computer Science, Philosophy, Linguistics and Cognitive Science. A special feature of ICLA is the inclusion of studies in systems of logic in the Indian tradition, as well as historical research on logic. More about the conference and its earlier editions can be found at the ALI website [2]. [1] https://logicindia.org/ [2] https://logicindia.org/icla The upcoming ICLA 2025 is the 11th edition of the conference and will take place at the Indian Statistical Institute (ISI) Kolkata [3] during February 3 - 5, 2025. There will be co-located tutorials/workshops prior to the conference during Feb 1 - 2, 2025. [3] https://www.isical.ac.in/ —------------------------- ICLA 2025 features —------------------------- * Best paper and best student paper awards; * Two kinds of contributed papers: - Extended abstracts for inclusion in the conference proceedings that will be published in the FoLLI-LNCS series of Springer [4]. The review process for these abstracts involved a rebuttal phase; - Short abstracts only for presentation in the conference; * Invitation to selected accepted papers of the conference for submission to a special issue of a journal (to be announced in due course); * ALI will co-organize with Jadavpur University, the Asian Workshop on Philosophical Logic (AWPL) which will take place for the first time in India in Kolkata following ICLA 2025. [4] https://www.springer.com/gp/computer-science/lncs/societies-and-lncs/folli-… =================== Invited Speakers =================== Distinguished lecture - Anil Nerode (Cornell University, USA) Keynote talks - Su Gao (Nankai University, China) - Janos Makowsky (Technion, Israel) - Sophie Pinchinat (University of Rennes, France) - Nicholas Ramsey (University of Notre Dame, USA) =================== Committee Chairs =================== Program Committee Chairs: - C Aiswarya (Chennai Mathematical Institute, India) - Prabal Kumar Sen (University of Calcutta, India) - Shashi Mohan Srivastava (IACS Kolkata and RKMVERI Belur, India) Organizing Committee Chairs: - Sourav Chakraborty (Indian Statistical Institute Kolkata, India) - Sujata Ghosh (Indian Statistical Institute Chennai, India) ===================== Co-located Events ===================== ---------------------------------------------------------- Pre-conference: Tutorials/Workshops of ICLA 2025 ---------------------------------------------------------- Venue for all the pre-conference events: ISI Kolkata + Tutorial on First Order Modal Logic (FOML) - Organizers: R Ramanujam (Azim Premji University, India) Yanjing Wang (Peking University, China) - Speakers: Eugenio Orlandelli (University of Bologna, Italy) Anantha Padmanabha (IIT Madras, India) Yanjing Wang (Peking University, China) Reihane Zoghifard (IPM Teheran, Iran) - Dates: Feb 2, 2025 (full day) + Workshop on the Mīmāṃsā system of logical interpretation of imperatives - Organizers: Manidipa Sanyal (University of Calcutta, India) Bama Srinivasan (Anna University, India) - Speakers: Prabal Kumar Sen (University of Calcutta, India) Ranjani Parthasarathi (Anna University, India) Bama Srinivasan (Anna University, India) - Dates: Feb 1, 2025 (half day) + Workshop on Recent Developments in Arithmetic Theories and Applications - Organizers: Khushraj Madnani (MPI-SWS Kaiserslautern, Germany) - Speakers: Alessio Mansutti (IMDEA Software Institute, Spain) Mikhail Starchak (St. Petersburg University, Russia) Chris Köcher (MPI-SWS Kaiserslautern, Germany) (More speaker confirmations are awaited.) - Dates: Feb 1, 2025 (half day) ----------------------------------- Post-conference: AWPL 2025 ----------------------------------- - Dates: Feb 6 - 8, 2025 - Venue: Jadavpur University (JU) Kolkata [5] - Website: https://sites.google.com/view/awpl2025/ - Registration: https://sites.google.com/view/awpl2025/registration [5] https://jadavpuruniversity.in/ =================== Accepted papers =================== The list of accepted papers (extended and short abstracts) of ICLA 2025 can be found at: https://logicindia.org/icla/icla2025/#accepted-papers. ========= Awards ========= The following awards will be given to selected accepted papers during the conference. - Best paper award - Best student paper award ============== Registration ============== The registration for the conference and the co-located pre-conference events, is open. - Early bird registration deadline: Jan 11, 2025 AoE - Registration link: https://logicindia.org/icla/icla2025/#registration For more information, please visit https://logicindia.org/icla/icla2025. We look forward to seeing you in Kolkata! Best regards, ICLA 2025 Organizers

1 week, 2 days

1
0
0 0

AWPL 2025: Call for Participation

by abhisekh.sankaran＠tcs.com

===================================================== 7th Asian Workshop on Philosophical Logic 6-8 February, 2025 Department of Philosophy, Jadavpur University, Kolkata, India https://sites.google.com/view/awpl2025/ ===================================================== [CALL FOR PARTICIPATION: REGISTRATION IS NOW OPEN] https://sites.google.com/view/awpl2025/registration DEADLINE FOR EARLY REGISTRATION: December 31, 2024 (AoE) DEADLINE FOR LATE REGISTRATION: January 20, 2025 (AoE) The 7th Asian Workshop on Philosophical Logic will be held on 6-8 February 2025 at the Department of Philosophy, Jadavpur University, Kolkata, India. Association for Logic in India (ALI [1]) will be a co-organizer for this workshop. The Asian Workshop on Philosophical Logic (AWPL [2]) is a series of events initiated by a group of Asian logicians. Its first instalment took place at JAIST in Japan in 2012. The workshop's primary goal is to promote awareness, understanding, and collaboration among researchers in philosophical logic and related fields. It emphasises the interaction between philosophical ideas and formal theories. AWPL 2025 will happen just after ICLA 2025 [3], which would be held at Indian Statistical Institute, Kolkata, India, during February 3-5, 2025. [1] https://logicindia.org/ [2] http://awpl.org/Workshops.html [3] https://logicindia.org/icla/icla2025 [INVITED SPEAKERS] Bahareh Afshari (University of Gothenburg) Andreas Herzig (IRIT Toulouse) Fenrong Liu (Tsinghua University) Katsuhiko Sano (Hokkaido University) We will also have a distinguished lecture by: Johan van Benthem (Amsterdam, Stanford and Tsinghua) [ACCEPTED PAPERS] https://sites.google.com/view/awpl2025/accepted-papers [STEERING COMMITTEE] Phan Minh Dung (Asian Institute of Technology, Bangkok) Hu Liu (Sun Yat-sen University, Guangzhou) Beishui Liao (Zhejiang University, Hangzhou) Fenrong Liu (Tsinghua University, Beijing) Hiroakira Ono (Japan Advanced Institute of Science and Technology, Ishikawa) R. Ramanujam (Azim Premji University, Bengaluru) Hsing-chien Tsai (National Chung Cheng University, Chiayi) [PROGRAM COMMITTEE] Rupa Bandyopadhyay (Jadavpur University) Mihir Chakraborty (Jadavpur University) Amita Chatterjee (Jadavpur University) Madhumita Chattopadhyay (Jadavpur University) Sujata Ghosh (Indian Statistical Institute) (Co-Chair) Purbita Jana (Madras School of Economics) Kohei Kishida (University of Illinois, Urbana-Champaign) Serafina Lapenta (University of Salerno) Dazhu Li (University of Chinese Academy of Sciences) Yanjun Li (Nankai University) Fei Liang (Shandong University) Abhishek Anant Nowbagh (Jadavpur University) (Co-Chair) Hitoshi Omori (Tohoku University) R.Ramanujam (Azim Premji University) Abhisekh Sankaran (Tata Consultancy Services Research) Manidipa Sanyal (University of Calcutta) Chenwei Shi (Tsinghua University) Sonja Smets (University of Amsterdam) Shawn Standefer (National Taiwan University) Sourav Tarafder (St. Xavier's College) Yanjing Wang (Peking University) Yì Nicholas Wáng (Sun Yat-sen University) Tomoyuki Yamada (Hokkaido University) Fan Yang (Utrecht University) [LOCAL ORGANIZING COMMITTEE] Gopinath Mondal (Jadavpur University, Kolkata) Samar Kumar Mondal (Jadavpur University, Kolkata) Tamoghna Sarkar (Jadavpur University, Kolkata) Sunirmal Das (Jadavpur University, Kolkata) [CONTACT] awpl2025ju(a)gmail.com

1 week, 2 days

1
0
0 0

Senior Project Associate/Postdoc Position - Model Checking & Formal Verification (Arpit Sharma)

by Arpit Sharma

Dear All, Hope this email finds you well. I am happy to share that a senior project associate/postdoc position is available in my research group at IISER Bhopal in the area of model checking and formal verification. This position is funded by the DST-SERB Core Research Grant project titled: GALTOSM: A Graph and Logic Transformation Based Toolkit for Software Model Checking. I would request you to please share this information with your PhD/Postdoc students, and colleagues in academia. Candidates with a master's or bachelor's degree and 4 years of relevant research/industry experience will also be considered for this position. Interested candidates are encouraged to directly contact me at : arpit(a)iiserb.ac.in The details of this position are as follows: Duration: 2.2 years. Salary: INR 42,000 + HRA (as applicable) per month. Essential Qualifications: Doctoral Degree in Computer Science/Computer Engineering from a recognized University or equivalent (preferably in model checking/software verification/formal methods/process algebra/model-based testing). OR 1. Master of science degree in computer science or Master of Science in mathematics or Bachelor of Engineering/Technology degree in computer engineering/computer science from a recognized University/Institute and having minimum 60% marks or CGPA of 7.5 and above at a scale of 10. 2. Four years' experience in Research and Development in theoretical computer science (preferably in formal methods/model checking) in Industrial and Academic Institutions or Science and Technology Organisations and Scientific activities and services Desirable: 1. Strong background in logic, formal methods/model checking. 2. Some prior experience in design and implementation of software tools for mathematical analysis of software systems. Age limit: Candidates should be below 40 years of age on the last date of application. Start Date: January 2025 Thanks. Regards, Arpit Arpit Sharma Associate Professor Department of Electrical Engineering & Computer Science Indian Institute of Science Education and Research, Bhopal Bhopal - 462066, Madhya Pradesh, India Homepage : https://sites.google.com/iiserb.ac.in/arpit-sharma/

2 weeks, 1 day

1
0
0 0

Lead Software Engineer position in Jasper/Cadence

by Ravi Prakash

Hi, We have an open position in industry leading formal product Jasper from Cadence. The position is in Bangalore and we are interested in recently completed PhDs in formal domain. Looking for people who are passionate about formal/coding and making an impact with their knowledge in Jasper. Please write to me directly at ravipr(a)gmail.com or ravipr(a)cadence.com for further details. Thanks Ravi

3 weeks, 3 days

1
0
0 0

ICISS 2024 - Call for Participation

by Madhavan Mukund

----- Forwarded message from Preetam Mukherjee <preetam.mukherjee(a)duk.ac.in> ----- From: Preetam Mukherjee <preetam.mukherjee(a)duk.ac.in> Date: Tue, 26 Nov 2024 23:32:25 +0530 Subject: ICISS 2024 - Call for Participation ============================ Dear Researcher, We warmly invite you to participate in ICISS 2024. By attending the conference you will not only be able to meet the authors and keynote speakers at the conference but also have access to four pre-conference events. If you are a full-time doctoral student, you may avail travel support available through the generous support of our sponsors. ICISS 2024 is hosted by LNMIIT Jaipur between December 16 and 19, 2024. Complete program is available here: https://iciss.isrdc.in/program/ By participating in ICISS 2024, apart from the technical sessions, you will have opportunity to hear the following Keynote & Invited talks: *Scams in the Cryptocurrency Market* *Alessandro Mei, Sapienza University of Rome**Security Tai Chi: The Art of Building and Attacking Secure Computing Systems* *Ahmad-Reza Sadeghi, TU Darmstadt**Data Security and Privacy in Emerging Scenarios* *Pierangela Samarati, University of Milan**Biometrics and AI: Challenges and Opportunities* *Vincenzo Piuri, University of Milan**From Security to Scalability: The Multifaceted Role of Cryptographic Primitives in XRPL R&D* *Aanchal Malhotra, Ripple**Modeling and Security Analysis of Attacks on Machine Learning Systems* *Anoop Singhal, NIST**Large language models: are guarded models safe?* *Atul Prakash, University of Michigan**Towards Regulated, Private and Robust Central Bank Digital Currency (CBDC)* *Kari Kostiainen, ETH Zurich* https://iciss.isrdc.in/keynotes/ You can also attend the following pre-conference Tutorials & Workshop: Tutorial 1: Deep Learning for Cybersecurity Tutorial 2: Android Security Tutorial 3: Malware Hunt-Demystifying the Invisible Threats A Workshop on Post-Quantum Cryptography https://iciss.isrdc.in/tutorials-workshops/ Conference website: https://iciss.isrdc.in Registration process: https://iciss.isrdc.in/fees-payment/ Best regards, -- Dr. Preetam Mukherjee Assistant Professor School of Computer Science & Engineering Kerala University of Digital Sciences, Innovation and Technology Thiruvananthapuram, Kerala, India https://duk.ac.in/personnel/dr-preetam-mukherjee/ <https://duk.ac.in/> ----- End forwarded message -----

3 weeks, 4 days

1
0
0 0

Senior Project Associate/Postdoc Position - Model Checking and Formal Verification

by Arpit Sharma

Dear All, Hope this email finds you well. I am happy to share that a senior project associate/postdoc position is available in my research group at IISER Bhopal in the area of model checking and formal verification. This position is funded by the DST-SERB Core Research Grant project titled GALTOSM: A Graph and Logic Transformation Based Toolkit for Software Model Checking. I would request you to please share this information with your PhD/Postdoc students, and colleagues in academia. Candidates with a master's or bachelor's degree and 4 years of relevant research/industry experience will also be considered for this position. Interested candidates are encouraged to directly contact me at : arpit(a)iiserb.ac.in The details of this position are as follows: Duration: 2.2 years. Salary: INR 42,000 + HRA (as applicable) per month. Essential Qualifications: Doctoral Degree in Computer Science/Computer Engineering from a recognized University or equivalent (preferably in model checking/software verification/formal methods/process algebra/model-based testing). OR 1. Master of science degree in computer science or Master of Science in mathematics or Bachelor of Engineering/Technology degree in computer engineering/computer science from a recognized University/Institute and having minimum 60% marks or CGPA of 7.5 and above at a scale of 10. 2. Four years' experience in Research and Development in theoretical computer science (preferably in formal methods/model checking) in Industrial and Academic Institutions or Science and Technology Organisations and Scientific activities and services Desirable: 1. Candidates should have a strong background in logic, formal methods/model checking. 2. Candidates should have some prior experience in design and implementation of software tools for mathematical analysis of software systems. Age limit: Candidates should be below 40 years of age on the last date of application. Start Date: December 2024 or January 2025 Thanks. Regards, Arpit Arpit Sharma Associate Professor Department of Electrical Engineering & Computer Science Indian Institute of Science Education and Research, Bhopal Bhopal - 462066, Madhya Pradesh, India Homepage : https://sites.google.com/iiserb.ac.in/arpit-sharma/

3 weeks, 5 days

1
0
0 0

Petri Nets 2025 - Call for Papers

by Étienne André

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

4 weeks, 1 day

1
0
0 0

Call for Participation: FSTTCS 2024 and allied workshops

by Shibashis Guha

*Apologies for cross-posting* Call for Participation: FSTTCS 2024 and allied workshops ========================================== QUICK LINKS: Website: https://www.fsttcs.org.in/2024/ Local website: https://fsttcs.info/ Registration: https://fsttcs.info/registration/ Early-bird registration deadline: 24th November, AoE Volunteer Program: https://fsttcs.info/volunteers/ Deadline to apply: 20th November, AoE Social Events: https://fsttcs.info/social/ Virtual Participation: https://fsttcs.info/online/ ========================================== WORKSHOPS: MM: Milestones and Motifs in the Theory of Proofs, Algebraic Computation, and Lower Bounds Dates: December 14 – 15, 2024 https://mmcomplexity.github.io/ RHPL: Research Highlights in Programming Languages Dates: December 16 – 18, 2024 https://fmindia.cmi.ac.in/rhpl2024/ WAGS: Workshop on Automata and Games for Synthesis Dates: December 19, 2024 https://sites.google.com/view/fsttcs2024bworkshop AMD: Workshop on Algorithmic Mechanism Design Dates: December 19 – 20, 2024 http://www.tcs.tifr.res.in/~amd-24 ========================================== FSTTCS 2024 is the 44th conference on Foundations of Software Technology and Theoretical Computer Science. It is organised by IARCS, the Indian Association for Research in Computing Science, in association with ACM India. It is a forum for presenting original results in foundational aspects of Computer Science and Software Technology. Within Track B, there is a focus on soliciting submissions in the areas of Programming Languages and Practical Verification, in addition to theoretical results. FSTTCS 2024 will be held in IIT Gandhinagar during December 16–18, 2024. The conference is being organized as an in-person event. We also have several exciting workshops lined up! You can register for the conference and any subset of the workshops, or just for one or more of the workshops. We are also on a social media network near you. Please follow us to keep up with updates: https://mathstodon.xyz/@fsttcs https://bsky.app/profile/fsttcs.bsky.social https://x.com/fsttcs https://instagram.com/fst.tcs We look forward to welcoming you at IIT Gandhinagar this December!

1 month

1
0
0 0

Call for ECOOP 2025 Workshop Proposals

by Clément Aubert

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % CALL FOR WORKSHOPS % ECOOP'25 % Mon 30 June - Fri 4 July 2025 Bergen, Norway <https://2025.ecoop.org/venue/ecoop-2025-venue>% https://2025.ecoop.org/ % https://2025.ecoop.org/track/ecoop-2025-workshops#Call-for-Workshops %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% Overview ------------- ECOOP (the European Conference on Object-Oriented Programming) hosts a diverse offering of workshops bringing together academics, industrial researchers, and practitioners to exchange new ideas, problems, and experiences. Topics for workshops may include, but are not limited to, the theory, design, implementation, optimization, testing, and analysis of programs and programming languages. Workshops will run after the program of the main conference (Thu. 3 − Fri. 4 July 2025). The organizers will investigate the possibility of organizing the publication of a single-volume peer-reviewed post-proceedings if there is enough interest. Submission link: https://framaforms.org/proposal-for-ecoop25-workshop-1729617158 Please contact ECOOP'25 workshops chair, Clément Aubert (caubert(a)augusta.edu or clement.aubert(a)math.cnrs.fr), if you have any questions. Timeline ------------- - Workshop proposal will be reviewed on a rolling basis, with the last submission date being on January 24, 2025. - Workshops must send notifications for accepted papers by June 21, 2025, which will be about one week before the early registration deadline. - The workshop’s website must be live within two weeks of notification of the workshop’s acceptance and include relevant information about the organizers and any call for contributions. To submit a proposal for an ECOOP'25 workshop, please complete the online form linked above. After submitting, you will receive an automated email confirmation of your submission and, within at most four weeks (or shortly after the final submission deadline), a formal response notifying you if the workshop has been accepted for ECOOP'25. -- Clément Aubert, Associate Professor of Computer Science, School of Computer and Cyber Sciences, Augusta University, https://spots.augusta.edu/caubert/

1 month

1
0
0 0

Final Call for Submissions - WAGS@FSTTCS'24 - Deadline Extended!

by Suman Sadhukhan

[Apologies for multiple postings] Dear Colleagues, Please see below the call for submissions for Workshop on Automata and Games for Synthesis, and note that the submission deadline is extended to *20th November AOE*, as the early-bird registration of FSTTCS'24 has been pushed to 24th November AOE as well. Please distribute the call, consider submitting and encourage your fellow researchers and students to submit their best work of the year! -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- *Call for participation* Workshop on automata and games for synthesis <https://sites.google.com/view/fsttcs2024bworkshop> Gandhinagar, Gujarat, India December 19th, 2024 Co-located with Foundations of Software Technology and Theoretical Computer Science (FSTTCS) 2024 --------------------------------------------------------------------------------------------- Submission of contributed talks at: https://sites.google.com/view/fsttcs2024bworkshop/short-presentation --------------------------------------------------------------------------------------------- =================== About the workshop =================== The first workshop on automata and games for synthesis is an on-site event happening on the 19th of December, 2024, in Gandhinagar, India. It is co-located with Foundations of Software Technology and Theoretical Computer Science (FSTTCS) 2024, the premier international computer science conference in India, and takes place each year 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 has several invited speakers and one session with short-presentations. For the short-presentation, *students, postdocs, and early-career researchers* are encouraged to talk about their research in 10-15 minute sessions (exact length will depend on the number of contributions). The workshop does not have any proceedings, and therefore previously published talks or ongoing work are both encouraged to be presented. Topics for the presentation at the workshop include, but are not limited to, the following: Automata Theory Synthesis Games on Finite and Infinite Graphs Computational aspects of Game Theory Concurrency and Distributed computation Formal Languages Games and Automata for Verification Specification and Verification of Finite and Infinite-state Systems ============================ Important dates and information ============================ Deadline: *November 20th 2024 (AoE) *(Extended from 14th Nov, 2024) Submit your contributions at: https://sites.google.com/view/fsttcs2024bworkshop/short-presentation Notifications: *November 25th 2024* Event: *19th December 2024* ============= Speakers ============= Dmitry Chistikov (University of Warwick) C. Aiswarya (Chennai Mathematical Institute) Youssouf Oualhadj (Université Paris-Est Créteil Val de Marne) and more to be announced. ============= Organisers ============= Sougata Bose Suman Sadhukhan K. S. Thejaswini ============= Program ============= The detailed program will be here <https://sites.google.com/view/fsttcs2024bworkshop/schedule> closer to the workshop. For any queries, contact the organisers: sougata.Bose(a)liverpool.ac.uk, ssadhukh(a)campus.haifa.ac.il, thejaswini.k.s(a)ista.ac.at Regards, Suman Sadhukhan Postdoctoral researcher University of Haifa

1 month, 1 week

1
0
0 0

2024

2023

2022

FMIndia