Tobias Weber from the University of Marburg visits Tübingen to defend his BSc. thesis entitled “An Implementation of a Language with Pattern and Copattern Matching”. On the occasion of his visit, we organize a little workshop about application of the language “Uroboro” that Tobias implemented.

Talks

1. Implementation of Uroboro (by Tobias Weber)

2. Ongoing work on refunctionalization (by Julia Trieflinger
   AlumniJulia Trieflinger)

3. Ongoing work on the expression problem (by Jonathan Brachthäuser
   AlumniJonathan Brachthäuser)

4. Future plans with Uroboro (by Tillmann Rendel
   AlumniTillmann Rendel)

The talks start on Monday, March 16, at 2pm in Prof. Klaus Ostermann
HeadOstermann ‘s office (B217/218).

Further Information

• Uroboro implementation