作者：留德华叫兽
Workshop on Automata and Games for Synthesis - Call for Participation
Location: Gandhinagar, Gujarat, India
Date: December 19, 2024
Co-located with: Foundations of Software Technology and Theoretical Computer Science (FSTTCS) 2024
Submission Details
Extended Deadline: November 20, 2024 (AoE) Submit at: Submission LinkNotification of Acceptance: November 25, 2024
About the Workshop
This first workshop on Automata and Games for Synthesis, co-located with FSTTCS 2024, will explore the use of automata and game theory in automated system synthesis from specifications. The event includes invited talks, along with short presentations open to students, postdocs, and early-career researchers. Presentations, lasting 10-15 minutes, are ideal for sharing both published research and ongoing projects.
Topics of Interest include:
Automata Theory
System Synthesis
Games on Finite and Infinite Graphs
Computational Game Theory
Concurrency and Distributed Computation
Formal Languages
Verification through Games and Automata
Specification and Verification for System Design
Invited Speakers
Dmitry Chistikov (University of Warwick)
C. Aiswarya (Chennai Mathematical Institute)
Youssouf Oualhadj (Université Paris-Est Créteil Val de Marne)
More speakers TBA
Organisers
Sougata Bose
Suman Sadhukhan
K. S. Thejaswini
For more information, contact:
Sougata Bose: sougata.Bose@liverpool.ac.uk
Suman Sadhukhan: ssadhukh@campus.haifa.ac.il
K. S. Thejaswini: thejaswini.k.s@ista.ac.at
More details on the program will be available closer to the event.
The International Foundation for Autonomous Agents and Multi-Agent Systems (IFAAMAS) Influential Paper Award – Call for Nominations
The 35th International Symposium on Algorithms and Computation (ISAAC 2024) Registration Closing Soon
Doctoral Research Positions in Computational Data Analysis at JKU Linz
Call for Participation: 2nd Brazilian School of Combinatorics (EBC)
Stay Updated with the International Journal of Production Research (IJPR)
DPhil studentship (industry co-funded), Oxford University
Postdoc Position in Discrete Structures Group at TU Freiberg
PhD Student Positions in Algorithms and Complexity at Max Planck Institute for Informatics
ICDCN 2025 - 26th International Conference on Distributed Computing and Networking
Workshop Announcement: "Metabolism and Mathematical Models: Two for a Tango" (4th Edition)
SMARTCOMP 2025: Call for Research Papers
The 14th International Symposium on Algorithms and Complexity (CIAC 2025)
PhD position in Optimization (Jan Kronqvist)
Reminder: 44th Greater Paris Operations Research Day (JFRO)
1st Workshop on Accelerated HPC in the Cloud-Edge Continuum
PhD position in Algorithms / Optimization / Graph theory in Clermont-Ferrand, France (Pierre Bergé)
ESSA 2025: 6th Workshop on Extreme-Scale Storage and Analysis
The 34th International Conference on Computer Communications and Networks (ICCCN 2025)
Milestones and Motifs in the Theory of Proofs, Algebraic Computation, and Lower Bounds (MMComplexity 2024)
Invitation to Participate in the Fifth Workshop on Human-Centered Computational Sensing (HCCS’25)
The 24th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2025)
The First International Workshop on Data Driven and AI-Enabled Digital Twin Networks and Applications (TwinNetApp)
Special Presentation: "Women: Leaders Against All Odds"
加入知识星球，点击相应帖子中的链接，即可查看详细信息。
与全球Top名校教授|博士和名企研发高管一起交流算法相关技术干货
海量学界|业界（独家内推）招聘|实习机会发布，申请|求职面试经验交流
数学模型|算法|论文|学习资料分享与提问，倡导同行交流，寻找志同道合的“队友”
鼓励分享和互动，每季度开展一次“人气话题”和“人气回答”评选，百元红包奖励
每月一次“领读人”带队Paper|教学视频|原创技术推文等线上Meetup小组学习
享受『运筹OR帷幄』线下Meetup、线上Workshop免费入场资格，拓展人脉
知识星球分享的最新的海外博士招生信息、教职招聘信息、运筹学会议信息
leetcode刷题小组、解读经典教材、带打天池/Kaggle等数据科学竞赛等项目陆续开发中...
微信公众号后台回复
加群：加入全球华人OR|AI|DS社区硕博微信学术群
资料：免费获得大量运筹学相关学习资料
人才库：加入运筹精英人才库，获得独家职位推荐
电子书：免费获取平台小编独家创作的优化理论、运筹实践和数据科学电子书，持续更新中ing...
加入我们：加入「运筹OR帷幄」，参与内容创作平台运营
知识星球：加入「运筹OR帷幄」数据算法社区，免费参与每周「领读计划」、「行业inTalk」、「OR会客厅」等直播活动，与数百位签约大V进行在线交流
文章须知
微信编辑：疑疑
关注我们
FOLLOW US
