[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 Gothenburg, Sweden 24-28 June 2024 web: lc2024.se contact: i...@lc2024.se The Logic Colloquium is the European Summer Meeting of the Association for Symbolic Logic, an annual gathering to present current research in all aspects of logic. In 2024, the meeting will be held 24-28 June at the University of Gothenburg in Sweden. == IMPORTANT DATES == 29 February 2024: Deadline for ASL student travel applications 1 March (extended to 8 March): Deadline for contributed talks 28 March: Notification of student travel grants 2 April: Notification of acceptance of contributed talks 17 April: Early registration deadline 24-28 June: Conference == Scientific Programme == The 2024 meeting will comprise 28 invited talks. In addition, the 2024 Gödel Lecture will be delivered at the meeting. Programme available from https://urldefense.com/v3/__https://lc2024.se/program/__;!!IBzWLUs!WEnWuohpiqxk4033bCt-S5U8PnyoIuJO-UhMajXucjyt4Sm8BvdAKVLcznZ1U7m2MV3HSUZsCmcoiUhEGeaUXlshRvg1ip0quGY$ Tutorials == - Anuj Dawar, University of Cambridge: Model theory of tame classes of finite structures - Alberto Marcone, Università Di Udine: WQOs and BQOs in logic - Andrei Sipoș, University of Bucharest: An exploration of proof mining Plenary talks == - Daisuke Bekki, Ochanomizu University: From Dependent Types to Natural Language Semantics - Johanna Franklin, Hofstra University: Structural highness notions - James Freitag, University of Illinois at Chicago: When any three solutions are independent - Marianna Girlando, University of Amsterdam: A decision algorithm for intuitionistic S4 - Stephen Jackson, University of North Texas: Recent advances in the combinatorics of determinacy models - Leszek Kołodziejczyk, University of Warsaw: Models of arithmetic that satisfy more collection than induction - Paul-André Melliès, Université Paris Denis Diderot: Recent advances in higher-order automata and profinite lambda-calculus Gödel Lecture == Thomas Scanlon, University of California at Berkeley Special Sessions == Applied Model Theory, chairs: Gareth Jones and Tamara Servi - Vincent Bagayoko, Université Paris Cité - Anna Dmitrieva, University of East Anglia - Adele Padgett, McMaster University Computable Structures, chairs: Uri Andrews and Julia Knight - Meng-Che (Turbo) Ho, California State University - Matthew Harrison-Trainor, University of Illinois - David Gonzalez, University of California, Berkeley Logic, Language and Computation, chairs: Robin Cooper and Stergios Chatzikyriakidis - Kristina Liefke, Ruhr-University, Bochum - Zhaohui Luo, Royal Holloway, University of London - Peter Sutton, Universitat Pompeu Fabra, Barcelona Logic in Philosophy, chairs: Volker Halbach and Heinrich Wansing - Agata Ciabattoni, Technische Universität Wien - Andrzej Indrzejczak, University of Łódź - Johannes Stern, University of Bristol Proof Theory, chairs: Anton Freund and Sonia Marin - Valentin Blot, ENS Paris-Saclay - Lukas Melgaard, University of Birmingham - Takako Nemoto, Tohuku University Set Theory, chairs: Dana Bartošová and Slawomir Solecki - Tamás Kátay, Eötvös Loránd University, Budapest - Claudio Agostini, Technische Universität Wien - Chris Lambie-Hanson, Czech Academy of Sciences == Contributed Talks == The programme committee invites proposals for contributed talks. These can be on published or unpublished work, as well as work in progress. Instructions for submission will be made available through the conference webpage. Abstracts for contributed talks should conform to the Rules for Abstracts of the ASL and papers must be prepared using ASL template and class which is from the conference webpages https://urldefense.com/v3/__https://lc2024.se/contributed_talks/__;!!IBzWLUs!WEnWuohpiqxk4033bCt-S5U8PnyoIuJO-UhMajXucjyt4Sm8BvdAKVLcznZ1U7m2MV3HSUZsCmcoiUhEGeaUXlshRvg1xqMPphc$ == Programme Committee == Bahareh Afshari (Gothenburg, Sweden) Gal Binyamini (Jerusalem, Israel) Natasha Dobrinen (Notre Dame, USA) Ulrich Kohlenbach (Darmstadt, Germany)(chair) Keng Meng Ng (Singapore) Francesca Poggiolesi (Paris, France) Mehrnoosh Sadrazadeh (London, UK) Reed Solomon (Connecticut, USA) Szymon Toruńczyk (Warsaw, Poland) == Venue == All lectures and talks will take place in Humanisten Building, Renströmsgatan 6, 41255 Göteborg. This is a new and stylish building with all rooms integrated with conference
[TYPES/announce] Nordic Online Logic Seminar: next talk on Monday, 18 December by Göran Sundholm
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Nordic Online Logic Seminar (NOL Seminar) is organised monthly over Zoom, with expository talks on topics of interest for the broader logic community. The seminar is open for professional or aspiring logicians and logic aficionados worldwide. See the announcement for the next talk below. If you wish to receive the Zoom ID and password for it, as well as further announcements, please subscribe here: https://urldefense.com/v3/__https://listserv.gu.se/sympa/subscribe/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 of Logic (em.), Leiden University) Title Curry-Howard: a meaning explanation or just another realizability interpretation? Abstract Around 1930 a major paradigm shift occurred in the foundations of mathematics; we may call it the METAMATHEMATICAL TURN. Until then the task of a logician had been to design and explain a full-scale formal language that was adequate for the practice of mathematical analysis in such a way that the axioms and rules of inference of the theory were rendered evident by the explanations. The metamathematical turn changed the status of the formal languages: now they became (meta)mathematical objects of study. We no longer communicate with the aid of the formal systems – we communicate about them. Kleene’s realizability (JSL 1945) gave a metamathematical (re-)interpretation of arithmetic inside arithmetic. Heyting and Kolmogorov (1931-2), on the other hand, had used “proofs” of propositions, respectively “solutions” to problems, in order to explain the meaning of the mathematical language, rather than reinterpret it internally. We now have the choice to view the Curry-Howard isomorphism, say, as a variant of realizability, when it will be an internal mathematical re-interpretation, or to adopt an atavistic, Frege-like, viewpoint and look at the language as being rendered meaningful. This perspective will be used to discuss another paradigm shift, namely that of distinguishing constructivism and intuitionism. The hesitant attitude of Gödel, Kreisel, and Michael Dummett, will be spelled out, and, at the hand of unpublished source material, a likely reason given.
[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 is open to all topics in mathematical, philosophical and computational logic within the expertise of the Logic Group. The two postdocs are available on the research project "Taming Jörmungandr: The Logical Foundations of Circularity" lead by Graham E. Leigh and funded by the Knut and Alice Wallenberg Foundation. Doctoral position in Logic * University of Gothenburg, Sweden * Duration: 4 years fully-funded * Starting date: September 2023 or by agreement * Deadline: 2 May 2023 * For full details see https://urldefense.com/v3/__https://web103.reachmee.com/ext/I005/1035/job?site=7=UK=9b89bead79bb7258ad55c8d75228e5b7_id=28991__;!!IBzWLUs!XNcngW4yEjV9PYAbDscevbHG-Sw5ahFfsau7Uwm1laCbYzz444aANYE7z9xto-Q8QpsRkoccrHpM9XhOx6nX52TNyNZG3Nx7HF4$ Postdoctoral researcher in Logic, one or more * University of Gothenburg, Sweden * Duration: 2-3 years each * Starting date: September 2023 or by agreement * Deadline: 28 February 2023 * For full details see https://urldefense.com/v3/__https://web103.reachmee.com/ext/I005/1035/job?site=7=UK=9b89bead79bb7258ad55c8d75228e5b7_id=29083__;!!IBzWLUs!XNcngW4yEjV9PYAbDscevbHG-Sw5ahFfsau7Uwm1laCbYzz444aANYE7z9xto-Q8QpsRkoccrHpM9XhOx6nX52TNyNZGzk2TvCU$
[TYPES/announce] Nordic Online Logic Seminar: next talk on February 28 by Thierry Coquand
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Nordic Online Logic Seminar (NOL Seminar) is organised monthly over Zoom, with expository talks on topics of interest for the broader logic community. The seminar is open for professional or aspiring logicians and logic aficionados worldwide. See the announcement for the next talk below. If you wish to receive the Zoom ID and password for it, as well as further announcements, please subscribe here: https://urldefense.com/v3/__https://listserv.gu.se/sympa/subscribe/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 are provided to the seminar subscribers) Title: Formalization of Mathematics and Dependent Type Theory Speaker: Thierry Coquand, professor in computer science at the University of Gothenburg, Sweden Abstract: The first part will be about representation of mathematics on a computer.Questions that arise there are naturally reminiscent of issues that arise when teaching formal proofs in a basic logic course, e.g. how to deal with free and bound variables, and instantiation rules. As discussed in a 1962 paper of Tarski, these issues are "clearly experienced both in teaching an elementary course in mathematical logic and in formalizing the syntax of predicate logic for some theoretical purposes." I will present two quite different approaches to this problem: one inspired by Tarski's paper (N. Megill, system Metamath) and one using dependent type theory (N.G. de Bruijn). The second part will then try to explain how notations introduced by dependent type theory suggest new insights for old questions coming from Principia Mathematica (extensionality, reducibility axiom) through the notion of universe, introduced by Grothendieck for representing category theory in set theory, and introduced in dependent type theory by P. Martin-Löf.
[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 Philosophy, Linguistics and Theory of Science at University of Gothenburg is inviting applications for a Postdoc position in Logic. Topics of interest include proof-theoretic studies of reflection and induction, axiomatic theories of truth, type-theoretic foundations, and fixed-point calculi such as the modal mu-calculus. * For full details see http://www.gu.se/english/about_the_university/job-opportunities/vacancies-details/?id=1637