Welcome to CTAL 2026

2026 International Conference on Computation Theory, Automata and Logic

ORGANIZING COMMITTEES | 组委会
Conference Committee

Prof. Aravind Joshi, University of Pennsylvania, USA

Prof. Moshe Y. Vardi, Rice University, USA

Prof. Thomas A. Henzinger, Institute of Science and Technology Austria, Austria


Program Committee

Prof. Christos H. Papadimitriou, Columbia University, USA

Prof. Rajeev Alur, University of Pennsylvania, USA

Prof. Dexter Kozen, Cornell University, USA


International Technical Committee

Prof. Anil Nerode, Cornell University, USA

Prof. Benjamin C. Pierce, University of Pennsylvania, USA

Prof. Madhav V. Marathe, Virginia Tech, USA

Prof. John E. Hopcroft, Cornell University, USA

Important Dates | 重要日期
  • Submission Deadline: 2026.03.05
  • Registration Deadline: 2026.03.10
  • Conference Date: 2026.03.22
  • Notification Date: About a week after the submission
Submission Portal | 投稿方式

Mail Address:  eieditor@163.com

If you have any question or need any assistance regarding the conference, please feel free to contact our conference specialists:

墨老师
  • +86-15680957221(微信同号)
  • 2580953988
--
  • +86---(微信同号)
  • --
Indexing Service | 索引服务