Dear colleagues,
Dr Nils Bulling from the Clausthal University of Technology, Germany, will visit me during August 28-Sept 5 and will give a seminar talk. Assuming — as Paul suggested -- that our section breakfast/meetings and seminar slots will move to Wednesday morning during the coming semester, I have tentatively scheduled his talk (see title and abstract below) to Wednesday, August 29, from 11am.
If any of you is willing to attend the talk but cannot make it in that specific slot, let me know asap. If necessary, I can move the talk to later in that week. The time and venue will be finalized by early next week.
Med venlig hilsen,
Val
------------------------------------------------------------
Speaker: Nils Bulling, Clausthal University of Technology
Title: A Game-Theoretic Approach for Optimal Topologies in Opportunistic Networks
Abstract: Opportunistic networks (ONs) are particular types of delay-tolerant networks in which users/network entities participate in order to propagate information. Besides the advantages of these networks (e.g. decentralization, independence of communication infrastructure) they raise new problems regarding for example effectiveness, message routing, message delivery, security issues, and trust. In my talk I introduce a formal description of an ON and of optimal communication topologies, for the non-cooperative and cooperative settings. The approach follows a game theoretic approach and allows users to express properties about how their messages should be handled in the network by means of a logical language (for instance, message privacy may be achieved by requiring that network nodes with internet access should be avoided on the communication path). I briefly discuss the complexity of associated verification and synthesis problems of network topologies.