BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Christian Rosendal (University of Maryland)
DTSTART;VALUE=DATE-TIME:20221021T140000Z
DTEND;VALUE=DATE-TIME:20221021T150000Z
DTSTAMP;VALUE=DATE-TIME:20240329T155021Z
UID:CALS/1
DESCRIPTION:Title: Ame
nability\, optimal transport and complementation in Banach modules\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;VALUE=DATE-TIME:20221104T150000Z
DTEND;VALUE=DATE-TIME:20221104T160000Z
DTSTAMP;VALUE=DATE-TIME:20240329T155021Z
UID:CALS/2
DESCRIPTION:Title: Quo
tients and equality\, (co)algebraically\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;VALUE=DATE-TIME:20221118T080000Z
DTEND;VALUE=DATE-TIME:20221118T090000Z
DTSTAMP;VALUE=DATE-TIME:20240329T155021Z
UID:CALS/3
DESCRIPTION:Title: Too
ls of o-minimality in the study of groups\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;VALUE=DATE-TIME:20221202T150000Z
DTEND;VALUE=DATE-TIME:20221202T160000Z
DTSTAMP;VALUE=DATE-TIME:20240329T155021Z
UID:CALS/4
DESCRIPTION:Title: Goo
d ultrafilters and universality properties of forcing\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;VALUE=DATE-TIME:20230127T150000Z
DTEND;VALUE=DATE-TIME:20230127T160000Z
DTSTAMP;VALUE=DATE-TIME:20240329T155021Z
UID:CALS/5
DESCRIPTION:Title: Rev
erse mathematics of some Ramsey-theoretic principles over a weak base theo
ry\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;VALUE=DATE-TIME:20230113T150000Z
DTEND;VALUE=DATE-TIME:20230113T160000Z
DTSTAMP;VALUE=DATE-TIME:20240329T155021Z
UID:CALS/6
DESCRIPTION:Title: Som
e fascinating topics in logic around reducibilities (UNESCO World Logic Da
y session)\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;VALUE=DATE-TIME:20230303T150000Z
DTEND;VALUE=DATE-TIME:20230303T160000Z
DTSTAMP;VALUE=DATE-TIME:20240329T155021Z
UID:CALS/7
DESCRIPTION:Title: Uni
form families of definable sets in finite structures\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;VALUE=DATE-TIME:20230317T150000Z
DTEND;VALUE=DATE-TIME:20230317T160000Z
DTSTAMP;VALUE=DATE-TIME:20240329T155021Z
UID:CALS/8
DESCRIPTION:Title: Boo
le vs Wadge: Comparing Basic Tools of Descriptive Set Theory\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;VALUE=DATE-TIME:20230331T140000Z
DTEND;VALUE=DATE-TIME:20230331T150000Z
DTSTAMP;VALUE=DATE-TIME:20240329T155021Z
UID:CALS/9
DESCRIPTION:Title: Can
onical notions of forcing in Reverse Mathematics\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;VALUE=DATE-TIME:20230505T140000Z
DTEND;VALUE=DATE-TIME:20230505T150000Z
DTSTAMP;VALUE=DATE-TIME:20240329T155021Z
UID:CALS/10
DESCRIPTION:Title: Mu
tual stationarity and the failure of SCH\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;VALUE=DATE-TIME:20230421T140000Z
DTEND;VALUE=DATE-TIME:20230421T150000Z
DTSTAMP;VALUE=DATE-TIME:20240329T155021Z
UID:CALS/11
DESCRIPTION:Title: On
various notions of universally Baire sets\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;VALUE=DATE-TIME:20230616T140000Z
DTEND;VALUE=DATE-TIME:20230616T150000Z
DTSTAMP;VALUE=DATE-TIME:20240329T155021Z
UID:CALS/12
DESCRIPTION:Title: Co
mputably totally disconnected\, locally compact groups\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;VALUE=DATE-TIME:20230609T140000Z
DTEND;VALUE=DATE-TIME:20230609T150000Z
DTSTAMP;VALUE=DATE-TIME:20240329T155021Z
UID:CALS/13
DESCRIPTION:Title: Pr
oof mining: Recent developments\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;VALUE=DATE-TIME:20230519T140000Z
DTEND;VALUE=DATE-TIME:20230519T150000Z
DTSTAMP;VALUE=DATE-TIME:20240329T155021Z
UID:CALS/14
DESCRIPTION:Title: Th
e Wadge order on the Cantor Space and on the Scott Domain\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;VALUE=DATE-TIME:20231103T150000Z
DTEND;VALUE=DATE-TIME:20231103T160000Z
DTSTAMP;VALUE=DATE-TIME:20240329T155021Z
UID:CALS/15
DESCRIPTION:Title: Th
e complexity of the class of models of arithmetic\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;VALUE=DATE-TIME:20231201T150000Z
DTEND;VALUE=DATE-TIME:20231201T160000Z
DTSTAMP;VALUE=DATE-TIME:20240329T155021Z
UID:CALS/16
DESCRIPTION:Title: Ho
momorphisms in the choiceless world\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;VALUE=DATE-TIME:20240301T150000Z
DTEND;VALUE=DATE-TIME:20240301T160000Z
DTSTAMP;VALUE=DATE-TIME:20240329T155021Z
UID:CALS/17
DESCRIPTION:Title: Hi
gher categorical language\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;VALUE=DATE-TIME:20240531T140000Z
DTEND;VALUE=DATE-TIME:20240531T150000Z
DTSTAMP;VALUE=DATE-TIME:20240329T155021Z
UID:CALS/18
DESCRIPTION:by Mirna Dzamonja (CNRS-Université de Paris / 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;VALUE=DATE-TIME:20240503T140000Z
DTEND;VALUE=DATE-TIME:20240503T150000Z
DTSTAMP;VALUE=DATE-TIME:20240329T155021Z
UID:CALS/19
DESCRIPTION:by 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;VALUE=DATE-TIME:20240607T140000Z
DTEND;VALUE=DATE-TIME:20240607T150000Z
DTSTAMP;VALUE=DATE-TIME:20240329T155021Z
UID:CALS/20
DESCRIPTION:by 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;VALUE=DATE-TIME:20240119T150000Z
DTEND;VALUE=DATE-TIME:20240119T160000Z
DTSTAMP;VALUE=DATE-TIME:20240329T155021Z
UID:CALS/21
DESCRIPTION:Title: O-
minimality as a framework for tame mathematical economics\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;VALUE=DATE-TIME:20240405T140000Z
DTEND;VALUE=DATE-TIME:20240405T150000Z
DTSTAMP;VALUE=DATE-TIME:20240329T155021Z
UID:CALS/22
DESCRIPTION:Title: Bo
rel complexity of graph homomorphism\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
END:VCALENDAR