Terminkalender
Archiv der Kategorie: Allgemein
Rückblick Summer School Utrecht
[ 15. September 2010; 16:15 bis 17:15. ] Am 15.09.2010 um 16.15 Uhr gibt Pascal Hof einen Rückblick über den Kurs “Applied Functional Programming” an der Summer School Utrecht. Der Vortrag findet wie gewohnt im Raum 305 im GB4 statt.
Die in dem Kurs verwendeten Materialien sind in dem Wiki zu finden: http://www.cs.uu.nl/wiki/USCS2010
Veröffentlicht unter Allgemein
Hinterlasse einen Kommentar
Klassen in O’Haskell sowie Bäume und Graphen in Expander2
[ 1. September 2010; 16:15 bis 17:15. ] Nach einer kurzen Sommerpause findet am Mittwoch, den 01.09.2010 der nächste Stammtisch statt. Wir treffen uns wie immer um 16:15h am Lehrstuhl für Software-Technologie.
Prof. Dr. Padawitz trägt vor über Klassen in O’Haskell sowie Bäume und Graphen in Expander2.
Genaueres über den Expander erfährt man unter http://fldit-www.cs.uni-dortmund.de/~peter/Expander2.html
Veröffentlicht unter Allgemein
Verschlagwortet mit Bäume, Graphen, OHaskell
Hinterlasse einen Kommentar
Zipper-Transformationen
[ 4. August 2010; 16:15 bis 17:45. ] Am 04.08.2010 trägt Sebastian Menge über Zipper-Transformationen vor.
Beim letzten Vortrag hat Jan das Zipper-Muster vorgestellt mit dem man Positionen in Termen fokussieren kann. Wenn sich die Terme nun ändern, wie kann man die Positionen “konsistent” halten?
Ein virtuelles Zuhause für den Haskell-Stammtisch
Bereits seit April 2009 läuft unser Haskell-Stammtisch. Bisher haben wir Gleichgesinnte vornehmlich über Mundpropaganda gefunden. Ankündigungen haben wir über einen internen Mailalias versendet.
Da in absehbarer Zeit einige von uns die Uni verlassen wird es Zeit, den Stammtisch auf eigene Beine zu stellen, damit er auch in Zukunft wachsen und gedeihen kann.
Deswegen haben wir jetzt ein [...]
Das Zipper-Muster oder Wozu braucht ein Baum einen Reißverschluss?
Am 21. 7. 2010 wird Jan Schultze über “Das Zipper-Muster oder Wozu braucht ein Baum einen Reißverschluss?” vortragen.
Nachtrag: Hier gibt es die Vortragsfolien.
Induktive Graphen und funktionale Graphalgorithmen
[ 7. Juli 2010; 16:15 bis 17:45. ] Diesen Mittwoch (7. 7. 2010) wird Pascal Hof über Induktive Graphen und funktionale Graphalgorithmen vortragen.
Nachtrag:
Hier sind die Folien: Vortrag “Funktionale Graphalgorithmen”
Der Vortrag basiert auf dem Artikel Inductive graphs and functional graph algorithms
Programmieren mit Arrows
[ 23. Juni 2010; 16:15 bis 17:45. ] Nächsten Mittwoch (23. 6. 2010) werden Tristan und Christoph über Programmieren mit Arrows (insbesondere Yampa) vortragen.
Veröffentlicht unter Allgemein
Verschlagwortet mit Arrows, Funktional Reaktive Programmierung (FRP), Roboter
Hinterlasse einen Kommentar
Eine Tour durch die Haskell-Typklassen
[ 9. Juni 2010; 16:15 bis 17:45. ] Am Mittwoch, 9. 6. 2010, trägt Christoph um 16:15 im Haskell-Stammtisch zum Thema “Eine Tour durch die Haskell-Typklassen” vor.
Bereichstheorie
[ 12. Mai 2010; 16:15 bis 17:45. ] Morgen (12.05.2010) wird Ingo über “Bereichstheorie” vortragen.
Generisches Programmieren mit strukturierten Datentypen
[ 26. Mai 2010; 16:15 bis 17:45. ] Am Mittwoch (26.05.2010) wird Sebastian über “Generisches Programmieren mit strukturierten Datentypen” vortragen.
