Telefon
(+49)231 755-7951

Fax
(+49)231 755-7936

Sprechzeiten
Nach Vereinbarung

Technische Universität Dortmund
Fakultät für Informatik
Lehrstuhl für Software Engineering (LS14)
Otto-Hahn-Str. 12
44227 Dortmund
Deutschland

Raum OH12, 2.011

• Talk at POPL 2017: Intersection Type Calculi of Bounded Dimension
• ISOLA 2016 (PC member): 7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation. Corfu, Greece, October 5-14 2016.
• ITRS 2016 (PC member): Eighth Workshop on Intersection Types and Related Systems, 26 June 2016, Porto, Portugal. Affiliated with FSCD 2016.
• TYPES 2016 (PC member): 22nd International Conference on Types for Proofs and Programs, 23-26 May 2016, Novi Sad, Serbia.
• Research grant: DFG GRADUIERTENKOLLEG "Anpassungsintelligenz von Fabriken im dynamischen und komplexen Umfeld" (Adaption Intelligence of Factories in a Dynamic and Complex Environment)
• NEW CONFERENCE (please submit)! FSCD 2016 (PC member): 1st International Conference on Formal Structures for Computation and Deduction (FSCD) to be held in Porto, Portugal, 22 - 26 June 2016.
• "FSCD joins together two communities: RTA (Rewriting Techniques and Applications) and TLCA (Typed Lambda Calculi and Applications). While it embraces the core topics of RTA and TLCA, it also broadens their scope to new topics, as for example tools and applications, emerging models of computation such as quantum computing, etc. A tentative list of topics that will serve as the basis of a call for papers is available at: http://www.cs.mcgill.ca/~bpientka/fscd16.html The name of the new conference comes from an unpublished but important book by Gérard Huet that was a strong influence on many researchers in our area."
• ICALP 2016 (PC member): 43rd International Colloquium on Automata, Languages, and Programming. July 11-15, 2016, Rome, Italy.
• MKWI 2016 (PC member): Multikonferenz Wirtschaftsinformatik, Ilmenau, Germany, 9-11 March 2016.
• ModSyn-PL 2015 (Co-chair with George T. Heineman): Modular Synthesis of Product Lines, Workshop affiliated with SPLC 2015, 19th International Software Product Line Conference, July 20 2015, Nashville TN.
• Talk: Combinatory Logic and Program Synthesis
• SEFM 2015 (PC member): 13'th International Conference on Software Engineering and Formal Methods, September 7-11, York, UK, 2015.
• DMV-PTM 2014 Joint Meeting of the German and Polish Mathematical Societies. September 17-20, 2014, Poznan, Poland.
• BEAT 2014 3rd International Workshop on Behavioural Types. September 1st, 2014, Rome, Italy. Affiliated to CONCUR 2014.
• Dagstuhl Seminar 14232 "Design and Synthesis from Components", Schloss Dagstuhl, June 1-6, 2014.
• Abstraction and Verification in Semantics, Semantics of Proofs and Certified Mathematics, Institut Henri Poincaré, Paris, France, June 23-27, 2014.
• ITRS 2014 Intersection Types and Related Systems, affiliated with TLCA 2014, July 18, 2014, Vienna, Austria. Part of the Vienna Summer of Logic (VSL) 2014.
• RTA-TLCA 2014 Joint 25th International Conference on Rewriting Techniques and Applications and 12th International Conference on Typed Lambda Calculi and Applications July 14-17, 2014, Vienna, Austria. Part of the Vienna Summer of Logic (VSL) 2014.
• SEFM 2014 12th International Conference on Software Engineering and Formal Methods September 1-5, 2014, Grenoble, France.