Seminars

Seminar Announcements

Title: G-graphs: a new representation of groups. (Has been done)

Speaker: Pr. Alain Bretto, Université de Cean, France.

Date: 25th May 2005  at  14.00

Location:Room G18 in Kane Building. 

Past Seminars (2004/2005)

Title: Modular Timing: the dream is alive; an overview of CEOL research.

Speaker: Michel Schellekens

Date: 2/2/2005

Location: Sun Microsystems Dublin

Title: Functional Interpretations of ACETT Operations.

Speaker: Thierry Vallee

Date: 2/12/2004, at 15.00.

Title: ACETT, A Linearly-Compositional Programming Language For (Semi-)Automated Average-Case Analysis

Speaker: Michel Schellekens

Date: 2/12/2004, at 15.30.

Title: Derivations on (Ordered) Rings

Speaker: Homeira Pajooesh

Date: 18/11/2004, at 15.00.

Title: Partial metric spaces in value lattices and their completion 

Speaker: Homeira Pajooesh

Abstract: Partial metrics are metrics except that the distance from a point to itself need not be 0. We generalize this notion to study ``partial metrics" whose values lie in a value lattice which may be other than the reals. Then each topology arises from such a generalized metric and for each continuous poset there is such a generalized metric whose topology is the Scott topology and whose dual topology is the lower topology. Next we study their completion and show that for every auxiliary relation on a poset there is join preserving partial metric such that round ideal completion is the spherically completion.

Date: 19/8/2004

Title: Partial Metrics and Time

Speaker: Steve Matthews, Dept. of Computer Science, University of Warwick

Abstract: A new interpretation for partial metrics is proposed to facilitate the inclusion of time into least fixed point semantics. The expanding metric, a variant of partial metric, is a metric with a designated reference point, to be understood as the big bang origin of spacetime.

Date: 28/4/2004

Contact us:

Phone: + 353 (0)21 490 1917

Fax: +353 (0)21 … … (available soon !)

E-mail: ceol@cs.ucc.ie