PARTICIPANT LIST eNTERFACE'05
Summer Workshop on Multimodal Interfaces
First Edition
What are eNTERFACE workshops?The eNTERFACE summer workshops ( www.enterface.net ), organized by the SIMILAR European Network of Excellence, are a new type of European workshops. They aim at establishing a tradition of collaborative, localized... Read More
What are eNTERFACE workshops?
The eNTERFACE summer workshops, organized by the SIMILAR European Network of Excellence, are a new type of European workshops. They aim at establishing a tradition of collaborative, localized research and development work by gathering, in a single place, a group of senior project leaders, researchers, and (undergraduate) students, working together on a pre-specified list of challenges, for 4 weeks. Participants are organized in teams, attached to specific projects related to multimodal interfaces, working on free software.
eNTERFACE'05 was held at Faculté Polytechnique de Mons, Belgium, in July-August 2005. The eNTERFACE’06 workshop will be organized in Dubrovnik, Croatia, in July-August 2006.
What do eNTERFACE workshops produce as results?
At the end of the workshop, a public presentation day is organized, in which the team leaders explain and demonstrate the results of their project. A press conference is also organized, to maximally publicize the event. All results, codes and data, are then made publicly available with an MIT-like open source license.
Last but not least, the workshop proceedings are produced 6 weeks after the end of the workshop, in which each team contributes a 15pp. paper on the project they had to study, the related stateof-the-art-of-the art, the problems encountered, and the solution(s) proposed and implemented.
But still more importantly, eNTERFACE workshops create a real transfer of know-how among participants, who continue to work together after the workshop has closed. They actively contribute to building the European Research Area, by establishing a tradition of localized collaborative research.
The eNTERFACE funding model
No funding is provided by the organizers for researchers, but no registration fees are asked for either. Participants therefore have to pay for their travel, lodging, and catering expenses, using their SIMILAR finances or other EU, national, or regional funding. Catering and lodging is available from the University organizing the workshop, at minimal student rates. Some grants are available from scientific societies.
A limited number of undergraduate students (typ. 10) are also selected (based on their CV and recommendations from professors), whose travel and accomodation expenses are paid by the organizers.
For more information on VAT and other payment methods, see "Specifications
- Publisher
- Presses universitaires de Louvain
- Edited by
- Thierry Dutoit, Similar,
- Collection
- SIMILAR
- Language
- English
- Publisher Category
- Applied Sciences > Computer Science
- BISAC Subject Heading
- COM000000 COMPUTERS
- Onix Audience Codes
- 06 Professional and scholarly
- CLIL (Version 2013-2019)
- 3238 Réseaux et Télécommunications
- Title First Published
- 2005
- Type of Work
- Proceedings
- Original Language
- English
Paperback
- Publication Date
- 01 January 2007
- ISBN-13
- 9782874630774
- Extent
- Main content page count : 300
- Code
- 76020
- Dimensions
- 16 x 24 x 1.7 cm
- Weight
- 485 grams
- List Price
- 22.50 €
- ONIX XML
- Version 2.1, Version 3
Google Book Preview
Write a commentary
Contents
Forward . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . i
Invited Papers:
No Regrets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .1
Frank Arntzenius
Learning, Regret Minimization and Option Pricing . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
Yishay Mansour
Games, Geometry, and the Computational Complexity of Finding Equilibria . . . . . .. . . . . . . . . . . . . . . . . . . 4
Bernhard von Stengel
Contributed Papers:
Full and Relative Awareness: A Decidable Logic for Reasoning about Knowledge of Unawareness . . . . . . . . . . . . . . . 6
Thomas Agotnes and Natasha Alechina.
Alternating-time Temporal Logics with Irrevocable Strategies . . . . . . . . . . . . . . . . . . . . . . . .15
Thomas Agotnes, Valentin Goranko and Wojtek Jamroga
Epistemic Analysis of Strategic Games with Arbitrary Strategy Sets . . . . . . . . . . . .. . . . . . . . . . . . . . . . 25
Krzysztof Apt
Commonsense Reasoning by Distance Semantics . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . 33
Ofer Arieli
What can we achieve by arbitrary announcements? - A dynamic take on Fitch's knowability . . . . . . . . . . . . . . . . . . . . 42
Philippe Balbiani, Alexandru Baltag, Hans van Ditmarsch, Andreas Herzig, Tiago De Lima and Tomohiro Hoshi From Conditional Probability to the Logic of Doxastic Actions . . . . . . . . .52
Alexandru Baltag and Sonja Smets.
Knowledge-based modeling of voting protocols . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
A. Baskar, R. Ramanujam and S.P. Suresh
Merging Frameworks for Interaction: DEL and ETL . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . . . .72
Johan van Benthem, Jelle Gerbrandy and Eric Pacuit
The Computational Complexity of Choice Sets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82
Felix Brandt, Felix Fischer and Paul Harrenstein
A Normal Simulation of Coalition Logic and an Epistemic Extension . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92
Jan Broersen, Andreas Herzig and Nicolas Troquard
Limited Verification of Identities to Induce False-Name-Proofness . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .102
Vincent Conitzer
Imaging and Sleeping Beauty: A Case for Double-Halfers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 112
Mikael Cozic
Inexact Knowledge, Margin for Error and Positive Introspection . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 118
Julien Dutant
Vote Manipulation in the Presence of Multiple Sincere Ballots . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 125
Ulle Endriss
Incorporating Unawareness into Contract Theory . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . . . . . . . . . 135
Emel Filiz
Theorems and Unawareness . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .145
Spyros Galanis
Common p-belief and uncertainty . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .155
Jayant Ganguli
A Flexible Mechanism for Dialogue Design . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .160
Jelle Gerbrandy, Guido Boella and Joris Hulstijn
Dealing With Logical Omniscience . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 169
Joseph Halpern and Riccardo Pucella
A Canonical Model for Interactive Unawareness . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 177
Aviad Heifetz, Martin Meier and Burkhard Schipper
Unawareness, Beliefs and Games . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .183
Aviad Heifetz, Martin Meier and Burkhard Schipper
Explaining Quantity Implicatures . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .193
Tikitu de Jager and Robert van Rooij
Communication, consensus and order. Who wants to speak first? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 203
Lucie Menager and Nicolas Houy.
Preservation of Epistemic Properties in Security Protocol Implementations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 212
Ron van der Meyden and Thomas Wilke
Robust Equilibria Under Non-Common Priors . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 222
Daisuke Oyama and Olivier Tercieux
Unawareness and Strategic Announcements in Games with Uncertainty . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 231
Erkut Ozbay
Perfect Cryptography, S5 Knowledge, and Algorithmic Knowledge . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 239
Sabina Petride and Riccardo Pucella
Judgment aggregation and the problem of truth-tracking . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 248
Gabriella Pigozzi and Stephan Hartmann
Generalized Solution Concepts in Games with Possibly Unaware Players . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .253
Leandro Rego and Joseph Halpern
Convergence of Behavior in Social Networks . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .263
Dinah Rosenberg, Eilon Solan and Nicolas Vieille
Alternating-time Temporal Logic with Explicit Strategies . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .269
Dirk Walther, Wiebe van der Hoek and Michael Wooldridge
Sequential voting rules and multiple elections paradoxes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .279
Lirong Xia, Jerome Lang and Mingsheng Ying
Author index . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . . . . . . . . . 289