Stroopt, a clear reference to "Structural and object-oriented proof theory" (whose precise meaning is still an intriguing topic for us), is a series of informal talks about logic, language, and computation, given and attended by a group of graduate students, postdocs and professors from the Fundamental Computing Group of the Bernoulli Institute (University of Groningen, Netherlands).
It usually takes place in Bernoulliborg on every Friday.
If you are interested in being a Stroopter, please send a message (email or Discord) to Vitor Greati ([email protected]) or Valentina Trucco Dalmas ([email protected]) informing the day you intend to present. There is no requirement for the presentation format, feel free to use slides, the whiteboard, or just talk, as soon as we can understand and discuss 🙂.
Below you can find the agenda with past and future Stroopt presentations:
Upcoming talks (tentative dates)
Some talks are part of special Stroopt events, which we list below:
Categorical Proof Theory (short course), by Amir Tabatabai (March-August, 2023)
And, finally, since remembering is living, here we go: