headers
Vladimiro Sassone | 2 Apr 2003 11:09
Picon
Picon

cfp: FGC: Foundations of Global Computing

=09=09 FGC: Foundations of Global Computing
=09=09=09  2nd EATCS Workshop

=09      <http://www.cogs.susx.ac.uk/users/vs/fgc>

=09=09      co-located with ICALP2003
=09     28-29 June 2003, Eindhoven, The Netherlands

=09=09            Call for papers
=09=09           ^^^^^^^^^^^^^^^^^

Aims and Scope

 Foundations of Global Computing focuses on foundational aspects of
 global computing, and invites submissions of original scientific work
 thereof. A non-exclusive list of topics includes:

    * calculi, models, and semantic theories of concurrent,
      distributed, mobile, global-computing systems;
    * languages, security, types, protocols and algorithms for global
      computing.

 Further points of specific interest are grid computing, peer-to-peer
 systems, game-theoretic approaches, protocol analysis, trust
 management, language-based security, ...

 The workshop proceedings will be published in the ENTCS series and a
 selection of papers will appear in a special issue of a leading
 Computer Science journal. It will be held as a ICALP2003 satellite
 event under the auspices of the EATCS.
(Continue reading)

Permalink | Reply | 0 comments |
headers
frb | 3 Apr 2003 13:54
Picon
Picon
Favicon

FMCO 2003: Call for Participation

(We apologize for the reception of multiple copies)

ANNOUNCEMENT OF
The Second International Symposium on
Formal Methods for Components and Objects (FMCO 2003)

DATES 4 - 7 November, 2003
PLACE Lorentz Center, Leiden University, Leiden, The Netherlands
URL http://fmco.liacs.nl/fmco03.html

OBJECTIVE
The objective of this symposium is to bring together researchers
and practioners in the areas of software engineering and formal methods
to discuss the concepts of reusability and modifiability in
component-based and object-oriented software systems.

FORMAT
The symposium is a four days event in the style of the former
REX workshops,organized to provide an atmosphere that fosters
collaborative work, discussions and interaction.
The program consists of keynote and technical presentations,
and contains an exquisite social event.
Speakers' contributions will be published after the symposium in
Lecture Notes in Computer Science by Springer-Verlag.

KEYNOTE SPEAKERS
Desmond D'Souza (Kinetium, Austin, USA)
E. Allen Emerson (University of Texas at Austin, USA)
Andrew D. Gordon (Microsoft Research, UK)
Yuri Gurevich (Microsoft Research, USA)
(Continue reading)

Permalink | Reply | 0 comments |
headers
Topos8 | 4 Apr 2003 21:02
Picon
Favicon

Models for infinitesimal analysis

In 1991 Springer published "Models for smooth infinitesimal analysis" by
Moerdijk and Reyes.  It is now out of print.

Can anyone suggest a source from which I might obtain a used copy? I've tried
Amazon which listed a used copy for sale but it turned out that it had been
already sold.

Carl Futia
Permalink | Reply | 0 comments |
headers
Steve Vickers | 7 Apr 2003 11:49
Picon
Picon
Favicon

change of address

Dear Categories list,

Please note my new email address at Birmingham University (no longer
s.j.vickers <at> open.ac.uk):

    s.j.vickers <at> cs.bham.ac.uk

All the best,

Steve Vickers.
Permalink | Reply | 0 comments |
headers
Proof Theory, Computation and Complexity | 8 Apr 2003 18:56
Picon
Favicon

Proof Theory, Computation and Complexity - Announcement

                      Summer School and Workshop on
                 Proof Theory, Computation and Complexity

                     Technische Universitaet Dresden
                           June 23-July 4, 2003

             <http://www.ki.inf.tu-dresden.de/~guglielm/WPT2>

Preliminary Program and Call for Participation

We plan the following courses and workshop for graduate students and
researchers.  Like for last year's events on Proof Theory and
Computation (Dresden) and Proof, Computation, Complexity (Tuebingen), we
aim at a meeting where people have plenty of time to exchange ideas.
The summer school consists of eight advanced courses; the workshop takes
place in the last two days.

For participating in the summer school we ask for a small fee (currently
undetermined).  We are looking into the possibility of providing grants
to participants who ask for them.  Registration is requested, please
send an email to <mailto:PTEvent <at> Janeway.Inf.TU-Dresden.DE>, making sure
you include a very brief bio (5-10 lines) stating your experience,
interests, home page, etc.  We will select applicants in case of
excessive demand.  We will provide assistance in finding an
accommodation in Dresden.

Week 1, June 23-27: courses on

    Denotational Semantics of Lambda Calculi
    Achim Jung (Birmingham, UK)
(Continue reading)

Permalink | Reply | 0 comments |
headers
Philippe Gaucher | 9 Apr 2003 07:25
Picon
Picon

preprint : Homotopy branching space and weak dihomotopy

Author : Philippe Gaucher

Title :  Homotopy branching space and weak dihomotopy

Abstract : The branching space of a flow is the topological space of
germs of its non-constant execution paths beginning in the same
way. However, there exist weakly S-homotopy equivalent flows having
non weakly homotopy equivalent branching spaces. This topological
space is then badly behaved from a computer-scientific viewpoint since
weakly S-homotopy equivalent flows must correspond to higher
dimensional automata having the same computer-scientific
properties. To overcome this problem, the homotopy branching space of
a flow is introduced as the left derived functor of the branching
space functor from the model category of flows to the model category
of topological spaces. As an application, we use this new functor to
correct the notion of weak dihomotopy equivalence, which did not
identify enough flows in its previous version.

Comments : 44 pages,  3 figures

Url : http://www-irma.u-strasbg.fr/~gaucher/
      or Arxiv : math.AT/0304112
Permalink | Reply | 0 comments |
headers
Hasegawa Masahito | 10 Apr 2003 04:32
Picon
Picon

preprint: a paper on *-autonomous categories and linear logic

Dear colleagues,

The following short paper

  Coherence of the Double Involution on *-Autonomous Categories
  by J.R.B. Cockett, M. Hasegawa and R.A.G. Seely

available from the authors' pages

  http://www.kurims.kyoto-u.ac.jp/~hassei/papers/#STAR
  http://www.math.mcgill.ca/rags/

might be of some interest for those woking on proof theory/type theory
and semantics of Linear Logic. It addresses the following "coherence"
question.

Many formulations of proof nets and sequent calculi for Classical
Linear Logic (CLL) take it for granted that a type A is "identical" to
its double negation A^{\bot\bot}.  On the other hand, it has been
assumed that *-autonomous categories are the appropriate semantic
models of (the multiplicative fragment of) CLL. However, in general,
in a *-autonomous category an object A is only "canonically
isomorphic" to its double involution A^{**}. This raises the questions
whether *-autonomous categories do not, after all, provide an accurate
semantic model for these proof nets and whether there could be
semantically non-identical proofs (or morphisms), which must be
identified in any system which assumes a type is identical to its
double negation.

Fortunately, there is no such semantic gap: in this paper we provide a
(Continue reading)

Permalink | Reply | 0 comments |
headers
Alex Simpson | 11 Apr 2003 06:28
Picon
Picon
Favicon

LICS 2003 - Call for Participation

                  Eighteenth Annual IEEE Symposium on
                      LOGIC IN COMPUTER SCIENCE
                            (LICS 2003)

                June  22 - 25, 2003, Ottawa, Canada

             http://www.dcs.ed.ac.uk/home/als/lics/lics03/

                        CALL FOR PARTICIPATION

             (early registration deadline is May 20, 2003)

The LICS Symposium is an annual international forum on theoretical and
practical topics in computer science that relate to logic in a broad
sense. The conference is intended to emphasize the relevance of logic
to computer science.

The program of LICS 2003 features 4 invited talks, 2 invited tutorials,
34 contributed papers, and 14 short presentations.

Invited Talks:

  - Erich Graedel (RWTH Aachen):
    "Will deflation lead to depletion? On non-monotone fixed point inductions"

  - John Harrison (Intel Corp.): "Formal verification at Intel"

  - Marta Kwiatkowska (U. Birmingham)
    "Model checking for probability and time: from theory to practice"
(Continue reading)

Permalink | Reply | 0 comments |
headers
Peter Selinger | 15 Apr 2003 05:24
Picon

Ottawa Summer School + Workshops: Call for Participation

	     Fields Institute Summer School and Workshops
		 Logic and Foundations of Computation

		     University of Ottawa, Canada
			   June 2-20, 2003

	    http://www.mathstat.uottawa.ca/lfc/fields2003/

			CALL FOR PARTICIPATION

	      Dormitory registration deadline: April 25

Dear Colleagues:

June will be theoretical computer science month at U. Ottawa! The
Fields Institute is sponsoring a summer school in Logic and
Foundations of Computation, which will take place in the 3 weeks
preceding the LICS conference at the University of Ottawa.  This
program will be hosted by the logic group in the Department of
Mathematics and Statistics (Philip Scott, Richard Blute, and Peter
Selinger), together with many distinguished visitors.

The program consists of 2 weeks of courses, then a week of research
workshops in several areas of theoretical computer science.

Courses (Morning and Afternoons) Include:
=========================================

Week 1: (i) Categorical Logic and (ii) Linear Logic (Taught by the
     Logic Group, with Guests: Thomas Ehrhard (Marseille), Robert
(Continue reading)

Permalink | Reply | 0 comments |
headers
japaridze g | 16 Apr 2003 22:41

Last call: Conference on Algebraic and Topological Methods in Non-Classical Logics

<We apologize for multiple postings.>

 INTERNATIONAL CONFERENCE ON ALGEBRAIC AND TOPOLOGICAL METHODS IN NON-CLASSICAL LOGICS

 Tbilisi, Georgia, 7 - 11 July 2003

 The aim of this conference is to present some recent advances in the use of
 algebraic, order-theoretic, and topological methods in non-classical logics.
 We also hope to bring together researchers in the fields of non-classical
 logics, lattice theory, universal algebra, category theory, and general
 topology in order to foster collaboration and to get new ideas for further
 research.

 CONFERENCE TOPICS:

 Lattices with operators
 Topological semantics of modal logic
 Topological and topos semantics of intuitionistic logic
 Ordered topological spaces.

 INVITED SPEAKERS:

 Leo Esakia, Georgian Academy of Sciences
 Mai Gehrke, New Mexico State University
 John Harding, New Mexico State University
 Ramon Jansana, University of Barcelona
 Joachim Lambek, McGill University
 Daniele Mundici, Milan University
 Yde Venema, University of Amsterdam
 Michael Zakharyaschev, King's College
(Continue reading)

Permalink | Reply | 0 comments |

Gmane