[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
--------------------------------------------------------------------
Call for Participation
ICTAC 2021
18th International Colloquium on Theoretical Aspects of Computing
Virtually from Nur-Sultan, Kazakhstan, September 8-10, 2021
https://urldefense.com/v3/__https://ictac2021.github.io/__;!!IBzWLUs!HfWaH087TPZ3piWPWsHr-OAqwhgMew5X-74qnwAl6cmw4KtmQxtoszPd6EQrqtFkNf8O1OrO7sY0BA$
---------------------------------------------------------------------
We are looking forward to seeing you virtually at ICTAC 2021!
ICTAC 2021 is a virtual event with no conference fee.
You can join us using the Zoom link
https://urldefense.com/v3/__https://nu-edu-kz.zoom.us/j/91588633830?pwd=WUhFdXhkMzFyMkZCV1Uzb004R2lrdz09__;!!IBzWLUs!HfWaH087TPZ3piWPWsHr-OAqwhgMew5X-74qnwAl6cmw4KtmQxtoszPd6EQrqtFkNf8O1Oq1ovfOjA$
The full conference schedule is available at
https://urldefense.com/v3/__https://ictac2021.github.io/programme.html__;!!IBzWLUs!HfWaH087TPZ3piWPWsHr-OAqwhgMew5X-74qnwAl6cmw4KtmQxtoszPd6EQrqtFkNf8O1OqadmudRw$
KEYNOTE TALKS
• Kim Larsen - Model Checking and Machine Learning Joining Forces
• Wednesday 8 September at 9:30am GMT+2 (Central European
Summer Time)
• Wil van der Aalst - Concurrency and Objects Matter: Disentangling the Fabric
of Real Operational Processes
• Thursday 9 September at 9:30am GMT+2 (Central European Summer
Time)
• Grigore Rosu - Formal Design, Implementation and Verification of Blockchain
Languages
• Thursday 9 September at 3:00pm GMT+2 (Central European Summer
Time)
• Alan Dix - Qualitative–Quantitative Reasoning: thinking informally about
formal things
• Friday 10 September at 9:30am GMT+2 (Central European Summer
Time)
OVERVIEW AND SCOPE
The ICTAC conference series aims at bringing together researchers and
practitioners from academia, industry and government to present research
and exchange ideas and experience addressing challenges in both theoretical
aspects of computing and the exploitation of theory through methods and
tools for system development. ICTAC also aims to promote research
cooperation between developing and industrial countries.
See you at ICTAC 2021!
Antonio Cerone and Peter Ölveczky
ICTAC 2021 Program Co-chairs
