Priv.-Doz. Dr. David Sabel
ehemaliger Mitarbeiter
Neue Webseite:
www.davidsabel.de
Adresse:
Dr. David Sabel
Professur KIST
Institut für Informatik
FB Informatik und Mathematik (12)
Johann Wolfgang Goethe-Universität
D-60629 Frankfurt am Main
Germany
E-Mail:
Diese Seite wird nicht mehr aktualisiert, neue Webseite:
www.davidsabel.de
Veröffentlichungen
[
DBLP
|
ACM DL
|
Google Scholar
]
DFG-Projekt:
Beobachtungskorrektheit von Programmiersprachenübersetzungen
Events:
WPTE 2016: Third International Workshop on Rewriting Techniques for Program Transformations and Evaluation
FSCD 2016: 1st International Conference on Formal Structures for Computation and Deduction
IJCAI 2016: 25th International Joint Conference on Artificial Intelligence
ISR 2015: International School on Rewriting
TermComp 2015:Termination Competition 2015
WPTE 2015: Second International Workshop on Rewriting Techniques for Program Transformations and Evaluation
WPTE 2014: First International Workshop on Rewriting Techniques for Program Transformations and Evaluation
RTA/TLCA 2014: Rewriting Techniques and Applications (RTA) joint with the 12th International Conference on Typed Lambda Calculi and Applications (TLCA)
Lehrveranstaltungen:
Vorsemesterkurs Informatik Sommersemester 2016
Einführung in die Funktionale Programmierung (WS 2015/16)
Praktikum Funktionale Programmierung (SoSe 2015)
Vorsemesterkurs Informatik Sommersemester 2015
Praktikum BKSPP-PR (WS 2014/15)
Vorsemesterkurs Informatik Sommersemester 2014
Einführung in die Methoden der Künstlichen Intelligenz (SoSe 2014)
Aktuelle Themen zu Informatik der Systeme:
Nebenläufige Programmierung: Praxis und Semantik (WS 2013/14)
Praktikum Funktionale Programmierung (SoSe 2013)
Vorsemesterkurs Informatik Sommersemester 2013
Einführung in die Methoden der Künstlichen Intelligenz (WS 2012/13)
Praktikum BKSPP-PR (SoSe 2012)
Vorsemesterkurs Informatik Sommersemester 2012
Aktuelle Themen zu Informatik der Systeme:
Nebenläufige Programmierung: Praxis und Semantik (WS 2011/12)
Praktikum Funktionale Programmierung (SoSe 2011)
Vorsemesterkurs Informatik Sommersemester 2011
Einführung in die Funktionale Programmierung (WS 2010/11)
Praktikum BKSPP-PR (SoSe 2010)
Aktuelle Themen zu Informatik der Systeme:
Nebenläufige Programmierung: Praxis und Semantik (WS 2009/10)
Verschiedenes
$Author: sabel $, $Date: 2016/05/15 20:05:44 $
uni ffm © 1997, 2004
