Apologies for Multiple Postings
-------------------------------
******* Deadline for submission: 3 August, 2008 ! *******
-- GlobalComp --
Workshop on Global Computing Models and Technologies
27-28 September, 2008
http://synasc08.info.uvt.ro/globalcomp
in conjunction with SYNASC 2008 http://synasc08.info.uvt.ro
Timisoara, Romania, 26-29 September, 2008
Global Computing refers to a worldwide distributed programmable infrastructure.
It distinguishes from traditional distributed computing in terms of
scalability, connectivity, heterogeneity, and autonomy. In this context,
important and new issues are given by the ability of dealing with dynamic and
unpredictable changes of their network environment (e.g., availability of
network connectivity, lack of resources, node failures, network
reconfigurations and so on). In particular, the growing complexity of the
entire collection of Internet services brings the need for a change in the view
of the Web as a programmable space, and a knowledge database. The aim of
GlobalComp 2008 is to bring together researchers interested on fundamental
aspects and technologies for Global Computing. We invite the submission of
original scientific work on topics from the following list (which is not
exhaustive):
I. Models, semantics and logics for distributed and global computing
- Process algebra, spatial-temporal logics, virtual machines, new models
- Semantic techniques and domain theoretic models
- Mobility, security, coordination, context awareness, remote control
II. Languages, types and algorithms for distributed and global computing
- Interactive programming languages
- Semantic interpreters, type checkers
- Proof-carrying code and certifying compilation
III. Paradigms and technologies for global computing
- Peer-to-peer computing
- Distributed content storage and delivery services and protocols
- Computation on networks with highly dynamic topology
- Multimedia content processing in global computing context
You are warmly invited to make a contribution to GlobalComp workshop in
the form of:
- full research papers (up to 8 pages, IEEE style -
http://synasc08.info.uvt.ro/storage/IEEE_CS_Latex.zip)
- short papers (extended abstracts, work in progress), system
descriptions and software demonstrations (up to 4 pages).
Both full and short papers must be submitted electronically to:
gabriel at info.uaic.ro and eneia.todoran at cs.utcluj.ro
Papers will be refereed and accepted on the basis of their scientific merit and
relevance to the workshop topics.
Publication:
The extended abstracts of the papers accepted for presentation at GlobalComp
2008 will be available to the participants at the conference site, and then
published in the post-proceedings edited by IEEE Computer Society Press.
Depending on the quality of submissions, it is planned to publish some
selected (and additionally refereed) papers in a special issue of a journal.
Important dates:
Submission of papers: 3 August 2008
Notification of acceptance: 23 August 2008
Camera ready version: 1 September 2008
Revised papers for post-proceedings: 25 October 2008
Invited talk: Matthias Hoelzl (Ludwig-Maximilians-University, Munich)
Constraints for Decisions with Multiple Objectives
Program Committee:
Jan Bergstra, University of Amsterdam, The Netherlands
Laszlo Boeszoermenyi, University of Klagenfurt, Austria
Florian Mircea Boian, Babes-Bolyai University, Cluj-Napoca, Romania
Theodor Borangiu, IBM Romania
Roberto Bruni, University of Pisa, Italy
Gabriel Ciobanu, Romanian Academy, Iasi, Romania (chair)
Gian Luigi Ferrari, University of Pisa, Italy
Dan Razvan Ghica, University of Birmingham, UK
Hermann Hellwagner, University of Klagenfurt, Austria
Liviu Iftode, Rutgers University, USA
Dumitru Mircea Ivan, Technical University, Cluj-Napoca, Romania
Nectarios Koziris, National Technical University of Athens, Greece
Paulina Mitrea, Technical University, Cluj-Napoca, Romania
Traian Muntean, University of Marseille, France
Nikolaos Papaspyrou, National Technical University of Athens, Greece
Jan Rutten, CWI and Free University, Amsterdam, The Netherlands
Gheorghe Stefanescu, University of Bucharest, Romania
Doru Talaba, SIEMENS PSE, Brasov, Romania
Nicolae Tapus, Polytechnic University, Bucharest, Romania
Eneia Nicolae Todoran, Technical University, Cluj-Napoca (chair)
Erik de Vink, Technical University of Eindhoven, The Netherlads
Martin Wirsing, Ludwig-Maximilians-University of Munich, Germany
GC
--
=====================================================================
Romanian Academy tel: +40 232 241708
Institute of Computer Science Formal Methods Laboratory
700505 Iasi, Romania URL:http://www.info.uaic.ro/~gabriel
----------------------------------------------------------------------
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
