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:20260404T110829Z
UID:CALS/1
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/CALS/
 1/">Amenability\, optimal transport and complementation in Banach modules<
 /a>\nby Christian Rosendal (University of Maryland) as part of Cross Alps 
 Logic Seminar\n\nAbstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/CALS/1/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Jacopo Emmenegger (University of Genoa)
DTSTART:20221104T150000Z
DTEND:20221104T160000Z
DTSTAMP:20260404T110829Z
UID:CALS/2
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/CALS/
 2/">Quotients and equality\, (co)algebraically</a>\nby Jacopo Emmenegger (
 University of Genoa) as part of Cross Alps Logic Seminar\n\nAbstract: TBA\
 n
LOCATION:https://stable.researchseminars.org/talk/CALS/2/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Annalisa Conversano (Massey University - Auckland (NZ))
DTSTART:20221118T080000Z
DTEND:20221118T090000Z
DTSTAMP:20260404T110829Z
UID:CALS/3
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/CALS/
 3/">Tools of o-minimality in the study of groups</a>\nby Annalisa Conversa
 no (Massey University - Auckland (NZ)) as part of Cross Alps Logic Seminar
 \n\nAbstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/CALS/3/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Francesco Parente (University of Turin)
DTSTART:20221202T150000Z
DTEND:20221202T160000Z
DTSTAMP:20260404T110829Z
UID:CALS/4
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/CALS/
 4/">Good ultrafilters and universality properties of forcing</a>\nby Franc
 esco Parente (University of Turin) as part of Cross Alps Logic Seminar\n\n
 Abstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/CALS/4/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Katarzyna Kowalik (University of Warsaw)
DTSTART:20230127T150000Z
DTEND:20230127T160000Z
DTSTAMP:20260404T110829Z
UID:CALS/5
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/CALS/
 5/">Reverse mathematics of some Ramsey-theoretic principles over a weak ba
 se theory</a>\nby Katarzyna Kowalik (University of Warsaw) as part of Cros
 s Alps Logic Seminar\n\nAbstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/CALS/5/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Vasco Brattka (Universität der Bundeswehr München)
DTSTART:20230113T150000Z
DTEND:20230113T160000Z
DTSTAMP:20260404T110829Z
UID:CALS/6
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/CALS/
 6/">Some fascinating topics in logic around reducibilities (UNESCO World L
 ogic Day session)</a>\nby Vasco Brattka (Universität der Bundeswehr Münc
 hen) as part of Cross Alps Logic Seminar\n\nAbstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/CALS/6/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Dugald MacPherson (University of Leeds)
DTSTART:20230303T150000Z
DTEND:20230303T160000Z
DTSTAMP:20260404T110829Z
UID:CALS/7
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/CALS/
 7/">Uniform families of definable sets in finite structures</a>\nby Dugald
  MacPherson (University of Leeds) as part of Cross Alps Logic Seminar\n\nA
 bstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/CALS/7/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Victor Selivanov (Institute of Informatics Systems\, Novosibirsk)
DTSTART:20230317T150000Z
DTEND:20230317T160000Z
DTSTAMP:20260404T110829Z
UID:CALS/8
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/CALS/
 8/">Boole vs Wadge: Comparing Basic Tools of Descriptive Set Theory</a>\nb
 y Victor Selivanov (Institute of Informatics Systems\, Novosibirsk) as par
 t of Cross Alps Logic Seminar\n\nAbstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/CALS/8/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Ludovic Patey (CNRS)
DTSTART:20230331T140000Z
DTEND:20230331T150000Z
DTSTAMP:20260404T110829Z
UID:CALS/9
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/CALS/
 9/">Canonical notions of forcing in Reverse Mathematics</a>\nby Ludovic Pa
 tey (CNRS) as part of Cross Alps Logic Seminar\n\nAbstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/CALS/9/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Dima Sinapova (Rutgers University)
DTSTART:20230505T140000Z
DTEND:20230505T150000Z
DTSTAMP:20260404T110829Z
UID:CALS/10
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/CALS/
 10/">Mutual stationarity and the failure of SCH</a>\nby Dima Sinapova (Rut
 gers University) as part of Cross Alps Logic Seminar\n\nAbstract: TBA\n
LOCATION:https://stable.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:20260404T110829Z
UID:CALS/11
DESCRIPTION:Title: <a href="https://stable.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 Lo
 gic Seminar\n\nAbstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/CALS/11/
END:VEVENT
BEGIN:VEVENT
SUMMARY:André Nies (University of Auckland)
DTSTART:20230616T140000Z
DTEND:20230616T150000Z
DTSTAMP:20260404T110829Z
UID:CALS/12
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/CALS/
 12/">Computably totally disconnected\, locally compact groups</a>\nby Andr
 é Nies (University of Auckland) as part of Cross Alps Logic Seminar\n\nAb
 stract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/CALS/12/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Ulrich Kohlenbach (Technische Universität Darmstadt)
DTSTART:20230609T140000Z
DTEND:20230609T150000Z
DTSTAMP:20260404T110829Z
UID:CALS/13
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/CALS/
 13/">Proof mining: Recent developments</a>\nby Ulrich Kohlenbach (Technisc
 he Universität Darmstadt) as part of Cross Alps Logic Seminar\n\nAbstract
 : TBA\n
LOCATION:https://stable.researchseminars.org/talk/CALS/13/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Jacques Duparc (Université de Lausanne)
DTSTART:20230519T140000Z
DTEND:20230519T150000Z
DTSTAMP:20260404T110829Z
UID:CALS/14
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/CALS/
 14/">The Wadge order on the Cantor Space and on the Scott Domain</a>\nby J
 acques Duparc (Université de Lausanne) as part of Cross Alps Logic Semina
 r\n\nAbstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/CALS/14/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Steffen Lempp (University of Wisconsin)
DTSTART:20231103T150000Z
DTEND:20231103T160000Z
DTSTAMP:20260404T110829Z
UID:CALS/15
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/CALS/
 15/">The complexity of the class of models of arithmetic</a>\nby Steffen L
 empp (University of Wisconsin) as part of Cross Alps Logic Seminar\n\nAbst
 ract: TBA\n
LOCATION:https://stable.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:20260404T110829Z
UID:CALS/16
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/CALS/
 16/">Homomorphisms in the choiceless world</a>\nby Zoltán Vidnyánszky (E
 ötvös Loránd University) as part of Cross Alps Logic Seminar\n\nAbstrac
 t: TBA\n
LOCATION:https://stable.researchseminars.org/talk/CALS/16/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Simon Henry (University of Ottawa)
DTSTART:20240301T150000Z
DTEND:20240301T160000Z
DTSTAMP:20260404T110829Z
UID:CALS/17
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/CALS/
 17/">Higher categorical language</a>\nby Simon Henry (University of Ottawa
 ) as part of Cross Alps Logic Seminar\n\nAbstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/CALS/17/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Mirna Dzamonja (CNRS-Université de Paris / IHPST)
DTSTART:20240531T140000Z
DTEND:20240531T150000Z
DTSTAMP:20260404T110829Z
UID:CALS/18
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/CALS/
 18/">Transfer principles in logic</a>\nby Mirna Dzamonja (CNRS-Université
  de Paris / IHPST) as part of Cross Alps Logic Seminar\n\nAbstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/CALS/18/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Spencer Unger (University of Toronto)
DTSTART:20240503T140000Z
DTEND:20240503T150000Z
DTSTAMP:20260404T110829Z
UID:CALS/19
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/CALS/
 19/">Iterated ultrapower methods</a>\nby Spencer Unger (University of Toro
 nto) as part of Cross Alps Logic Seminar\n\nAbstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/CALS/19/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Lorenz Halbeisen (ETH Zürich)
DTSTART:20240607T140000Z
DTEND:20240607T150000Z
DTSTAMP:20260404T110829Z
UID:CALS/20
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/CALS/
 20/">The Graph Embedding Property and its relation to the Prime Ideal Theo
 rem</a>\nby Lorenz Halbeisen (ETH Zürich) as part of Cross Alps Logic Sem
 inar\n\nAbstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/CALS/20/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Charles Steinhorn (Vassar College)
DTSTART:20240119T150000Z
DTEND:20240119T160000Z
DTSTAMP:20260404T110829Z
UID:CALS/21
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/CALS/
 21/">O-minimality as a framework for tame mathematical economics</a>\nby C
 harles Steinhorn (Vassar College) as part of Cross Alps Logic Seminar\n\nA
 bstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/CALS/21/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Luca Motto Ros (University of Udine)
DTSTART:20240405T140000Z
DTEND:20240405T150000Z
DTSTAMP:20260404T110829Z
UID:CALS/22
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/CALS/
 22/">Borel complexity of graph homomorphism</a>\nby Luca Motto Ros (Univer
 sity of Udine) as part of Cross Alps Logic Seminar\n\nAbstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/CALS/22/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Raphael Carroy (University of Turin)
DTSTART:20241122T150000Z
DTEND:20241122T160000Z
DTSTAMP:20260404T110829Z
UID:CALS/23
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/CALS/
 23/">A well-quasi-order for continuous functions</a>\nby Raphael Carroy (U
 niversity of Turin) as part of Cross Alps Logic Seminar\n\nAbstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/CALS/23/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Mai Gehrke (Université Côte d’Azur)
DTSTART:20241206T150000Z
DTEND:20241206T160000Z
DTSTAMP:20260404T110829Z
UID:CALS/24
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/CALS/
 24/">Introduction to Stone\, Priestley\, and the Omega-Point dualities and
  some generalisations</a>\nby Mai Gehrke (Université Côte d’Azur) as p
 art of Cross Alps Logic Seminar\n\nAbstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/CALS/24/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Jouko Väänänen (University of Helsinki)
DTSTART:20240117T150000Z
DTEND:20240117T160000Z
DTSTAMP:20260404T110829Z
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://stable.researchseminars.org/talk/CALS/25/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Jouko Väänänen (University of Helsinki)
DTSTART:20250117T150000Z
DTEND:20250117T160000Z
DTSTAMP:20260404T110829Z
UID:CALS/26
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/CALS/
 26/">Categoricity arguments and their philosophical uses</a>\nby Jouko Vä
 änänen (University of Helsinki) as part of Cross Alps Logic Seminar\n\nA
 bstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/CALS/26/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Sumun Iyer (Carnegie Mellon University)
DTSTART:20250307T150000Z
DTEND:20250307T160000Z
DTSTAMP:20260404T110829Z
UID:CALS/27
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/CALS/
 27/">Extremely amenable groups of homeomorphisms</a>\nby Sumun Iyer (Carne
 gie Mellon University) as part of Cross Alps Logic Seminar\n\nAbstract: TB
 A\n
LOCATION:https://stable.researchseminars.org/talk/CALS/27/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Hugo Herbelin (INRIA)
DTSTART:20250404T140000Z
DTEND:20250404T150000Z
DTSTAMP:20260404T110829Z
UID:CALS/28
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/CALS/
 28/">On the logical structure of some choice\, maximality\, bar induction\
 , and well-foundedness principles</a>\nby Hugo Herbelin (INRIA) as part of
  Cross Alps Logic Seminar\n\nAbstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/CALS/28/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Marcos Mazari-Armida (Baylor University)
DTSTART:20250509T140000Z
DTEND:20250509T150000Z
DTSTAMP:20260404T110829Z
UID:CALS/29
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/CALS/
 29/">A Baer-like criterion for relative injective modules via model theory
 </a>\nby Marcos Mazari-Armida (Baylor University) as part of Cross Alps Lo
 gic Seminar\n\nAbstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/CALS/29/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Manlio Valenti (Swansea University)
DTSTART:20250613T140000Z
DTEND:20250613T150000Z
DTSTAMP:20260404T110829Z
UID:CALS/30
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/CALS/
 30/">On the computational strength of a Hausdorff oracle</a>\nby Manlio Va
 lenti (Swansea University) as part of Cross Alps Logic Seminar\n\nAbstract
 : TBA\n
LOCATION:https://stable.researchseminars.org/talk/CALS/30/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Benjamin Siskind (TU WIen)
DTSTART:20250606T140000Z
DTEND:20250606T150000Z
DTSTAMP:20260404T110829Z
UID:CALS/31
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/CALS/
 31/">The status of Martin's Conjecture</a>\nby Benjamin Siskind (TU WIen) 
 as part of Cross Alps Logic Seminar\n\nAbstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/CALS/31/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Mathieu Hoyrup (INRIA)
DTSTART:20251107T150000Z
DTEND:20251107T160000Z
DTSTAMP:20260404T110829Z
UID:CALS/32
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/CALS/
 32/">Computable type: an overview</a>\nby Mathieu Hoyrup (INRIA) as part o
 f Cross Alps Logic Seminar\n\nAbstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/CALS/32/
END:VEVENT
BEGIN:VEVENT
SUMMARY:William Chan (TU Wien)
DTSTART:20260306T150000Z
DTEND:20260306T160000Z
DTSTAMP:20260404T110829Z
UID:CALS/33
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/CALS/
 33/">The ABCD Hypothesis</a>\nby William Chan (TU Wien) as part of Cross A
 lps Logic Seminar\n\nAbstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/CALS/33/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Giovanni Soldà (Ghent University)
DTSTART:20251219T150000Z
DTEND:20251219T160000Z
DTSTAMP:20260404T110829Z
UID:CALS/34
DESCRIPTION:Title: <a href="https://stable.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://stable.researchseminars.org/talk/CALS/34/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Anand Pillay (University of Notre Dame)
DTSTART:20260109T150000Z
DTEND:20260109T160000Z
DTSTAMP:20260404T110829Z
UID:CALS/35
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/CALS/
 35/">Categoricity and relative categoricity in first order logic</a>\nby A
 nand Pillay (University of Notre Dame) as part of Cross Alps Logic Seminar
 \n\nAbstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/CALS/35/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Pino Rosolini (University of Genova)
DTSTART:20260410T140000Z
DTEND:20260410T150000Z
DTSTAMP:20260404T110829Z
UID:CALS/36
DESCRIPTION:by Pino Rosolini (University of Genova) as part of Cross Alps 
 Logic Seminar\n\nAbstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/CALS/36/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Slawomir Solecki (Cornell University)
DTSTART:20260529T140000Z
DTEND:20260529T150000Z
DTSTAMP:20260404T110829Z
UID:CALS/37
DESCRIPTION:by Slawomir Solecki (Cornell University) as part of Cross Alps
  Logic Seminar\n\nAbstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/CALS/37/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Sheila Miller Edwards (Arizona State University)
DTSTART:20260508T140000Z
DTEND:20260508T150000Z
DTSTAMP:20260404T110829Z
UID:CALS/38
DESCRIPTION:by Sheila Miller Edwards (Arizona State University) as part of
  Cross Alps Logic Seminar\n\nAbstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/CALS/38/
END:VEVENT
END:VCALENDAR