'Program Your Own Castle' - Developing a Self-Guided Tutorial for the Hour of Code
Automating Non-Formalized Testing Techniques via Quantification and Optimisation: The Case of Boundary Value Testing
Automated Verification of Blockchain Technologies with Correctness Guarantees
Informatics and computational thinking, cross-skills in school
Geometric Assignment and Geometric Bottleneck
XXVIII Dies academicus
Current events
International Workshop on High Performance Methods in Computational Science
Teaching Networks How To Learn
Informatics Seminar on Tuesday, May 12th, 14.30 - Dr. Leslie Lamport
Informatics seminar on Tuesday, May 12th at 13.30 - Thomas Dickopf
"What is Computation?", Public Lecture of Leslie Lamport - Conferenza pubblica di Leslie Lamport
On Non-Intrusive Workload-Aware Database Replication
Informatics Seminar on Wednesday, May 6th, 16.30 - Shengli Wu
Informatics seminar on Wednesday, April 29th, 15.30 - Anon Plangprasopchok
Informatics Seminar on Wednesday, April 29th, 09.30 - Dr. Fabian Kuhn
Informatics Seminar on Monday, April 27th, 09.30 - Dr. Sameh Elnikety
Informatics Seminar on Tuesday, April 21st, 10.30 - Dr. Kai Hormann
Reti sociali online tra tecnica e comunicazione - Facebook e le altre: solo una perdita di tempo?
IDSIA Seminars in April 2009
30 talks at IDSIA in April
Informatics seminar on Friday, April 3rd, 15.30 - Christina Lioma
Informatics Seminar on Thursday, April 2nd, 10.30 - Dr. Shiva Nejati
Informatics Seminar on Tuesday, March 31st, 09.30 - Dr. Yoann Padioleau
Informatics Seminar on Friday, March 27th, 09.30 - Dr. Dr. Norbert Streitz
Informatics Seminar on Thursday, March 26th, 09.30 - Dr. Nathaniel Nystrom
Informatics seminar on Thursday, March 26th, 15.30 - Vlad Trifa and Dominique Guinard