***
CALL FOR PAPERS
SPIN 2024 - 30th International Symposium on Model Checking of Software
Luxembourg City, Luxembourg, 10–11 April, 2024
co-located with ETAPS 2024 (6-11 April)
*extended dead
Would you like to organise a workshop at ECAI-2024? The 27th European
Conference on Artificial Intelligence will be held in the beautiful city
of Santiago de Compostela during 19-24 October 2024, with workshops
taking place during the first two days. Proposals from all subfields of
AI and organ
Dear colleagues,
Another note: This talk will be recorded and made available on youtube
(I will come back with the link). I would like to apologise to those
of you attending CPP -- when scheduling this (which happened a while
ago) I lost sight of the overlap with CPP. :-(
Best wishes,
Andrei
O
Dear all,
Next week there will be an online talk (via zoom) by Lawrence Paulson
on a topic that is likely to be of interest to quite a few people on
these lists. Please note the information about registration below.
Best wishes,
Andrei
Information:
https://www.bcs.org/events-calendar/2024/janua