[TYPES/announce] Call for Participation: Dutch Formal Methods Day 2025 in Amsterdam

[Andrés Goens]

[ The Types Forum (announcements only),
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
================================================


                    Dutch Formal Methods Day 2025


                       Amsterdam, *Thursday 26 June*


                        CALL FOR PARTICIPATION


https://urldefense.com/v3/__https://conf.researchr.org/home/dfdm-2025__;!!IBzWLUs!XwhdYgB9QBGSqFJrq7U_sSqUWLUhJmfgoAbSA3Ooj7Jua8Svr-aegrRh8y7OUdHC2xrR8Fwq6zxjfDrQvFd0IWEBke5dXQ$  
<https://urldefense.com/v3/__https://conf.researchr.org/home/dfdm-2025__;!!IBzWLUs!SGMW-b4sFvOVfAP5rCnzSQMo-P6SjYGPDvRPGqxu9OOB9k9Y8uXxyFLg0H90DduKZ0ZyOMGxVN6mamrTa2bpMKus--lC8z7f38I$>


================================================


The Dutch Formal Methods Day is a full-day event dedicated to formal 
methods in the Netherlands. This event is an opportunity for people in 
academia, industry, and education who are interested in formal methods, 
in the broadest sense, to come together, learn, and network. There will 
be numerous talks, giving a broad overview formal methods in the 
Netherlands. Upon registering, you will have the opportunity to offer a 
talk.


Coffee and lunch will be provided; there will be ample opportunity for 
networking with your colleagues and meeting new people. Experts and 
newcomers to the field are equally welcome.


All the talks will be given in English.


## Registration


Participation is free of charge, but registration is required using the 
link below:


https://urldefense.com/v3/__https://docs.google.com/forms/d/e/1FAIpQLScK6BhsEfbOCmJEahRIsGISiEhNYZFpM8wJgjeTuck5-FFjPA/viewform?usp=dialog__;!!IBzWLUs!XwhdYgB9QBGSqFJrq7U_sSqUWLUhJmfgoAbSA3Ooj7Jua8Svr-aegrRh8y7OUdHC2xrR8Fwq6zxjfDrQvFd0IWEbDScy_w$  
<https://urldefense.com/v3/__https://docs.google.com/forms/d/e/1FAIpQLScK6BhsEfbOCmJEahRIsGISiEhNYZFpM8wJgjeTuck5-FFjPA/viewform?usp=dialog__;!!IBzWLUs!SGMW-b4sFvOVfAP5rCnzSQMo-P6SjYGPDvRPGqxu9OOB9k9Y8uXxyFLg0H90DduKZ0ZyOMGxVN6mamrTa2bpMKus--lCd9j08EQ$>


There is a soft registration deadline of *Friday June 20th, 2024*.


## Schedule


You will find a preliminary schedule on the website:


https://urldefense.com/v3/__https://conf.researchr.org/home/dfdm-2025__;!!IBzWLUs!XwhdYgB9QBGSqFJrq7U_sSqUWLUhJmfgoAbSA3Ooj7Jua8Svr-aegrRh8y7OUdHC2xrR8Fwq6zxjfDrQvFd0IWEBke5dXQ$  
<https://urldefense.com/v3/__https://conf.researchr.org/home/dfdm-2025__;!!IBzWLUs!SGMW-b4sFvOVfAP5rCnzSQMo-P6SjYGPDvRPGqxu9OOB9k9Y8uXxyFLg0H90DduKZ0ZyOMGxVN6mamrTa2bpMKus--lC8z7f38I$>



## Location


The Dutch Formal Methods Day will take place in Lab42 at Amsterdam 
Science Park. Science Park has a train station, and is a short train 
ride from Amsterdam Central Station. More details on how to reach 
science park can be found here:

https://urldefense.com/v3/__https://www.amsterdamsciencepark.nl/contact/getting-there/__;!!IBzWLUs!XwhdYgB9QBGSqFJrq7U_sSqUWLUhJmfgoAbSA3Ooj7Jua8Svr-aegrRh8y7OUdHC2xrR8Fwq6zxjfDrQvFd0IWGgMflOsg$  
<https://urldefense.com/v3/__https://www.amsterdamsciencepark.nl/contact/getting-there/__;!!IBzWLUs!SGMW-b4sFvOVfAP5rCnzSQMo-P6SjYGPDvRPGqxu9OOB9k9Y8uXxyFLg0H90DduKZ0ZyOMGxVN6mamrTa2bpMKus--lC1MMxYSg$>


## Organizers


Benno van den Berg

Johan Commelin

Andrés Goens

Ronald de Haan