Mail Thread Index

• Main Index

• (0) Re: typed-based analysis and application,
• (0) Type inference without principal types, Jonathan Aldrich
• (0) Address changes for me and TYPES, Benjamin C. Pierce
• (0) MFPS Call for Papers, Andre Scedrov
• (0) Paper available on Java bytecode verific, Zhenyu Qian
• (0) paper on functions as pi-calculus proces, Davide Sangiorgi
• (0) Announcement, Morten Heine S|rensen
• (0) Research Associate Position, Harry Mairson
• (0) Research Positions in Logic, Types, and , Fairouz Kamareddine
• (0) Re: Type inference without principal typ, Jens Palsberg
• (0) Call for Participation - ICFP'98 - Early, Jon Mountjoy
• (0) Call for Papers, Robert A.G. Seely
• (0) ICCPL-workshop, LICS
• (0) Call for Participation - Int. Conf. on F, Jon Mountjoy
• (0) Re: STACS'99: Call for Papers, Sophie.Tison
• (0) paper on an extension of linear types, KOBAYASHI Naoki
• (0) WPAM: Call for Participation, Stephan Diehl
• (0) PEPM'99 CFP (reminder), Olivier Danvy
• (0) LICS'99: Call for Papers (text & LaTeX), Leonid Libkin
• (0) TLCA99 : extended deadline, Typed Lambda-Calculi and Applications
• (0) Call for Participation : ASIAN 98, Atsushi Ohori
• (0) Lectures on the Curry-Howard Isomorphism, Morten Heine S|rensen
• (0) top down type inferece, Daniel Leivant
• (0) Lambda Calculus with Explicit Substituti, Sanjiva Prasad
• (0) An efficient implementation of type infe, Francois Pottier
• (0) URL update for Category group, Montreal , R.A.G. Seely
• (0) Re: Lambda Calculus with Explicit Substi, Rene Vestergaard
• (0) FSTTCS 98, Call for Participation, 18th FST Fsttcs98 TCS Conf 1998 at IMSc
• (0) ECOOP'99 --- Call for Contributions, Vasco Thudichum Vasconcelos
• (0) workshop announcement, delia Kesner
• (0) position opennings, Kwangkeun Yi
• (0) Book: "Theorem Proving with the Real Num, John Harrison
• (0) A new proof of the wellfoundednes of the, Tobias.Nipkow
• (0) Re: A new proof of the wellfoundednes of, chet
• (0) DMTCS'99 and CATS'99 Call for Participat, Paul Bonnington
• (0) a repository for CS research, Gopalan Nadathur
• (0) An old proof of the wellfoundednes of th, Tobias.Nipkow
• (0) International Masters Programme in Compu, CL Advertisement
• (0) Static Analysis Symposium '99 (cfp), Agostino Cortesi
• (0) Paper announcement: What is a Recursive , Robert Harper
• (0) Thesis announcement: Types For Modules, Claudio Russo
• (0) Correction: URL for "What is a Recursive, Robert Harper
• (0) Recent papers, Guo-Qiang Zhang
• (0) Update on FISh and shape, Barry Jay
• (0) FLOPS'99 Call for Papers, Aart Middeldorp
• (0) Research Positions at BRICS Research Cen, Uffe Henrik Engberg
• (0) Call for Papers: ICFP'99, Jon Mountjoy
• (0) the strength of the typed lambda calculu, Brian Postow
• (0) FMOODS99 Preliminary programme, Alessandro Fantechi
• (0) Postdoctoral Fellowship, Samson Abramsky
• (0) MFPS deadline extension, Andre Scedrov
• (0) Faculty positions at DePaul University, Alan Jeffrey
• (0) A paper on pi-calculus types., Kohei Honda
• (0) post-doctoral positions, Samson Abramsky
• (0) Transparent and opaque interpretations o, Karl Crary
• (0) Paper on (CBV) lambda-mu-calculus, G M Bierman
• (0) Professorship in Programming Theory, Uni, Magne Haveraaen local
• (0) Release of Twelf 1.2 Logical Framework, Carsten Schuermann
• (0) Communication errors in the polyadic pi-, Vasco Thudichum Vasconcelos
• (0) PPDP'99, Francois Fages
• (0) Final program for FOOL 6, Kim Bruce
• (0) Positions in Programming Theory, Univers, Magne Haveraaen local
• (0) TACAS '99 Accepted Papers, Rance Cleaveland
• (0) abstract syntax and variable binding, Daniele Turi
• (0) Thesis Announcement: Type Inference with, Dilip Sequeira
• (0) CONCUR'99 CFP, Sjouke Mauw
• (0) studentship positions, Dave Schmidt
• (0) Formalization of COM, Rosziati Ibrahim
• (0) Call for Papers - LambekFest, Robert A.G. Seely
• (0) Grothendieck Logical Relations., Marcelo Fiore
• (0) Postdoc at Penn, bcpierce
• (0) call for PPDP workshop proposals, Gopalan Nadathur
• (0) CTCS '99 FIRST CALL FOR PAPERS], Martin Hofmann
• (0) [CFP] 5th Mobile Object Systems Workshop, Jan.Vitek
• (0) Vacancy for Ph.D. student (Netherlands), Herman Geuvers
• (0) 6th WoLLIC'99, Ruy de Queiroz
• (0) Lectureships in Computer Science, Roy L. Crole
• (0) New paper: The Category of Strongly Fini, Ralf Greb
• (0) PhD program at Wesleyan, Daniel J. Dougherty
• (0) MOD Summerschool on FOUNDATIONS OF SECU, Oscar Slotosch
• (0) Papers on Typed Assembly Language, Karl Crary
• (0) Anti-Symmetry of Higher-Order Subtyping, Adriana Compagnoni
• (0) Maude 1.0 Release, Jose Meseguer
• (0) Jobs in computer algebra and reasoning, S.J.Thompson
• (0) Re: Yamaha, ChasJDavid
• (0) Distributed Systems, Michael B Greenwald
• (0) PPDP'99 Call for Papers, Francois Fages
• (0) CFP Types Summer School'99, Joelle Despeyroux
• (0) categories: TLCA'99 Call for Participati, tlca99.aquila
• (0) School on Logic and Computation, Fairouz Kamareddine
• (0) MFPS XV Update, Michael Mislove
• (0) [SOAP @ ECOOP] Semantics of Objects As P, Uwe Nestmann
• (0) TLCA'99 Call for Participation (Text & L, tlca99.aquila
• (0) ICFP 99 -- Call for Papers, Didier Remy
• (0) Handbook of Automated Reasoning, volunte, Andrei Voronkov
• (0) book announcement: Categorical Logic and, Bart Jacobs
• (0) New technical reports on coinduction, Jan Rutten
• (0) 2nd CFP: Intuitionistic Modal Logic and , Federated Logic Conference 1999
• (0) Paper announcement: What is a Recursive , Karl Crary
• (0) Spring School on Categorical Methods in , Gradkolleg LI
• (0) Paper Announcement: Control Categories a, Peter Selinger
• (0) Paper on linear bicategories and non-com, Robert A.G. Seely
• (0) FSTTCS '99, First Call for Papers, FSTTCS99
• (0) OOSDS'99 Call for Papers, Natalia Ioustinova
• (0) *** FLOC-99 --- WORKSHOP AND CONTEST ON , Dieter Hutter
• (0) Research scholarships available at Birmi, Marta Z Kwiatkowska
• (0) email address change, Robert Kiessling
• (0) Paper announcement: Flexible Type Analys, Stephanie Weirich
• (0) Re: Paper announcement: Flexible Type An, Barry Jay
• (0) School of Logic and COmputation program , Fairouz Kamareddine
• (0) summer internships, Andrew Wright
• (0) PhD Studentship at Edinburgh, Gordon Plotkin
• (0) CTCS '99 (Deadline 23 April 1999), Martin Hofmann
• (0) Announcement for ISDT'99, Chen yixiang
• (0) [SOAP @ ECOOP] Semantics of Objects As P, Uwe Nestmann
• (0) FLOPS'99, Aart Middeldorp
• (0) CFP, LPAR'99, Andrei Voronkov
• (0) Call For Papers: Logical Frameworks and , Amy Felty
• (0) MOS'99 CFP, Jan.Vitek
• (0) CFP: Realizability Semantics and Applica, Lars Birkedal
• (0) New paper: Union types for semistructure, Benjamin C. Pierce
• (0) Revised paper: Behavioral Equivalence in, Benjamin C. Pierce
• (0) Position at U. Ottawa, Phil Scott
• (0) Call For Papers: HOOTS99 Paris, Sept 199, Andy Gordon
• (0) paper on pre-logical relations available, Don Sannella
• (0) CTCS'99 Deadline extended till 7 May 199, Martin Hofmann
• (0) Logic texts for computer scientists, Benjamin C. Pierce
• (0) ICLP99, Logic Programming Rsrch Association
• (0) Summary: logic texts for computer scient, Benjamin C. Pierce
• (0) Papers by M Hofmann on HOAS & on Linear , Martin Hofmann
• (0) Summary: logic texts for computer scient, Mitchell Wand
• (0) Lectureship in Computer Science, Roy L. Crole
• (0) LPAR'99 deadline extension, Andrei Voronkov
• (0) visiting fellowships:, Fairouz Kamareddine
• (0) Research positions, Matthew Hennessy
• (0) ICLP'99 Workshop: Verification in Logic , J.G.Smaus
• (0) British Logic Colloquium 1999, Anuj Dawar
• (0) ECOOP'99 - Call for Participation, vv
• (0) last CFP Types Summer School'99 - dead-l, Joelle Despeyroux
• (0) WoLLIC'99 - Call for Participation, Ruy de Queiroz
• (0) Recursive types in polymorphic lambda ca, Philip Wadler
• (0) Type soundness issues in Java, Martin Buechi
• (0) Re: Type soundness issues in Java, Kim Bruce
• (0) RE: Type soundness issues in Java, Don Syme
• (1) RE: Type soundness issues in Java, Don Syme
• (0) RE: Type soundness issues in Java, Martin Buechi
• (0) RE: Type soundness issues in Java, Ole Agesen - SunLabs
• (0) Re: Type soundness issues in Java, Phillip M. Yelland
• (0) Re: Type soundness issues in Java, David Wragg
• (0) SAICSIT'99 call for papers, Philip Machanick
• (0) RE: Type soundness issues in Java, Sophia Drossopoulou(Osp. Dezani)
• (0) Re: Type soundness issues in Java, Zhenyu Qian
• (0) Re: Type soundness issues in Java, Sophia Drossopoulou(Osp. Dezani)
• (0) Re: OOSDS99 Call for papers, Natalia Ioustinova
• (0) Paper on dependent types with subtyping , Giuseppe Castagna
• (0) CfP: Wolam'99, Eike Ritter
• (0) Research Position, Gilles Barthe
• (0) CATS 2000, First Call for Papers, Bob Edwards
• (0) Position announcement, Martin Odersky
• (0) Research fellowship at the Computer Scie, Mariangiola Dezani
• (0) Paper on Subtyping and Locality in Distr, Nobuko Yoshida
• (0) Re: Recursive types in polymorphic lambd, Philip Wadler
• (0) CONCUR'99 Call for participation, Sjouke Mauw
• (0) Call-For-Participation: PLI 99 = ICFP + , Didier.Remy
• (0) PhD Studentship, Zhaohui Luo
• (0) IFIP TC1 TCS Conference Y2000 in Japan, ito@ito.ecei.tohoku.ac.jp
• (0) Type Fixpoints: Iteration vs. Recursion, Pawel Urzyczyn
• (0) "OctoberFest" category theory meeting in, Robert A.G. Seely
• (0) New paper: How Good is Local Type Infere, Haruo Hosoya
• (0) Static Interpretation of Modules, Martin Elsman
• (0) CTCS '99 CALL FOR PARTICIPATION DEADLINE, Martin Hofmann
• (0) Posts at Heriot-Watt, Fairouz Kamareddine
• (0) Second order logic and recursion, Laszlo Nemeth
• (0) Re: Second order logic and recursion, Jonathan P. Seldin
• (0) Re: Second order logic and recursion, Tarmo Uustalu
• (0) Final CFP: ASIAN'99, Phuket, Dec 10-12, , Roland Yap Hock Chuan
• (0) PhD and post-doc positions in formal pro, Thomas Jensen
• (0) CFP (reminder): PLI99 = ICFP + PPDP + H, Didier.Remy
• (0) Formal Specification of PLAN, Carl Gunter
• (0) Faculty Position at Sussex, Matthew Hennessy
• (0) British Logic Colloquium 1999, Anuj Dawar
• (0) FOOL 7 Workshop - Call for papers, Kim Bruce
• (0) Post-FSTTCS Workshop on Mobile Computati, FSTTCS99
• (0) job announcement, Thomas Streicher
• (0) CTCS `99 Call for Participation, Samson Abramsky
• (0) Lectureship in Theoretical Computer Scie, Achim Jung
• (1) Call for Participation: HOOTS99, Paris, , Andy Gordon
• (0) Haskell99 Call for Participation, Erik Meijer
• (0) Paper anouncement, Hongwei Xi
• (0) CATS 2000: CALL FOR PAPERS, David A Wolfram
• (0) A simple categorical model of predicativ, Olaf Chitil
• (0) Re: A simple categorical model of predic, P. Scott
• (0) Summary: A simple categorical model of p, Olaf Chitil
• (0) PADL00 DEADLINE EXTENSION, Vitor Santos Costa
• (0) TCS2000, call for papers, HAGIYA Masami
• (0) Research Positions in Semantics, KINOSHITA Yoshiki
• (0) Call for Participation: Logical Framewor, Amy Felty
• (0) HTML at McGill Maths Dept, R.A.G. Seely
• (0) New Paper: Object Closure Conversion, Neal Glew
• (0) PhD and Postdoc Positions in Software Te, Erik Meijer
• (0) CFP: ISDT'99 Program, Guo Qiang Zhang
• (0) Workshop on Generic Programming 2000, ca, Johan Jeuring
• (0) ESOP 2000: Call for Papers, Gert Smolka
• (0) research positions available, David Naumann
• (0) Announcing PVS Version 2.3, Dave Stringer-Calvert
• (0) FMOODS 2000 Preliminary Call for Papers, Carolyn Talcott
• (0) FMOODS 2000 CFP correction, Carolyn Talcott
• (0) New paper: an intuitionistic lambda-calc, Georges Mounier
• (0) FOSSACS 2000, Call for Papers, Jerzy Tiuryn
• (0) FOSSACS'2000: Call for papers, Marta Z Kwiatkowska
• (0) Job Opportunity at INRIA Sophia Antipoli, Isabelle Attali
• (0) POPL '00, List of accepted papers, Thomas Reps
• (0) Linear types and malloc()-free C, Martin Hofmann
• (1) Cfp: Realizability Semantics and Applica, Lars Birkedal
• (0) Cfp: Realizability Semantics and Applica, Giuseppe Rosolini
• (0) Chair in Computer Science, Roy L. Crole
• (0) Journal of Functional Programming, Philip Wadler
• (0) MSCS: Special Issue on "Lambda-Calculus , Mariangiola Dezani
• (0) CFP PPDP 2000, Franck van Breugel
• (0) MPC2000: 5th Int. Conf. on Mathematics o, Jose N. Oliveira
• (0) Deadline for ICLP99 early registration/h, Publicity for ICLP 99
• (0) SUMMER SCHOOL ON MATHEMATICS OF PROGRAM , Roy L. Crole
• (0) Unique Decomposition Categories, Geometr, Esfandiar Haghverdi
• (0) ICFP 2000: Call for Papers, Philip Wadler
• (0) Paper Announcement: Resource Bound Certi, Stephanie Weirich
• (0) PLI 2000: Call for Workshops, Amy Felty
• (0) CMCS2000, Horst Reichel
• (0) Call for Papers, ICFP 2000 (correction), Philip Wadler
• (0) New paper: Featherweight Java, a Core Ca, igarasha
• (0) BOOK: Principles of Program Analysis, Flemming Nielson
• (0) [CONCUR 2000] Conference Announcement an, Uwe Nestmann
• (0) Book announcement, Jean Gallier
• (0) ASIAN'99 Preliminary Program (Dec 10-12,, Roland Yap Hock Chuan
• (0) PADL'00: Call for Participation, Logic Programming Rsrch Association
• (0) Lectureship at Warwick University, UK., Gavin Bierman
• (0) Research Associate Position at Leicester, Roy L. Crole
• (0) PhD in Informatics (AI, CS, CogSci) at E, rbf
• (0) Paper ann.: A Calculus of Order and Inte, Alessio Guglielmi
• (0) SAS2000: First Call for Papers, Dave Schmidt
• (0) CMS Applied Logic, Announcement, Phil Scott
• (0) CFP: Special Journal Issue on Logical Fr, Amy Felty
• (0) Position available, Michael Mislove
• (0) TCS2000 call for papers, Shinya MIYAKAWA
• (0) PADL'00: Call for Participation, Publicity for ICLP 99
• (0) Possible amusement, Jon Riecke
• (0) FMOODS'2000 cfp, Carolyn Talcott
• (0) New lectureship/senior lectureship at No, gmh
• (0) WoLLIC'2000, Ruy de Queiroz
• (0) Did anyone ever write out a/the type sys, John C Mitchell
• (0) Re: Did anyone ever write out a/the type, sbalasubramaniam
• (0) Workshop on subtyping & dependent types , Gilles Barthe
• (0) Paper Announcement: Assigning Types for , N. Yoshida
• (0) causal wrapper types, Peter Sewell
• (0) FOOL 7 workshop - call for participation, Martin Abadi
• (1) Faculty Positions at DePaul University, Alan Jeffrey
• (0) Faculty Positions at DePaul University, Alan Jeffrey
• (0) Final CFP: ASIAN'99, Dec 10-12, Phuket, , Roland Yap Hock Chuan
• (0) POST-DOC at ENS-LYON, Pierre Lescanne
• (0) LICS 2000, Call for Papers, Martin Grohe
• (0) New paper: On Inner Classes, Atsushi IGARASHI
• (0) Proof General --- Version 3.0 release, David Aspinall
• (0) Haskell Workshop, gmh
• (0) Positions at the University of Kent, UK, S.J.Thompson
• (0) CSL 2000, call for papers, Thorsten Altenkirch
• (0) CFP: ITRS '00 (Workshop on Intersection , Joe Wells
• (0) Winter Workshop in Logics, Types and Rew, Fairouz Kamareddine
• (0) No Subject, Christopher A. Stone
• (0) Thesis on type-theory for OOP, Jan Zwanenburg
• (0) CTCS '99 Special Issue in TCS, Martin Hofmann
• (0) Call for papers, EuroPar2000, Topic Obje, Francoise Baude
• (0) PEPT: A Mailing-List for Partial Evaluat, Eijiro Sumii
• (0) CONCUR 2000: Call for Papers, Concur2000
• (0) Faculty positions, especially in program, Gary T. Leavens
• (0) type safety, Philip Wadler
• (0) Re: type safety, Matthias Felleisen
• (0) Re: type safety, Jon Fairbairn
• (0) Re: type safety, Jon Riecke
• (1) Re: type safety, Matthias Felleisen
• (1) Re: type safety, Jon Fairbairn
• (0) Re: type safety, Matthias Felleisen
• (0) Re: type safety, Matthias Felleisen
• (0) Re: type safety, Corky Cartwright
• (1) Re: type safety, Corky Cartwright
• (0) Re: type safety, Jon Fairbairn
• (0) RE: type safety, Greg Morrisett
• (0) Re: type safety, Mark Lillibridge
• (0) Re: type safety, Jon Riecke
• (0) safety and types, Matthias Felleisen
• (0) abstraction power, Matthias Felleisen
• (0) Re: type safety, Krishna N V
• (0) Re: type safety, Matthias Felleisen
• (0) Re: abstraction power, Jon Riecke
• (0) RE: type safety, Greg Morrisett
• (0) RE: type safety, Corky Cartwright
• (0) Static typing disciplines, Corky Cartwright
• (0) Re: abstraction power, Matthias Felleisen
• (0) RE: type safety, Greg Morrisett
• (0) RE: type safety, Kim Bruce
• (1) RE: type safety, Hongwei Xi
• (0) RE: type safety, Corky Cartwright
• (0) RE: type safety, Shriram Krishnamurthi
• (0) Re: abstraction power, Shriram Krishnamurthi
• (0) RE: type safety, Robert Harper
• (0) Re: abstraction power, Matthias Felleisen
• (0) two research positions, Barry Jay
• (0) Abstraction Power, ohearn
• (0) Re: type safety, Matthias Felleisen
• (0) RE: Abstraction Power, Greg Morrisett
• (0) DML type checking, Corky Cartwright
• (0) RE: type safety, Corky Cartwright
• (0) Submitting type theory papers to CADE, David McAllester
• (0) Announcement: EXTENDED DEADLINE FOR CMC, Jan Rutten
• (0) Re: type safety, Frank Pfenning
• (0) LFM 2000 (Logical Frameworks and Meta-la, Joelle Despeyroux
• (0) Special issue of JFP - Logical Framework, Joelle Despeyroux
• (0) A meta language for programming with bou, Andrew Pitts
• (0) CFP PPDP 2000, Franck van Breugel
• (0) RE: Abstraction Power, Peter O'Hearn
• (0) RE: Abstraction Power, Greg Morrisett
• (0) functorial lambda calculus, Barry Jay
• (0) Europar'2000 Workshop on OO Architecture, Michael Philippsen
• (0) new logic programming journal, Krzysztof Apt
• (0) Re: type safety, Joe Wells
• (1) RE: Abstraction Power, Robert Harper
• (0) RE: Abstraction Power, Peter O'Hearn
• (0) Paper announcement: Sound and Complete E, Karl Crary
• (1) Re: type safety, Jamie Andrews
• (0) Re: type safety, Joe Wells
• (0) URL for functorial lambda-calculus, Barry Jay
• (0) CFP: Implicit Computational Complexity w, Jean-Yves Marion
• (0) Winter Workshop in Logics, Types and Rew, Fairouz Kamareddine
• (0) Negative results about the power of stat, Allen Stoughton
• (0) Paper announcement: Implicitly-Typed Dea, KOBAYASHI Naoki
• (0) PS on Negative results about the power o, Allen Stoughton
• (0) Call for PhD and Postdoc Grant Applicati, Gradkolleg LI
• (0) FICS'2000 Call for Papers, Irene GUESSARIAN
• (0) Position announcement, Fairouz Kamareddine
• (0) Announcement: PhD-thesis, Lars Birkedal
• (0) Applied Semantics Summer School APPSEM'2, Simao Desousa
• (0) The LINEAR International Summer School, Nuno Barreiro
• (0) FMOODS'2000 cfp, Carolyn Talcott
• (0) CFP CADE-17 Workshop "Type-theoretic Lan, Didier Galmiche
• (0) Scheme and Functional Programming 2000, matthias
• (0) Grad positions available, Richard Blute
• (0) Workshop on Domains IV, 1998, Dieter Spreen
• (0) FMOODS'2000 cfp - WITH SUBMISSION INSTR, Fmoods Mailbox
• (0) CfP: ECOOP 2000 Workshop on Formal Techn, Peter Mueller
• (0) New release of Wallace, Francois Pottier
• (0) PhD positions available at Heroit-Watt, Fairouz Kamareddine
• (0) Tenured posts at Heriot-Watt, Fairouz Kamareddine
• (0) CFP PPDP 2000, Franck van Breugel
• (0) Call for papers FST TCS 2000, Sanjiva Prasad
• (0) HOOTS 2000 Call for Papers, Alan Jeffrey
• (0) ICFP 2000, Philip Wadler
• (0) EFF foundations school in deduction and , Fairouz Kamareddine
• (0) 2nd CFP: ITRS '00 (Workshop on Intersect, Joe Wells
• (0) First CFP: Types in Compilation 2000, Robert Harper
• (0) PPDP 2000 Deadline Extension, Frank Pfenning
• (0) Paper announcement: Dependently Typed Re, Randy Pollack
• (0) ICFP 2000: new submission deadline, Philip Wadler
• (0) FMOODS 2000 Submission Deadline Extensio, Fmoods Mailbox
• (0) Haskell Workshop, gmh
• (0) Implementing a Program Logic of Objects , Francis Tang
• (0) 7th WoLLIC'2000, Ruy de Queiroz
• (0) Paper Announcement: Secure Information F, N. Yoshida
• (0) ETAPS 2000 - 2nd Call for Participation, Doris Faehndrich
• (0) MetaML release Version 1.0, Zino Benaissa
• (0) International Summer School on Computati, Sandro Etalle
• (0) CP2000: Final Call for Papers [NEW SUBMI, Martin Henz
• (0) MFCS 2000 - Submission Deadline Approach, MFCS 2000
• (0) Postdoctoral Research Associate, Frank Pfenning
• (0) cfp: ICFP wkshp on Program Generation, Walid Taha
• (0) WESTAPP - 2nd Call for Papers, Therese HARDIN
• (0) CFP: CADE-17 WORKSHOP ON AUTOMATION OF P, Carsten Schuermann
• (0) ESSLLI 2000 in Birmingham, ESSLLI 2000 in Birmingham
• (0) Mutually recursive types, Daniel Wang
• (0) reminder -- FMOODS 2000 Submission Deadl, Fmoods Mailbox
• (0) extended deadline: ITRS '00 (Intersectio, Joe Wells
• (0) typo in dates for ITRS '00 (Intersection, Joe Wells
• (0) Reasoning with Higher-Order Abstract Syn, R.C. McDowell
• (0) Paper announcement: From Polymorphic Su, Jakob Rehof
• (0) Postdoctoral Research Position at Yale, Zhong Shao
• (0) LICS 2000 Invited Talks and Accepted Pap, Martin Grohe
• (0) CTCS '99 Special Issue in TCS. Final Rem, Martin Hofmann
• (0) Postdoc Opportunities with the Yale Hask, John Peterson
• (0) FICS 2000, change in submission guidlein, esik (researcher;Itou Masami)
• (0) EEF Foundations School of Deduction and , Fairouz Kamareddine
• (0) HLCL 00 -- call for papers, Peter Sewell
• (0) ECOOP Tutorials (Types), Giuseppe Castagna
• (0) LICS 2000 - Short Presentations Deadline, Martin Grohe
• (0) ICC : New submission deadline, Jean-Yves Marion
• (0) TPHOLs 2000 --- call for short papers, Tom Schubert
• (0) POPL2001: Call for Papers, Dave Schmidt
• (0) New submission deadline Workshop on TYPE, Didier Galmiche
• (0) Special Issue of Mathematical Structures, Viviana Bono
• (0) International Summer School on Computati, Sandro Etalle
• (0) Second CFP: Types in Compilation 2000, Robert Harper
• (0) Research position at Sophia Antipolis, Maryse Renaud
• (0) Paper on type-safety bugs in JDK1.2.2, Alessandro Coglio
• (0) Call for Participation: Workshop on Proo, Trevor Jim
• (0) workshop announcement, WRLA 2000, Ataru T. Nakagawa
• (0) Paper on Java class loading, Alessandro Coglio
• (0) LPAR'2000: call for papers, parigot
• (0) LICS Workshop on Chu Spaces and Applicat, Valeria Correa Vaz de Paiva
• (0) JFP Special Issue on Haskell, gmh
• (0) Paper available on Hoare logic for Java, David von Oheimb
• (0) IFIP TCS2000 preliminary program, Shinya MIYAKAWA
• (0) 1st CFP FLOPS2001, Herbert Kuchen
• (0) Scheme and Functional Programming 2000, matthias
• (0) Extended Deadline for early registration, Simao Desousa
• (0) LICS 2000 Call for Participation and Pre, Martin Grohe
• (0) SAS2000: Call for Participation, Dave Schmidt
• (0) Associate Professorship in Logic in Comp, Karen =?iso-8859-1?Q?Kj=E6r?= =?iso-8859-1?Q?_?= =?iso-8859-1?Q?M=F8ller?=
• (1) LINEAR Summer School (2nd call), Nuno Barreiro
• (0) LINEAR Summer School, Nuno Barreiro
• (0) CSL2000 - 1st call for participation, Computer Science Logic 2000
• (0) Postdoc - wide area programming, Peter Sewell
• (0) CFP: Workshop on Program Generation, Walid Taha
• (0) DTP00---Call for Participation, Gilles Barthe
• (0) ASIAN'00: Call for Papers, masahiko
• (0) IFIP TCS2000 program and registration in, Shinya MIYAKAWA
• (0) paper: Towards an abstract model of Java, Sophia Drossopoulou
• (0) International Summer School on Computati, Sandro Etalle
• (0) New Paper: Safe and Flexible Dynamic Lin, Michael Hicks
• (0) TPHOLs 2000: Call for Participation, Mark Aagaard
• (0) call for participation: ITRS '00 (Inters, Joe Wells
• (0) Post-Doc in France available., Christophe Raffalli
• (0) NWPT'00 - 12th Nordic workshop on progra, nwpt00
• (0) CFP: LPAR'2000, Reunion Island, France, Andrei Voronkov
• (0) XIII. ESSLLI 2001 in Helsinki, Marcus Kracht
• (0) FST TCS 2000: One week extension on the , Sanjiva Prasad
• (0) Lectureships in Computer Science, Roy L. Crole
• (0) post-doc position at Chalmers, Bengt Nordstrom
• (0) Call for Participation: Workshop on Proo, Trevor Jim
• (0) Scheme and Functional Programming 2000, Matthias Felleisen
• (0) TPHOLs: student bursaries available!, Mark Aagaard
• (0) LPAR'2000: deadline extended, Andrei Voronkov
• (0) Four lectureships in Nottingham, gmh
• (0) TLCA 2001, Samson Abramsky
• (0) CSL2000 : Early Registration extended un, Computer Science Logic 2000
• (0) PhD grant at INRIA Sophia Antipolis, Yves Bertot
• (0) ETAPS 2001: FIRST ANNOUNCEMENT & CALL FO, Etaps 2001
• (0) Christopher Strachey, Olivier Danvy
• (0) HOOTS 2000 invited speakers, Alan Jeffrey
• (0) Positions Available in programming langu, Atsushi Ohori
• (0) Call for Papers STACS 2001, Horst Reichel
• (0) Faculty post in foundations of computer , Peter Williams
• (0) BCV, nipkow
• (0) CONCUR 2000: Call for Participation and , Catuscia Palamidessi
• (0) Festival Workshop in Foundations and Com, Fairouz Kamareddine
• (0) Call for Participation : Workshop on Imp, Jean-Yves Marion
• (0) 2nd CFP FLOPS 2001, Herbert Kuchen
• (0) Proof General --- Version 3.1 release, David Aspinall
• (0) CFP: CP2000, 18-22 September, Singapore,, Roland Yap Hock Chuan
• (0) FLOC 2002 - Preliminary Announcement, Martin Grohe
• (0) State of the art in dependent typing?, Tim Sweeney
• (0) Software for teaching logic, S.J.Thompson
• (0) Post-doctoral position at INRIA-Rennes, Jean-Pierre Talpin
• (0) State of the art in dependent typing?, Thorsten Altenkirch
• (0) WoLLIC'2000 - Call for Participation, Ruy de Queiroz
• (0) Job opportunity at INRIA Sophia Antipoli, Isabelle Attali
• (0) MFCS 2000 - Call for Participation, MFCS 2000
• (0) ICFP 2000 Preliminary Program, =?iso-8859-1?Q?Konstantin_L=E4ufer?=
• (0) FMOODS 2000 Call for Participation, Demo, Fmoods Mailbox
• (0) New collection of links to Mobile Ambien, Xudong Guan
• (0) LICS 2001 Preliminary Call for Papers, Martin Grohe
• (0) Preliminary program for ICFP 2000 (updat, =?iso-8859-1?Q?Konstantin_L=E4ufer?=
• (0) Conference on foundations and applicatio, Giuseppe Longo
• (0) preliminary program PPDP 2000, Franck van Breugel
• (0) program: ITRS '00 (Intersection Types & , Joe Wells
• (0) Call for papers: FOOL 8, Kathleen Fisher
• (0) Overview of systems, Freek Wiedijk
• (0) Call for participation PLI 2000, Franck van Breugel
• (0) WoLLIC'2000 - Programme, Ruy de Queiroz
• (0) Tbilisi Summer School, Chikoidze
• (0) Haskell Workshop, gmh
• (0) ICFP 2000 Programming Contest, August 26, =?iso-8859-1?Q?Konstantin_L=E4ufer?=
• (0) ASIAN'00: Call for Papers, masahiko
• (0) LICS 2001 Call for Affiliated Workshops, Martin Grohe
• (0) Call for Papers: LDTA'2001, Marjan Mernik
• (0) PhD studentship at Edinburgh for October, Ian.Stark
• (0) Postdoc grant available, Gradkolleg LI
• (0) Research/Study in Logics, Types, Rewriti, Joe Wells
• (0) 3rd SIGPLAN Continuations Workshop -- ca, Continuation Workshop 1997
• (0) paper announcement: Relating Cryptograph, Eijiro Sumii
• (0) Job openings at INRIA, Gilles Barthe
• (0) Job opening at Utrecht: Generic Haskell, Johan Jeuring
• (0) POSTDOC still available...until Friday t, Christophe Raffalli
• (0) PADO-II call for papers, Symposium on Program as Data Objects
• (0) Call for Papers (Continuations Workshop , Amr Sabry
• (0) Postdoc and PhD Student Position Announc, Martin Odersky
• (0) Workshop Program: Types in Compilation 2, Robert Harper
• (0) 12th Nordic workshop on programming theo, nwpt00
• (0) FLOPS 2001, Final Call for Papers, Herbert Kuchen
• (0) Professorship in Software Engineering, Bengt Nordstrom
• (0) Chair in Theoretical Computer Science at, Gordon Plotkin
• (0) Job: post doc researcher in type systems, David Aspinall
• (0) Research Assistant/PhD Vacancy, nipkow
• (0) Paper announcement: Constructive Foundat, Thomas Studer
• (0) Lipari Summer School 2001, Vladimiro Sassone
• (0) Post-doctoral position announcement, Jean-Pierre Talpin
• (0) Seeking papers on Type-Directed Compilat, Oukseh Lee
• (0) Reminder/Deadline extension for NWPT'00 , nwpt00
• (0) ETAPS-2002: Call for Affiliated Workshop, Rachid Echahed
• (0) New programs in the foundation of mathem, Giuseppe Longo
• (0) LICS 2001 - 2nd Call for Affiliated Work, Martin Grohe
• (0) PhD & postdoc positions available, Bart Jacobs
• (0) Practical Aspects of Declarative Languag, Compulog Americas
• (0) Re: Seeking Papers on Type-Directed Comp, Oukseh Lee
• (0) Tech reports on Modules and Versioning, , Peter Sewell
• (0) Extended Submission Deadline (Continuati, Amr Sabry
• (0) TACS 2001 CFP, Benjamin C. Pierce
• (0) TLCA -- WWW page and deadline reminder, Pawel URZYCZYN
• (0) ECOOP 2001 --- Call for Contributions, Horváth Zoltán
• (0) LDTA'2001 Remainder, Marjan Mernik
• (0) PLI 2001-Call for workshop proposals, b.venneri
• (0) CFP: Computer Security Foundations Works, Andre Scedrov
• (0) FoSSaCS'01 deadline is Oct, 20, Furio Honsell
• (0) TLCA 2001: DEADLINE EXTENSION, Samson Abramsky
• (0) 2 PhD positions in Automated Verificatio, Jaco van de Pol
• (0) MFPS XVII, Michael Mislove
• (0) LACL 2001, Catherine Piliere
• (0) PADO-II CFP -- reminder, Symposium on Program as Data Objects
• (0) Director, Computer Science Department, Adriana Compagnoni
• (0) Correspondence of Linear Logic & Geometr, Tim Sweeney
• (0) FST TCS 2000 Call for Participation, Sanjiva Prasad
• (0) Research Associateship in Metaprogrammin, Andrew Pitts
• (0) Postdoctoral Position at University of M, Gopalan Nadathur
• (0) Request for literature recommendations., Denby Wong
• (0) POPL'01 Call for Participation, Dave Schmidt
• (0) Post-Doc on memory management of embedde, Jean-Pierre Talpin
• (2) CFP: JFP on SAIG, Walid Taha
• (0) CFP: JFP on SAIG [Extended deadline], Walid Taha
• (0) CFP: SAIG'01, Walid Taha
• (0) LICS 2001 Call for Papers, Martin Grohe
• (0) FST TCS 2000 Call for Participation, Sanjiva Prasad
• (0) Announcement: Ph.D. thesis, Carsten Schuermann
• (0) Lecuturer Security, Pieter Hartel
• (0) TPHOLs 2001 Call For Papers, simon gay
• (0) ETAPS 2002 - Call for Satellite Events, Etaps 2002
• (0) extended deadline for PADO-II, Symposium on Program as Data Objects
• (0) positions available at Imperial, Philippa Gardner
• (0) CFP: ACM Transactions on Internet Techno, Bongki Moon
• (0) CONCUR 2001 -- PRELIMINARY CALL FOR PAPE, Anna Ingolfsdottir
• (0) Loyola University Chicago - Chair, Depar, =?iso-8859-1?Q?Konstantin_L=E4ufer?=
• (0) Relaunch of the Journal of Logic and Alg, Inge Bethke
• (0) Book on types, Till Mossakowski
• (0) Static Analysis Symposium 2001, Paris : , Radhia Cousot
• (0) Fool 8: Call for Participation, Kathleen Fisher
• (0) Call for Participation (Continuations Wo, Amr Sabry
• (0) CMCS 2001 - Call for Papers, Andrea Corradini
• (0) No Subject, Thomas Streicher
• (0) Categories with subtypes, Tom Burt
• (0) Looking for a few good types/PL lecturer, bcpierce
• (0) Summary or recommendation responses (hig, Denby Wong
• (0) WoLLIC'2001 - Call for Papers, Ruy de Queiroz
• (0) 1st CFP: Workshop on Implicit Computatio, Martin Hofmann
• (0) TYPES list pause, Dec. 7-24, bcpierce
• (0) Post-Docs at OGI, Andy Moran
• (0) Call for Paper ICTCS'01, Ferruccio DAMIANI
• (0) PPDP 2001: Call for Papers, Harald Sondergaard
• (0) Call for papers ICTCS'01 (UPDATED), Ferruccio DAMIANI
• (0) call for papers ICFP 2001, Xavier Leroy
• (0) Ask for help: any previous work that has, Xudong Guan
• (0) FoSSaCS 2001 Accepted Papers, Marino Miculan
• (0) TLCA 2001 Accepted Papers, Samson Abramsky
• (0) CfP CMCS2001 - Extended deadline, Ugo Montanari
• (0) International Termination Workshop 2001, Nachum Dershowitz
• (0) Re: Typing non-uniform concurrent object, Antonio Ravara
• (0) BRICS PhD grants, fellowships, and resea, Uffe Henrik Engberg
• (0) Post-doc in security and static analysis, Thomas Jensen
• (0) Lipari Summer School 2001, Vladimiro Sassone
• (0) CFP: Book on Linear Logic (Reminder), Paul RUET
• (0) Symposium on Domain Theory, Guo-Qiang Zhang
• (0) APPSEM Workshop, Thomas Streicher
• (0) FLOPS 2001 - Call for Participation, Herbert Kuchen
• (0) lectureship position at Oxford, Samson Abramsky
• (0) TPHOLs 2001 2nd CALL FOR PAPERS, simon gay
• (0) PADL'01 -- call for participation, iclp99pub
• (0) CFP: ECOOP Workshop on Formal Techniques, Peter.Mueller
• (0) MERLIN 2001 Call for Papers, Roy L. Crole
• (0) Marktoberdorf Intl. summer school, Alexander Pretschner
• (0) Book on Linear Logic (deadline extension, Paul RUET
• (0) Research job in model checking applicati, Mark D Ryan
• (0) PLI 2001 Announcement, Rosario Pugliese
• (0) programming languages as a core topic, Matthias Felleisen
• (0) Re: programming languages as a core topi, Kim
• (0) 8th Static Analysis Symposium : Last CFP, Radhia Cousot
• (0) Call for participation TLCA2001, TLCA Conference 2001
• (0) Termination Workshop - Deadline Extensio, Juergen Giesl
• (0) PFM 01: CALL for PARTICIPATION, Davide Sangiorgi
• (0) TACS 2001 -- call for papers, bcpierce
• (0) WFLP 2001 - Call for Papers, Frank Steiner
• (0) cfp Strategies 2001, Maria Paola Bonacina
• (0) CFP: JLAP special issue on pi-calculus, Bjorn Victor
• (0) Intellectual history of types, Benjamin C. Pierce
• (0) Re: Intellectual history of types, Benjamin C. Pierce
• (0) Research studentships available at Birmi, Marta Z Kwiatkowska
• (0) Re: intellectual history of types, Benjamin Pierce
• (0) Posting for Types Bulletin Board, John Reynolds
• (0) SAS'01 : Submission Deadline Extension, Radhia Cousot
• (0) TPHOLs 2001 FINAL CALL FOR PAPERS, simon gay
• (0) announcement for Bohm's thm workshop, Jean-Jacques Levy
• (0) FICS'2001 - CFP, Anna Labella
• (0) logical relations and contextual equival, Eijiro Sumii
• (0) WoLLIC'2001 - Call for Papers, Ruy de Queiroz
• (0) CSL 2001 -- last CALL FOR PAPERS and FOR, fl
• (0) ETAPS 2001: SECOND CALL FOR PARTICIPATIO, Etaps 2001
• (0) ICC '01: new time and 2nd CFP, Martin Hofmann
• (0) 2001 Haskell Workshop: 1st call for pape, Ralf Hinze
• (0) lectureships at Durham UK, Zhaohui.Luo
• (0) WRS'2001 - Extended deadline, Salvador Lucas Alba
• (0) PLI 2001: submission deadline is approac, Rosario Pugliese
• (0) QAPL'01 Workshop - 1st Call for Papers, Herbert Wiklicky
• (0) TLCA 2001 -- grants for participants, Konferencja TLCA'2001
• (0) CALL FOR PAPERS -- JOURNAL OF FUNCTIONAL, Simon Helsen
• (0) object-oriented type systems in practice, Kathleen Fisher
• (0) UNIF 2001 Junior Researcher Travel Award, Ralf Treinen
• (0) PEPM'02, Preliminary Call for Papers, Peter Thiemann
• (0) Higher-order linear logic, Daniel Wang
• (0) ConCoord: Concurrency and Coordination, Vladimiro Sassone
• (0) International Masters Programme in COMPU, CL Advertisement
• (0) Summary: object-oriented type systems in, Kathleen Fisher
• (0) undergrad research, Norman Danner
• (0) CONCUR 2001 FINAL CFP & EXTENDED DEADLIN, Anna Ingolfsdottir
• (0) Research Assistant/PhD Vacancy, nipkow
• (0) workshop announcement, Scott Stoller
• (0) CfP: Babel01 Workshop on Multi-Language , Nick Benton
• (0) Is extensionality equational in the abse, Philip Wadler
• (0) TACS 2001 -- call for papers, Benjamin C. Pierce
• (0) TLCA 2001 -- EARLY REGISTRATION DEADLINE, Konferencja TLCA'2001
• (0) Re: Is extensionality equational in the , Peter Selinger
• (0) Re: Is extensionality equational in the , Peter Selinger
• (0) PPDP'01 deadline extension to 23 March, Harald Sondergaard
• (0) PLT is moving, Matthias Felleisen
• (0) Announcement, Ulisses Ferreira
• (0) Notice of paper, Robert A.G. Seely
• (0) Post-doc advertisement at PacSoft, Kelly Atkinson
• (0) Re: Higher-order linear logic, Sara Kalvala
• (0) CFP and dealine extension: ECOOP Worksho, Sophia Drossopoulou
• (0) Re: Higher-order linear logic, David Pym
• (0) Re: Higher-order linear logic, Dale Miller
• (0) List of online PL theory texts, Frank Atanassow
• (0) PhD studentships at the LFCS, U. of Edin, Paul Jackson
• (0) ECOOP'2001 Call for Participation, =?ISO-8859-1?Q?Horv=E1th_Zolt=E1n?=
• (0) UNIF'01: 2nd Call for Abstracts/Partici, Ralf Treinen
• (0) 2nd Call for Papers: 7th International C, Ian Miguel
• (0) ICTCS'01: DEADLINE EXTENSION, Ferruccio DAMIANI
• (0) Faculty Positions, Universite Laval Queb, Nadia Tawbi
• (0) Book announcement: Handbook of Process A, Alban Ponse
• (0) TACS 2001 -- extended deadline, Benjamin C. Pierce
• (0) Extended Deadline: Workshop on MEchaniz, A. Momigliano
• (0) STRATEGIES 2001 (last cfp - ext. deadlin, Bernhard Gramlich
• (0) two technical reports, Matthew Hennessy
• (0) ICC'01: new deadline 10.5.2001, Martin Hofmann
• (0) 13 vacant positions at the IT University, Mads Tofte
• (0) ISAAC-01: Call for Papers, paddy
• (0) ConCoord: Concurrency and Coordination, Vladimiro Sassone
• (0) Barendregt was right after all ... almos, Rene Vestergaard
• (0) Re: Barendregt was right after all ... a, ian a. mason
• (0) Foundational Methods in Computer Science, David Benson
• (0) Re: positions at the Technical Universit, Flemming Nielson
• (0) Re: Is extensionality equational in the , Thierry Joly
• (0) SAS'01 Call For Participation, radhia
• (0) Post-doctoral positions in the EPATR-ESP, Jean-Pierre Talpin
• (0) Update on Named Variables & Church Rosse, ian a. mason
• (0) BRICS EVENTS - Registration deadline, Karen =?iso-8859-1?Q?Kj=E6r?= =?iso-8859-1?Q?_?= =?iso-8859-1?Q?M=F8ller?=
• (0) Classical Logic and Coq, Herman Geuvers
• (0) Re: Classical Logic and Coq, Gerard Huet
• (0) Technical Report Available, simon gay
• (0) Mechanical Verification of a Context Lem, ian a. mason
• (0) Foundational Methods in Computer Science, David Benson
• (0) Erlang workshop, John Hughes
• (0) Paper Announcement: An Expressive, Scala, Joseph Vanderwaart
• (0) MERLIN Call for Participation, Roy L. Crole
• (0) paper on recursive modules, Derek R. Dreyer
• (0) STRATEGIES 2001 (call for participation,, Bernhard Gramlich
• (0) Survey of object oriented models of comp, Brian Postow
• (0) UNIF 2001: Call for Participation, Ralf Treinen
• (0) CFP - Coordination 2002, Alan Wood
• (0) A New Manuscript, Ulisses Ferreira
• (0) WFLP 2001 deadline extension to May 22, , Frank Steiner
• (0) PhD position "A theory for object algebr, Maarten Fokkinga
• (0) SAIG'01 Extended Deadline, Walid Taha
• (0) Cryptyc papers, Alan Jeffrey
• (0) QAPL'01 Workshop - Final Call for Papers, Herbert Wiklicky
• (0) Concoord 2001: Call for Participation, Vladimiro Sassone
• (0) TPHOLs 2001 Call For Participation, simon gay
• (0) ETAPS 2002, FIRST ANNOUNCEMENT & CALL FO, Etaps 2002
• (0) chair in tcs, Astrid Kiehn
• (0) Research Job in Modular Program Analysis, Joe Wells
• (0) POSTDOCTORAL RESEARCH POSITIONS and PROG, Insup Lee
• (0) POPL 2002 CALL FOR PAPERS, John Mitchell
• (0) Better vector math using dependent types, Tim Sweeney
• (0) QAPL'01 - ACM Workshop - Deadline Extent, Herbert Wiklicky
• (0) FMOODS 2002 --- Call for Papers, Bart Jacobs
• (0) A new book of logic, =?iso-8859-1?Q?Ren=E9?= David
• (0) CFP: ICLP ws SAVE 2001, Giorgio Delzanno
• (0) Ann: new research report, Francois Pottier
• (0) typed-based analysis and applications, Jens Palsberg
• (0) LICS 2001 Final Program, Martin Grohe
• (0) New book on Bytecode verification for Ja, boerger
• (0) paperback announcement: Categorical Logi, Bart Jacobs
• (0) ECOOP 2001 - Final Call for Participatio, ECOOP 2001 Poster
• (0) Re: typed-based analysis and application, Mario Coppo
• (0) thesis available, Paul Levy
• (0) PLI 2001 in Firenze: call for participat, Rocco De Nicola
• (0) Working Conference on Generic Programmin, Johan Jeuring
• (0) WoLLIC'2001 - Call for Participation, Ruy de Queiroz
• (0) International Masters Programme in COMPU, CL Advertisement
• (0) paper on recursion and objects, Gerard Boudol
• (0) CONCUR 2001--Call for participation, Anna Ingolfsdottir
• (0) STACS 2002 -- Call for papers, Jerome Durand-Lose
• (0) TACS 2001 call for participation, Benjamin C. Pierce
• (0) Research Associate Job in Foundations of, N. Yoshida
• (0) CFP: PEPM'02, Peter Thiemann
• (0) 30th SPRING SCHOOL THEORETICAL COMPUTER , Ecole d'ete 2001
• (0) ICFP programming contest, Benjamin C. Pierce
• (0) SAIG'01 Prelim Program, Walid Taha
• (0) Type Systems Postdoc in LFCS, Edinburgh, David Aspinall
• (0) LPAR 2001 Last CFP, Robert Nieuwenhuis
• (0) Types list on vacation, July 16 - Aug 5, Benjamin C. Pierce
• (0) announcement book on the pi-calculus, Davide Sangiorgi
• (0) Post-doc Positions Available at Stevens, Adriana Compagnoni
• (0) PADL'02: Call for papers, Gopal Gupta
• (0) FLOPS 2002, First Call for Papers, Zhenjiang Hu
• (0) BABEL'01: Preliminary programme and Call, Andrew Kennedy
• (0) 2001 Haskell Workshop: call for particip, Ralf Hinze
• (0) PLI2001: Early Registration Deadline is , Rosario Pugliese
• (0) CFP: FOOL 9 -- Foundations of Object-Ori, Martin Odersky
• (0) FICS'01 call for partecipation, Anna Labella
• (0) VMlambda: A Functional Calculus for Scie, Eijiro Sumii
• (0) CFP: ICLP ws SAVE 2001, Giorgio Delzanno
• (0) Jobs at INRIA Sophia, Gerard Boudol
• (0) Lectureship, Edinburgh University, Alex Simpson
• (0) PADL'02: Deadline extension, Gopal Gupta
• (0) Two papers on the pi-calculus., Kohei Honda
• (0) CICLOPS'01 -- Call for Papers, Logic Programming Rsrch Association
• (0) CFP, Workshop on Issues in the Theory of, Joshua D. Guttman
• (0) EMSOFT 2001: First International Worksho, Christoph Kirsch
• (0) A General Type Class Framework, Martin Sulzmann
• (0) Erlang workshop registration, John Hughes
• (0) TCS 2002 - Preliminary Call for Papers, Nicola Santoro
• (0) Two year postdoc position available at U, Julian Rathke
• (0) TACS2001 PROGRAM AND REGISTRATION INFORM, Shinya MIYAKAWA
• (0) ICTCS'01 - GRANTS FOR PARTECIPATION, Ferruccio DAMIANI
• (0) CFP: JLAP special issue on pi-calculus (, Bjorn Victor
• (0) paper on typing for non-interference of , Gerard Boudol
• (0) FMOODS 2002 -- deadline extension: 19 se, Arend Rensink
• (0) FOSSACS'2002 - Call for papers, Uffe Henrik Engberg
• (0) FroCoS'2002, Alessandro Armando
• (0) CFP: Computer Aided Verification 2002, Kim G. Larsen
• (0) STACS 2002 -- Extended Deadline, Jerome Durand-Lose
• (0) post-doc position at Genoa, rosolini
• (0) Final CFP: WITS '02, Joshua D. Guttman
• (0) TIE: A CHR-based Type Inference Engine, Martin Sulzmann
• (0) PhD studentship at Sussex, Bernhard Reus
• (0) ETAPS 2003: CALL FOR SATELLITE EVENT PRO, etaps03
• (0) WWW2002 CFP, Benjamin C. Pierce
• (0) LICS 2002 Call for Papers, Martin Grohe
• (0) ACM SIGPLAN 2002 PLDI, Berlin, Germany -, Jens Knoop
• (0) a paper on call-by-value recursion, HASEGAWA Masahito
• (0) Help with type advocacy, Ken Shan
• (0) RE: Help with type advocacy, Robert Harper
• (0) Re: Help with type advocacy, Daniel Wang
• (0) Re: Help with type advocacy, Kohei Honda
• (0) PLI 2002-Call for workshop proposals, Carsten Schuermann
• (0) Re: Help with type advocacy, Matthias Felleisen
• (0) FOUR research positions in Edinburgh and, Don Sannella
• (0) Two post-docs available in the ESPRESSO , Jean-Pierre Talpin
• (0) TPHOLs 2002 -- First Call For Papers, Cesar Munoz
• (0) AMAST'2002: Call For Papers, Christophe Ringeissen
• (0) ETAPS 2002, CALL FOR SUBMISSIONS -- DEAD, etaps02.VERIMAG
• (0) Research position available, Ranko Lazic
• (0) Announcement of technical report, Jan Rutten
• (0) Job Announcement TU Darmstadt, Thomas Streicher
• (0) Two PhD positions at ILLC, Ingrid van Loon
• (0) LI2002 Announcement, The Logic and Interaction weeks
• (0) CFP FroCoS'02: Deadline Extension and Ca, Alessandro Armando
• (0) POSITION AT ENS PARIS, Giuseppe Castagna
• (0) Research Job in Compositional Reasoning , Joe Wells
• (0) Postdoc positions in Foundations of Dist, Peter Sewell
• (0) Faculty Position, Zena Matilde Ariola
• (0) International Masters Programme in COMPU, CL Advertisement
• (0) ICLP'01/CP'01: Extended Deadline for Ear, Dr. Gopal Gupta
• (0) RESEARCH FELLOWSHIP AT "CA' FOSCARI", VE, Michele Bugliesi
• (0) VMCAI 2002, Agostino Cortesi
• (0) F-WAN: Foundations of Wide Area Network , Vladimiro Sassone
• (0) Post-doctoral position at University of , Vasco Thudichum Vasconcelos
• (0) Positions at the Technical University of, Hanne Riis Nielson
• (0) intersection values and union types?, Pixel
• (0) [very] basic question, Scott Finnie
• (0) Logic Teaching Position at Stanford, Solomon Feferman
• (0) Workshop on Higher-Order Rewriting, Delia Kesner
• (0) PLI 2002-Second call for workshop propos, Carsten Schuermann
• (0) TCS 2002 - Call for Papers, Nicola Santoro
• (0) Re: [very] basic question, Mark A. Sheldon
• (0) Re: [very] basic question, jeremy
• (0) Re: [very] basic question, Frank Atanassow
• (0) Computer Science Logic 2002 (CSL'02) ann, CSL02
• (0) Re: [very] basic question, John R Harrison
• (1) Re: [very] basic question, jeremy
• (0) Re: [very] basic question, John R Harrison
• (0) Re: [very] basic question, Robin Adams
• (0) Re: [very] basic question, Jamie Andrews
• (0) Re: [very] basic question, Robert L. Constable
• (0) book announcement, Andrei Voronkov
• (0) second reply to Scott Finnie, Robert L. Constable
• (0) Re: [very] basic question, Scott Finnie
• (0) Formalising the safety of Java, the Java, Pieter Hartel
• (0) Re: [very] basic question, Francois Pottier
• (0) PhD position, Colin Stirling
• (0) RE: [very] basic question, Henson, Martin C
• (0) 30th Spring School Theorical Computer Sc, Ecole d'ete 2001
• (0) CFP: 4th International Workshop on Impli, Jim Royer
• (0) lambda calculus with co-products, Robert Harper
• (0) Re: lambda calculus with co-products, P. Scott
• (0) Re: [very] basic question, Pixel
• (0) Re: lambda calculus with co-products, P. Scott
• (0) STUDENT WORKSHOP @ FMOODS 2002, Trevor Jones
• (0) PhD Studentship, Zhaohui.Luo
• (0) PhD postions in Informatics, Bergen Univ, Marc Bezem
• (0) Postdoctoral Research Associate, "Refact, C.Reinke
• (0) CTCS '02, Richard Blute
• (0) FICS 02, a satellite workshop to LICS 02, Zoltan Esik
• (0) ESSLLI 2002 Student Session, Malvina Nissim
• (0) Postdoc in lightweight formal methods fo, Jamie Andrews
• (0) Paper on higher order matching., Ralph Loader
• (0) PEPM'02 -- call for participation, Peter Thiemann
• (0) PADL'02, Logic Programming Rsrch Association
• (0) CFP: Special Journal Issue on Proof-Carr, Amy Felty
• (0) WITS at POPL: Workshop on Issues in the, Joshua D. Guttman
• (0) Spam on Types, Benjamin C. Pierce
• (0) FOOL 9 Call for Participation, Martin Odersky
• (1) Positions in Paris 7 University, Pierre-Louis Curien
• (0) Positions in Ecole des mines de Nantes, Pierre Cointe
• (0) LICS 2002 Call for Papers, Martin Grohe
• (0) 6th Workshop Domains, Birmingham, Septem, Achim Jung
• (0) Re: Research Associates - Foundations of, Peter Sewell
• (0) Types Query: type classes and SML module, Tom Murphy
• (0) Re: Types Query: type classes and SML mo, Fergus Henderson
• (0) WAAAPL 2002, preliminary announcement, Ralf Hinze
• (1) CFP : ASIA-PEPM 2002, Chin Wei Ngan
• (0) Final CFP : FLOPS'02 / ASIA-PEPM'02, Zhenjiang Hu
• (0) postdoc at INRIA Sophia-Antipolis (MIMOS, Ilaria Castellani
• (0) positions in core computing science (1 P, Uwe.Nestmann
• (0) New paper on Java bytecode subroutines, Alessandro Coglio
• (0) paper announcements, Haruo Hosoya
• (0) Host of TPHOLs 2003, call for bids, Victor A. Carreno
• (0) Re: more than covariance, distributivity, Pixel
• (0) Ottawa Logic Group invites graduate stud, Peter Selinger
• (0) Parametricity Theorem, relational interp, Janis Voigtlaender
• (0) Re: Parametricity Theorem, relational in, Andrew Pitts
• (0) CMCS 02 2nd Call For Papers, larry moss
• (0) Generic Java type inference is unsound, Alan Jeffrey
• (0) faculty position in logic, LICS
• (0) 4th Int'l Symp.: Practical Aspects of De, Dr. Gopal Gupta
• (0) ICALP2002 call for papers, icalp2002
• (0) Working Conference on Generic Programmin, Johan Jeuring
• (0) 1st CFP Types Summer School'02, Joelle Despeyroux
• (0) ICFP (Functional Programming) 2002: Call, Shriram Krishnamurthi
• (0) 2002 Haskell Workshop, Manuel M. T. Chakravarty
• (0) EMSOFT 2002: FIRST CALL FOR PAPERS, Emsoft02 VERIMAG
• (0) Formal semantics for C, S.J.Thompson
• (0) Re: Formal semantics for C, Ken Friis Larsen
• (1) Re: Formal semantics for C, Matthias Felleisen
• (1) Re: Formal semantics for C, Michael Norrish
• (1) Re: Formal semantics for C, Matthias Felleisen
• (1) Re: Formal semantics for C, Michael Norrish
• (0) Re: Formal semantics for C, Matthias Felleisen
• (0) Re: Formal semantics for C, Sava Krstic
• (1) Re: Formal semantics for C, Fergus Henderson
• (1) Re: Formal semantics for C, Matthias Felleisen
• (1) Re: Formal semantics for C, Fergus Henderson
• (2) Re: Formal semantics for C, Matthias Felleisen
• (0) Re: Formal semantics for C, Fergus Henderson
• (0) Re: Formal semantics for C, Michael Norrish
• (0) Nondeterminism (was: Formal semantics fo, Viktor Kuncak
• (0) Re: Formal semantics for C, Fritz K Ruehr
• (1) Re: Formal semantics for C, Corky Cartwright
• (2) Re: Formal semantics for C, Fergus Henderson
• (1) Re: Formal semantics for C, Matthias Felleisen
• (0) Re: Formal semantics for C, Fergus Henderson
• (1) Re: Formal semantics for C, Corky Cartwright
• (1) Re: Formal semantics for C, Fergus Henderson
• (1) Re: Formal semantics for C, Corky Cartwright
• (1) Re: Formal semantics for C, Fergus Henderson
• (1) Re: Formal semantics for C, Corky Cartwright
• (0) Re: Formal semantics for C, Fergus Henderson
• (0) Re: Nondeterminism (was: Formal semantic, Fergus Henderson
• (0) Component Pascal type system is unsound, Fergus Henderson
• (0) Formal semantics for C++ type inference?, Dave Berry
• (0) Re: Formal semantics for C, Dan Grossman
• (0) Re: Nondeterminism (was: Formal semantic, Michal Walicki
• (0) Nondeterminism / formal semantics of C, Benjamin C. Pierce
• (0) Re: Nondeterminism / formal semantics of, Andrew Myers
• (0) Re: Nondeterminism / formal semantics of, Fergus Henderson
• (0) Re: Nondeterminism / formal semantics of, martinb
• (0) Re: Formal semantics for C, Dan Grossman
• (0) Announcing OMDoc (Open Mathematical Docu, Michael Kohlhase
• (0) RE: Nondeterminism / formal semantics of, Gregory Morrisett
• (0) PostDoc opportunity at Stony Brook in Mo, Scott Smolka
• (0) More on C semantics / nondeterminism, Benjamin C. Pierce
• (0) Re: More on C semantics / nondeterminism, Philip Wadler
• (0) Memory safe implementations of C/C++, Corky Cartwright
• (1) Re: Memory safe implementations of C/C++, Philip Wadler
• (0) Re: Memory safe implementations of C/C++, David Detlefs - Sun Microsystems Labs BOS
• (0) Call For Papers: Computer Science Logic , CSL02
• (0) Senior Researcher Position open in Cente, sekar
• (0) Decidable polymorphic recursion?, Josef Svenningsson
• (0) CMCS 02 2nd Call For Papers (extended de, larry moss
• (0) Re: Decidable polymorphic recursion?, Ferruccio DAMIANI
• (1) Re: Decidable polymorphic recursion?, Francois Pottier
• (0) Re: Decidable polymorphic recursion?, Josef Svenningsson
• (0) Re: Formal Semantics for C, Michael Norrish
• (0) Extended deadline for ICALP 2002, icalp2002
• (1) Re: Memory safe implementations of C/C++, Corky Cartwright
• (0) Re: Memory safe implementations of C/C++, Michael Norrish
• (0) Call for Partic 7th Estonian Winter Scho, Tarmo Uustalu
• (0) Call for Papers Euro-Par 2002 - Topic 10, Bernard Bauer
• (0) Re: Decidable polymorphic recursion?, Carlos Camarao de Figueiredo
• (0) Re: Decidable polymorphic recursion?, Radhia Cousot
• (0) TYPES 2002 Workshop, Berg en Dal (NL)Cal, Herman Geuvers
• (0) Re: Decidable polymorphic recursion?, Carlos Camarao de Figueiredo
• (0) Paper on Using Types for Termination Che, Andreas Abel
• (0) RE: Decidable polymorphic recursion?, Jakob Rehof
• (0) Sound Generic Java type inference, Martin Odersky
• (0) Preprint: Semantic Analysis of Normalisa, Marcelo Fiore
• (0) Workshop on Programming Technologies for, Benjamin C. Pierce
• (0) Re: Decidable polymorphic recursion?, Fritz Henglein
• (0) Five Lectureships at King's College Lond, David Clark
• (0) Re: Decidable polymorphic recursion?, Fritz Henglein
• (0) Call for papers: ICLP'02 (Intl Conf on L, Peter Stuckey
• (0) CFP: CTCS'02 and Grad Student Preconfere, Peter Selinger
• (0) CFP Foundations of Aspect-Oriented Langa, Gary T. Leavens
• (0) CFP : ACM SIGPLAN ASIA-PEPM 2002, Chin Wei Ngan
• (0) ITRS'02 call for papers, Steffen van Bakel
• (0) UNIF'2002 -- call for papers, Christophe Ringeissen
• (0) Call for Participation: FroCoS'02, Alessandro Armando
• (0) Postdoc and PhD student position in Theo, Joachim Parrow
• (0) Graduate School Track on Global Computin, Martin Odersky
• (0) Symposium on Cyber Security, March 15, Dominic Duggan
• (0) Cfp: Domain Theory Workshop in Honour of, Lars Birkedal
• (0) TYPES2002 Meeting Call for Presentations, Herman Geuvers
• (0) paper announcement: Principal Typing in , Paolo Coppola
• (0) AMAST'2002 **** NEW EXTENDED DEADLINE **, Christophe Ringeissen
• (0) Job offer in TCS at Ludwig-Maximilians-U, nentwich
• (0) CFP: Thirty Five years of Automath, Fairouz Kamareddine
• (0) WoLLIC'2002 - call for papers, Ruy de Queiroz
• (0) Summer School on Generic Programming, Johan Jeuring
• (0) HOL and ML-Polymorphism, Lutz Schroeder
• (0) CP-2002: Call for Papers, Constraint Programming 2002
• (0) Summer School on Computational Logic, P M Hill
• (0) Call for Papers: Formal Techniques for J, Erik Poll
• (0) ETAPS 2002: CALL FOR PARTICIPATION, etaps02.VERIMAG
• (0) CFP Generators and Components (GCSE/SAIG, Walid Taha
• (0) ACM school on Internet security - call f, Summer School on Foundations of Internet Security
• (0) ACM school on Internet security - correc, Summer School on Foundations of Internet Security
• (0) Call for papers: TIP'02, tip02
• (0) Working Conf on Generic Programming: dea, Jeremy Gibbons
• (0) SBLP'2002 Call for Papers, Carlos Camarao de Figueiredo
• (0) CFP: LFM'02 - Logical Frameworks and Met, Frank Pfenning
• (0) CTCS02 Call for Students, P. Scott
• (0) PPDP 2002 - Call for papers --> March 21, Claude Kirchner
• (0) IMLA 02 Second Call for Papers, Valeria de Paiva
• (0) Professorship in Software Engineering at, Bengt Nordstrom
• (0) ICFP 2002: write now!, Simon Peyton-Jones
• (0) Call for Papers EXPRESS 2002, Brno, 19th, Prakash PANANGADEN
• (0) New book: Types and Programming Language, Benjamin C. Pierce
• (0) NASSLLI, Darko Sarenac
• (0) Mathematical Knowledge Management 2003 (, Zhaohui.Luo
• (0) Full professorship in Programming Langua, Bernhard Gramlich
• (0) SBLP'2002 deadline extension --> March 7, Carlos Camarao de Figueiredo
• (0) CFP: USE2002, mwh
• (0) FroCoS 2002: 2nd Call for Participation, Alessandro Armando
• (0) ETAPS 2002: LAST DAYS OF EARLY REGISTRAT, etaps02.VERIMAG
• (0) Thirty Five years of Automath, Fairouz Kamareddine
• (0) Flocasa: 1st Call for Paper, Jean-Marie JACQUET
• (0) Research Opportunity: Refactoring Functi, C.Reinke
• (0) Second Call For Papers: Computer Science, CSL02
• (0) Colloquium on the occasion of Helmut Sch, Reinhard Kahle
• (0) Special issue on Mechanising and Automat, Fairouz Kamareddine
• (0) Re: Formal semantics for C, Jim Huggins
• (1) Re: Formal semantics for C, martinb
• (0) Re: Formal semantics for C, Jim Huggins
• (0) CFP FLOPS'02 and ASIA-PEPM'02 : Last Dea, Chin Wei Ngan
• (0) Position at ENS Paris, Giuseppe Castagna
• (0) Linear Logic Workshop at FLoC'02, Andre Scedrov
• (0) 2nd CFP Types Summer School'02, Joelle Despeyroux
• (0) Summer School on the Proofs-as-Programs , Zena Matilde Ariola
• (0) Postdoc in lightweight formal methods fo, Jamie Andrews
• (0) Final call for participation (25 March c, Fairouz Kamareddine
• (0) Functional and Declarative Programming i, Michael Hanus
• (0) RE: IMLA 02 LAST Call for Papers, deadli, Valeria de Paiva
• (0) CFP: Programming Language Technologies f, Benjamin C. Pierce
• (0) Book announcement: Foundations of OO Lan, Kim Bruce
• (0) POPL'03 Call for Papers, Alex Aiken
• (0) [E-CFP] WFLP2002 - deadline EXTENSION, WFLP2002 Organizing Committee
• (0) CTCS-Final CFP and deadline extension, blute
• (0) 2nd CFP: Implicit Computational Complexi, Jim Royer
• (0) More on Formal Semantics of C, Benjamin C. Pierce
• (0) LICS 2002