TWIP: This Week In Parsifal

This week we have two visitors to the team in addition to Elaine Pimentel who has been here for some weeks already.  They are Vivek Nigam (former team member, now a postdoc in Munich) and Giselle Reis (phd student in Vienna). Also, Stefan Hetzl is starting this week a 3 month post doc position within Parsifal as well.

Several talks are planned this week as part of a workshop on specifying and reasoning about logic and proof systems.  These are posted on the team’s calendar (it takes a few seconds to load) or the usual Google Calendar.

Note: some other visitors will be here also next week for a different informal workshop on Abella, Bedwyr, and related systems.