Modern Imperative Programming Languages Proseminar/Seminar

In this proseminar/seminar we will investigate the modern imperative programming languages C++, Go, Rust and Scala.

People

Sebastian Hack, Klaas Boesche Johannes Doerfert, Roland Leißa, Simon Moll

General Information

When Friday at 14:00 (sine tempore)
Where Room 401, E1 3

The first meeting will be on April, 28th, 2017.

Modus Operandi

Participants will be divided into four groups, one group for each language. Each group will implement a concurrent SAT solver. Each group will present their work with a focus on the features and restrictions of the chosen programming language.

If you want to take this as a seminar, you will also work through a paper about one of the languages and give a presentation about it.

Registration

The registration is closed for now and we already have a waiting list in place.

Papers

  1. tba

Schedule

Date Speaker Topic Comments
2017-04-28 14:00 s.t. tba tba
2017-05-05 14:00 s.t. tba tba
2017-05-12 14:00 s.t. tba tba
2017-05-19 14:00 s.t. tba tba
2017-06-02 14:00 s.t. tba tba
2017-06-09 14:00 s.t. tba tba
2017-06-23 14:00 s.t. tba tba
2017-06-30 14:00 s.t. tba tba
2017-07-07 14:00 s.t. tba tba
2017-07-14 14:00 s.t. tba tba
2017-07-21 14:00 s.t. tba tba
2017-07-28 14:00 s.t. tba tba