Upcoming Talks
2023
- March 16, Jaap van Oosten (Utrecht)
Partial Combinatory Algebras, between realizability and oracle computation
Time: 16.00 – 17.30
Location: Stijlkamer (Janskerkhof 13, room 0.06)
- April 13, Sebastian Speitel (Bonn)
Title and Abstract TBA
Time: 15.30 – 17.00
Location: Stijlkamer (Janskerkhof 13, room 0.06)
- May 11, Hein Duijf (Utrecht)
Title and Abstract TBA
Time: 15.30 – 17.00
Location: Ravensteynzaal (Kromme Nieuwegracht 80, room 1.06)
- June 8, Franz Berto (St Andrews)
Title and Abstract TBA
Time: 15.30 – 17.00
Location: Ravensteynzaal (Kromme Nieuwegracht 80, room 1.06)
- June 29, Marie Duží (Ostrava)
Title and Abstract TBA
Time: 15.30 – 17.00
Location: Stijlkamer (Janskerkhof 13, room 0.06)
var LanguageMenu; var LanguageMenu_keys=[“ar”,”bg”,”ca”,”zh-CHS”,”zh-CHT”,”cs”,”da”,”nl”,”en”,”et”,”fi”,”fr”,”de”,”el”,”ht”,”he”,”hi”,”mww”,”hu”,”id”,”it”,”ja”,”tlh”,”ko”,”lv”,”lt”,”ms”,”mt”,”no”,”fa”,”pl”,”pt”,”ro”,”ru”,”sk”,”sl”,”es”,”sv”,”th”,”tr”,”uk”,”ur”,”vi”,”cy”]; var LanguageMenu_values=[“Arabic”,”Bulgarian”,”Catalan”,”Chinese Simplified”,”Chinese Traditional”,”Czech”,”Danish”,”Dutch”,”English”,”Estonian”,”Finnish”,”French”,”German”,”Greek”,”Haitian Creole”,”Hebrew”,”Hindi”,”Hmong Daw”,”Hungarian”,”Indonesian”,”Italian”,”Japanese”,”Klingon”,”Korean”,”Latvian”,”Lithuanian”,”Malay”,”Maltese”,”Norwegian”,”Persian”,”Polish”,”Portuguese”,”Romanian”,”Russian”,”Slovak”,”Slovenian”,”Spanish”,”Swedish”,”Thai”,”Turkish”,”Ukrainian”,”Urdu”,”Vietnamese”,”Welsh”]; var LanguageMenu_callback=function(){ }; var LanguageMenu_popupid=’__LanguageMenu_popup’;
var intervalId = setInterval(function () { if (MtPopUpList) { LanguageMenu = new MtPopUpList(); var langMenu = document.getElementById(LanguageMenu_popupid); var origLangDiv = document.createElement(“div”); origLangDiv.id = “OriginalLanguageDiv”; origLangDiv.innerHTML = “ORIGINAL: “; langMenu.appendChild(origLangDiv); LanguageMenu.Init(‘LanguageMenu’, LanguageMenu_keys, LanguageMenu_values, LanguageMenu_callback, LanguageMenu_popupid); window[“LanguageMenu”] = LanguageMenu; clearInterval(intervalId); } }, 1);