List of other events
- FOSAD 2023: 22nd Summerschool on Foundations of Security Analysis and Design
Security in computer systems and networks emerged as one of the most challenging research areas. The International School on Foundations of Security Analysis and Design (FOSAD) has been one of the foremost events established with the goal of disseminating knowledge in this critical area. The main aim of the FOSAD school is to offer a good spectrum of current research in foundations of security - ranging from programming languages to analysis of protocols, from cryptographic algorithms to access control policies and trust management - that can be of help for graduate students and young researchers from academia or industry who intend to approach the field.
- 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 6000 annually for a duration of up to two years.
- Waiver of all tuition fees at TU Wien.- 2023 Alain Colmerauer Prize (Deadline Extended to May 31)
If you or your group have a recent practical accomplishment that highlights the benefits of Prolog-inspired computing, then please consider nominating yourself or your group for the 2023 Alain Colmerauer Prize. Submission is 3 pages max; self-nomination is required.
- New Informatics Europe Best Dissertation Award – Call for Nominations
Introducing our new Informatics Europe Best Dissertation Award, to recognise excellent PhD dissertations in informatics and support young informatics researchers from our member institutions to disseminate their research to a broader audience.
- CFP - The Software Engineering @Salerno Week - (12-15) June 2023
Software Engineering @Salerno Week will be held on 12-15 June 2023 at the University of Salerno (Italy).
It will feature three international events:
- The 15th edition of the Seminar Series on Advanced Techniques & Tools for Software Evolution (SATToSE, June 12-14, 2023 - http://sattose.org/2023).
- The 16th edition of the International Summer School on Software Engineering (ISSSE, June 13-15, 2023 - https://sesalabunisa.github.io/ISSSE-2023/).
- The 1st edition of the Workshop on Engineering Machined Learning-Intensive IoT Systems (EMELIOT).- Call for Submissions - 2023 Minerva Informatics Equality Award
Informatics Europe proudly presents the 8th edition of Minerva Informatics Equality Award, devoted to initiatives seeking to encourage and support the careers of women in informatics research and education.
- 18th International Summer School on Training And Research On Testing
===========================================
18th International Summer School on Training And Research On Testing
3-7 July 2023
London, United Kingdomhttps://tarot-school.org/
Early registration deadline: 1 June 2023
===========================================- 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
