BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Christian Rosendal (University of Maryland)
DTSTART:20221021T140000Z
DTEND:20221021T150000Z
DTSTAMP:20260422T225756Z
UID:CALS/1
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/CALS/1/">Ame
 nability\, optimal transport and complementation in Banach modules</a>\nby
  Christian Rosendal (University of Maryland) as part of Cross Alps Logic S
 eminar\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/CALS/1/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Jacopo Emmenegger (University of Genoa)
DTSTART:20221104T150000Z
DTEND:20221104T160000Z
DTSTAMP:20260422T225756Z
UID:CALS/2
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/CALS/2/">Quo
 tients and equality\, (co)algebraically</a>\nby Jacopo Emmenegger (Univers
 ity of Genoa) as part of Cross Alps Logic Seminar\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/CALS/2/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Annalisa Conversano (Massey University - Auckland (NZ))
DTSTART:20221118T080000Z
DTEND:20221118T090000Z
DTSTAMP:20260422T225756Z
UID:CALS/3
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/CALS/3/">Too
 ls of o-minimality in the study of groups</a>\nby Annalisa Conversano (Mas
 sey University - Auckland (NZ)) as part of Cross Alps Logic Seminar\n\nAbs
 tract: TBA\n
LOCATION:https://researchseminars.org/talk/CALS/3/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Francesco Parente (University of Turin)
DTSTART:20221202T150000Z
DTEND:20221202T160000Z
DTSTAMP:20260422T225756Z
UID:CALS/4
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/CALS/4/">Goo
 d ultrafilters and universality properties of forcing</a>\nby Francesco Pa
 rente (University of Turin) as part of Cross Alps Logic Seminar\n\nAbstrac
 t: TBA\n
LOCATION:https://researchseminars.org/talk/CALS/4/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Katarzyna Kowalik (University of Warsaw)
DTSTART:20230127T150000Z
DTEND:20230127T160000Z
DTSTAMP:20260422T225756Z
UID:CALS/5
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/CALS/5/">Rev
 erse mathematics of some Ramsey-theoretic principles over a weak base theo
 ry</a>\nby Katarzyna Kowalik (University of Warsaw) as part of Cross Alps 
 Logic Seminar\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/CALS/5/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Vasco Brattka (Universität der Bundeswehr München)
DTSTART:20230113T150000Z
DTEND:20230113T160000Z
DTSTAMP:20260422T225756Z
UID:CALS/6
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/CALS/6/">Som
 e fascinating topics in logic around reducibilities (UNESCO World Logic Da
 y session)</a>\nby Vasco Brattka (Universität der Bundeswehr München) as
  part of Cross Alps Logic Seminar\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/CALS/6/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Dugald MacPherson (University of Leeds)
DTSTART:20230303T150000Z
DTEND:20230303T160000Z
DTSTAMP:20260422T225756Z
UID:CALS/7
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/CALS/7/">Uni
 form families of definable sets in finite structures</a>\nby Dugald MacPhe
 rson (University of Leeds) as part of Cross Alps Logic Seminar\n\nAbstract
 : TBA\n
LOCATION:https://researchseminars.org/talk/CALS/7/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Victor Selivanov (Institute of Informatics Systems\, Novosibirsk)
DTSTART:20230317T150000Z
DTEND:20230317T160000Z
DTSTAMP:20260422T225756Z
UID:CALS/8
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/CALS/8/">Boo
 le vs Wadge: Comparing Basic Tools of Descriptive Set Theory</a>\nby Victo
 r Selivanov (Institute of Informatics Systems\, Novosibirsk) as part of Cr
 oss Alps Logic Seminar\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/CALS/8/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Ludovic Patey (CNRS)
DTSTART:20230331T140000Z
DTEND:20230331T150000Z
DTSTAMP:20260422T225756Z
UID:CALS/9
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/CALS/9/">Can
 onical notions of forcing in Reverse Mathematics</a>\nby Ludovic Patey (CN
 RS) as part of Cross Alps Logic Seminar\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/CALS/9/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Dima Sinapova (Rutgers University)
DTSTART:20230505T140000Z
DTEND:20230505T150000Z
DTSTAMP:20260422T225756Z
UID:CALS/10
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/CALS/10/">Mu
 tual stationarity and the failure of SCH</a>\nby Dima Sinapova (Rutgers Un
 iversity) as part of Cross Alps Logic Seminar\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/CALS/10/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Márton Elekes (Rényi Institute and Eötvös Loránd University)
DTSTART:20230421T140000Z
DTEND:20230421T150000Z
DTSTAMP:20260422T225756Z
UID:CALS/11
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/CALS/11/">On
  various notions of universally Baire sets</a>\nby Márton Elekes (Rényi 
 Institute and Eötvös Loránd University) as part of Cross Alps Logic Sem
 inar\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/CALS/11/
END:VEVENT
BEGIN:VEVENT
SUMMARY:André Nies (University of Auckland)
DTSTART:20230616T140000Z
DTEND:20230616T150000Z
DTSTAMP:20260422T225756Z
UID:CALS/12
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/CALS/12/">Co
 mputably totally disconnected\, locally compact groups</a>\nby André Nies
  (University of Auckland) as part of Cross Alps Logic Seminar\n\nAbstract:
  TBA\n
LOCATION:https://researchseminars.org/talk/CALS/12/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Ulrich Kohlenbach (Technische Universität Darmstadt)
DTSTART:20230609T140000Z
DTEND:20230609T150000Z
DTSTAMP:20260422T225756Z
UID:CALS/13
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/CALS/13/">Pr
 oof mining: Recent developments</a>\nby Ulrich Kohlenbach (Technische Univ
 ersität Darmstadt) as part of Cross Alps Logic Seminar\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/CALS/13/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Jacques Duparc (Université de Lausanne)
DTSTART:20230519T140000Z
DTEND:20230519T150000Z
DTSTAMP:20260422T225756Z
UID:CALS/14
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/CALS/14/">Th
 e Wadge order on the Cantor Space and on the Scott Domain</a>\nby Jacques 
 Duparc (Université de Lausanne) as part of Cross Alps Logic Seminar\n\nAb
 stract: TBA\n
LOCATION:https://researchseminars.org/talk/CALS/14/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Steffen Lempp (University of Wisconsin)
DTSTART:20231103T150000Z
DTEND:20231103T160000Z
DTSTAMP:20260422T225756Z
UID:CALS/15
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/CALS/15/">Th
 e complexity of the class of models of arithmetic</a>\nby Steffen Lempp (U
 niversity of Wisconsin) as part of Cross Alps Logic Seminar\n\nAbstract: T
 BA\n
LOCATION:https://researchseminars.org/talk/CALS/15/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Zoltán Vidnyánszky (Eötvös Loránd University)
DTSTART:20231201T150000Z
DTEND:20231201T160000Z
DTSTAMP:20260422T225756Z
UID:CALS/16
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/CALS/16/">Ho
 momorphisms in the choiceless world</a>\nby Zoltán Vidnyánszky (Eötvös
  Loránd University) as part of Cross Alps Logic Seminar\n\nAbstract: TBA\
 n
LOCATION:https://researchseminars.org/talk/CALS/16/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Simon Henry (University of Ottawa)
DTSTART:20240301T150000Z
DTEND:20240301T160000Z
DTSTAMP:20260422T225756Z
UID:CALS/17
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/CALS/17/">Hi
 gher categorical language</a>\nby Simon Henry (University of Ottawa) as pa
 rt of Cross Alps Logic Seminar\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/CALS/17/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Mirna Dzamonja (CNRS-Université de Paris / IHPST)
DTSTART:20240531T140000Z
DTEND:20240531T150000Z
DTSTAMP:20260422T225756Z
UID:CALS/18
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/CALS/18/">Tr
 ansfer principles in logic</a>\nby Mirna Dzamonja (CNRS-Université de Par
 is / IHPST) as part of Cross Alps Logic Seminar\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/CALS/18/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Spencer Unger (University of Toronto)
DTSTART:20240503T140000Z
DTEND:20240503T150000Z
DTSTAMP:20260422T225756Z
UID:CALS/19
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/CALS/19/">It
 erated ultrapower methods</a>\nby Spencer Unger (University of Toronto) as
  part of Cross Alps Logic Seminar\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/CALS/19/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Lorenz Halbeisen (ETH Zürich)
DTSTART:20240607T140000Z
DTEND:20240607T150000Z
DTSTAMP:20260422T225756Z
UID:CALS/20
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/CALS/20/">Th
 e Graph Embedding Property and its relation to the Prime Ideal Theorem</a>
 \nby Lorenz Halbeisen (ETH Zürich) as part of Cross Alps Logic Seminar\n\
 nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/CALS/20/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Charles Steinhorn (Vassar College)
DTSTART:20240119T150000Z
DTEND:20240119T160000Z
DTSTAMP:20260422T225756Z
UID:CALS/21
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/CALS/21/">O-
 minimality as a framework for tame mathematical economics</a>\nby Charles 
 Steinhorn (Vassar College) as part of Cross Alps Logic Seminar\n\nAbstract
 : TBA\n
LOCATION:https://researchseminars.org/talk/CALS/21/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Luca Motto Ros (University of Udine)
DTSTART:20240405T140000Z
DTEND:20240405T150000Z
DTSTAMP:20260422T225756Z
UID:CALS/22
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/CALS/22/">Bo
 rel complexity of graph homomorphism</a>\nby Luca Motto Ros (University of
  Udine) as part of Cross Alps Logic Seminar\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/CALS/22/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Raphael Carroy (University of Turin)
DTSTART:20241122T150000Z
DTEND:20241122T160000Z
DTSTAMP:20260422T225756Z
UID:CALS/23
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/CALS/23/">A 
 well-quasi-order for continuous functions</a>\nby Raphael Carroy (Universi
 ty of Turin) as part of Cross Alps Logic Seminar\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/CALS/23/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Mai Gehrke (Université Côte d’Azur)
DTSTART:20241206T150000Z
DTEND:20241206T160000Z
DTSTAMP:20260422T225756Z
UID:CALS/24
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/CALS/24/">In
 troduction to Stone\, Priestley\, and the Omega-Point dualities and some g
 eneralisations</a>\nby Mai Gehrke (Université Côte d’Azur) as part of 
 Cross Alps Logic Seminar\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/CALS/24/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Jouko Väänänen (University of Helsinki)
DTSTART:20240117T150000Z
DTEND:20240117T160000Z
DTSTAMP:20260422T225756Z
UID:CALS/25
DESCRIPTION:by Jouko Väänänen (University of Helsinki) as part of Cross
  Alps Logic Seminar\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/CALS/25/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Jouko Väänänen (University of Helsinki)
DTSTART:20250117T150000Z
DTEND:20250117T160000Z
DTSTAMP:20260422T225756Z
UID:CALS/26
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/CALS/26/">Ca
 tegoricity arguments and their philosophical uses</a>\nby Jouko Väänäne
 n (University of Helsinki) as part of Cross Alps Logic Seminar\n\nAbstract
 : TBA\n
LOCATION:https://researchseminars.org/talk/CALS/26/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Sumun Iyer (Carnegie Mellon University)
DTSTART:20250307T150000Z
DTEND:20250307T160000Z
DTSTAMP:20260422T225756Z
UID:CALS/27
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/CALS/27/">Ex
 tremely amenable groups of homeomorphisms</a>\nby Sumun Iyer (Carnegie Mel
 lon University) as part of Cross Alps Logic Seminar\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/CALS/27/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Hugo Herbelin (INRIA)
DTSTART:20250404T140000Z
DTEND:20250404T150000Z
DTSTAMP:20260422T225756Z
UID:CALS/28
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/CALS/28/">On
  the logical structure of some choice\, maximality\, bar induction\, and w
 ell-foundedness principles</a>\nby Hugo Herbelin (INRIA) as part of Cross 
 Alps Logic Seminar\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/CALS/28/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Marcos Mazari-Armida (Baylor University)
DTSTART:20250509T140000Z
DTEND:20250509T150000Z
DTSTAMP:20260422T225756Z
UID:CALS/29
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/CALS/29/">A 
 Baer-like criterion for relative injective modules via model theory</a>\nb
 y Marcos Mazari-Armida (Baylor University) as part of Cross Alps Logic Sem
 inar\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/CALS/29/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Manlio Valenti (Swansea University)
DTSTART:20250613T140000Z
DTEND:20250613T150000Z
DTSTAMP:20260422T225756Z
UID:CALS/30
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/CALS/30/">On
  the computational strength of a Hausdorff oracle</a>\nby Manlio Valenti (
 Swansea University) as part of Cross Alps Logic Seminar\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/CALS/30/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Benjamin Siskind (TU WIen)
DTSTART:20250606T140000Z
DTEND:20250606T150000Z
DTSTAMP:20260422T225756Z
UID:CALS/31
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/CALS/31/">Th
 e status of Martin's Conjecture</a>\nby Benjamin Siskind (TU WIen) as part
  of Cross Alps Logic Seminar\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/CALS/31/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Mathieu Hoyrup (INRIA)
DTSTART:20251107T150000Z
DTEND:20251107T160000Z
DTSTAMP:20260422T225756Z
UID:CALS/32
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/CALS/32/">Co
 mputable type: an overview</a>\nby Mathieu Hoyrup (INRIA) as part of Cross
  Alps Logic Seminar\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/CALS/32/
END:VEVENT
BEGIN:VEVENT
SUMMARY:William Chan (TU Wien)
DTSTART:20260306T150000Z
DTEND:20260306T160000Z
DTSTAMP:20260422T225756Z
UID:CALS/33
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/CALS/33/">Th
 e ABCD Hypothesis</a>\nby William Chan (TU Wien) as part of Cross Alps Log
 ic Seminar\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/CALS/33/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Giovanni Soldà (Ghent University)
DTSTART:20251219T150000Z
DTEND:20251219T160000Z
DTSTAMP:20260422T225756Z
UID:CALS/34
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/CALS/34/">On
  the reverse mathematics of Nash-Williams' Theorem</a>\nby Giovanni Soldà
  (Ghent University) as part of Cross Alps Logic Seminar\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/CALS/34/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Anand Pillay (University of Notre Dame)
DTSTART:20260109T150000Z
DTEND:20260109T160000Z
DTSTAMP:20260422T225756Z
UID:CALS/35
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/CALS/35/">Ca
 tegoricity and relative categoricity in first order logic</a>\nby Anand Pi
 llay (University of Notre Dame) as part of Cross Alps Logic Seminar\n\nAbs
 tract: TBA\n
LOCATION:https://researchseminars.org/talk/CALS/35/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Giuseppe Rosolini (University of Genova)
DTSTART:20260410T140000Z
DTEND:20260410T150000Z
DTSTAMP:20260422T225756Z
UID:CALS/36
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/CALS/36/">Su
 ggesting a categorical structure on categories of models</a>\nby Giuseppe 
 Rosolini (University of Genova) as part of Cross Alps Logic Seminar\n\nAbs
 tract: TBA\n
LOCATION:https://researchseminars.org/talk/CALS/36/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Slawomir Solecki (Cornell University)
DTSTART:20260529T140000Z
DTEND:20260529T150000Z
DTSTAMP:20260422T225756Z
UID:CALS/37
DESCRIPTION:by Slawomir Solecki (Cornell University) as part of Cross Alps
  Logic Seminar\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/CALS/37/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Sheila Miller Edwards (Arizona State University)
DTSTART:20260508T140000Z
DTEND:20260508T150000Z
DTSTAMP:20260422T225756Z
UID:CALS/38
DESCRIPTION:by Sheila Miller Edwards (Arizona State University) as part of
  Cross Alps Logic Seminar\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/CALS/38/
END:VEVENT
END:VCALENDAR