List of other events
- ICLP/LPNMR 2024 Doctoral Consortium Deadline Extended
Submission Deadline Extended to August 2 AOE
Funding by NSF will be provided to cover (part of) the travel expenses and conference registration fees of US-based students. For students from outside the US, registration waiver and partial support for accommodation may be available.
------------------------------------------------------------------------------------------------------------ 3rd Summer School on Security Testing and Verification (ST&V 2024)
3rd Summer School on Security Testing and Verification (ST&V 2024)
9-10-11 September, Brussels, Belgium
https://cybersecurity-research.be/summer-school-on-security-testing-and-verification-2024- FOSAD 2024: 23rd Summerschool on Foundations of Security Analysis and Design
========================================================
https://sites.google.com/uniurb.it/fosad/home/fosad-2024
========================================================
26-30 August - 2024, Bertinoro, Italy- Lipari Summer School on Abstract Interpretation
The Lipari Summer School on Abstract Interpretation will take place from September 1 to 7. The application deadline is June 15.
See: https://absint24.liparischool.it/
- Helmut Veith Stipend for Female Master’s Students in Computer Science
The Helmut Veith Stipend is awarded annually to exceptionally talented and motivated female students in the field of computer science who pursue (or plan to pursue) one of the master's programs in Computer Science at TU Wien taught in English and have (or have the interest to develop) a solid mathematical and technical background in at least one of the areas in which Austrian scientist Helmut Veith worked. Students who are awarded the Helmut Veith Stipend receive:
- EUR 7000 annually for a duration of up to two years.
- Waiver of all tuition fees at TU Wien.- Call for SL-COMP 2022
SL-COMP 2022 (https://sl-comp.github.io/) is the 4th Separation Logic Competition.
It is part of the
FLoC 2022 Olympic Games
and
ASL 22 Workshop at IJCAR
31 July 2022- Summer School on Programming Languages and Verification
Scottish Programming Languages and Verification Summer School The University of Edinburgh, Online (BST), 3-21 August 2020 http://www.macs.hw.ac.uk/splv/splv20/
- Oded Padon wins the ETAPS Doctoral Dissertation Award 2020
The ETAPS Doctoral Dissertation Award 2020 has been won by Dr. Oded Padon (Tel Aviv University), for his dissertation on "Deductive Verification of Distributed Protocols in First-Order Logic".
