List of other events
- Call for Nominations: VCLA International Student Awards
The Vienna Center for Logic and Algorithms at TU Wien calls for the nomination of authors of outstanding theses and scientific works in the field of Logic and Computer Science, in the following two categories:
Outstanding Master Thesis Award*
Outstanding Undergraduate Thesis Award
(Bachelor thesis or equivalent, 1st cycle of the Bologna process)**The degree must have been awarded between January 1st, 2023 and December 31st, 2023 (inclusive).
- 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/
- Marktoberdorf Summer School 2024
The Marktoberdorf Summer School 2024 on Engineering Secure and Dependable Software Systems will take place from August 6 to 17, with a great line-up of speakers. The application deadline is May 05.
See https://sites.google.com/view/marktoberdorf2024- 4 scholarships for the Ph.D. Program in Computer Science at the University of Pisa
4 scholarships for the Ph.D. Program in Computer Science at the University of Pisa
- 2024 Informatics Europe Best Dissertation Award – Call for Nominations
Nominate now for the 2024 Informatics Europe Best Dissertation Award!
Join us in acknowledging excellent PhD dissertations in informatics and empowering young informatics researchers to disseminate their research to a broader audience.- 2024 Minerva Informatics Equality Award - Call for Nominations
Submit your nomination for 2024 Minerva Informatics Equality Award now to honor initiatives which foster women's careers in informatics research and education.
- 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
