Upcoming | Start date | End date | City | Country | Title | Tags |
---|---|---|---|---|---|---|
2017-02-02 Thu | 2017-02-02 Thu | Graz | AT | Send nicoo to MIT with Tschunk | realraum goodbyparty | |
2017-02-02 Thu | 2017-02-02 Thu | Graz | AT | Functional Programming Graz: Proofs in Isabelle/HOL | functional-programming vortrag meetup realraum |