Seminarium: Języki programowania - nowe osiągnięcia i trendy

Instytut Informatyki UWr
Semestr letni 2009/10

Seminarium poświęcone najnowszym wynikom dotyczącym teorii i implementacji języków programowania, zaprezentowanym w ostatnich latach na wiodących konferencjach z tej dziedziny.

Czas i miejsce
  • Seminarium: poniedziałek 10:15-12:00, sala 141
  • Konsultacje: środa 12:15-14:00, pokój 327

Terminarz:

Data Temat Prelegent
01.03.2010 Spotkanie organizacyjne
08.03.2010 Disciplined Disciple Compiler (DDC) Bartosz Ćwikłowski
15.03.2010 Formal Certification of a Compiler Back-End or: Programming a Compiler with a Proof Assistant Filip Sieczkowski
22.03.2010 Iteratee IO: Safe, Practical, Declarative Input Processing Maciej Kotowicz
26.04.2010 A Core Calculus for Scala Type Checking Jakub Korczyński
10.05.2010 Reactive Functional Programming Bartosz Dolecki
17.05.2010 Eager Normal Form Bisimulation Klara Zielińska
24.05.2010 Eager Normal Form Bisimulation, c.d. Klara Zielińska
31.05.2010 Attribute Grammars Fly First-Class: How to do Aspect Oriented Programming in Haskell Bartosz Ćwikłowski
31.05.2010 Separation Logic Filip Sieczkowski
07.06.2010 Tangible Functional Programming Bartosz Dolecki
14.06.2010 Jakub Korczyński
14.06.2010 Maciej Kotowicz

Otwarta lista tematów do wyboru

http://www.ii.uni.wroc.pl/~dabi