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.