Satellite Events for ICALP 2003: Thirtieth International Colloquium on Automata, Languages and Programming

Volume 85, Number 1, 2003

FGC: Foundations of Global Computing - 2nd EATCS Workshop
June 2003
FGC Home Page

• 
  Vladimiro Sassone: Preface. 1-2
• 
  Lennart Beringer, Kenneth MacKenzie, Ian Stark: Grail: a functional form for imperative mobile code. 3-23
• 
  David Teller: Formalisms for mobile resource control. 24
• 
  Taolue Chen, Tingting Han, Jian Lu: Intensionality of modal logic for Robust Ambient Calculus. 25-38
• 
  David de Frutos-Escrig, Olga Marroquín Alonso: Ambient Petri nets. 39
• 
  Jean-Bernard Stefani: A calculus of Kells. 40-60
• 
  António Ravara, Ana Gualdina Almeida Matos, Vasco Thudichum Vasconcelos, Luís M. B. Lopes: Lexically scoped distribution: what you see is what you get. 61-79
• 
  Xudong Guan: Towards a tree of channels. 80

Volume 85, Number 2, April 2004

• 
  Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael Wooldridge: Preface: Volume 85, Issue 2. 81
• 
  Pierre-Yves Schobbens: Alternating-time logic with imperfect recall. 82-93
• 
  Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni: Specification and Verification of Agent Interaction using Social Integrity Constraints. 94-116
• 
  Wiebe van der Hoek, Alessio Lomuscio: A Logic For Ignorance. 117-133
• 
  Henk-Jan Lebbink, Cilia Witteman, John-Jules Ch. Meyer: Dialogue Games for Inconsistent and Biased Information. 134-151
• 
  Sieuwert van Otterloo, Wiebe van der Hoek, Michael Wooldridge: Knowledge as Strategic Ability. 152-175
• 
  Franco Raimondi, Alessio Lomuscio: A Tool For Specification And Verification Of Epistemic Properties In Interpreted Systems. 176-191
• 
  Mario Verdicchio, Marco Colombetti: A Logical Model for Agent Communication Languages. 192-207

Volume 85, Number 3, 2003

SecCo'03: First International Workshop on Security Issues in Coordination Models, Languages, and Systems
June 2003
SecCo'03 Home Page

• 
  Antonio Brogi, Carlos Canal, Ernesto Pimentel: Soft component adaptation. 1-16
• 
  Andrea Omicini, Alessandro Ricci, Mirko Viroli: Formal Specification and Enactment of Security Policies through Agent Coordination Contexts. 17-36
• 
  Alessandro Aldini: Coordination Model and Noninterference. 37-53
• 
  Mario Bravetti, Roberto Gorrieri, Roberto Lucchi: A formal approach for checking security properties in SecSpaces. 54-70
• 
  Per Mellstrand, Rune Gustavsson: Safe Execution of Unreliable Software. 71-88
• 
  Lavinia Egidi, Giovanni Porcelli: Minimal Information Disclosure in a Centralized Authorization System. 89-104
• 
  Rene Mayrhofer, Florian Ortner, Alois Ferscha, Manfred Hechinger: Securing Passive Objects in Mobile Ad-Hoc Peer-to-Peer Networks. 105-121
• 
  Radu Handorean, Gruia-Catalin Roman: Secure Sharing of Tuple Spaces in Ad Hoc Settings. 122-141
• 
  Riccardo Focardi, Gianluigi Zavattaro: Preface. 142

Volume 85, Number 7, 2003

Mathematics, Logic and Computation
July 2003
Mathematics, Logic and Computation Home Page

• 
  Yves Bertot: Simple canonical representation of rational numbers. 1-16
• 
  Gilles Dowek, Ying Jiang: Eigenvariables, bracketing and the decidability of positive minimal intuitionistic logic. 17-29
• 
  Fairouz Kamareddine, Twan Laan, Rob Nederpelt: Automath and Pure Type Systems. 30-49
• 
  Gueorgui I. Jojgov: Tactics and parameters. 50-68
• 
  Grzegorz Bancerek: On the structure of Mizar types. 69-85
• 
  Fairouz Kamareddine, Alejandro Ríos: Explicit substitutions à la de Bruijn: the local and global way. 86-105
• 
  David Chemouil, Sergei Soloviev: Remarks on isomorphisms of simple inductive types. 106-124
• 
  M. Randall Holmes: Polymorphic type checking for the ramified theory of types of Principia Mathematica. 125-145
• 
  Herman Geuvers, Fairouz Kamareddine: Preface. 146-147