[TYPES/announce] Logic Colloquium 2024, Gothenburg, 24-28 June 2024

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] + Registration is now open + Contributed talks deadline extended + Student travel grants deadline approaching + Scientific programme available FULL ANNOUNCEMENT: Logic Colloquium 2024

[TYPES/announce] Nordic Online Logic Seminar: next talk on Monday, 18 December by Göran Sundholm

/nordiclogic__;!!IBzWLUs!TxzFxNGscG-WvBTStbsyOSXM7A0C2MckruxZNnt8K8rFNqJCk2fPt8dcnl354_fSreP9ZPxQ2wXVzmQSrokzP0ebQDINl06DzfM$ . Val Goranko and Graham Leigh NOL seminar organisers Nordic Online Logic Seminar Date Monday, 18 December 2023 at 16:00 CET (UTC+1) on Zoom Speaker Göran Sundholm (Professor

[TYPES/announce] One PhD and Two Postdocs in Logic, Gothenburg (Sweden)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Department of Philosophy, Linguistics, and Theory of Science at the University of Gothenburg invites applications for one PhD position and several postdocs in Logic. The PhD position

[TYPES/announce] Nordic Online Logic Seminar: next talk on February 28 by Thierry Coquand

/nordiclogic__;!!IBzWLUs!ApnzhNt8RTIXnZMlC8xOjxnwJFA8CSy3_y2Qyeg6nsWQ54qGBQA41bdz6v73bYkwd84FIsdQ9Xrv-g$ . Val Goranko and Graham Leigh NOL seminar organisers -- Nordic Online Logic Seminar Next talk: Monday, February 28, 16.00-17.30 CET (UTC+1), on Zoom (details

[TYPES/announce] Postdoc position in Logic, Gothenburg (Sweden), Deadline: 31st May 2018

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] POSTDOC POSITION IN LOGIC, GOTHENBURG (SWEDEN) * University of Gothenburg, Sweden * Duration: 2 years, starting Autumn 2018 * Deadline for applications is 31st May 2018 * The Department of