2004 Archives by subject

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...

Starting: Thu Jan 1 00:45:18 EST 2004
Ending: Fri Dec 31 15:59:30 EST 2004
Messages: 423

• [TYPES] 10th Est. Winter School in Comp. Sci., 1st call for partic.   Tarmo Uustalu
• [TYPES] ICFEM 2004 -- Call for Papers, Tutorials, Workshops, Seattle, USA   ICFEM 2004
• [TYPES] ICFEM 2004 -- Call for Participation, Seattle, USA, Nov 8-12, 2004 ICFEM 2004 CALL FOR PARTICIPATION   Hongjun Zheng
• [TYPES] "Constraints as types" paradigm   Jacques Carette
• [TYPES] "Constraints as types" paradigm   Manuel Fahndrich
• [TYPES] "Constraints as types" paradigm   Martin Sulzmann
• [TYPES] "Constraints as types" paradigm   Fergus Henderson
• [TYPES] (correction) PhD positions at IT University of Copenhagen and Department of Computer Science, University of Copenhagen   Thomas Hildebrandt
• [TYPES] (no subject)   Fernando Rubio
• [TYPES] 2 positions Bologna   Davide Sangiorgi
• [TYPES] 2004 ICFP PROGRAMMING CONTEST   Stephanie Weirich
• [TYPES] 2nd call for papers - SASYFT2004   Siva Anantharaman
• [TYPES] 2nd Call for papers: 6th International Workshop on Rule-Based Programming RULE'05   Horatiu Cirstea
• [TYPES] 2nd CFP: Category Theory and Computer Science (CTCS'04), Graduate Student Summer School and CMCIM Workshop   Thomas Hildebrandt
• [TYPES] 2nd International Doctoral School "Chambéry - Torino"   René David
• [TYPES] [Fwd: Preprint on Polarized Categories and Game Semantics]   Stephanie Weirich
• [TYPES] [LACL05] Last Call For Paper   maxime amblard
• [TYPES] Acknowledgements   Rene Vestergaard
• [TYPES] ACL2 Workshop   Matt Kaufmann
• [TYPES] ACL2 Workshop, Nov. 18-19   Matt Kaufmann
• [TYPES] ACM PODS 2005, Call For Papers   Frank Neven
• [TYPES] AFP 2004 - Call for Partipation   Varmo Vene
• [TYPES] AFP 2004 - Early registration deadline extension   Tarmo Uustalu
• [TYPES] ALGEBRAIC AND TOPOLOGICAL METHODS IN NON-CLASSICAL LOGICS II (first annoucement)   mathlog at ub.edu
• [TYPES] Announcement of PhD program within Theorema.   Theorema
• [TYPES] Announcement: A Type-Based Analyzer for the Pi-Calculus   kobayasi at kb.cs.titech.ac.jp
• [TYPES] ANNOUNCEMENT: The Scala Programming Language   Martin Odersky
• [TYPES] Announcing a New Journal and Call for Papers   Takis Hartonas
• [TYPES] APLAS'04: Call for Participation + Posters   QIN Shengchao
• [TYPES] APLAS04 : Call For Papers   QIN Shengchao
• [TYPES] APPSEM'04, call for contrib. and partic.   Tarmo Uustalu
• [TYPES] Article on proof theory of type theory   Anton Setzer
• [TYPES] ATVA 2004 - Call for Participation & Program   Farn Wang
• [TYPES] ATVA 2004 - Early registration deadline approaching fast.   Farn Wang
• [TYPES] AVIS'05 Call for Papers   Supratik Mukhopadhyay
• [TYPES] AVIS'05 Call for Papers (Deadline Extended)   Supratik Mukhopadhyay
• [TYPES] Book Announcement : Form-Oriented Analysis   Dirk Draheim
• [TYPES] BOOK ANNOUNCEMENT: The Parametric Lambda Calculus   Luca Paolini
• [TYPES] Book on type theory   Fairouz Kamareddine
• [TYPES] Bounds on #steps for leftmost reduction?   Peter Moller Neergaard
• [TYPES] Bounds on #steps for leftmost reduction?   Vincent Danos
• [TYPES] Bounds on #steps for leftmost reduction?   Eduardo Bonelli
• [TYPES] Bounds on #steps for leftmost reduction?   Marina Lenisa
• [TYPES] CADE 2005: Call for papers   Brigitte Pientka
• [TYPES] CALCO-jnr 2005 - CALCO Young Researchers Workshop   Monika Seisenberger
• [TYPES] Calculemus 2005 Preliminary Call for Papers   William Farmer
• [TYPES] Call for Paper DAIS'05   Hartmut König
• [TYPES] call for papers   Natasha Alechina
• [TYPES] call for papers   L A C L 2 0 0 5
• [TYPES] call for papers   Abstract Domains Workshop
• [TYPES] Call for Papers - ICTAC05   Bernhard K. Aichernig
• [TYPES] Call for Papers - Workshop on Logic and Systems Biology   James F. Lynch
• [TYPES] Call for Papers, AIOOL'05, Paris 21st January 2005   Francesco Logozzo
• [TYPES] Call for Papers, AIOOL'05, Paris, 21 Jan 2005   Francesco Logozzo
• [TYPES] CALL FOR PAPERS: 7th Workshop on Logic and Computational Complexity   Jim Royer
• [TYPES] Call for papers: CALCO 2005 in Swansea   Markus Roggenbach
• [TYPES] Call for Papers: FM 2005   events-admin at fmeurope.org
• [TYPES] Call for papers: FMOODS 05 (Formal Methods for Open Object-based Distributed Systems)   Martin Steffen
• [TYPES] Call for Papers: LOPSTR04, PEPM04, PPDP04, SAS04 and affiliated workshops   Fausto Spoto
• [TYPES] Call for Papers: Special Issue M4M   Carlos Areces
• [TYPES] Call for Papers: Special issue of HOSC on Continuations   Hayo Thielecke
• [TYPES] Call for participation / registration   VMCAI'05
• [TYPES] Call for Participation: Fourth International Workshop on Reduction Strategies in Rewriting and Programming (WRS'04)   Sergio Antoy
• [TYPES] Call for participation: LFM'04 - Logical Frameworks and Meta-languages   Carsten Schuermann
• [TYPES] Call for Participation: Workshop on Quantum Programming Languages   Peter Selinger
• [TYPES] Call for PhD Grant Applications   Gradkolleg LI
• [TYPES] Call for Workshop Proposal:GPCE'04 -- Generative Programming and Component Engineering   Benaissa, Zino
• [TYPES] Call for WORKSHOPS and TUTORIALS, SEFM 2005   Wolfgang Ahrendt
• [TYPES] Call-For-Participation   24th FSTTCS Conference 2004
• [TYPES] Catalog'04: call for participation, for demos and for project notes   Jonathan Ginzburg
• [TYPES] CFP - PADL'2005 - Deadline Sept. 10   Manuel Hermenegildo
• [TYPES] CFP - PADL'2005 - Submission deadline *extended*, Sept. 17   Manuel Hermenegildo
• [TYPES] CFP - Practical Aspects of Declarative Languages 2005   Manuel Hermenegildo
• [TYPES] CFP APLAS'05   Kwangkeun Yi
• [TYPES] CfP LDTA 2005   Thomas Noll
• [TYPES] CfP update: LDTA 2005   Thomas Noll
• [TYPES] CFP workshop on belief revision and dynamic logic   Andreas HERZIG
• [TYPES] CFP: Automated Reasoning for Security Protocols Analysis (ARSPA)   lvigano at inf.ethz.ch
• [TYPES] CFP: CICLOPS 2004   Manuel Carro
• [TYPES] CFP: CLIMA V - 5th International Workshop on Computational Logic in Multi-Agent Systems   João Leite
• [TYPES] CFP: CSL'04   csl04 at ii.uni.wroc.pl
• [TYPES] CFP: DALT 2004 - Second International Workshop on Declarative Agent Languages and Technologies   João Leite (DALT'04)
• [TYPES] CFP: FOAL 2005, Foundations Of Aspect-oriented Languages   Curtis Clifton
• [TYPES] CFP: FORMATS+FTRTFT 2004 -- DEADLINE EXTENDED APRIL 15, 2004   Stephanie Weirich
• [TYPES] CFP: FORMATS+FTRTFT 2004 -- DEADLINE EXTENDED APRIL 22, 2004 !!!   Formats FTRTFT
• [TYPES] CFP: Haskell Workshop 2004   Henrik Nilsson
• [TYPES] CFP: JAR special issue on Automated Reasoning for Security Protocol Analysis   lvigano at inf.ethz.ch
• [TYPES] CFP: PLAN-X 2005   Haruo HOSOYA
• [TYPES] CfP: QAPL'05 - Quantitative Aspects of Programming Languages   Herbert Wiklicky
• [TYPES] CfP: SAS'05 - 12th International Static Analysis Symposium   Herbert Wiklicky
• [TYPES] CFP: SONDA 2004 (Modified by SONDA 2004)   SONDA 2004
• [TYPES] CFP: Symposium on DataBase Programming Languages 2005 (DBPL'05)   Gavin Bierman
• [TYPES] CFP: TFP04 Symp on Trends in Functional Programming   Hans-Wolfgang Loidl
• [TYPES] CFP: TFP04 Symp on Trends in Functional Programming   Hans-Wolfgang Loidl
• [TYPES] CFP: TLDI 2005 - Types in Language Design and Implementation   Manuel Fahndrich
• [TYPES] CFP: Trustworthy Global Computing '05   Davide Sangiorgi
• [TYPES] CFP: VEE 2005   Michael Hicks
• [TYPES] CFP: Workshop on Constraint Programming and Constraint for Verification (CP+CV'04)   Giorgio Delzanno
• [TYPES] CFP: Workshop on Constraint Programming and Constraint for Verification (CP+CV'04)   Giorgio Delzanno
• [TYPES] CFP: Workshop on Logic & Computational Complexity Workshop   Jim Royer
• [TYPES] CHAIR POSTS - UNIVERSITY OF DURHAM   Susan Bates
• [TYPES] CICLOPS 2004: Extended deadline [May 7th]   Manuel Carro
• [TYPES] CLIMA V - Call for Participation   Joao Leite
• [TYPES] CLIMA VI :: First Call for Papers   clima VI <clima-vi at deis.unibo.it>
• [TYPES] CMSB 05: Announcement and Call for Papers   Gordon Plotkin
• [TYPES] Colimit Construction   Geoffrey A. Washburn
• [TYPES] Colimit Construction   Christopher A. Stone
• [TYPES] Colimit Construction   Kevin S. Millikin
• [TYPES] Colimit Construction   Jesper Carlström
• [TYPES] CoLogNet/Formal Methods Europe 2004 Symposium on Teaching Formal Methods: Call for Participation   events-admin at fmeurope.org
• [TYPES] Combining lazy and eager evaluation of terms   Tim Sweeney
• [TYPES] Combining lazy and eager evaluation of terms   Jan-Willem Maessen - Sun Labs East
• [TYPES] Combining lazy and eager evaluation of terms   Josef Svenningsson
• [TYPES] Combining lazy and eager evaluation of terms   Tim Sweeney
• [TYPES] Computational Methods in Systems Biology - Final Call for Participation.   Sergi
• [TYPES] CONCUR 2004: Final call for participation   Concur 2004
• [TYPES] CONCUR 2004: Final CFP - deadline approaching   Concur 2004
• [TYPES] CONCUR 2004: First call for participation   Concur 2004
• [TYPES] Concur 2004: first CFP   Concur 2004
• [TYPES] Concur 2004: Invited speakers   Concur 2004
• [TYPES] CONCUR 2004: Second call for participation   Concur 2004
• [TYPES] Conference Program - ISDT04   Marla Radvansky
• [TYPES] Constraint track @ SAC2005 CFP   stefano Bistarelli
• [TYPES] Constraint-Based Type Inference for Guarded Algebraic Data Types   Francois Pottier
• [TYPES] Coordination 2005: First call for papers   Jean-Marie JACQUET
• [TYPES] Coordination 2005: Last call for papers   Jean-Marie JACQUET
• [TYPES] CP 2004 Call for Applications to Doctoral Programme   Gilles Pesant
• [TYPES] CP 2004 Call for Papers   Gilles Pesant
• [TYPES] CP 2004 Call for Workshop and Tutorial Proposals   Gilles Pesant
• [TYPES] CP+CV'04: Program and Call for Participation   Giorgio Delzanno
• [TYPES] Cryptographic Protocol Logic (CPL)   Simon Kramer
• [TYPES] CSL'05 Call for Papers   Andrzej Murawski
• [TYPES] CTCS '04: Accepted papers and Final Call for Participation   Thomas Hildebrandt
• [TYPES] CTCS 2004 FINAL CFP and DEADLINE EXTENSION   hilde at itu.dk
• [TYPES] D. E. Rydeheard's book "Computational Category Theory"   Galchin Vasili
• [TYPES] DALT'04 : Deadline Extension   DALT'04
• [TYPES] Database positions at the University of Edinburgh   Peter Buneman
• [TYPES] Deadline extension : ESSLLI'04 Student Session   Paul Egré
• [TYPES] Distributed Event-based Systems (DEBS'05): Call for Papers   Juergen Dingel
• [TYPES] Doctoral Programme, IJCAR 2004   Ulrike Sattler
• [TYPES] Domains VII (Call for Abstracts)   Thomas Streicher
• [TYPES] Domains VII (call for participation)   Thomas Streicher
• [TYPES] E.W. Beth Dissertation Prize Winner   Raffaella Bernardi
• [TYPES] ECOOP 2004 - Call for Participation   Birger Møller-Pedersen
• [TYPES] ECOOP 2004 - European Conference on Object-Oriented Programming   Birger Møller-Pedersen
• [TYPES] Errant messages sent to types   Stephanie Weirich
• [TYPES] ESSLLI 04: Registration Open   Carlos Areces
• [TYPES] ESSLLI 05, Edinburgh, Call for Proposals   Paul Dekker
• [TYPES] ESSLLI 2004 - Deadline Extension   Carlos Areces
• [TYPES] ESSLLI 2004 - Deadline for Early Registration 1st of May   Carlos Areces
• [TYPES] ESSLLI 2004: Preliminary Announcement   Methods for Modalities
• [TYPES] ESSLLI'05 Student Session Call for Papers   Judit Gervain
• [TYPES] ESSLLI05 - Registration Closing   Carlos Areces
• [TYPES] ETAPS 2004: CALL FOR PARTICIPATION   ETAPS 2004
• [TYPES] ETAPS 2005: CALL FOR SATELLITE EVENT PROPOSALS   Massimo Felici
• [TYPES] ETAPS 2005: CALL FOR SUBMISSIONS   ETAPS 2005 Organisation
• [TYPES] Express 2004 - Call for Papers   Flavio Corradini
• [TYPES] EXTENDED Deadline for submissions, September 14, 2004   vmcai05 at stix.polytechnique.fr
• [TYPES] FAST 2004: deadline extension   Fabio Martinelli
• [TYPES] FCS04 call for participation   Andrei Sabelfeld
• [TYPES] FCS04: Foundations of Computer Security - call for papers   Andrei Sabelfeld
• [TYPES] FCS04: Foundations of Computer Security - deadline extended   Andrei Sabelfeld
• [TYPES] FIDJI'2004 - NEW deadline September, 30th   Nicolas Guelfi
• [TYPES] Final Call SASYFT2004 - Extended Deadline   Siva Anantharaman
• [TYPES] Final CFP and announcement of speaker for FOUNDATIONS OF INTERACTIVE COMPUTATION   Goldin, Dina
• [TYPES] Final CFP: Workshop on Software Analysis and Development for Pervasive Systems (SONDA 2004)   SONDA 2004
• [TYPES] FInCo 2005: FOUNDATIONS OF INTERACTIVE COMPUTATION -- CFP   Goldin, Dina
• [TYPES] FInCo 2005: FOUNDATIONS OF INTERACTIVE COMPUTATION -- CFP   Martin Berger
• [TYPES] FInCo 2005: FOUNDATIONS OF INTERACTIVE COMPUTATION -- CFP   Goldin, Dina
• [TYPES] FInCo 2005: FOUNDATIONS OF INTERACTIVE COMPUTATION -- CFP   Bill Rounds
• [TYPES] FInCo 2005: FOUNDATIONS OF INTERACTIVE COMPUTATION -- CFP   Bill Rounds
• [TYPES] FInCo 2005: FOUNDATIONS OF INTERACTIVE COMPUTATION -- CFP   Martin Berger
• [TYPES] FInCo 2005: FOUNDATIONS OF INTERACTIVE COMPUTATION -- CFP   GQ Zhang
• [TYPES] FInCo 2005: FOUNDATIONS OF INTERACTIVE COMPUTATION -- CFP   Goldin, Dina
• [TYPES] FInCo 2005: FOUNDATIONS OF INTERACTIVE COMPUTATION -- CFP   Rocha
• [TYPES] FInCo 2005: FOUNDATIONS OF INTERACTIVE COMPUTATION -- CFP   David Hopwood
• [TYPES] First Call for Papers RE'05   Selmin Nurcan
• [TYPES] FLOPS 2004 Call for Participation   Yukiyoshi Kameyama
• [TYPES] Followup to "Suggestions for Advanced Programming course?"   Benjamin C. Pierce
• [TYPES] FOOL 12   Philip Wadler
• [TYPES] FOOL 12   Philip Wadler
• [TYPES] FOOL 2005: Invitation to participate   Philip Wadler
• [TYPES] Formal-reasoning post-doc at JAIST, Japan   Rene Vestergaard
• [TYPES] FORMATS+FTRTFT 2004: CALL FOR PARTICIPATION   Formats FTRTFT
• [TYPES] Formel Methods for Components and Objects FMCO 2004: Call for participation   etaps02 VERIMAG
• [TYPES] FORTE'04 Call For Papers   fernando
• [TYPES] FORTE'04 Call for Participation   fernando at sip.ucm.es
• [TYPES] FOSAD2004: Foundations of Security Analysis and Design summer school announcement   Andrei Sabelfeld
• [TYPES] Fossacs 2005: Deadline approaching   Vladimiro Sassone
• [TYPES] FroCoS 2005: First Call for Papers   Bernhard Gramlich
• [TYPES] FSTTCS 2004 Call for Papers   R. Ramanujam
• [TYPES] Functors and free theorems   Tim Sweeney
• [TYPES] Functors and free theorems   Thorsten Altenkirch
• [TYPES] FW: TIME 2004 last call for papers   Stephanie Weirich
• [TYPES] Games for Logic and Programming Languages [CFP]   Dan Ghica
• [TYPES] Genericity and the Pi-Calculus   Martin Berger
• [TYPES] GPCE'04 - early registration deadline approaching   Eelco Visser
• [TYPES] Great works in programming languages (collected responses)   Benjamin C. Pierce
• [TYPES] Great Works of PL?   Benjamin C. Pierce
• [TYPES] HOSC Special Issue on MERLIN   MERLIN'03
• [TYPES] ICALP'05: Call for Affiliated Workshops   Antonio Ravara
• [TYPES] ICALP'05: Call for Papers   Luis Caires
• [TYPES] ICCL Summer School 2004   ICCL Summer School
• [TYPES] ICFP '05 Call for Workshop Proposals   Dariusz Piotr Biernacki
• [TYPES] ICFP 2005 - Call for Papers   Benjamin Pierce
• [TYPES] ICFP Contest Reminder   Nate Foster
• [TYPES] ICFP Deadline 4/1; Submission site now open   Kathleen Fisher
• [TYPES] ICFP Poster Session   Amr A Sabry
• [TYPES] ICFP'04 Call for Participation   Amr A Sabry
• [TYPES] ICFP: Accepted papers   Kathleen Fisher
• [TYPES] ICTAC 2004 (China), call for contributions   Bernhard K. Aichernig
• [TYPES] ICTAC 2004: Extended Deadline (5 July)   Bernhard K. Aichernig
• [TYPES] ICTAC04: Call for Participants   Bernhard K. Aichernig
• [TYPES] IFIP ICEC 2004: Call for Participation   Rauterberg, G.W.M.
• [TYPES] IFIP TCS 2004   Jean-Jacques Levy
• [TYPES] IFL'04, Luebeck: Hotel reservation deadline approaching   Clemens Grelck
• [TYPES] IFM2004: Call for Participation   Graeme Smith
• [TYPES] IJCAR 2004 call for participation   Maria Paola Bonacina
• [TYPES] IJCAR 2004 Tutorials   William Farmer
• [TYPES] IJCAR 2004 Workshop W1 on Disproving   Hans de Nivelle
• [TYPES] International Masters Program in COMPUTATIONAL LOGIC   CL Advertisement
• [TYPES] International Masters Program in COMPUTATIONAL LOGIC   Int. Center for Computational Logic
• [TYPES] ITRS'04 - Preliminary Call for Papers   Damiani
• [TYPES] ITRS'04: EXTENDED DEADLINE   Ferruccio Damiani
• [TYPES] ITRS'04: FURTHER DEADLINE EXTENSION   Ferruccio Damiani
• [TYPES] Job opening   Lars Birkedal
• [TYPES] job openings at Purdue   Suresh Jagannathan
• [TYPES] LDTA 2004 - Call for Participation   jas at di.uminho.pt
• [TYPES] Lectureship in Nottingham   Thorsten Altenkirch
• [TYPES] LICS 2004 - Call for Participation   Alex Simpson
• [TYPES] LICS 2004: Call for Short Presentations   Alex Simpson
• [TYPES] LICS 2005: Call for Papers   Alex Simpson
• [TYPES] LICS 2005: Call for Workshop Proposals   Alex Simpson
• [TYPES] LOGIC COLLOQUIUM '05   Costas Dimitracopoulos
• [TYPES] Logic Colloquium 2004 - Call for participation   Stephanie Weirich
• [TYPES] LOPSTR'04 call for papers (extended deadlines!)   Sandro Etalle
• [TYPES] LOPSTR+PEPM+PPDP+SAS 2004: Last Call for Workshop Proposals   Fausto Spoto
• [TYPES] LPAR'04: Deadline approaching   Prof. Franz Baader
• [TYPES] Midland Graduate School 2004 / APPSEM Spring School 2004   Thorsten Altenkirch
• [TYPES] MPC2004: Final call for participation   Jeremy Gibbons
• [TYPES] MSCS special issue on quantum programming languages   Peter Selinger
• [TYPES] MSO logic and types   Burak Emir
• [TYPES] NASLLI Student Session CFP   Greg Kobele
• [TYPES] NASSLLI 04: Deadline for Registration May 31!   Marcus Kracht
• [TYPES] NASSLLI04 Call for Participation   Marcus Kracht
• [TYPES] Nevanlinna prize   Moshe Vardi
• [TYPES] new book   Paul B Levy
• [TYPES] New Journal   Logical Methods in CS
• [TYPES] New OUP Monograph: Reductive Logic and Proof-search.   David J. Pym
• [TYPES] New paper on checking protected member access in the JVM   Alessandro Coglio
• [TYPES] New paper on Java-like language, VM and compiler   nipkow at in.tum.de
• [TYPES] Observational equivalence decision   Stephane Gimenez
• [TYPES] One PhD and Two Research Accociates in Program Analysis   Nobuko Yoshida
• [TYPES] OOPS'05   Davide Ancona
• [TYPES] Open post doc position in formal methods at University of Oslo   Olaf Owe
• [TYPES] P.S. to "Suggestions for Advanced Programming course materials"   Benjamin C. Pierce
• [TYPES] PADL 2005: Call for participation   dcabeza at fi.upm.es
• [TYPES] PADL 2005: Call for participation (early reg. deadline near)   Daniel Cabeza Gras
• [TYPES] PADL'04 Deadline Extension   Gopal Gupta
• [TYPES] Paper Announcement: Three Papers on Secure Information Flow Analysis   Nobuko Yoshida
• [TYPES] Paper announcement: Towards efficient, typed LR parsers   Francois Pottier
• [TYPES] Paper announcements: MSO theory of hyperalgebraic trees is decidable   Klaus Aehlig
• [TYPES] Paper available: a proof theory for machine code   Atsushi Ohori
• [TYPES] Paper on Expression Problem   Martin Odersky
• [TYPES] Paper on subtyping for pi   Giuseppe Castagna
• [TYPES] Paper: A Bisimulation for Type Abstraction and Recursion   Eijiro Sumii
• [TYPES] Paper: Acute - high-level programming language design for distributed computation   Peter Sewell
• [TYPES] Paper: Dynamic security labels and noninterference   Lantian Zheng
• [TYPES] Paper: Foundational Typed Assembly Language for Grid Computing   Joe Vanderwaart
• [TYPES] Paper: Interfacing Hoare Logic and Type Systems for Foundational Proof-Carrying Code   Nadeem Abdul Hamid
• [TYPES] Paper: Polymorphic Bytecode: Compositional Compilation for Java-like Languages   Davide Ancona
• [TYPES] Paper: Polymorphic Typed Defunctionalization and Other Tales   Francois Pottier
• [TYPES] papers about type inference with subtyping   Michal Moskal
• [TYPES] Papers on Proof-Carrying Code available   nipkow at in.tum.de
• [TYPES] Parametricity for F-omega   Richard Nathan Linger
• [TYPES] Parametricity for F-omega   takeuti at is.sci.toho-u.ac.jp
• [TYPES] Parametricity, interpolation and definability   Ken Shan
• [TYPES] Ph.D. positions Math. Logic, Munich, call for applications   O. Deiser
• [TYPES] Ph.D. scholarships at the IT University of Copenhagen   Lars Birkedal
• [TYPES] PhD position in formal methods / security   Wan.Fokkink at cwi.nl
• [TYPES] PhD position in Munich (fwd)   Martin Hofmann
• [TYPES] PhD positions at IT University of Copenhagen and Dept. of Computer Science, University of Copenhagen   Thomas Hildebrandt
• [TYPES] PHD SCHOLARSHIP IN THEORETICAL COMPUTER SCIENCE / LOGIC   Thomas Studer
• [TYPES] PhD Summer School -- Logics of Formal Software Specification Languages   Henson, Martin C
• [TYPES] PLAN-X (Call for Participation)   Haruo HOSOYA
• [TYPES] PLAN-X 2005 Call for papers   Haruo HOSOYA
• [TYPES] Poly*, a retargetable polymorphic type system for mobility calculi   Henning Makholm
• [TYPES] POPL 05 Call for Papers   David Walker
• [TYPES] Position advertisement   Solomon Feferman
• [TYPES] Positions at DoCoMo Labs USA (San Jose, California)   David Espinosa
• [TYPES] Positions available in the EDOS project   Roberto Di Cosmo
• [TYPES] Positions of interest to type theoretists   anton setzer
• [TYPES] Post-doc position in formal verification of computer systems - Loria   Jean-Yves Marion
• [TYPES] post-doctoral positions at INRIA Sophia-Antipolis   Gilles Barthe
• [TYPES] Postdoc Position   Florina Piroi
• [TYPES] Postdoc Position in Theorema   Theorema
• [TYPES] postdoc positions   Carlos Martin-Vide
• [TYPES] POSTDOCTORAL POSITION at CLC Lisbon   Amilcar Sernadas
• [TYPES] Postdoctoral Researcher in Software Tools and Formal Programming   Rosemary Monahan
• [TYPES] PPDP 2005 First Call for Papers   Amy Felty
• [TYPES] Practical Aspects of Declarative Languages 2004   Logic Programming Rsrch Association
• [TYPES] Preliminary call for Participation: FMCO 2004   M.M. Bonsangue
• [TYPES] professor position at ENS Paris   Curien Pierre-Louis
• [TYPES] professor position at Paris 7 University   Curien Pierre-Louis
• [TYPES] PS to Great Works in Programming Languages   Benjamin C. Pierce
• [TYPES] Quantun functional programming   Andre van Tonder
• [TYPES] Quantun functional programming   Thorsten Altenkirch
• [TYPES] Quantun functional programming   Andre van Tonder
• [TYPES] Re: [MetaOCaml] MetaOcaml workshop deadline TIME?   Walid Taha
• [TYPES] Re: CONCUR 2004: Second call for participation   Concur 2004
• [TYPES] Re: Reg Axioms of pure type systems   Param Jyothi Reddy
• [TYPES] Re: Reg Axioms of pure type systems   Thorsten Altenkirch
• [TYPES] Re: Type theory applications to the Semantic Web/RDF (Galchin Vasili)   Patrick Durusau
• [TYPES] Re: TYPES: Changing of the guard   Stephanie Weirich
• [TYPES] recursive data types with negative occurrence (besides higher-order abstract syntax)   Eijiro Sumii
• [TYPES] recursive data types with negative occurrence (besides higher-order abstract syntax)   Eijiro Sumii
• [TYPES] Reg Axioms of pure type systems   Param Jyothi Reddy
• [TYPES] Reminder: ICFP Poster Session   Dan Grossman
• [TYPES] representation for set of recursive equations?   jhines at haverford.edu
• [TYPES] representation for set of recursive equations?   Claus Reinke
• [TYPES] Research Fellowship at Sussex   Vladimiro Sassone
• [TYPES] research position in Innsbruck   Aart Middeldorp
• [TYPES] research positions   Carlos Martin-Vide
• [TYPES] Research positions in Network Semantics, University of Cambridge   Peter Sewell
• [TYPES] Research Seminar on Languages and Models for Mobility, Nov. 8-9th, ITU   hilde at itu.dk
• [TYPES] Researcher Position in Formal Methods available at ITC-irst   NuSMV Recruit
• [TYPES] rewriting of typed combinator expressions   Jonathan P. Seldin
• [TYPES] rewriting of typed combinator expressions   Jeremy Dawson
• [TYPES] rewriting of typed combinator expressions   Matthias Felleisen
• [TYPES] rewriting of typed combinator expressions   Matthias Felleisen
• [TYPES] rewriting of typed combinator expressions   Thorsten Altenkirch
• [TYPES] rewriting of typed combinator expressions   Thorsten Altenkirch
• [TYPES] rewriting of typed combinator expressions   Robby Findler
• [TYPES] rewriting of typed combinator expressions   Claus Reinke
• [TYPES] rewriting of typed combinator expressions   Claus Reinke
• [TYPES] RTA'05: 2nd Call for Papers   Ralf Treinen
• [TYPES] SCP Special Issue on Foundations of Aspect-Oriented Programming   Ralf Laemmel
• [TYPES] Second Call for papers : ESSLLI'04 Student Session   Paul Egré
• [TYPES] SEFM 2004: Early registration ends on Friday (28.08)!   Bernhard K. Aichernig
• [TYPES] SEFM 2005, Call for Papers   Wolfgang Ahrendt
• [TYPES] Sixth Int'l Conf. on Practical Aspects of Declarative Languages: CFP   Logic Programming Rsrch Association
• [TYPES] SOS 2004: Call for Papers   iu3 at mcs.le.ac.uk
• [TYPES] SOS Workshop - final CfP   Wan.Fokkink at cwi.nl
• [TYPES] SOS2004: Call for Participation   iu3 at mcs.le.ac.uk
• [TYPES] stacks in call-by-push-value   Paul B Levy
• [TYPES] STRATEGIES'04 -- 1st CFP   Thierry Boy de la Tour
• [TYPES] STRATEGIES'04 -- 2nd CFP   Thierry Boy de la Tour
• [TYPES] Suggestions for Advanced Programming courses?   Benjamin Pierce
• [TYPES] Suggestions for Advanced Programming courses?   Robert Harper
• [TYPES] sum-of-product types   Paul B Levy
• [TYPES] Summer school in software engineering --- First call for participation (04-08 July 2005)   Ralf Laemmel
• [TYPES] Summer School on Software Security   David Walker
• [TYPES] Summer School on Software Security: Call for Participation   Steve Zdancewic
• [TYPES] SVV'04 call for papers   Supratik Mukhopadhyay
• [TYPES] Symposium on Principles of Programming Languages 2005: Call for Participation   David Walker
• [TYPES] System F and implicit instantiation   Jeremy Graham Siek
• [TYPES] System F and implicit instantiation   Jeremy Siek
• [TYPES] System F and implicit instantiation   Thorsten Altenkirch
• [TYPES] System F and implicit instantiation   Didier Remy
• [TYPES] System F type inference   Michael Hicks
• [TYPES] System F type inference: summary of responses   Michael Hicks
• [TYPES] TACAS 2005: CALL FOR PAPERS   etaps02 VERIMAG
• [TYPES] Tenure track position open at Wesleyan, USA (in CS)   James Lipton
• [TYPES] theorems on termination of reduction   Jeremy Dawson
• [TYPES] Third Stevens Cybersecurity Symposium, March 26   Dominic Duggan
• [TYPES] Three Xtatic technical reports   Benjamin Pierce
• [TYPES] TIME 2004 - extended deadline   Carlo Combi
• [TYPES] TIME 2004 call for participation and preliminary program   Carlo Combi
• [TYPES] TIME'05 Last Call for Papers   David Toman
• [TYPES] TLCA 05 Call for Papers   Hasegawa Masahito
• [TYPES] TLCA'05 Accepted papers   tlca05 at mimuw.edu.pl
• [TYPES] TLCA'05 Second Call for Papers   Hasegawa Masahito
• [TYPES] TLDI 05 Call for Participation   David Walker
• [TYPES] TPHOLs: Call for participation   slind at cs.utah.edu
• [TYPES] Tutorial proposals for IJCAR 2004 due February 1, 2004   William M. Farmer
• [TYPES] Two open PhD positions in formal methods in Oslo   Olaf Owe
• [TYPES] Two technical reports on inference/translation methods of   Martin Sulzmann
• [TYPES] Type theory applications to the Semantic Web/RDF   Galchin Vasili
• [TYPES] Type theory applications to the Semantic Web/RDF   Galchin Vasili
• [TYPES] Type theory applications to the Semantic Web/RDF   Benjamin Pierce
• [TYPES] Typed term generation   Lukasz Stafiniak
• [TYPES] TYPES workshop: "Types for Mathematics / Libraries of Formal Mathematics"   herman geuvers
• [TYPES] Types, Processes and Compositional Program Logic.   Kohei Honda
• [TYPES] UNIF'04 workshop @ IJCAR 2004: Deadline extension until 21/5   Ralf Treinen
• [TYPES] UNIF'04 workshop @ IJCAR 2004: First Call for Papers   Ralf Treinen
• [TYPES] UNILOG'05 - Montreux   COSTA LEITE Alexandre
• [TYPES] union types and overloading   Kwangkeun Yi
• [TYPES] union types and overloading   Neelakantan Krishnaswami
• [TYPES] union types and overloading   Jacques Garrigue
• [TYPES] union types and overloading   rowan at cs.cmu.edu
• [TYPES] union types and overloading   Kwangkeun Yi
• [TYPES] union types and overloading   Johan Nordlander
• [TYPES] union types and overloading   Kwangkeun Yi
• [TYPES] union types and overloading   Johan Nordlander
• [TYPES] union types and overloading   Joshua Dunfield
• [TYPES] University Lectureship in Computer Science, Univ of Oxford   Luke Ong
• [TYPES] Update: Quantum functional programming   Thorsten Altenkirch
• [TYPES] Update: Workshop on Quantum Programming Languages   Peter Selinger
• [TYPES] Vacancies Twente, The Netherlands   Pieter Hartel
• [TYPES] VLFM'04 - Call for Participation   Mark Minas
• [TYPES] VMCAI'05: Call for papers   VMCAI'05
• [TYPES] VMCAO'05, Paris 17-20 Jan. 2005: Call for Papers   Radhia COUSOT
• [TYPES] WLPE 2004 Call for Papers   Jose Manuel Gomez Perez
• [TYPES] WLPE04: Extended deadline [May 7th]   Jose Manuel Gomez Perez
• [TYPES] WoLLIC'2005 - CfP   Ruy de Queiroz
• [TYPES] WOOD 2004 - Call for Papers   Bono Viviana
• [TYPES] WOOD 2004 - Extended Deadline   Bono Viviana
• [TYPES] Workshop in Foundations of Global Computing   Julian Rathke
• [TYPES] Workshop on Foundations of Global Ubiquitous Computing - Call for Participation and Short Presentations   Julian Rathke
• [TYPES] Workshop on Foundations of Global Ubiquitous Computing - Call for Papers   Julian Rathke
• [TYPES] Workshop on Games in Design and Verification - Final CFP   Luca de Alfaro
• [TYPES] Workshop on Logics for Resources, Processes, and Programs   Didier Galmiche
• [TYPES] Workshop on Quantum Programming Languages   Peter Selinger
• [TYPES] WRLA 2004 - Call for participation   alberto at sip.ucm.es
• [TYPES] WRS'05: First Call For Papers   roberto at dicosmo.org
• [TYPES] WST 2004 -- Call for Contributions   Aart Middeldorp
• [TYPES] YOUNG RESEARCHER POSITION and PROGRAMMER POSITION on MATHSAT AVAILABLE   Roberto Sebastiani
• CFP: LFM'04 - Logical Frameworks and Meta-languages   Carsten Schuermann
• CMCS'04: deadline prolongation   Jiri Adamek
• Sequent calculus and ANF   Daniel C. Wang
• Sequent calculus and ANF   Daniel C. Wang
• Sequent calculus and ANF   Frank Pfenning
• TYPES: Changing of the guard   Benjamin C. Pierce

Last message date: Fri Dec 31 15:59:30 EST 2004
Archived on: Mon Jan 3 10:42:55 EST 2005

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...