--------------------------------------------------------------------
Call for Participation
ICTAC 2021
18th International Colloquium on Theoretical Aspects of Computing
Virtually from Nur-Sultan, Kazakhstan, September 8-10, 2021
https://ictac2021.github.io/
---------------------------------------------------------------------
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://nu-edu-kz.zoom.us/j/91588633830?pwd=WUhFdXhkMzFyMkZCV1Uzb004R2lrdz09
The full conference schedule is available at
https://ictac2021.github.io/programme.html
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
----
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ petrinet@informatik.uni-hamburg.de ]]
