joachim-breitner.de
Blog – Joachim Breitner's Homepage
http://www.joachim-breitner.de/blog
Es ist wieder Freitag, und ich sitze wieder in einem Zug. Letzte Woche war es der ICE nach Philadelphia (mit einmal Umsteigen am Flughafen Frankfurt), jetzt ist es der Amtrak Northeastern Regional train nach Boston, wo ich übers Wochenende eine Freundin besuche. Erzählen will ich jetzt aber nicht von Boston, sondern von meiner ersten Woche Philadelphia. Der Schlüssel lag wie vereinbart im Briefkasten. Der erste Eindruck des Wohn- und Esszimmers war mäßig: Geräumig, aber es stand viel Krempel herum. Am nä...
pp.ipd.kit.edu
Dr. Joachim Breitner
http://pp.ipd.kit.edu/~breitner
Lehrstuhl Programmierparadigmen - IPD Snelting. Dr rer. nat. Joachim Breitner. Email: please click this text. I mostly work on the field of Functional Programming, especially Haskell, and don’t mind some side-looks into formal verficiation and theorem proving. I have moved on and taken a post-doc position at the University of Pennsylvania in Philadelphia, where I have a institutional webpage. You might also be interested in my. Program Committee Chair of Haskell in Leipzig 2016. Principles of Security an...
cccdd.de
<<</>> Chaos Computer Club Dresden | c3d2 - Kalender: August & September 2016
https://cccdd.de/calendar.html
Chaos Computer Club Dresden c3d2. Kalender: August and September 2016. Gehört mir mein Gerät? Open Data Lab Meetup. 9 Orga-Treffen Datenspuren 2016. 35 Jahre CCC e.V. Der Kalender ist auch im iCal-. Cover, Concealment, Camouflage, Denial and Deception.
wflp2016.github.io
WFLP 2016 Talk Schedule and Pre-Proceedings
http://wflp2016.github.io/accepted.html
Talk Schedule and Pre-Proceedings. Tuesday, 10:20–11:20. Declarative Model Transformations with Triple Graph Grammars. Triple Graph Grammars (TGGs) provide a rule-based means of specifying a consistency relation over two graph languages. TGG rules are declarative in the sense that they are both direction agnostic and pattern based, characterising all consistent pairs of graphs without fixing the order in which rules are to be applied to restore consistency. Chair: Baltasar Trancón y Widemann. Is a declar...
c3d2.de
<<</>> Chaos Computer Club Dresden | c3d2 - Kalender: August & September 2016
https://www.c3d2.de/calendar.html
Chaos Computer Club Dresden c3d2. Kalender: August and September 2016. Gehört mir mein Gerät? Open Data Lab Meetup. 9 Orga-Treffen Datenspuren 2016. 35 Jahre CCC e.V. Der Kalender ist auch im iCal-. Cover, Concealment, Camouflage, Denial and Deception.