License After / Creative Commons / Dagstuhl Publishing / /
Country
Greece / / /
Facility
University of Ljubljana / University of Pisa / University of Cape Town / University of Wales / u.berger@swan.ac.uk University of Cape Town / University of Bologna / University of Birmingham / /
IndustryTerm
boundary probems for systems / stream processing functions / safety-critical applications / autopilot systems / compositional product / stream algorithms / computable systems / numerical computing uses programming languages / control polynomial dynamical systems / /
Organization
University of Ljubljana / University of Cape Town / University of Bologna / University of Birmingham / Russian Academy of Sciences / University of Wales / University of Pisa / Universität Siegen / Universität Wien / /
Person
Nazanin Tavana-Roshandel / Peter Schuster / Norbert T. Müller / Ulrich Berger / Peter G. Hancock / Rabin / Victor Selivanov / Andrej Bauer Infinite-time / Jean-Eric Pin / Hajime Ishihara / Luca Motto Ros / Vasco Brattka / Guido Gherardi / Anton Konovalov / Pierre License / Reinhold Heckmann / Helmut Schwichtenberg / Dieter Spreen / Peter Hertling / Alexander Kreuzer / Fredrik Nordvall Forsberg / Damian Niwinski / Margarita Korovina / Ludwig Staiger / Matthew de Brecht / Hideki Tsuiki / Cristobal Rojas / Takayuki Kihara / Martin Ziegler / Stephane Le Roux / Andrej Bauer / Robert Rettinger / David Friedman / Serge Grigorieff / Hannes Diener / Mathieu Hoyrup / Joel Hamkins / Hans-Peter Albert Kuenzi / Mathieu Hyorup / Arno Pauly / Svetlana Selivanova / Wolfgang Thomas / Martin H. Escardó / Matthias Schröder / Cristóbal Rojas / /
Position
General / realizability model / /
Product
Talks An injection / /
Technology
stream algorithms / simulation / Digital Object Identifier / /
Report from Dagstuhl Seminar[removed]Computing with Infinite Data: Topological and Logical