[TYPES/announce] Call for (virtual and free) participation, ICTAC'21, Sept 8-10

[Peter Csaba Ølveczky]

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