[TYPES] Workshop on Foundations of Global Ubiquitous Computing - Call for Participation and Short Presentations

Julian Rathke J.Rathke at sussex.ac.uk
Mon Jul 12 04:34:47 EDT 2004


           **** CALL FOR PARTICIPATION and SHORT PRESENTATIONS ****

                                 FGUC'04

        3rd Joint Workshops on Foundations of Global Ubiquitous Computing
         and UK Grand Challenge in Science for Global Ubiquitous 
Computing.

                         The Royal Society, London, UK

                   Friday 3rd and Saturday 4th September, 2004.

                          Affiliated with CONCUR 2004

                       http://www.cogs.susx.ac.uk/fgc04/


+++NEW: CALL FOR PROPOSALS FOR SHORT PRESENTATIONS due by July 26th 
2004 +++
                            (SEE BELOW)



CALL FOR PARTICIPATION:

We invite you to attend the joint workshops on Foundations of Global
Ubiquitous Computing and the UK Grand Challenge in Science for Global
Ubiquitous Computing. This will be an exciting event scheduled to 
coincide
with the closing day of Concur and will feature invited talks from 
excellent
speakers including

Robin Milner (Cambridge)
Mogens Nielsen (Aarhus, Brics)
Phil Wadler (Edinburgh)

as well as the final day Concur invited speakers:

Ed Clarke (CMU)
Sriram K. Rajamani (Microsoft Research)


We will also hold a discussion on the Grand Challenge for Global
Ubiquitous Computing and sessions of contributed papers.

The registration for this workshop is now open, via the Concur 2004 
page at

http://www.doc.ic.ac.uk/concur2004/

Note that registration for FGUC also entitles you to attend the final 
day
of Concur. Please register before July 30th for early registration 
rates.


CALL FOR SHORT PRESENTATIONS:

We are also opening a call for researchers to give short presentations
at this workshop. If you are interested in giving an overview of your
recent and ongoing foundational work on Global Ubiquitous Computing in
this forum then please submit a short abstract of your presentation
(ABSOLUTELY NO LONGER than two A4 pages in Postscript or pdf) by email 
to

julianr at sussex.ac.uk

before July 26th.

Members of the programme committee will not referee the technical
content but will select the most suitable abstracts for presentation
at the workshop.  Notification of acceptance will be given by July
30th.


AIMS and SCOPE:

The growing diffusion of large-scale networks of computing devices of
varying character and the concomitant services and applications
provided for such networks is promoting Global Ubiquitous Computing
(GUC) as an emerging model of computation. Processes and data deployed
in a secure, highly distributed fashion across a panoply of
interconnected devices which may individually exhibit high failure
rates but together form a reliable, dependable whole, are
characteristic of this model.

Based on computation in networks with highly dynamic execution
environments, the model needs "... a coherent informatic science whose
concepts, calculi, theories and automated tools allow descriptive and
predictive analysis of GUC at each level of abstraction."

The Foundations of Global Ubiquitous Computing workshop therefore
focusses on semantic aspects of Global Ubiquitous Computing. Central
topics include: calculi, logics, semantic models, type systems and
verification techniques for mobile and spatial computation, security
and privacy, resource control and trust and distributed data.




PROGRAMME COMMITTEE:

                    Gerard Boudol (Inria, Sophia Antipolis)
                    Cedric Fournet (Microsoft Research, UK)
                    Robert Harper (CMU)
                    Thomas Hildebrandt (Copenhagen)
                    Kohei Honda (Queen Mary, London)
                    Julian Rathke (Sussex, Chair)
                    Davide Sangiorgi (Bologna)
                    Roberto Segala (Verona)
                    Stephanie Weirich (U.Penn)



ORGANISER:

Julian Rathke
(julianr at sussex.ac.uk)
Department of Informatics
University of Sussex, UK



More information about the Types-list mailing list