{{menu SDF60|Program}} ; Dates : Arrival: Sunday July 7, 2013. Departure: Saturday July 13, 2013. Conference: Monday–Friday ; Social Events (more information [[2013/SDF60/Social_events|here]]) : Tuesday recital; Wednesday factory visit and gala dinner; Friday excursions, fishing and dinner. Here is the list of talks (including abstracts and slides, when available):
=== 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)