List of other events


24th Estonian Winter School in CS, call for participation
by Tarmo Uustalu, Feb. 8, 2019

[This is the 24th event in a long-running series of schools on
(theoretical) computer science and we have another excellent line-up
of lecturers this year. Please send students. We may be able to waive
the fee for some students.]

[Lecturers: Jade Alglave, Zena Ariola, Barbara Kordy, Andrei Sabelfeld,
Jiri Sgall. Apply by **16 Feb 2019**.]

CALL for PARTICIPATION

24th Estonian Winter School in Computer Science, EWSCS '19

Palmse, Estonia, 3-8 March 2019

http://cs.ioc.ee/ewscs/2019/

Call for Nominations: VCLA International Student Awards 2019 - Deadline March 15, 2019
by Mihaela Rozman, Feb. 5, 2019

The Vienna Center for Logic and Algorithms (VCLA) at TU Wien (Vienna University of Technology) seeks nominations for the VCLA International Student Awards 2019. The annually awarded VCLA International Student Awards for Outstanding Master and Undergraduate Research (Bachelor) Theses (or equivalent) recognize authors of scientific works across the wide spectrum of Logic and Computer Science. Final submission deadline: 15.3.2019

P4 Hackathon on March 1, 2019 (in Boston, MA)
by Robert Soule, Jan. 22, 2019

P4 Hackathon on March 1, 2019 (in Boston, MA)

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.

Second School and Workshop on Univalent Mathematics
by Gianluca Amato, Jan. 3, 2019

Second School and Workshop on Univalent Mathematics,
University of Birmingham (UK), April 1-5, 2019
(https://unimath.github.io/bham2019)

ETAPS Test of Time Award 2019
by Tarmo Uustalu, Dec. 22, 2018

ETAPS Test of Time Award

The ETAPS Test of Time Award recognizes outstanding papers published
more than 10 years in the past in one of the constituent conferences
of ETAPS. The Award recognises the impact of excellent research
results that have been published at ETAPS.

See https://etaps.org/about/test-of-time-award .

Helmut Veith Stipend for Women in Computer Science 2019
by Mihaela Rozman, Dec. 19, 2018

Female students in the field of computer science (CS) who plan to pursue (or are currently pursuing) one of the master‘s programs in Computer Science at the Vienna University of Technology – TU Wien taught in English are invited to apply for the annually awarded Helmut Veith Stipend.

The annually awarded Helmut Veith Stipend for female master students is dedicated to the memory of an outstanding computer scientist who worked in the fields of logic in computer science, computer-aided verification, software engineering, and computer security. – Professor Helmut Veith (1971-2016).

The Helmut Veith Stipend was established with the generous support of TU Wien, Wolfgang Pauli Institute and with contributions by family and friends of the late Helmut Veith.

Call for Nominations: VCLA International Student Awards 2019 - Logic and Computer Science
by Mihaela Rozman, Dec. 18, 2018

The Vienna Center for Logic and Algorithms (VCLA) at TU Wien seeks nominations for the VCLA International Student Awards 2019. The annually awarded VCLA International Student Awards for Outstanding Master and Undergraduate Research (Bachelor) Theses (or equivalent) recognize authors of scientific works across the wide spectrum of Logic and Computer Science. Final Submission Deadline: 15.3.2019

« previous123next »