{{menu SDF60|Program}}
=== SUNDAY July 7 === | |
---|---|
2:00 pm | '''''— Registration —''''' |
6:00 pm | |
=== MONDAY July 8 === | |
9:00 am | '''''— Hi from Sy —''''' |
9:10 am | '''Bob Coecke''': ''Math, physics, language and music''. [/2013/SDF60/slides/SDF60_Coecke.pdf slides] |
9:40 am | |
9:50 am | '''John Baldwin''': ''Categoricity and Completeness: Formalization without Foundationalism''. [/2013/SDF60/slides/SDF60_Baldwin.pdf slides] |
10:20 am | '''''— Coffee Break —''''' |
10:50 am | '''Victor Selivanov''': ''Descriptive Set Theory and Computation Theory''. [/2013/SDF60/slides/SDF60_Selivanov.pdf slides] |
11:20 am | |
11:30 am | '''Wilfried Greiner''': ''Two Romans meet ...'' |
12:00 pm | '''''— Lunch Break (until 2:15 pm) —''''' |
1:30 pm | '''''— Reimbursement desk open (untill 2:00 pm) —''''' |
2:15 pm | '''Luca Motto Ros''': ''On the Invariant Universality Property''. [/2013/SDF60/slides/SDF60_Motto_Ros.pdf slides] |
2:45 pm | |
2:55 pm | '''Clinton Conley''': ''Local complexity among treeable equivalence relations, part 1''. [/2013/SDF60/Abstracts.html#Conley abstract] |
3:25 pm | '''''— Fancy Break: Cake and Sekt! —''''' |
4:10 pm | '''Menachem Magidor''': ''When Physics meets Set Theory''. |
4:40 pm | |
4:50 pm | '''Tatiana Arrigoni''': ''The Hyperuniverse Program from a philosophical point of view''. [/2013/SDF60/Abstracts.html#Arrigoni abstract] |
5:20 pm | |
5:30 pm | '''Ali Enayat''': ''Mathematics meets Poetry: Omar Khayyam''. [/2013/SDF60/Abstracts.html#Enayat abstract] |
6:00 pm | |
=== TUESDAY July 9 === | |
9:00 am | '''Asger Törnquist''': ''Analytic eventually different families of functions are not maximal''. [/2013/SDF60/Abstracts.html#Tornquist abstract] [/2013/SDF60/slides/SDF60_Tornquist.pdf slides] |
9:30 am | |
9:40 am | '''Vladimir Kanovei''': ''Surreal numbers from the point of view of nonstandard analysis''. [/2013/SDF60/Abstracts.html#Kanovei abstract] [/2013/SDF60/slides/SDF60_Kanovei.pdf slides] |
10:10 am | '''''— Coffee Break —''''' |
10:40 am | '''Andre Nies''': ''Metric Spaces and Computability Theory''. [/2013/SDF60/Abstracts.html#Nies abstract] [/2013/SDF60/slides/SDF60_Nies.pdf slides] |
11:10 am | |
11:20 am | '''Jörg Flum''': Some remarks on a 60-year old model-theoretic method. [/2013/SDF60/Abstracts.html#Flum abstract] [/2013/SDF60/slides/SDF60_Flum.pdf slides] |
11:50 am | '''''— Lunch Break —''''' |
11:50 am | '''''— Reimbursement desk open; 12:30: Trip to bursar's office —''''' |
2:00 pm | '''Chitat Chong''': ''The Minimal alpha-degree revisited''. |
2:30 pm | |
2:40 pm | '''Masahiko Sato''': ''Viewing $\lambda$-terms through Maps''. [/2013/SDF60/slides/SDF60_Sato.pdf slides] |
3:10 pm | |
3:20 pm | '''Sam Sanders''': ''Infinitesimals and Computability: A marriage made in Platonic Heaven''. [/2013/SDF60/slides/SDF60_Sanders.pdf slides] |
3:50 pm | |
5:00 pm | '''''— [/2013/SDF60/Social_events.html#TUE Musical Evening!] —''''' |
=== WEDNESDAY July 10 === | |
9:00 am | '''Julia Knight''': ''Strongly minimal theories with computable models''. [/2013/SDF60/Abstracts.html#Knight abstract] [/2013/SDF60/slides/SDF60_Knight.pdf slides] |
9:30 am | |
9:40 am | '''Arnold Beckmann''': ''Parity Games and Resolution''. [/2013/SDF60/Abstracts.html#Beckmann abstract] [/2013/SDF60/slides/SDF60_Beckmann.pdf slides] |
10:10 am | '''''— Coffee Break —''''' |
10:40 am | '''Jörg Brendle''': ''Maximality and definability''. [/2013/SDF60/Abstracts.html#Brendle abstract] |
11:10 am | |
11:20 am | '''Ilene Friedman and Greg Gregory''': ''Sarasota, Florida''. [/2013/SDF60/Videos.html#Sarasota_Florida videos] |
11:50 am | '''''— Lunch Break —''''' |
3:30 pm | '''''— [/2013/SDF60/Social_events.html#WED Augarten Tour!] —''''' |
5:00 pm | '''''— [/2013/SDF60/Social_events.html#WED Drinks and Banquet!] —''''' |
=== THURSDAY July 11 === | |
9:00 am | '''Tetsuo Ida''': ''Graphs for Computational Origami - formalism and algorithms''. [/2013/SDF60/Abstracts.html#Ida abstract] computable documents [/2013/SDF60/slides/SDF60_Ida.cdf 1] [/2013/SDF60/slides/SDF60_Ida--Proof-Doc-Pentagon-Knot.cdf 2] ([http://www.wolfram.com/cdf-player/ cdf player]) |
9:30 am | |
9:40 am | '''Andreas Weiermann''': ''How is it that Infinitary Methods can be applied to Finitary Mathematics?'' |
10:10 am | '''''— Coffee Break —''''' |
10:40 am | '''Ajdin Halilovic''': ''The other side of the Tree Property''. [/2013/SDF60/slides/SDF60_Halilovic.pdf slides] |
11:10 am | |
11:20 am | '''Dilip Raghavan''': ''Combinatorial dichotomies and cardinal invariants''. [/2013/SDF60/Abstracts.html#Raghavan abstract] |
11:50 am | '''''— Lunch Break—''''' |
2:00 pm | '''Valentina Harizanov''': ''Effective Categoricity of Injection Structures''. [/2013/SDF60/Abstracts.html#Harizanov abstract] [/2013/SDF60/slides/SDF60_Harizanov.pdf slides] |
2:30 pm | |
2:40 pm | '''Mohammad Golshani''': ''Violating GCH everywhere by a cofinality-preserving forcing''. [/2013/SDF60/Abstracts.html#Golshani abstract] [/2013/SDF60/slides/SDF60_Golshani.pptm presentation] ([http://www.microsoft.com/en-us/download/details.aspx?id=13 ppt viewer]) |
3:10 pm | '''''— Coffee Break —''''' |
3:40 pm | '''Miguel Mota''': ''More applications of the method of "rigid iterations with side conditions"''. [/2013/SDF60/Abstracts.html#Mota abstract] |
4:10 pm | |
4:20 pm | '''Russell Miller''': ''Local Computability and the ordinal $\omega_1^{ck}\times\omega$''. [/2013/SDF60/Abstracts.html#R_Miller abstract] [/2013/SDF60/slides/SDF60_Miller_R.pdf slides] |
4:50 pm | |
5:00 pm | '''Lev Beklemishev''': ''Positive provability logic''. [/2013/SDF60/Abstracts.html#Beklemishev abstract] |
5:30 pm | |
=== FRIDAY July 12 === | |
9:00 am | '''Sam Buss''': ''On Clause Learning Algorithms for Satisfiability''. [/2013/SDF60/Abstracts.html#Buss abstract] [/2013/SDF60/slides/SDF60_Buss.pdf slides] |
9:30 am | |
9:40 am | '''Gunnar Wilken''': ''A short introduction to Patterns of Resemblance''. [/2013/SDF60/Abstracts.html#Wilken abstract] |
10:10 am | '''''— Coffee Break —''''' |
10:40 am | '''Natasha Dobrinen''': ''Sliders''. [/2013/SDF60/Abstracts.html#Dobrinen abstract] [/2013/SDF60/slides/SDF60_Dobrinen.pdf slides] |
11:10 am | |
11:20 am | '''Ben Miller''': ''Local complexity among treeable equivalence relations, part 2''. [/2013/SDF60/Abstracts.html#B_Miller abstract] |
11:50 am | |
12:00 pm | '''Olga Krok and Petri Enges''': ''Fishing in Finland''. [/2013/SDF60/Videos.html#Fishing_in_Finland video] |
12:30 pm | '''''— Lunch Break —''''' |
2:20 pm | '''''— [/2013/SDF60/Social_events.html#FRI Fishing!] —''''' (meet at the KGRC, leave there at 14:20) |