Seminars

you must be logged-in to have full access to seminar attachments

91st Peripatetic Seminar on Sheaves and Logic

Date: 
26 November, 2010 - 19:00 - 28 November, 2010 - 14:00
Location: 
ILLC, Amsterdam, The Netherlands
Description
Abstract: 

PSSL is one of the oldest and longer lasting periodic seminars in mathematics. Its scope is not limited to sheaves and logic but in general to Category Theory and its applications.

Every participant is welcome to give a talk (please specify this in the registration form).

The seminar is sponsored by the NWO and the Algebra and Coalgebra group

for more informations please visit the PSSL91 site

A 25-Year Perspective on Logic Programming (book presentation)

Date: 
24 November, 2010 - 17:00 - 18:00
Location: 
Aula Multimediale DIMI
Description
Abstract: 

This book celebrates the 25th anniversary of GULP the Italian Association for Logic Programming. Authored by Italian researchers at the leading edge of their fields, it presents a state-of-the-art survey of logic programming, making it a useful reference for both researchers and students. The volume contains 14 invited papers, each giving a detailed analysis of a specific field of logic programming and providing both a historical perspective and a precise discussion of current research. The book closes with a chapter reviewing in detail the main applications of logic programming developed in Italian researchers in the last 25 years, illustrating successful work done and potential directions for future developments.

The Spoken Web

Date: 
25 October, 2010 - 14:30 - 15:30
Location: 
Aula Multimediale
Description
Abstract: 

The Spoken Web is a voice-driven ecosystem parallel to that of the WWW. It consists of a network of VoiceSites that can be created by end-users through their cell-phones using voice as the primary medium of interaction. The aim is to enable the huge population in developing regions to use the benefits that Internet has provide to people in the developed world. This talk will focus on human-computer interaction issues related to end-user content creation, audio content navigation and spoken web search, discussing approaches and challenges.

Conway games, algebraically and coalgebraically

Date: 
1 October, 2010 - 13:30 - 14:15
Location: 
Aula Multimediale
Description
Abstract: 

Games arising in the literature and in real life are extremely varied. Furthermore, in the past decades people have gone into the habit of describing an extremely wide gamut of interactions and other dynamic phenomena using game-based metaphors. Conway’s approach to games provides a very elementary and sufficiently abstract notion of game, which nonetheless is significantly structured. First, we present Conway's theory of games under an algebraic perspective. Then, using coalgebraic methods, we extend Conway's theory to infinite games (hypergames). We take the view that a play which goes on forever is a draw, and hence rather than focussing on winning strategies, we focus on non-losing strategies. The theory of hypergames generalizes Conway's theory rather smoothly, but significantly. Hypergames have a rather interesting theory, already in the case of impartial hypergames, for which we give a compositional semantics, in terms of a generalized Grundy-Sprague function and a system of generalized Nim games. Equivalences and congruences on games and hypergames are discussed, including a coinductive extension of Conway's order on surreal numbers to hypergames, contextual equivalences, and the equivalence induced by a traced monoidal category of hypergames, which extends Joyal's original category of Conway's games and winning strategies.

Syndicate content