Konferencja "Logika i jej zastosowania"

English version

Koło Naukowe Informatyków zaprasza na konferencję

"Logika i jej zastosowania"

z okazji 50. urodzin Marka Zawadowskiego,

która odbędzie się w dniach

8-9 maja (sobota-niedziela)

na Wydziale MIM UW w sali 5440.

prawie_tort.png

Zaproszeni prelegenci:

Uwaga: nazwa wykładu prowadzi do slajdów. Wkrótce postaramy się dodać slajdy do większości referatów.

Program

Językiem wykładowym będzie angielski.

sobota, 8 maja


10:00 — 10:45 Jerzy Tyszkiewicz, "Yin—Yang of Programs and Three-Valued Logics"
10:45 — 11:30 Alexander Kurz, "Algebraic Theories over Nominal Sets"
11:30 — 12:00 Coffee Break
12:00 — 12:45 Jacek Chrząszcz, "Computers in the service of logic: the Coq proof-assistant"
12:45 — 13:30 Marcin Mostowski, "Semantic diagonal argument in finite models"
13:30 — 14:30 Lunch
14:30 — 15:15 Marcin Benke, "Types for Proofs and Programs"
15:15 — 15:45 Coffee Break
16:00 — 16:45 Mikołaj Bojańczyk, "Tree-walking automata"
19:00 — Przyjęcie urodzinowe Marka Zawadowskiego

niedziela, 9 maja


10:00 — 10:45 Henrik Forssell, "Subtoposes, subgroupoids, and quotient theories"
10:45 — 11:30 Filip Murlak, "Chasing queries: a logical concept in your database"
11:30 — 12:00 Coffee Break
12:00 — 12:45 Aleksy Schubert, "Intuitionistic logic - what could it be for in mathematicians' view?"
12:45 — 13:30 Paweł Urzyczyn, "From Tarski to Girard. What is logic all about?"
13:30 — 14:30 Lunch

Zdjęcia

Zachęcamy do obejrzenia zdjęć z konferencji.

Rejestracja

Rejestracja jest zamknięta. Osoby, które się nie zarejestrowały, nadal mogą uczestniczyć w wykładach, ale nie będziemy im mogli zapewnić bezpłatnych lunchy.

Wszelkie uwagi i pytania prosimy kierować do Krzysztofa Kapulkina (lp.ude.wumim|tfq#lp.ude.wumim|tfq)

Sponsorzy i organizacje patronujące

Komitet organizacyjny

O ile nie zaznaczono inaczej, treść tej strony objęta jest licencją Creative Commons Attribution-ShareAlike 3.0 License