coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Hans-Dieter Hiep <Hans-Dieter.Hiep AT cwi.nl>
- To: coq-club AT inria.fr
- Subject: [Coq-Club] ICTAC 2024: First call for papers
- Date: Tue, 6 Feb 2024 22:21:17 +0100 (CET)
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=Hans-Dieter.Hiep AT cwi.nl; spf=Pass smtp.mailfrom=hdh AT cwi.nl; spf=None smtp.helo=postmaster AT fester.cwi.nl
- Ironport-data: A9a23:C279Oa143EjnNMkO5fbD5dB1kn2cJEfYwER7XKvMYLTBsI5bp2QOy 2sdDzrVa6uPNjCmKdxzPYmx90sCv5CDmoJqHQRt3Hw8FHgiRejtVY3IdB+oV8+xBpSeFxw/t 512hv3odp1coqr0/0/1WlTZhSAgk/vOHNIQMcacUghpXwhoVSw9vhxqnu89k+ZAjMOwa++3k YqaT/b3Zhn9hlaYDkpOs/jf8Ek34qyp0N8llgVWic5j7Ae2e0Y9V8p3yZGZdxPQXoRSF+imc OfPpJnRErTxon/Bovv8+lrKWhViroz6ZWBiuVIKM0SWuSWukwRpukoN2FXwXm8M49mBt4gZJ NygLvVcQy9xVkHHsLx1vxW1j0iSlECJkVPKCSHXjCCd86HJW2m1hM9NM0o3BqI/ptRMIGJNx dI5ND9YO3hvh8ruqF66YudhndguNo/gI4JZvHUIITPxVKd8B8mdBfybvJkCg1/chegWdRraT 8oVaRJkcxWGZRkn1lI/V8Jvxrrz2CCXnztwrQ+qu44Iz2Pq9QFV04TXPoPqZdKrfJAA9qqfj jmbpTygXk9y2Mak4TGC6zengvLFtTjqXZobUry+7P9jxlOJrlH/EzUYWECnrOP/gVG/HdRbQ 6AJxsYwhbprs3aIcdL8ZDKf/Ey/nx0fa/RxD+JvvWlh1ZHoywqeA2EFSBtIZ9onqNI6SFQWO rihxI6BONB/jIB5X05x4Z+yiVuP1cU9I2IZeSIeCwAa4p/lpOnfby4jrP49SMZZbfWvRVkcJ gxmSwBl390uYTYjjfnTwLw+q2vESmL1ZgA0/B7LeWmu8xl0YoWoD6TxtgCEt6occtjGEQje1 JThpyR5xLtTZaxhaATUKAnwNOjzt67t3MP02AYH82YdG8SFoCP5JdkMvlmS1W9iLcdMcDryf ELJtQpUrINTMTOsYLN3bpi1AsIm1sDd+SfNDZjpgi51SsEpLmevpXg2DWbJhjCFuBZ3y8kXZ 8zEGftA+F5HU8yLOhLsGbdEuVLqrwhjrV7uqWfTn0X2jOrFPCPMIVrHWXPXBt0EAGq/iF292 75i2wGikn2zicWvPneFwp1ZNl0QM3kwCLb/rsEdJKbJIRNrFCtlQ7XdyK8oMd4t1alEtPb6z lfkUG9hyX37mSLmLyeOYStdc7/BZ8t0gk86Gi0OBmyW/UYfT7yh14olTKtvT4IbrLRi6dVWU 8g6f96xB6UTazbfpBUYQ5rPjK1jUxWJhw7UPDevZSc+W7VCRAX53MDuUSWy1SsJDwux7dAfp Z/53CzlYJMzfSZQJ+eIV+COlnSf5WM8nsB2VGv2euhjQl3mqtVWGnagn80JLNEpAjSd4Dmjj iK9IwoS/MvJqK8LqOj5v7iO9dqVIrEvD3hhPjfp6JitPnPn5Uul+4hLVdiIcR37VG/Z/KaDZ /1f/8rjMc8ozUp7jI5hL4lFla4OxcPjh7t//DRWGH/ma1eKCLQ5BlKk2cJJlLNGx54HmA+Qd 3+MxOJnOuSyCJu4KGISGQsrVfTc9Pc2njKJ0+85Dn+n7wBK/Z2Gc35oAT+ytAJnIoBYDqYZ0 MY6mctP6wWAmhsgadmHqSZP9lWzFH8LUoR5l5QoBISwsA4gywxAbcbfFyXz/5CrQPdPO3kMP TW7qvfjhbNd50yaaFs1NyHH8tR8jKQ0miJh7QE9NXXQvfSdnd4x/hla0QpvfzRv1h8djt5CY Dl6BXN6NYCl3mlOhvEae0uOBgsYJhmS2nKp+mszjGeDEnWZDD3cHlYcZ9SI0lsSqV9HXz5h+ 7qd9mbpfBDqcOz13QowQURVkOPif/Mg6jz9nN2bIOrdE6kYeTbFhoqcVVgMoTbjAuIzgxTjj stu9+BSd6b6FHAxp4sWNoqk7okTGSu0fDF6ffJc/a0yDT79fhO20mOwMEyfQJ5GCMHL1k6aM PZQAPxzeS6w7hvTkQBDN5Uwe+d1uNUL+Os9fqjaID9akrmH8RtsnpHi1gn/o24JQdk0kts3L 5zQUxmgEWWgo2RetEGQjctDO0u+OcIlYi+l1s+L0ew5LbAxm8AyTlMTi5ya5260Nilj9DKq5 DLzXbfclbFe+N49jrnSHbVmLCTqD9HKDcCj0h256vZKZvPxafb+jRsf8ATbDl4HLIkqeopFk JqWu4TKx2LDhrE9Vl7Zl7SnF6Vk4caTXvJdAvnoLUt1zDezZ8vx3yQto2yIC4RFsNd41PmVQ wGVbMiRd9lMf/x/wHZTSTZVEjdDKqDRQ5rjmxiArKW3OkBA6TDEEdKpyya4JyUTPCoFIIb3B QLIqu6jrIIQ5phFABgfQepqGdlkKVvkQrErbMD1qSLeNGSzn1eeofH3oHLMM90Q5qWsS64WI K4pRyQSsDy8tbrUwcsfuJNz+BsTZJq4bS/cYWpFk+OaSRjjZILFEQjZGZ4ZC9dSlkQeEbnmM SrVYjJK5TrVBFx5nNaV3DgndgyAB6oIPr8V49DvE1y8M0+LOW9LPFetGuqMLZu7lvsPAdxL8 e0jx0A=
- Ironport-hdrordr: A9a23:Thlj4KC+bn/F3aPlHemX55DYdb4zR+YMi2TDsHoBLyC9E/bo8P xG+c5w6faaslcssR0b+exoW5PwJU80l6QFg7X5VI3KNGKK1ATHEGgI1/qG/9SUIVyEygcr79 YbT0ERMqySMbEDt7eD3ODuKadY/OW6
- Ironport-phdr: A9a23:qWyvCR3/6limwmPosmDO7w4yDhhOgF0UFjAc5pdvsb9SaKPrp82kY BaOo601xwaQA82bs6sC17CG9fi4GCQp2tWojjMrSN92a1c9k8IYnggtUoauKHbQC7rUVRE8B 9lIT1R//nu2YgB/Ecf6YEDO8DXptWZBUhrwOhBoKevrB4Xck9q41/yo+53Ufg5EmCexbal9I RmoqQjdrNUajZdtJqos1xfEo2ZDd+BKyW91P16ekAjw68Sq8JJ/7yhcvu8q+tJdX6n9Y6k3Q rtUASg8PWwy+MPlqwTIQxGV5nsbXGUWkx5IDBbA4RrnQJr/sTb0u/Rk1iWCMsL4Ub47WTK57 6d2UxDokzsINyQ48G7MlMN9ir9QrQ+7qBx+x47UZ5yVNOZ7c6jAc94WWXZNU8BMXCFHH4iyb ZYAD/AZMOhWr4fzuVgAowaxCgawC+3vyzhGhmPt0K0m0ekuDR3K3Q08E98MtnnfsdX7NL0VU eCw1KTGzy/Mb/VN2Tvk5obIcw4uoe2SUrJqbMHfy0gvGB3djl6NroHrPSma1uIWs2SC4eRgV Pygi3I5pAFruDShxMYshZfRho8O1l/F+yR5zJwzJd28UUN2Z8OvH5RMuS+ALYR2Xt8iTH9yu CY80rALpZ62cDYLxZklxxDSa/KKfoaW7h79WuucICt1iW97db+wmRq88VWsx+3/W8S00VtEr jZIn9vOu30R0xHe98uKR/1g9Umv3jaP0hrc6uBCIU0sj6XbKoIhzqQqmZUPq0jDAi/2lF3og 6CMbUUl+vSn6+T9bbXnvJ+QLYh0ihvxMqg2gcy/Gf44MgkIX2iU5+u8zqfv8lH+QLVPiPA9j 6rXsIjCKMgGoqO1HRVZ3psi5hqlEjur1MkUkWMZIF9HYB6LkovkN0zULPzlDfqzmUmgnThvy vzcI7HsAprAImDenLrlcrtx8VNQxQkxwNxF5Z9ZC6sNLO/xV0LystHTEwE0Mwipw+b8FNVyy JkeV3+OAq6YLqzfqUOE6+QyKOeWfoAVoizyK/096v7uk3A5nVgdcLGn3ZQJc3C4AuppI1+Db XXwjNYBEH0Gvgw6TODyiV2CVyBcZ2qqUq4h4jw3FpiqAZrCS4y3nbCM2Dq3EodIam1EElyMF G3nd4SAW/cCciKSJcphnyQEVbe8S48szg2htQH7y7Z9KOrU/jUUtZT429dt/e3ciQky9SBoD 8Say2yBUnl4nnkUSD8uwKB/vUt9x0+f3qh/mvxUDMBc5/dUUgghLpPc1Ox7C9XqWg3bZNuJS VCmQs+nAT4rVN4xzcUOMA5BHICpiQmG1C63CZcUkaaKDdo66PHyxX/0cuZ0zW2D+Kgsk1Q8C utOOHXu0o528ROWK4/Ej0iD0YareLw01zHMsmGHmznd9HpEWRJ9BP2WFUsUYVHb+IyRDiLqS ravDe9iKQ5d0YuZLbMMbNT1jFJATfOlOdLEYmv3lX3jTQ2QyOaqa4znM34YwD2bEFINxiAa+ 23DGQkzGiq75ULfASRGHk3uJUXooqFlsH3udkYv1EmRalF5kb+8+xobn/uZHvMf3poPpyZnr TEnVE2l0YfwDNyN7xFkYL0aYd455wJf0nnFsgVmIpG6B65vnUITaUJ8oEKo0REf5pxot88so TtqyQNzLfndy1Zdb3aD2oi2PLTLK2709RTpaqjM21iY3szEsqEIoO81rVnupmTLXgIr7mln3 t9J0nCd+oSCDQwcVoj0W1o28B4yrq/TYy007YfZnXN2Nqz8vjjH0tMvTOwrr3ToN/dWNrjBO A7/D8AAQeivJfQCkEeoKBQAfahT+KMyI8K6Zq6ewqf4WYQo1DmijGlB/MV8yhfVpnA6E7COh sdchavHjW7lH3/mgVyss976g9VBbDAWRS+kzDT8QZVWfut0dJoKDmGnJ4u2wM9/jtjjQS09l hbrClUY1cuuYRfXYUb62Fga1UgXiXe4mG2+y3Yn9lNh5rraxyHIz+n4IVAnM2hQAUVjgEvhO 86Ujt0CdEO3bk4vkFH2gCSyj7ger6N5IW7JRE5OdCWjNGBuXJy7sb+aatJO4pcl2clOeNy1e kvSCrv0oh9BljjmA3Mb3zcjMTejppT+mRV+zmObNnd66nTDK4l8whLW5dqUQvA0vHJORCV4o TLIBx66O5Gl8M6VmJHKru2lHzvwDNsKL2+ynNrG7nTz7HYiGRClmvGvhtDrWRM31yP2zZgPN 22ArRrxZJXqy7XvNOtmekdyA1qvo8F+G4x4js4xnMRJiCJc38vTpCte1z2sYrA5kerkYXEAR CAG2YvQ6Qnhgwh4K26Rgpn+TjOby9dgYN+zZiUX3Dg85oZEEvTxjvQMkC1rr16/tQ+Ub+J6m 2JXyfcuwHUFgqcPvEB+hjXYGb0UEURCaGbsmxSg5M+/6qNTLjXKE/D4xA91mtavC6uHqwdXV SPie5ssKiR36912LFPG1HCgopGhYtTbasgf8wGFixqVxfYAM4o/z7BZ4EgvcXK4p3AuzPQ3y ABjzY3v9pbSMH1jpeq4GkIKb2yvIZpNvGi81OAG2ZzJl4G3Qsc4S29NBcS0C6L4VmtN5JGFf 06PCGFu8ybBX+OAQUnPuAE//yqHEpagM2ybKSsu1s1sAgKAPkJaiQEQUjQ+gpMjUAaujInod EMzjtwIznj/rBYEiudhNh2kF3zauB/tcTAsDp6WMBtR6AhGoUbTK82XqOxpTWle+dW6oQqBJ 3b+BUwABHwVWkGCG1HoP6W/rdjG/e+CA+OiLvzIKbyQoO1aXv2MyNqhyIxjtzqLM8yOODFlA ZhZkgJbWmtlHs3ChzgVYyIajD7AdYiQuxb6/Ck25sGz/fL3WR7+sIuCD7wBVLcnsxuygKqFK 6uRnHMgeGwej81KnC6RjuJAjztww2l0ejKgEKoNr3vIRaPUwepMCgIDLjh0LI1O5r492Q9EP YjajMn03/h2lK1QaR8NWFr/l8WufcFPLXu6MQaNBEqLHL+ZJHvNx4ukBMH0Aa0Vl+hSuxCq7 HyDFFT/Oz2YizTzfx6iKv1BlmeQIx0YvoX3IXMPQSDzCdnhbBO8Ktp+izY7lKY1in39PmkZK TFgcklJo9V4DAtWj+5jFnYH5WVka++AyX7xBwzwIYkX9/1vUHwcfw1y62s7jb1RvngseQ==
- Ironport-sdr: 65c2a2cf_luhYc1XbVg4/GX1hRKYFYLlU6RQBcuF39DdjwhcUFb+rbw1 I5TCcSWcdzfW99T1r91HUxsEJaCUcOesbw+4FLg==
---------------------------------------------------------------------------
ICTAC 2024 - First Call for Papers
21st International Colloquium on Theoretical Aspects of Computing
25-29 November 2024, Bangkok - Thailand
https://ictac2024.cs.ait.ac.th/
---------------------------------------------------------------------------
IMPORTANT DATES
Abstract submission deadline: 14 June 2024 (AoE)
Paper submission deadline: 21 June 2024 (AoE)
Notification: 1 September 2024 (AoE)
Camera ready: 13 September 2024 (AoE)
SCOPE
The ICTAC conference series aims to bring together researchers and
practitioners from academia, industry, and government to present research and
exchange ideas and experiences within theoretical aspects of computing
through methods and tools for system development. ICTAC also aims to promote
research cooperation between developing and industrial countries.
TOPICS
The conference concerns all aspects of theoretical computer science,
including, but not limited to:
- Formal languages and automata
- Semantics of programming languages
- Logic in computer science
- Lambda calculus, type theory, and category theory
- Domain-specific languages
- Theories of concurrency and mobility
- Theories of distributed computing
- Models of objects and components
- Coordination models
- Timed, hybrid, embedded, and cyber-physical systems
- Security and privacy
- Static analysis
- Software verification
- Software testing
- Program generation and transformation
- Model checking and theorem proving
- Theoretical aspects of quantum computing
- Theory and methods of trustworthy AI
- Applications and experiences
SUBMISSIONS
We solicit submissions, related to the topics of ICTAC, in the following
categories:
- Full papers describing original research contributions;
- Short papers describing original work in progress, new ideas, and emerging
challenges; and
- Tool papers describing tools supporting formal techniques for software
modeling, system design, and verification.
Full paper submissions must not exceed 16 pages (excluding a bibliography of
a maximum of 2 pages). Short and tool papers should not exceed 8 pages.
Submissions must not have been published or be under consideration for
publication elsewhere. All submissions will be judged based on originality,
contribution to the field, technical and presentation quality, and relevance
to the conference's topics.
All contributions to ICTAC 2024 have to be submitted electronically in PDF
format via EasyChair:
https://easychair.org/conferences/?conf=ictac24
Papers must be formatted according to the guidelines for Springer LNCS papers
(see http://www.springer.com/lncs), without modifications of margins and
other space-saving measures. Authors should consult Springer's authors'
instructions and use their proceedings templates, either for LaTeX or for
Word, for the preparation of their papers. Springer encourages authors to
include their ORCIDs in their papers.
PUBLICATION
All accepted papers in the above categories will appear in the proceedings of
the conference that will be published as a volume in Springer's Lecture Notes
in Computer Science (LNCS) series.
All accepted papers must be presented at the conference. Their authors must
be prepared to sign a copyright transfer statement. At least one author of
each accepted paper must register for the conference by the early
registration deadline, and present the paper.
We plan to have a special issue for selected accepted papers from ICTAC 2024.
---------------------------------------------------------------------------
- [Coq-Club] ICTAC 2024: First call for papers, Hans-Dieter Hiep, 02/06/2024
Archive powered by MHonArc 2.6.19+.