The ASCoVeCo project: Exploring Large State SpacesCommunication protocols play a still more important role in our everyday useof information technology, and it is therefore of vital importance that theywork as intended. Protocols are, however, challenging to design andimplement. Important reasons for this are the inherent presence ofconcurrency…

Towards programming Safety Critical Systems in JavaSee http://www.brics.dk/pilambda/ for more information.

Title: Analyzing Combinatorial vs. Single-Bid AuctionsSpeaker: Jim Wilenius, Uppsala UniversityTime: Tue Nov 13th 2007 14:15-15:15Location: Turing-014Abstract:We study multi-commodity auction where some bidders have synergies between commodities. That is, a bidder getsan extra value if he manages to win all in a specific group of commodities. In…

Title: From Theory to Practice - Running a High-Tech E-Commerce Company.Speaker: Arne Andersson, Uppsala University and Trade ExtensionsTime: Tue Nov 13th 2007 15:15-16:15Location: Turing-014Abstract:A story of academic researchers taking their findings to the market will be told. Trade Extensions was founded in 2000 as an offspring of theoretical…

Point Cloud Modeling

Title: The "Names in boxes" game and the problem of efficiently answering EVERY database querySpeaker: Peter Bro MiltersenTime: Tue Nov 27th 2007 14:15-15:15Location: Turing-014Abstract:The "Names in boxes" game is presented by Peter Winkler (College Math. J, vol 37:4,page 260) as follows:"The names of one hundred prisoners are placed in one…