List of other events


2024 Informatics Europe Best Dissertation Award – Call for Nominations
by Kit Wan Chui, Feb. 12, 2024

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
by Kit Wan Chui, Feb. 2, 2024

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
by Andrea Hackl, May 24, 2023

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
by Quang Loc Le, April 21, 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
by Ekaterina Komendantskaya, July 25, 2020

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
by Caterina Urban, July 4, 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".

The Cornell, Maryland, Max Planck Pre-doctoral Research School 2020
by Maria Christakis, Jan. 17, 2020

The Cornell, Maryland, Max Planck Pre-doctoral Research School 2020

"Emerging Research Trends in Computer Science"
https://cmmrs.mpi-sws.org

August 4-9, 2020
Saarbruecken, Germany

Applications are requested from undergraduate students or Master's
students in computer science, computer engineering, or a related
discipline to The Cornell, Maryland, Max Planck Pre-doctoral Research
School. The fourth of this new annual series of week-long schools will
focus on emerging research trends in computer science, including
databases and data analysis, distributed systems, security and privacy,
Internet measurement and network architecture, large-scale machine
learning, and theory of deep learning. Leading researchers will engage
with attendees in their areas of expertise.

The curriculum will include lectures and interaction with faculty from
participating institutions.

The small, select group of attendees will be exposed to
state-of-the-art research in computer science, have the opportunity to
interact one-on-one with internationally leading scientists from three
of the foremost academic institutions in research and higher learning
in the US and in Europe, and network with like-minded students. They
will get a sense of what it is like to pursue an academic or
an industrial research career in computer science and have a head start
when applying for graduate school.

For full consideration, applications should be received by February 15,
2020. Travel and accommodation will be covered for accepted students.

Further information about the school and how to apply can be found at
https://cmmrs.mpi-sws.org

The Cornell, Maryland, Max Planck Pre-doctoral Research School 2019
by Maria Christakis, Jan. 17, 2019

"Emerging Research Trends in Computer Science"
https://cmmrs.mpi-sws.org

August 6-11, 2019
Saarbruecken, Germany

Applications are requested from undergraduate students or Master's
students in computer science, computer engineering, or a related
discipline to The Cornell, Maryland, Max Planck Pre-doctoral Research
School. The third of this new annual series of week-long schools will
focus on emerging research trends in computer science, including
computer systems, heterogeneous architectures, machine learning and
teaching, data visualization, security and privacy, formal methods,
and programming language design. Leading researchers will engage with
attendees in their areas of expertise.

The curriculum will include lectures and interaction with faculty from
participating institutions.

The small, select group of attendees will be exposed to
state-of-the-art research in computer science, have the opportunity to
interact one-on-one with internationally leading scientists from three
of the foremost academic institutions in research and higher learning
in the US and in Europe, and network with like-minded students. They
will get a sense of what it is like to pursue an academic or
industrial research career in computer science and have a head start
when applying for graduate school.

For full consideration, applications should be received by February 7,
2019. Travel and accommodation will be covered for accepted students.

Further information about the school and how to apply can be found at
https://cmmrs.mpi-sws.org.

« previous1234next »