kontaktSeminar za teorijsko računarstvo
(na poslijediplomskom studiju matematike)
| Voditelji: | Dr. Robert Manger i Dr. Dean Rosenzweig |
| Tajnik: | Neva Slani |
| Vrijeme održavanja: | četvrtkom, 17h (PMF-MO) |
| Sljedeće predavanje: | Davor Runje, Matko Botinčan: "Pogled u budućnost: nova istraživanja i razvoj na temeljima rada Deana Rosenzweiga", 08.02.2007, 17h, PMF |
Seminar pokriva teme iz računarstva, kriptografije, lambda računa, pi računa, teorije izračunljivosti, složenosti, teorije grafova...
Članovi seminara
- Dean Rosenzweig
- Robert Manger
- Paola Glavan
- Neva Slani
- Davor Runje
- Matko Botinčan
- Zvonimir Bujanović
- Tajana Ban Kirigin
- Tomislav Rudec
- Goranka Nogo
- Strahil Ristov
- Krunoslav Puljić
- Boris Golub
- Mirna Kuzmić
Održani seminari (2006/2007)
- Davor Runje, Matko Botinčan: "Pogled u budućnost: nova istraživanja i razvoj na temeljima rada Deana Rosenzweiga", 08.02.2007, 17h, PMF
- Martin Kralj: "Povezani objekti i relacijske strukture - DLinq", 14.12.2006, 17h, PMF
- Matko Botinčan: "Verifikacija liveness svojstava programa", 07.12.2006, 17h, PMF
- Matko Botinčan: "Software model checking", 30.11.2006, 17h, PMF
- Andreas Glausch: "An ASM-Theorem on Unbounded Nondeterminism", 02.11.2006, 17h, PMF
- Lev Nachmanson: "GLEE, a program that draws graphs", 21.09.2006, 17h, PMF
- Mark Lewin: "A Peek at the Future: Technologies under Development in Microsoft Research", 31.08.2006, 16h, PMF
Održani seminari (2005/2006)
- Dean Rosenzweig: "Ramseyev teorem i terminacija programa", 10.07.2006, 17h, PMF
- Matko Botinčan: "Entanglement i thief-and-detectives", 03.04.2006, 17h, PMF
- Matko Botinčan: "Tree-width i robber-and-cops", 27.03.2006, 17h, PMF
- A. Baumgartner: "Problem k poslužitelja",
- Zvonimir Bujanović: "Set-cover algoritmi za kapacitirani problem usmjeravanja vozila (CVRP)", 24.11.2005, 11h, PMF
Održani seminari (2004/2005)
- Matko Botinčan: "Specifikacija i black-box testiranje pomocu jezika Spec# i alata Spec Explorer (1)", 20.09.2004.
- Matko Botinčan: "Specifikacija i black-box testiranje pomocu jezika Spec# i alata Spec Explorer (2)", 27.09.2004.
- Robert Manger: "Data compression with multilayer perceptrons", 12.10.2004.
- Krunoslav Puljić: "Evolucijski algoritmi za problem usmjeravanja vozila (1)", 26.10.2004.
- Krunoslav Puljić: "Evolucijski algoritmi za problem usmjeravanja vozila (2)", 02.11.2004.
- Neva Slani: "Computing with Idiotypic Networks", 07.06.2005, 17h, FSB
- Matko Botinčan: "Opis temporalnih svojstava sustava mu-racunom i njihova verifikacija pomocu igara parnosti", 31.05.2005, 17h, FSB
- Matko Botinčan: "Dostiživost i verifikacija beskonačnih modela", 24.05.2005, 17h, FSB
- Matko Botinčan: "O igrama u teorijskom računarstvu (1)", 17.05.2005, 17h, FSB
- Davor Runje: "Neke stvari koje algoritmi ne mogu (2)", 03.05.2005, 17h, FSB
- Davor Runje: "Neke stvari koje algoritmi ne mogu (1)", 26.04.2005, 17h, FSB
- Ivo Penzar: "Konvergencija prema 3G mrežama i servisima (2)", 12.04.2005, 17h, FSB
- Ivo Penzar: "Konvergencija prema 3G mrezama i servisima (1)", 05.04.2005, 17h, FSB
- Francisco Martins: "History-based access control for distributed processes", 26.01.2005
- Vedran Šego: "Evolucijski algoritmi za problem trgovačkog putnika", 21.12.2004
- Ivo Penzar: "Preračunavanje PCM audio uzoraka", 07.12.2004
- Krunoslav Puljić: "Evolucijski algoritmi za problem usmjeravanja vozila", 02.12.2004
Održani seminari (2003/2004)
- Davor Runje: "Kriptografski apstraktni stroj", 11.11.2003.
- Krunoslav Puljić: "Otočni model genetskog algoritma (Madagaskar)", 25.11.2003.
- Matko Botinčan: "Mobilnost i reakcije", 09.12.2003.
- Dean Rosenzweig: "Što su algoritmi", 23.03.2004.
- Davor Runje: "Sekvencijalni algoritmi ", 30.03.2004.
- Ante Đerek (Stanford): "Formalni sustav za verifikaciju protokola", 06.04.2004.
- Strahil Ristov: "Ziv-Lempel komprimirano trie stablo i primjene", 13.04.2004.
- Robert Manger: "Kompozitne algebre putova i primjene", 20.04.2004.
- Matko Botinčan: " Poliedarske tehnike u kombinatornoj optimizaciji i cutting planes algoritmi", 11.05.2004.
- Matko Botinčan: " Branch-and-cut algoritmi za CVRP", 01.06.2004.
- Neva Slani: "Modeli apstraktne kriptografije (1)", 29.06.2004.
- Neva Slani: "Modeli apstraktne kriptografije (2)", 02.07.2004.
- Matko Botinčan: " Deskriptivna teorija složenosti: Može li se logikom uhvatiti pojedina klasa složenosti?", 05.07.2004. (održano na seminaru za logiku i osnove matematike)
Mailing lista
Obavijesti o radu seminara možete primati preko mailing liste.
|
| Pretplati se na listu Seminara za teorijsko računarstvo |
| Arhiva liste |
Ostalo