February 2008 - Categories - categories.org.au

coalgebras: AMAST'08 Final Call-For-Papers
by Lutz Schroeder 11 Feb '08

11 Feb '08

[Apologies for multiple copies.] %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % % % The 12th International Conference on % % Algebraic Methodology and Software Technology % % AMAST 2008 % % % % July 28-31, 2008 % % University of Illinois % % Urbana-Champaign, Illinois, USA % % % % http://amast08.cs.uiuc.edu % % % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% SCOPE AND AIMS ============== The major goal of the AMAST conferences is to promote research towards setting software technology on a firm, mathematical basis. Work towards this goal is a collaborative, international effort with contributions from both academia and industry. The envisioned virtues of providing software technology developed on a mathematical basis include (a) correctness, which can be proved mathematically, (b) safety, so that developed software can be used in the implementation of critical systems, (c) portability, i.e., independence from computing platforms and language generations, and (d) evolutionary change, i.e., the software is self-adaptable and evolves with the problem domain. The previous conferences were held in: Iowa City, Iowa, USA (1989, 1991 and 2000); Twente, The Netherlands (1993); Montreal, Canada (1995); Munich, Germany (1996); Sydney, Australia (1997); Manaus, Amazonia, Brazil (1998); Reunion Island, France (2002); Stirling, UK (2004, colocated with MPC' 04); Kuressaare, Estonia (2006, colocated with MPC '06). Topics of interest include, but are not limited to, the following: SOFTWARE TECHNOLOGY: - systems software technology - application software technology - concurrent and reactive systems - formal methods in industrial software development - formal techniques for software requirements, design - evolutionary software/adaptive systems PROGRAMMING METHODOLOGY: - logic programming, functional programming, object paradigms - constraint programming and concurrency - program verification and transformation - programming calculi - specification languages and tools - formal specification and development case studies ALGEBRAIC AND LOGICAL FOUNDATIONS: - logic, category theory, relation algebra, computational algebra - algebraic foundations for languages and systems, coinduction - theorem proving and logical frameworks for reasoning - logics of programs - algebra and coalgebra SYSTEMS AND TOOLS (for system demonstrations or ordinary papers): - software development environments - support for correct software development - system support for reuse - tools for prototyping - component based software development tools - validation and verification - computer algebra systems - theorem proving systems INVITED SPEAKERS ================ Rajeev Alur (confirmed) Edmund M. Clarke Jayadev Misra (confirmed) Teodor Rus (confirmed) AMAST steering committee ======================== Michael Johnson Macquarie University (chair) Egidio Astesiano Universita degli Studi di Genova Robert Berwick MIT Zohar Manna Stanford University Michael Mislove Tulane University Anton Nijholt University of Twente Maurice Nivat Universite Paris 7 Charles Rattray University of Stirling Teodor Rus University of Iowa Giuseppe Scollo Universita degli Studi di Catania Michael Sintzoff Universite Catholique de Louvain Jeannette Wing Carnegie Mellon University Martin Wirsing Ludwig-Maximilians-Universitat Munchen PROGRAM COMMITTEE ================= Gilles Barthe France INRIA Sophia-Antipolis Michel Bidoit France INRIA Saclay - Ile-de-France Manfred Broy Germany Technische Universitat Munchen Roberto Bruni Italy University of Pisa Mads Dam Sweden Royal Institute of Technology (KTH), Stockholm Razvan Diaconescu Romania Institute of Mathematics (IMAR) Jose Fiadeiro UK University of Leicester Rob Goldblatt New Zealand Victoria University Bernhard Gramlich Austria Vienna University of Technology Radu Grosu USA State University of New York at Stony Brook Anne Haxthausen Denmark Technical University of Denmark Rolf Hennicker Germany Ludwig-Maximilians-Universitat Munchen Michael Johnson Australia Macquarie University Helene Kirchner France INRIA Loria, Nancy Paul Klint The Netherlands CWI and Universiteit van Amsterdam Gary T. Leavens USA University of Central Florida Narciso Marti-Oliet Spain Universidad Complutense de Madrid Jose Meseguer (co-chair) USA University of Illinois at Urbana-Champaign Michael Mislove USA Tulane University Ugo Montanari Italy University of Pisa Larry Moss USA Indiana University Till Mossakowski Germany DFKI Bremen Peter Mosses UK Swansea University Fernando Orejas Spain Technical University of Catalonia, Barcelona Dusko Pavlovic USA Kestrel Institute and Oxford University Grigore Rosu (co-chair) USA University of Illinois at Urbana-Champaign Jan Rutten The Netherlands CWI and Vrije Universiteit Amsterdam Lutz Schroeder Germany DFKI Bremen/Universitat Bremen Wolfram Schulte USA Microsoft Research Giuseppe Scollo Italy Universita di Catania Henny Sipma USA Stanford University Doug Smith USA Kestrel Institute Carolyn Talcott USA SRI International Andrzej Tarlecki Poland Warsaw University Varmo Vene Estonia University of Tartu Martin Wirsing Germany Ludwig-Maximilians-Universitat Munchen Uwe Wolter Norway University of Bergen LOCAL ORGANIZATION ================== (all at the University of Illinois Urbana-Champaign) Jose Meseguer Mark Hills Grigore Rosu Ralf Sasse IMPORTANT DATES =============== * Submission of abstracts: 1 March 2008 * Submission of full papers: 8 March 2008 * Notification of authors: 20 April 2008 * Camera-ready version: 15 May 2008 SUBMISSION ========== Two kinds of submissions are solicited for this conference: technical papers and system demonstrations. Papers may report academic or industrial progress, and papers which deal with both are especially well-regarded. Submission is in two stages. Abstracts (plain text) must be submitted by 1 March 2008. Full papers (pdf) adhering to the llncs style and not longer than 15 pages (6 pages for system demonstrations) must be submitted by 8 March 2008. Submissions will be open soon. Papers must report previously unpublished work and not be submitted concurrently to another conference with refereed proceedings. Accepted papers must be presented at the conference by one of the authors. All papers will be refereed by the programme committee, and will be judged based on their significance, technical merit, and relevance to the conference. The proceedings of AMAST '08 will be published in the Lecture Notes in Computer Science series of Springer-Verlag.

1 0

AMAST'08 Final Call-For-Papers
by Lutz Schroeder 11 Feb '08

11 Feb '08

[Apologies for multiple copies.] %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % % % The 12th International Conference on % % Algebraic Methodology and Software Technology % % AMAST 2008 % % % % July 28-31, 2008 % % University of Illinois % % Urbana-Champaign, Illinois, USA % % % % http://amast08.cs.uiuc.edu % % % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% SCOPE AND AIMS ============== The major goal of the AMAST conferences is to promote research towards setting software technology on a firm, mathematical basis. Work towards this goal is a collaborative, international effort with contributions from both academia and industry. The envisioned virtues of providing software technology developed on a mathematical basis include (a) correctness, which can be proved mathematically, (b) safety, so that developed software can be used in the implementation of critical systems, (c) portability, i.e., independence from computing platforms and language generations, and (d) evolutionary change, i.e., the software is self-adaptable and evolves with the problem domain. The previous conferences were held in: Iowa City, Iowa, USA (1989, 1991 and 2000); Twente, The Netherlands (1993); Montreal, Canada (1995); Munich, Germany (1996); Sydney, Australia (1997); Manaus, Amazonia, Brazil (1998); Reunion Island, France (2002); Stirling, UK (2004, colocated with MPC' 04); Kuressaare, Estonia (2006, colocated with MPC '06). Topics of interest include, but are not limited to, the following: SOFTWARE TECHNOLOGY: - systems software technology - application software technology - concurrent and reactive systems - formal methods in industrial software development - formal techniques for software requirements, design - evolutionary software/adaptive systems PROGRAMMING METHODOLOGY: - logic programming, functional programming, object paradigms - constraint programming and concurrency - program verification and transformation - programming calculi - specification languages and tools - formal specification and development case studies ALGEBRAIC AND LOGICAL FOUNDATIONS: - logic, category theory, relation algebra, computational algebra - algebraic foundations for languages and systems, coinduction - theorem proving and logical frameworks for reasoning - logics of programs - algebra and coalgebra SYSTEMS AND TOOLS (for system demonstrations or ordinary papers): - software development environments - support for correct software development - system support for reuse - tools for prototyping - component based software development tools - validation and verification - computer algebra systems - theorem proving systems INVITED SPEAKERS ================ Rajeev Alur (confirmed) Edmund M. Clarke Jayadev Misra (confirmed) Teodor Rus (confirmed) AMAST steering committee ======================== Michael Johnson Macquarie University (chair) Egidio Astesiano Universita degli Studi di Genova Robert Berwick MIT Zohar Manna Stanford University Michael Mislove Tulane University Anton Nijholt University of Twente Maurice Nivat Universite Paris 7 Charles Rattray University of Stirling Teodor Rus University of Iowa Giuseppe Scollo Universita degli Studi di Catania Michael Sintzoff Universite Catholique de Louvain Jeannette Wing Carnegie Mellon University Martin Wirsing Ludwig-Maximilians-Universitat Munchen PROGRAM COMMITTEE ================= Gilles Barthe France INRIA Sophia-Antipolis Michel Bidoit France INRIA Saclay - Ile-de-France Manfred Broy Germany Technische Universitat Munchen Roberto Bruni Italy University of Pisa Mads Dam Sweden Royal Institute of Technology (KTH), Stockholm Razvan Diaconescu Romania Institute of Mathematics (IMAR) Jose Fiadeiro UK University of Leicester Rob Goldblatt New Zealand Victoria University Bernhard Gramlich Austria Vienna University of Technology Radu Grosu USA State University of New York at Stony Brook Anne Haxthausen Denmark Technical University of Denmark Rolf Hennicker Germany Ludwig-Maximilians-Universitat Munchen Michael Johnson Australia Macquarie University Helene Kirchner France INRIA Loria, Nancy Paul Klint The Netherlands CWI and Universiteit van Amsterdam Gary T. Leavens USA University of Central Florida Narciso Marti-Oliet Spain Universidad Complutense de Madrid Jose Meseguer (co-chair) USA University of Illinois at Urbana-Champaign Michael Mislove USA Tulane University Ugo Montanari Italy University of Pisa Larry Moss USA Indiana University Till Mossakowski Germany DFKI Bremen Peter Mosses UK Swansea University Fernando Orejas Spain Technical University of Catalonia, Barcelona Dusko Pavlovic USA Kestrel Institute and Oxford University Grigore Rosu (co-chair) USA University of Illinois at Urbana-Champaign Jan Rutten The Netherlands CWI and Vrije Universiteit Amsterdam Lutz Schroeder Germany DFKI Bremen/Universitat Bremen Wolfram Schulte USA Microsoft Research Giuseppe Scollo Italy Universita di Catania Henny Sipma USA Stanford University Doug Smith USA Kestrel Institute Carolyn Talcott USA SRI International Andrzej Tarlecki Poland Warsaw University Varmo Vene Estonia University of Tartu Martin Wirsing Germany Ludwig-Maximilians-Universitat Munchen Uwe Wolter Norway University of Bergen LOCAL ORGANIZATION ================== (all at the University of Illinois Urbana-Champaign) Jose Meseguer Mark Hills Grigore Rosu Ralf Sasse IMPORTANT DATES =============== * Submission of abstracts: 1 March 2008 * Submission of full papers: 8 March 2008 * Notification of authors: 20 April 2008 * Camera-ready version: 15 May 2008 SUBMISSION ========== Two kinds of submissions are solicited for this conference: technical papers and system demonstrations. Papers may report academic or industrial progress, and papers which deal with both are especially well-regarded. Submission is in two stages. Abstracts (plain text) must be submitted by 1 March 2008. Full papers (pdf) adhering to the llncs style and not longer than 15 pages (6 pages for system demonstrations) must be submitted by 8 March 2008. Submissions will be open soon. Papers must report previously unpublished work and not be submitted concurrently to another conference with refereed proceedings. Accepted papers must be presented at the conference by one of the authors. All papers will be refereed by the programme committee, and will be judged based on their significance, technical merit, and relevance to the conference. The proceedings of AMAST '08 will be published in the Lecture Notes in Computer Science series of Springer-Verlag.

1 0

question about monoidal categories
by Paul B Levy 09 Feb '08

09 Feb '08

Let F be a functor from a monoidal category M to a category S. We are given beta(p,a) : F(p) --> F(p*a) natural in p,a in M. If I tell you that, in addition to naturality, beta is "monoidal", I'm sure you will immediately guess what I mean by this, viz. (a) for any p,a,b in M beta(p,a) ; beta(p*a,b) = beta(p,a*b) ; F(alpha(p,a,b)) (b) for any p in M beta(p,1) = F(rho(p)) Yet I cannot see any reason for giving the name "monoidality" to (a)-(b). It doesn't appear to be a monoidal natural transformation in the official sense. There are no monoidal functors in sight. Can somebody please justify my usage? Paul

5 5

Looking for some categorical PhD theses
by Jacques Carette 07 Feb '08

07 Feb '08

In particular I cannot seem to find these: D.S. Rajan, "Differentiation and Integration of the Combinatorial Species of Joyal", PhD Thesis, Dept. of Mathematics, SUNY at Buffalo. Yeong-Nan Yeh, "On the Combinatorial Species of Joyal", PhD Thesis, Dept. of Mathematics, SUNY at Buffalo. Electronic versions would be extremely welcome. If only paper versions exist (but you have a copy!), contact me by email and we can work out an appropriate method of duplication+transmission. Jacques

1 0

second call for papers
by Myriam Quatrini 06 Feb '08

06 Feb '08

SECOND CALL FOR PAPERS Workshop on Symmetric calculi and Ludics for the semantic interpretation (http://iml.univ-mrs.fr/~quatrini/ESSLLI2008.html) August 4-8, 2008 organized as part of the European Summer School on Logic, Language and Information ESSLLI 2008 (http://www.illc.uva.nl/ESSLLI2008/) 4-15 August, 2008 in Hamburg, Germany Workshop Organizers: Alain Lecomte (SFL - Paris 8), Alain.Lecomte(a)upmf-grenoble.fr Myriam Quatrini (IML Marseille), quatrini(a)iml.univ-mrs.fr Workshop Purpose and topics: In recent years there have been some important new developments of methods of dealing with semantic and pragmatic phenomena in Linguistics, inspired by developments in Logic and Theoretical Computer Science. Among these developments, Continuation Theory, Symmetric calculi and Ludics play an important role. Continuation theory dates back from the early seventies (cf. Reynolds, 93) and was at the heart of Programming Languages like Scheme. More recently, a logical account was given to it, by extending the Curry-Howard homomorphism (Griffin, 1990),. This led to several calculi like such as Parigot's lambda-mu-calculus, Curien-Herbelin's lambda-mu-mu-tilde-calculus, Wadler's dual calculus and so on. These calculi are based on the core idea that programs and contexts are dual entities and this is reflected in the symmetry of the "classical" sequents. These systems were prefigured by the so called Lambek-Grishin calculus (Grishin, 83), a calculus extending the Lambek calculus by taking classical sequents into account. Following Curien-Herbelin (Bernardi and Moortgat, 2007) focuses on the connection between Lambek-Grishin calculus with lambda-mu-tilde-calculus and hence with continuation semantics. Classical linear logic (Girard, 87, 95) gives another viewpoint, where the co-product is realized by an authentic parallelisation connective. Linguistic applications have been given since around 2000, particularly by C. Barker (Barker, 2002), K. Chung-chieh Shan (Chung-chieh Shan, 2002) and P. de Groote (de Groote, 2001) who exploited the advantages of these systems in the task of giving several readings of an ambiguous sentence. De Groote (de Groote, 2007) also shows that we gain a new dynamical logic which enables us to elegantly treat phenomena of discourse like anaphora resolution. M. Moortgat and R. Bernardi (Moortgat & Bernardi, 2007) shows how moving to a symmetric categorial grammar, namely Lambek Grishin calculus, helps accounting for discontinous phenomena that are not captured by the asymmetric Lambek calculus. Independently, linear logic was intensively studied in particular by Girard himself who invented "Ludics" as a new conception of logic, where the dualism between syntax and semantics is abolished : the meaning of rules is in the rules themselves. This conception has some similarities with more traditional "Game Semantics" (Lorenz, Lorenzen, Hintikka...) but it is dynamic, in the sense that "strategies" are replaced by interacting processes. Moreover, a new step in abstraction is provided, which consists in stating rule schemata which are only expressed in terms of loci (that we may see as memory cells). The two approaches in this workshop are connected, basically because of their common root : explorations in the meaning of Logics and in particular reflections on one of the symmetrical systems, namely linear logic. Linguistic applications of Ludics remain very embryonic, but some authors have already emphasized that it is suitable for giving a framework in which it is possible to study speech acts and dialogue (Livet, 2007, Troncon, 2006). Other authors have pointed out similarities of the Ludics' philosophy with Wittgenstein's views on language games (Pietarinen, 2006). This workshop will provide an opportunity to study these questions. It will accept several kinds of contributions : theoretical works on continuation theory, symmetric calculi and ludics, applied works of these theory concerning linguistic topics (semantics, pragmatics) and philosophical investigations. Submission Details: Authors are invited to submit an anonymous, extended abstract. Submissions should not exceed 7 pages, including references. Submissions should be in PDF format. Please send your submission electronically using the interface EasyChair. The submissions will be reviewed by the workshop's programme committee. Workshop format: The workshop is part of ESSLLI and is open to all ESSLLI participants. It will consist of five 90-minute sessions held over five consecutive days in the first week of ESSLLI. There will be 2 slots for paper presentation and discussion per session. On the first day the workshop organisers will give an introduction to the topic. Invited Speakers: Philippe de Groote, LORIA, France. Additional invited speaker to be confirmed Workshop Programme Committee: Raffaella Bernardi (Bolzano) Claire Beyssade (Institut Jean Nicod, Paris) Marie-Renée Fleury (IML - Marseille) Philippe de Groote (LORIA - Nancy) Hugo Herbelin (Paris) Jean-Baptiste Joinet (Paris 1) Greg Kobele (Humboldt Universitat zu Berlin) Alain Lecomte (SFL - Paris 8) Pierre Livet (Aix en Provence) Richard Moot (LABRI - Bordeaux) Sylvain Pogodalla (LORIA - Nancy) Carl Pollard (Ohio University) Myriam Quatrini (IML Marseille) Christian Retoré (LABRI - Bordeaux) Laurent Roussarie (SFL - Paris 8) Sylvain Salvati (LABRI - Bordeaux) Important Dates: Submission Deadline: March 8, 2008 Notification: April 21, 2008 Preliminary Program: April 24, 2008 ESSLLI Early Registration: May 1, 2008 Final Papers for Proceedings: May 17, 2008 Final Program: June 21, 2008 Workshop Dates: August 11-15, 2008 Local Arrangements: All workshop participants including the presenters will be required to register for ESSLLI. The registration fee for authors presenting a paper will correspond to the early student/workshop speaker registration fee. There will be no reimbursement for travel costs and accommodation. Further Information: About the workshop: http://iml.univ-mrs.fr/~quatrini/ESSLLI2008.html About ESSLLI: http://www.illc.uva.nl/ESSLLI2008/

1 0

CFP: 5th Workshop on Model Checking and AI
by Doron Peled 06 Feb '08

06 Feb '08

- Call for Papers - Fifth Workshop on MODEL CHECKING and ARTIFICIAL INTELLIGENCE (MoChArt-2008) At ECAI-2008 - Patras, Greece, July 2008 http://www.csc.liv.ac.uk/~mjw/mochart/ INTRODUCTION Model checking is the process of determining whether or not a formula of some logic is satisfied by a model for the logic. For many logics of interest -- particularly temporal and modal logics -- model checking procedures can be efficiently automated. This has led to widespread interest in the use of model checking as a technique for verifying properties of systems, and the development of a number of widely used model checking tools (e.g., Carnegie-Mellon's SMV, Cadence-SMV, and AT&T's SPIN). The success of model checking in the computer aided verification community has led to a growth of interest in the use of model checking in AI. The MOCHART workshop brings together both researchers in AI with an interest in model checking, and researchers in model checking who are interested in AI techniques. Previous editions of the workshop were held in Riva del Garda, Italy in 2006 (as satellite workshops of ECAI), San Francisco in 2005 (as satellite workshop of Concur), Acapulco in 2003 (as satellite workshop of IJCAI03), and Lyon in 2002 (as satellite workshop of ECAI02). We are exploring the possibility of publishing a formal proceedings after the event with Springer-Verlag. TOPICS OF INTEREST Topics of interest include (but are not limited to): - Application of model checking techniques to AI problems. - planning as model checking - model checking for multi-agent systems - diagnosis and model checking - model checking versus theorem proving - Model Checking and AI logics. - model checking for combined modal/temporal logics - model checking for logics of common sense reasoning - Relations between different techniques used in the two fields for similar purposes (e.g., reducing state explosion). - New model checking techniques specifically for AI problems. - Exploitation of AI techniques in model checking. - AI approaches to the state explosion problem - heuristics for model checking - AI approaches to automatic abstraction - Software tools for model checking in AI. - languages and software platforms for AI model checking - model checking symbolic reasoning systems & languages - Model checking for verification of AI systems. - automated verification of AI systems - case studies & experience with model checking in AI Preliminary papers and papers on applications are strongly encouraged. IMPORTANT DATES Deadline for submissions: April 10th, 2008 Notification: May 10th, 2008 Workshop: July 21st-22nd, 2008 SUBMISSION PROCEDURES Submissions must be formatted according to Springer-Verlag's "Lecture Notes in Computer Science" styles, and must be no more than 15 pages in length. Papers must be submitted through the EasyChair web-based conference management system: follow the link from the workshop web page. All papers will be peer reviewed, and evaluated on the basis of relevance, technical quality, significance, evaluation, and presentation. PARTICIPATION The workshop forms part of the ECAI-2008 workshop programme, and as such delegates must register for the ECAI conference. For full information about ECAI-2008, including travel & accomodation, see: ORGANISING COMMITTEE * Doron Peled Department of Computer Science Bar-Ilan University Ramat Gan, 52900 Israel mailto:doron.peled@gmail.com * Michael Wooldridge Department of Computer Science University of Liverpool Liverpool L69 7ZF, United Kingdom mailto:mjw@liv.ac.uk PROGRAM COMMITTEE * Rajeev Alur (USA) * Massimo Benerecetti (Italy) * Rafael Bordini (UK) * Kousha Etessami (UK) * Michael Fisher (UK) * Gerard Holzmann (USA) * Hadas Kress-Gazit (USA) * Orna Kupferman (Israel) * Alessio Lomuscio (UK) * Ron van de Meyden (Australia) * Peter Niebert (France) * Charles Pecheur (USA) * Wojciech Penczek (Poland) * Franco Raimondi (UK) * Mark Ryan (UK) * Farn Wang (China)

1 0

Colloquium Logicum 2008, September 10-12
by Thomas Streicher 05 Feb '08

05 Feb '08

--------------------------------------------------------------- Colloquium Logicum 2008, September 10-12, TU Darmstadt, Germany --------------------------------------------------------------- The biennial meeting of the German Society for Mathematical Logic (DVMLG), Colloquium Logicum 2008, will be held at the Technische Universitaet Darmstadt, September 10-12, 2008. The scientific programme comprises * Herbrand Centenary Lecture: Georg Kreisel, F.R.S., Salzburg * invited plenary lectures by * Hans Adler (Leeds) * Sergei Goncharov (Novosibirsk) * Joel David Hamkins (New York) * Robert Lubarsky (Florida) * Nicole Schweikardt (Frankfurt) * Michiel van Lambalgen (Amsterdam) plus a PhD Colloquium with the presentation of selected recent PhD Theses in Logic as well as contributed talks. Further details about the meeting, registration, etc. will be published on the meeting's homepage in the near future: www.mathematik.tu-darmstadt.de/fbereiche/logik/events/collogicum/. -------

1 0

GaLoP 2008 : Submission Deadline Extended
by Dan Ghica 04 Feb '08

04 Feb '08

Dear all, The submission deadline for the Games for Logic and Programming Languages III workshop (ETAPS 2008, March 29 - April 6, 2008, Budapest, Hungary) has been extended to February 14. The call for submissions is attached below. GAMES FOR LOGIC AND PROGRAMMING LANGUAGES III ETAPS 2008, March 29 - April 6, 2008, Budapest, Hungary ============================================== *The submission deadline has been extended to February 14.* The submission site is open: http://www.easychair.org/conferences/?conf=galop08 Introduction GaLoP is an annual international workshop on game-semantic models for logics and programming languages and their applications. This is an informal workshop that welcomes work in progress, overviews of more extensive work, programmatic or position papers and tutorials as well as contributed papers and invited talks. Contributions are invited on all pertinent subjects, with particular interest in compositional game-semantic models. Typical but not exclusive areas of interest are: * categorical aspects; * algorithmic aspects; * programming languages and full abstraction; * semantics of logics and proof systems; * proof search; * higher-order automata; * program verification and model checking; * program analysis; * security; * theories of concurrency; * probabilistic models. Publication This is intended to be an informal workshop without widely distributed proceedings. We therefore ask for submission both of short abstracts outlining what will be presented at the workshop and of longer papers describing completed work, either published or unpublished, in the relevant areas. A special issue of the journal Annals of Pure and Applied Logic associated with the workshop will be discussed at the workshop. Important dates # Submission: February 14 # Notification: March 1 # Workshop: April 5-6 Invited speakers # Gabriel Sandu, Helsinki # Paul-André Melliès, PPS Program committee # Dan Ghica (co-chair), Birmingham # Russ Harmer (co-chair), PPS # Martin Hyland, Cambridge # Pierre Hyvernat, Savoie # Jim Laird, Bath # John Longley, Edinburgh # Andrzej Murawski, Oxford # Andrea Schalk, Manchester --- Dr. Dan Ghica, Lecturer School of Computer Science University of Birmingham Birmingham B15 2TT tel: +44 121 414 8819 mailto:D.R.Ghica@cs.bham.ac.uk http://www.cs.bham.ac.uk/~drg

1 0

Saunders and Alex'spicture
by John Duskin 04 Feb '08

04 Feb '08

Thanks to the moderator and Fred, the picture of the pair of them that I was referring to is on the collection of pics from the Coimbra CT99 conference: ...Note from moderator: Jack may refer to a nice picture linked from: http://www.mat.uc.pt/~ct99/ ]... Its the one with them smiling, sitting behind the conference poster.

1 0

Alex
by John Duskin 04 Feb '08

04 Feb '08

There is a marvelous picture of Saunders and Alex chairing the Coimbra CT99 conference. Everyone who knows them should see it.

2 2