December 1998 - Categories - categories.org.au

Mail to McGill not functionning
by R.A.G. Seely 29 Dec '98

29 Dec '98

It may be of relevance to some on this list to know that for the past week, the main machine in the maths dept at McGill has not been functionning, and so, as a consequence, mail sent to "user(a)math.mcgill.ca" will not have been received. Triples *is* functionning, so although usually the generic address as above is preferred, you might try cc'ing any mail you have sent to "user(a)triples.math.mcgill.ca" - for those of us that still use triples, this will get through. We'll let you know when things are back to normal - this has been delayed by the holidays, of course. = rags = PS - The categories home page <http://triples.math.mcgill.ca> is still functionning, which has information about the Lambekfest (call for papers), the Barrfest (table of contents), and current seminars. Links on that page to members' home pages may not function, if they are links to the main departmental machine, however. (You'll get the idea from my (revised) sig below...) ================================= <rags(a)math.mcgill.ca> (currently not functionnal) <rags(a)triples.math.mcgill.ca> (still OK) <http://www.math.mcgill.ca/~rags> (currently not functionnal) <http://triples.math.mcgill.ca/~rags> (still OK)

1 0

Reminder: Call for Papers, Lambekfest
by R.A.G. Seely 24 Dec '98

24 Dec '98

A reminder note, and best wishes for the holidays. LAMBEK FESTSCHRIFT - CALL FOR PAPERS The (electronic) journal "Theory and Applications of Categories" has agreed to publish a special volume in honour of the work of our colleague Joachim Lambek, in celebration of his 75th birthday, which was marked by a symposium at McGill on his actual birthday last December 5th, 1997. We welcome submissions to this volume from anyone interested. All papers submitted will undergo the usual TAC referee process, and we are hopeful that the final volume will be ready before summer 1999. (For the TAC home page, see <http://www.tac.mta.ca/tac/>). Topics suitable for the volume include any of the subjects to which Jim Lambek has contributed which fall roughly within the scope of TAC. For example, categorical algebra, categorical logic and proof theory, mathematical linguistics, algebra and ring theory (preferably with some categorical application or methodology), categorical computer science, etc. We would like to note that a companion volume is also being prepared by the journal "Mathematical Structures in Computer Science" - there may still be room for a very small number of short-to-moderate-length papers to be included in that volume. If you wish your submission to be considered for that, please indicate this when you submit your paper to us. (Of course, MSCS's emphasis is more towards computer science). The submission deadline for the Lambek Fest volume is 30 January, 1999. Please send a postscript file (uuencoded and compressed, if possible) to rags(a)math.mcgill.ca, or 3 paper copies to R.A.G. Seely Department of Mathematics McGill University 805 Sherbrooke St W Montreal, Quebec Canada, H3A 2K6 (If possible) please send an email message to rags(a)math.mcgill.ca indicating the title (and authors, if other than the sender of the email) of the paper, as well as an abstract (in standard ascii format, maximum 1 page) of the paper. A technical point: TAC can only accept files prepared with some "flavour" of TeX or LaTeX - most authors ought to be able to arrange for such a file to be prepared from their paper, but if you have problems, let us know and we shall see if we can provide helpful advice. General advice for preparation of papers, including suitable macros, may be found at the TAC home page, <http://www.tac.mta.ca/tac/>. The Editors: Michael Barr (e-mail: barr(a)math.mcgill.ca) Philip Scott (e-mail: phil(a)csi.uottawa.ca) Robert Seely (e-mail: rags(a)math.mcgill.ca) A copy of this CFP may be found on the CTRC (Montreal category group) home page <http://triples.math.mcgill.ca>. ================================= <rags(a)math.mcgill.ca> <http://www.math.mcgill.ca/~rags>

1 0

CTCS '99 FIRST CALL FOR PAPERS
by Martin Hofmann 22 Dec '98

22 Dec '98

CATEGORY THEORY AND COMPUTER SCIENCE (CTCS'99) 10-12 SEPTEMBER 1999, EDINBURGH, SCOTLAND FIRST CALL FOR PAPERS CTCS '99 is the 8th conference on Category Theory and Computer Science. The purpose of the conference series is the advancement of the foundations of computing using the tools of category theory. While the emphasis is upon applications of category theory, it is recognized that the area is highly interdisciplinary. Typical topics of interest include but are not limited to category-theoretic aspects of the following: concurrent and distributed systems constructive mathematics declarative programming and term rewriting domain theory and topology linear logic models of computation program logics, data refinement, and specification programming language semantics type theory Previous meetings have been held in Guildford (Surrey), Edinburgh, Manchester, Paris, Amsterdam, Cambridge, and S. Margherita Ligure (Genova). PROGRAMME COMMITTEE J. Adamek TU Braunschweig (Germany) N. Benton Microsoft Research, Cambridge (UK) R. Blute U. Ottawa (Canada) T. Coquand Chalmers (Sweden) M. Escardo LFCS Edinburgh (UK) M. Hasegawa Kyoto Univ. (Japan) M. Hofmann (Chair) LFCS Edinburgh (UK) P. O'Hearn Queen Mary West (UK) D. Pavlovic Kestrel Institute (California) H. Reichel TU Dresden (Germany) G. Rosolini U. Genova (Italy) A. Scedrov U. Penn (Pennsylvania) ORGANISING COMMITTEE S. Abramsky LFCS Edinburgh (UK) P. Dybjer Chalmers U. (Sweden) E. Moggi U. Genova (Italy) A. Pitts U. Cambridge (UK) SUBMISSION PROCEDURE E-mail your contribution as a PostScript file to the programme chair (ctcs99(a)dcs.ed.ac.uk) to be received by 23 April 1999. Alternatively, you can send 5 hardcopies by air mail to the program chair. Authors with restricted copying facilities may also send a single hardcopy. Please make sure mail submissions arrive before the deadline (submissions postmarked 7 April 1999 will definitely be accepted). We would appreciate an informal notification of intention to submit 2 weeks prior to the deadline. It is anticipated to have at-conference proceedings in the form of a Springer LNCS volume or similar. Details about the publication forum will be given in the 2nd call for papers. IMPORTANT DATES 9 April 1999 Notification of intention to submit 23 April 1999 Submission deadline 4 June 1999 Notification of authors of accepted papers 2 July Deadline for camera ready copies of accepted papers ADDRESS FOR PAPER SUBMISSIONS Martin Hofmann (ctcs99(a)dcs.ed.ac.uk) Laboratory for Foundations of Computer Science Division of Informatics JCMB, King's Buildings Mayfield Road Edinburgh EH9 3JZ UK LOCAL ORGANISATION Monika Lekuse Laboratory for Foundations of Computer Science Division of Informatics JCMB, King's Buildings Mayfield Road Edinburgh EH9 3JZ UK CONFERENCE E-ADDRESS ctcs99(a)dcs.ed.ac.uk CONFERENCE HOMEPAGE http://www.dcs.ed.ac.uk/home/ctcs99/ Watch this URL for later versions of this CFP and further information. RELATED EVENT 2nd APPSEM workshop, 6-9 September 1999.

2 1

PhD in Informatics (AI, CS, CogSci) at Edinburgh
by rbf＠dai.ed.ac.uk 22 Dec '98

22 Dec '98

PhD degrees in the Division of Informatics at the University of Edinburgh In 1998, the University of Edinburgh established a Division of Informatics, to study the structure, behaviour and interactions of both natural and artificial computational systems. The Division reflects the University's vision of Informatics as a fundamental area of study, critical for the future developments in science, engineering, and society. The Division was formed from the former Departments of Artificial Intelligence, Cognitive Science and Computer Science. The Division has positions for new research degree students pursing either an MSc(Research) (one year), an MPhil (two years) or a PhD (three years) through investigation of open problems in Informatics. The Division now contains over 75 academic staff and about 100 research students, grouped primarily into these research institutes: Artificial Intelligence Applications Institute Institute of Computing System Architecture Institute for Adaptive and Neural Computation Institute for Communicating and Collaborative Systems Institute of Perception, Action and Behaviour Institute for Representation and Reasoning Laboratory for Foundations of Computer Science which reflect the main research themes in the Division: adaptive computing artificial intelligence automated and mathematical reasoning category and type theory cognitive science computational complexity computational learning theory computational linguistics and natural language processing computational musicology computer and network architectures computer communications and networks computer graphics and virtual reality computer science computer vision database systems design and analysis of dependable systems diagramatic understanding distributed systems formal program specification human-computer interaction intelligent tutoring systems knowledge representation and reasoning knowledge-based systems medical informatics mobile and assembly robotics neural modelling neural networks parallel, distributed and concurrent systems planning and activity management programming languages qualitative and fuzzy reasoning software engineering speech understanding and generation system level design and integration The UK Engineering and Physical Science Research Council has awarded the Division a number of full studentships that can be used by UK and EC students. Overseas students may be eligible for ORS awards, that pay approximately half of the total costs. In general, students should have a good BS/BSc degree (or equivalent) in an appropriate topic, plus other skills appropriate to the particular research area. More information can be found on the Division's PhD WWW page at: http://www.inf.ed.ac.uk/www/public/Courses/ For application forms and further information, write to: PhD Admissions Secretary Division of Informatics University of Edinburgh James Clerk Maxwell Building King's Buildings Mayfield Road Edinburgh EH9 3JZ Email: phd-admissions(a)inf.ed.ac.uk Fax: +44 131 667 7209 Telephone: +44 131 650 5156 **************** ALSO: MSc Positions Available **************** We also have three thriving taught MSc courses. For more information, see: http://www.inf.ed.ac.uk/www/public/Courses/

1 0

MSc in Informatics (AI, CS, CgSci) at Edinburgh
by rbf＠dai.ed.ac.uk 22 Dec '98

22 Dec '98

Master of Science degrees in the Division of Informatics at the University of Edinburgh The Division of Informatics offers three 1 year courses in different topics in Informatics: 1. MSc in Artificial Intelligence, whose primary focus is on development and understanding of intelligent computational processes for the benefit of both creating useful artifacts and helping better understand intelligence (human or otherwise). The course contains five themes: Foundations of AI, Intelligent Robotics, Knowledge-based Systems, Natural Language Processing, and Non-Symbolic AI. 2. MSc in Cognitive Science and Natural Language. This MSc is concerned with computational, formal and experimental approaches to understanding cognition and natural language. In Cognitive Science, the disciplines of formal linguistics, psychology, neuroscience and philosophy are brought together in different kinds of computational frameworks. This MSc is particularly concerned with how language is represented and processed. 3. The MSc in Computer Science contains three themes. The Advanced Computer Systems theme embraces the theory and practice of designing programmable systems. The Systems Level Integration theme teaches the principles underlying the design of integrated software and hardware systems in silicon. The Theoretical Computer Science theme introduces students to core areas of theoretical Computer Science and to the technologies through which theory-based tools are implemented. From October to April students attend taught modules. During the period May - September inclusive, each student undertakes a major practical project under the supervision of a member of academic staff. The projects can involve industrial collaboration and may be proposed by the student. These courses have been approved by the UK Engineering and Physical Science Research Council for the tenure of Advanced Course Studentships. In general, students should have a good BS/BSc degree (or equivalent) in an appropriate topic, plus other skills approporate to the particular MSc course. More information can be found on the Division's MSc WWW page at: http://www.inf.ed.ac.uk/www/public/Courses/ For further information, write to: MSc Admissions Secretary Division of Informatics University of Edinburgh 5 Forrest Hill Edinburgh, EH1 2QL Scotland, UK Fax: +44-(131)-650-6899 Telephone: +44-(131)-650-3904 Email: msc-admissions(a)inf.ed.ac.uk **************** ALSO: PhD Positions Available **************** We also have a thriving PhD course. For more information, see: http://www.inf.ed.ac.uk/www/public/Courses/

1 0

WAIT99 - Preliminary Call for Papers
by Gabriel Baum 22 Dec '98

22 Dec '98

Preliminary Call for Papers 28 JAIIO - WAIT'99 Argentinian Workshop on Theoretical Computer Science Buenos Aires - Argentina September 6-7, 1999 The 3rd Argentinian Workshop on Theoretical Computer Science (WAIT'99) will be part on the 28th Argentinean Conference on Informatics and Operations Research (28 JAIIO), to be held in Buenos Aires from September 6th to September 10th, 1999. The goal of the workshop is bringing together researchers from academy (from Argentinean and other universities) and industry professionals in order to discuss theoretical, empirical and experimental results on the field of theoretical computer science. This workshop will consist of invited talks and technical presentations. Contributions are expected in all the areas of theoretical computer science, including the following: * Logical and algebraic foundations for computer science (logics for computer science, category theory, relation algebras, type theory, etc.), * Formal program construction (formal specification of sequential and concurrent programs; analysis, verification and transformation of programs, etc.), * Algorithms and data structures (sequential, parallel, distributed, on-line, probabilistic, etc.), * Computational complexity, * Automata theory, * Graph theory, * Symbolic and algebraic computation. The expected contributions will describe original results as well as undergoing research and development projects on theoretical computer science coming from academy and industry. Papers will be refereed by the International Program Committee, based on the following: * Papers reporting research / experimental results: these papers must present previously unpublished results and will be judged based on their originality, significance, relevance and clarity of presentation. Authors must submit an extended abstract of up to 4 pages containing enough information to allow the referees to determine the merits of their work. It is also allowed to submit the full paper of up to 12 pages including figures and references. * Research projects: aiming to fostering the cooperation among national and foreign researchers, short papers describing ongoing research will be considered. Papers in this category may report already published results. In that case, the authors must include the corresponding references. * Industrial / Commercial applications: also relevant are papers describing applications of theoretical results to real-life situations. Short papers describing results that are both of significance for industry and that make novel or defying applications of theoretical results are sought. INSTRUCTIONS FOR AUTHORS: In order to facilitate the widest dissemination of the papers, authors are recommended the use of the English language. Nevertheless, papers in Spanish or Portuguese are also welcome. The deadline for submission of papers is May 3rd, 1999. Papers must be submitted electronically in PostScript format (ghostview-readable) to the e-mail address: wait99(a)sol.info.unlp.edu.ar Authors must send in a separate message in ASCII format the following: title of the paper, name and affiliation of all the authors, their e-mail addresses, phone and FAX numbers, an abstract of their contribution of at most ten lines, a list of keywords that best describe the paper, and also the category within which the paper is to be evaluated. Alternative ways for paper submission are possible and must be discussed with the workshop co-chairs. The format for camera-ready papers will be announced with the letter of acceptance. IMPORTANT DATES: Deadline for reception of papers....................May 3rd, 1999 Notification of acceptance..........................June 15th, 1999 Deadline for reception of camera-ready versions.....July 16th, 1999 WORKSHOP CO-CHAIRS: Prof. Gabriel Baum LIFIA Dto. de Informatica Universidad Nacional de La Plata Calle 50 y 115 1er piso. (1900) La Plata - Argentina Tel/Fax : +54-21-22-8252 e-mail: gbaum(a)sol.info.unlp.edu.ar Prof. Marcelo Frias Dpto. De Computacion -FCEyN- Universidad de Buenos Aires Pabellon I - Ciudad Universitaria 1428- Buenos Aires - ARGENTINA Tel/Fax : +54-1-783-0729 e-mail: mfrias(a)sol.info.unlp.edu.ar PRELIMINARY PROGRAM COMMITTEE: Gabriel Baum (Universidad Nacional de La Plata, Argentina) Javier Blanco (Universidad Nacional de Cordoba, Argentina) Luis FariÃ±as del Cerro (Universite Paul Sabatier, France) Esteban Feuerstein (Universidad Nacional de Buenos Aires and Universidad Nacional de General Sarmiento, Argentina) Marcelo Frias (Universidad Nacional de Buenos Aires, Argentina) Armando Haeberer (Pontificia Universidade Catolica de Rio de Janeiro, Brazil) Edward Hermann Haeusler (Pontificia Universidade Catolica de Rio de Janeiro, Brazil) Joos Heintz (Universidad Nacional de Buenos Aires, Argentina) Roger Maddux (Iowa State University, USA) Tom Maibaum (Imperial College, UK) Bernhard Moeller (Universitaet Augsburg, Germany) Gonzalo Navarro (Universidad de Chile, Chile) Alfredo Olivero (Universidad Nacional de Buenos Aires and Universidad Nacional de General Sarmiento, Argentina) Ruy de Queiroz (Universidade Federal de Pernambuco, Brazil) Alvaro Tasistro (Universidad de la Republica, Uruguay) Sergio Yovine (CNRS-VERIMAG, France) For more information send e-mail to: jaiio(a)sadio.edu.ar, write to: SADIO / WAIT'99 Uruguay 252 2D 1015 - Buenos Aires ARGENTINA TEL: +54-1-3715755/4763950 FAX: +54-1-3723950 or see http://www.uba.ar/wwws/sadio ___________________________________________ Gabriel Baum LIFIA Facultad de Ciencias Exactas Universidad Nacional de La Plata Calle 50 y 115 - 1er piso (1900) La Plata e-mail: gbaum(a)sol.info.unlp.edu.ar Tel/Fax: +54 21 228252 ___________________________________________

1 0

CONCUR'99 CFP
by sjouke＠win.tue.nl 21 Dec '98

21 Dec '98

CALL FOR PAPERS CONCUR'99 10th International Conference on Concurrency Theory Eindhoven, The Netherlands, August 24--27, 1999. URL http://www.win.tue.nl/concur99/ E-mail concur99(a)win.tue.nl (apologies for multiple copies) A postscript version of this call for papers can be found on the above mentioned website. SCOPE The purpose of the CONCUR conferences is to bring together researchers, developers and students in order to advance the theory of concurrency, and promote its applications. Interest in this topic is continuously growing, as a consequence of the importance and ubiquity of concurrent systems and their applications, and of the scientific relevance of their foundations. Submissions are solicited in all areas of semantics, logics and verification techniques for concurrent systems. Topics include (but are not limited to) concurrency related aspects of: models of computation and semantic domains, process algebras, Petri nets, event structures, real-time systems, hybrid systems, decidability, model-checking, verification techniques, refinement techniques, term and graph rewriting, distributed programming, logic constraint programming, object-oriented programming, typing systems and algorithms, case studies, tools and environments for programming and verification. PROGRAMME COMMITTEE Ralph Back (SF), Jos Baeten (NL, co-chair), Jan Bergstra (NL), Manfred Broy (D), Rocco De Nicola (I), Andrew Gordon (UK), Roberto Gorrieri (I), Tom Henzinger (USA), Bengt Jonsson (S), Maciej Koutny (UK), Nancy Lynch (USA), Sjouke Mauw (NL, co-chair), Arend Rensink (NL), Philippe Schnoebelen (F), Robert de Simone (F), P.S. Thiagarajan (IN), David Walker (UK), Glynn Winskel (DK). ORGANISATION Jan Friso Groote (NL, chair) TUTORIALS Kees Middelburg (NL) TOOL DEMONSTRATIONS Dragan Bosnacki (NL) INVITED SPEAKERS Rance Cleaveland (USA), Javier Esparza (D), Rob van Glabbeek (USA), Catuscia Palamidessi (USA). SUBMISSIONS Submissions will be evaluated by the Programme Committee for inclusion in the proceedings, which will be published by Springer-Verlag. Papers must contain original contributions, be clearly written, and include appropriate reference to and comparison with related work. Papers (of at most 15 pages, accompanied by a one-page abstract) should preferably be submitted electronically as uuencoded PostScript files at the address given below. The mailing addresses (both postal and electronic), telephone number and fax number (if available) of the author to whom correspondence should be sent should be clearly indicated. In case of hardcopy submissions, send five copies to the address below. CALL FOR SATELLITES The CONCUR'99 conference will host several satellite workshops, which will take place on August 23 and August 28. Proposals for satellites are solicited, which should contain a brief description of the scope and organization of the workshop. CALL FOR TOOL DEMONSTRATIONS During the conference there is the possibility to demonstrate tools which are clearly connected to the topics of the conference. Proposals for such tool demonstrations should take the form of a tool description not exceeding 4 pages. The necessary hardware and software resources for installation and demonstration of the tool should be specified. IMPORTANT DATES Deadline for submission: 26 February 1999 Notification of acceptance: 16 April 1999 Final version due: 19 May 1999 Satellite proposals: 8 January 1999 Tool demo proposals: 4 June 1999 ADDRESSES S. Mauw, Eindhoven University of Technology, P.O. Box 513, NL-5600 MB Eindhoven, The Netherlands. URL http://www.win.tue.nl/concur99/ E-mail concur99(a)win.tue.nl

1 0

PSSL 70: First announcement
by Dr. P.T. Johnstone 19 Dec '98

19 Dec '98

PERIPATETIC SEMINAR ON SHEAVES AND LOGIC 70th meeting -- First Announcement The 70th meeting of the PSSL will be held in Cambridge on the weekend of 27-28 February 1999. As usual, we welcome contributed talks on any aspect of category theory, sheaf theory or related areas of logic and computer science. It is planned to make this meeting into a celebration of the 60th birthday of Gavin Wraith, which falls in March 1999. Gavin has been involved with the PSSL since its inception in 1976, and we hope that his many friends will wish to join us in celebrating this occasion. Further details of the arrangements for the meeting, and a registration form, will be sent out in January. Peter Johnstone Martin Hyland Chris Mulvey

1 0

preprint
by Dusko Pavlovic 19 Dec '98

19 Dec '98

Dear All, As many of you know, December is the season of two column logic/CS related preprints. The title of mine is: Towards semantics of guarded induction and it is at the bottom of the page http://www.kestrel.edu/HTML/people/pavlovic/ Comments **most** welcome, esp. as I am still a bit in the darkness as to how to present some parts. This is still an extended abstract, but a bit more extended and less abstract than the version some of you have seen before. (Thanks again for the questions that helped me improve it!) With the very best wishes, -- Dusko ============================================================================== Towards semantics of guarded induction by Dusko Pavlovic Abstract. We analyze guarded induction, a coalgebraic method for implementing abstract data types with infinite elements (e.g. various dynamic systems, continuous or discrete). It is widely used not just in computation, but also, tacitly, in many basic constructions of differential calculus. However, while syntactic characterisations abound, only the very first steps towards a formal semantics have been made. A language independent analysis was recently initiated, but just special cases were covered so far. In the present paper, we propose a new approach, based on a somewhat unusual combination of monads and polynomial categories. The first result is what appears to be a precise semantic characterisation of guarded operators on arbitrary final coalgebras.

1 0

EuroPar 99 / Toulouse
by Gilles Motet 17 Dec '98

17 Dec '98

Call for papers Euro-Par'99 Toulouse, France August 31 - September 3, 1999 =========== Topic 06: Fault Avoidance and Fault Removal in Real-Time Systems --------- Topic Committee : ----------------- Global chair : Tomasz Szmuc (Computer Science Lab., Inst. of Automatics, St. Staszic Techn. Univ., Krakow, Poland) Vice-chair : Wolfgang Halang (Faculty of Electrical Engineering, FernUniversitaet, Germany) Vice-chair : Janusz Zalewski (Dept. of Electrical and Computer Engineering, Univ. of Central Florida, USA) Local chair : Gilles Motet (Dept. de Genie Electrique et Informatique, INSA, Toulouse, France) Description : ------------- This topic is dedicated to Fault Avoidance and Fault Removal means in Real-Time Systems. Fault Avoidance is concerned with modelling means, development processes and methods, etc., whereas Fault Removal covers models, verification, testing and diagnosis techniques, etc. In the context of Real-Time Systems, temporal parameters are important features of both Fault Avoidance and Fault Removal. It also includes other issues of interest such as the capabilities of the programming languages to avoid faults and to make easier their detections in the real-time applications, their associated implementations (such as predictable scheduling), the impact of hardware, etc. We would like this topic to span from academia to applications and from scientific approaches to well-engineered real-time systems case studies. This topic is not concerned by fault tolerance and dependability evaluation which is covered by Topic 20. Topics of interest include : ---------------------------- development process for real-time applications guidelines to develop dependable real-time software quality management of real-time applications classification of real-time application faults models allowing real-time concepts to be expressed verification of real-time constraints synchronous real-time languages code speed evaluation predictable real-time static or dynamic scheduling Euro-Par conference series : ---------------------------- Euro-Par is the annual European conference on parallel computing. It is dedicated to the promotion and advancement of all aspects of parallel computing. Euro-Par'99 is organized as a day of tutorials, two half-day plenary sessions, and a number of parallel sessions. Paper submission : ------------------ Authors are requested to use the electronic form on the web site to submit their paper to the topic they judge most appropriate. Official Address and Organization: ----------------------------------- For any questions related to Euro-Par'99 please refer to our web site: http://www.enseeiht.fr/europar99/ or e-mail to: europar99(a)enseeiht.fr. The key dates are: ------------------ - January 31st 1999 : Final Date for Submissions - May 1st 1999 : Acceptances Notified - June 1st 1999 : Final Copy and Author Registration due - June 30th 1999 : Early Registration Deadline - August 1st 1999 : Late Registration Deadline ******************************************************************** * Gilles MOTET tel : +(33/0)5 61 55 98 18 * * DGEI / INSA fax : +(33/0)5 61 55 98 00 * * Complexe Scientifique de Rangueil sec : +(33/0)5 61 55 98 13 * * 31077 Toulouse cedex 4 * * France E-mail : motet(a)dge.insa-tlse.fr * * * * Pub : Vient de paraÃ®tre : * * J.-C. Geffroy et G. Motet, "SÃ»retÃ© de Fonctionnement des * * SystÃ¨mes Informatiques", InterEdition/Masson, 1998 * ********************************************************************

1 0