Program konferencji (pdf)


Program konferencji

Czwartek 11 kwietnia
14:30 15:15 Ciepła przekąska
15:15 15:45 Oficjalne otwarcie
15:45 16:45 Logika monadyczna z kwantyfikatorem ograniczającym
Mikołaj Bojańczyk (UW)
Nierozstrzygalność teorii MSO+U na drzewach nieskończonych
Henryk Michalewski (UW)
16:45 17:15 Przerwa kawowa
17:15 18:15 Algorytmy przeszukiwania wyczerpującego dla minimalizacji liczby skoków posetu
Przemysław Krysztowiak (UMK)
Metody analizy modeli biologicznych stworzonych przy użyciu sieci Petriego
Anna Gogolińska (UMK)
18:15 18:30 Przerwa techniczna
18:30 19:30 Unikalny rozkład kropek I
Rafał Witkowski (UAM)
Unikalny rozkład kropek II
Katarzyna Basiukajc (UAM)
19:30 21:30 Kolacja powitalna

Piątek 12 kwietnia
8:30 10:00 O identyfikowalności gramatyk kategorialnych minimalnych ze względu na różne porządki
Barbara Dziemidowicz-Gryz (UWM)
Przetwarzanie języka polskiego za pomocą kategorialnej gramatyki logicznej
Wojciech Jaworski (UW)
Spektra logiczne struktur o ograniczonym stopniu i planarnych
Eryk Kopczyński (UW)
10:00 10:30 Przerwa kawowa
10:30 12:00 Logika wyższego rzędu z beztypowym rachunkiem lambda
Łukasz Czajka (UW)
Dynamiczna interpretacja hierarchii CPS
Marek Materzok (UWr)
On the BDD/FC Conjecture
Tomasz Gogacz (UWr)
12:00 13:30 Obiad
13:30 15:30 Fully Proportional Representation as Resource Allocation: Approximability Results
Piotr Skowron (UW)
On Swap-Distance Geometry of Voting Rules
Piotr Faliszewski (AGH)
O formalnym modelowani niepełnej informacji
Adam Grabowski (UwB)
Stopniowane relacje bliskości między zbiorami w obliczeniach granularnych
Anna Gomolińska (UwB)
15:30 16:00 Przerwa kawowa
16:00 18:00 Liczby Ramseya z parametrem C4
Janusz Dybizbański (UG)
Sprawiedliwe kolorowanie koron grafów kubicznych
Hanna Furmańczyk (UG)
Vertex colouring edge weightings in distributed models
Maciej Kalkowski (UAM)
Coloring triangle-free rectangular frame intersection graphs with O(log log n) colors
Tomasz Krawczyk (UJ)
18:00 18:15 Przerwa techniczna
18:15 19:15 Bijekcja pomiędzy ważonymi ścieżkami Motzkina oraz ścieżkami Delannoya
Maciej Dziemiańczuk (UG)
Kompetytywna osiągalność w grafach
Szymon Borak (UJ)
19:15 20:00 Kolacja

Sobota 13 kwietnia
8:30 10:30 Garbage collection przez aproksymację silnie spójnych składowych
Grzegorz Herman (UJ)
Koala - biblioteka szablonów algorytmów teorii grafów
Andrzej Jastrzębski (PG)
Nieblokujące kolejki wielowątkowe
Robert Obryk (UJ)
Komunikacja wątków w bibliotece PCJ
Łukasz Górski (UMK)
10:30 11:00 Przerwa kawowa
11:00 13:00 Stochastyczna optymalizacja strategii decyzyjnych w bayesowskich diagramach wpływów
Michał Matuszak (UMK)
Wpływ zasobów użytych do budowy sieci sprężynowej na jej umiejętności uczenia się mechanicznych zachowań
Maja Czoków (UMK)
Wykorzystanie sztucznych sieci neuronowych w ekonomii
Adam Tusiński (UMK)
Pewne algorytmy samostabilizujące w sieciach o wybranych topologiach
Michał Pańczyk (UMCS)
13:00 14:30 Obiad
14:30 16:00 Algorytm Bongartza - obliczenia symboliczne w problemach macierzowych
Andrzej Mróz (UMK)
Algorytmy lekkiej kompresji w kontekście obliczeń GPGPU
Piotr Przymus (UMK)
Online Acknowledgement Aggregation
Marcin Bieńkowski (UWr)
16:00 16:30 Przerwa kawowa
16:30 18:00 Badanie stabilności optymalnych rozwiązań zagadnienia maksymalizacji czasu życia bezprzewodowych sieci ad-hoc
Zbigniew Lipiński (UO)
O routingu w sieciach z ograniczonymi zasobami
Adam Czubak (UO)
Wewnętrzne reprezentacje w ukrytych warstwach w skierowanych sieciach neuronowych
Jarosław Piersa (UMK)
18:00 22:00 Zwiedzanie Muzeum Uniwersyteckiego i Bankiet Pożegnalny (Collegium Maximum)

Niedziela 14 kwietnia
11:00 Zwiedzanie toruńskiej starówki (dla chętnych)