Schedule

The detailed schedule of the 13th International Workshop for Young Mathematicians (minor changes are still possible).

SUNDAY 19 september
9:00 - 21:00	Registration of the participants at the Conference Office
19:00 - 19:30	Meeting for the lecturers
MONDAY 20 september
9:30 - 9:45	Official opening of the workshop
9:50 - 10:50	Ludomir Newelski Teoria modeli: od metamatematyki do matematyki
11:00 - 11:30	Michał Pilipczuk Rozstrzygalność problemu istnienia modelu dla formuły logiki FO2 oraz jej wariantów
11:30 - 11:50	Coffee break
11:50 - 12:35	Szymon Szymczak Prawda logiczna rośnie na drzewach
12:40 - 13:10	Tomasz Jarmużek Tableau system for logic of categorial propositions and decidability
13:10 - 14:35	Lunch break
14:35 - 15:35	Jacek Cichoń O zbiorach niemierzalnych
15:45 - 16:30	Wojciech Politarczyk O paradoksie Banacha-Tarskiego i grupach ze średnią Banacha
16:40 - 17:20	Andrzej Kowalski O zupełności pewnych ilorazowych algebr Boole'a
17:45 - 18:15	Meeting for authors of posters
20:00 -	Integration meeting
TUESDAY 21 september
9:30 - 10:15	Krzysztof J. Nowak Quantifier elimination and its geometric applications
10:25 - 11:10	Maksymilian Grab Teoriomodelowe rozwiązanie XVII-stego problemu Hilberta
11:10 - 11:40	Coffee break
11:40 - 12:25	Bartosz Naskręcki Gdzie matematyk nie może, tam komputer pośle?
12:30 - 13:00	Wojciech Rosa Nieskończone maszyny turinga rozwiązują problem odpowiedniościPosta
13:00 - 14:30	Lunch break
14:30 - 15:00	Michał Tomasz Godziszewski Aksjomat Martina i jego konsekwencje dla podstaw matematyki
15:15 - 15:45	Marek Bienias Pewne konsekwencje Aksjomatu Martina 1
16:00 - 16:30	Filip Strobin Pewne konsekwencje Aksjomatu Martina 2
16:45 - 18:15	Poster session
19:30 -	Board games' evening
WEDNESDAY 22 september
9:30 - 9:55	Piotr Mironowicz Co to jest czas?
10:00 - 10:30	Paweł Barbarski Klasy borelowskie ideałów
10:30 - 11:00	Coffee break
11:00 - 11:30	Sylwia Antoniuk Dualność Stone'a
11:35 - 12:20	Tomasz Tkaczyk O algebrze P(ω)/fin
12:25 - 13:05	Michał Skrzypczak Topologiczne własności nieskończonych obliczeń
13:05 - 14:35	Lunch break
14:35 - 15:20	Open problem session
15:35 - 16:10	Maciej Skórski Automatyczne dowodzenie twierdzeń
16:25 - 16:55	Bartosz Jerzy Kaczkowski Unifikacja w logikach pośrednich
19:00 - 21:30	Music performance in Collegium Novum building
THURSDAY 23 september
9:30 - 13:00	Sightseeing of Krakow
13:00 - 14:30	Lunch break
14:30 - 15:15	Marek Zaionc On random propositional formulas, quantitative investigationsin logic
15:15 - 15:30	Coffee break
15:30 - 16:00	Katarzyna Grygiel Gęstości w różnych modelach obliczeń
16:05 - 16:35	Marek Kłocewiak Kwantyfikatory silnie monotoniczne i kwantyfikatory Reschera -prawo 0-1
18:30 - 22:30	Bowling
FRIDAY 24 september
9:30 - 10:15	Andrzej Wroński On substructural weakenings of classical logic
10:25 - 11:10	Tomasz Kobos Dziesiąty problem Hilberta
11:10 - 11:40	Coffee break
11:40 - 12:10	Hanna Zdanowicz Logika rozmyta i jej zastosowania w bankowości
12:15 - 13:00	Paweł Urzyczyn From Tarski to Girard. What is logic all about?
13:00 - 14:30	Lunch break
14:30 - 14:45	Workshop's summary
14:45 - 15:00	Awards for the authors of the best lecture and poster
15:00 - 15:30	Closure of the Workshop
19:00 -	Farewell meeting

Workshop guidebook with schedule, abstracts and some interesting information.