2005 Archives by thread

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

Starting: Tue Jan 4 12:17:28 EDT 2005
Ending: Fri Dec 30 18:22:31 EDT 2005
Messages: 536

• [TYPES] MTCoord'05: First call for papers   Isabelle Linden
• [TYPES] research positions B   Carlos Martin-Vide
• [TYPES] Research Fellow/Postdoc (UOttawa)   P. Scott
• [TYPES] CFP - CSFW18 - Aix-en-Provence   Roberto Amadio
• [TYPES] CfC: GPCE'05 - Generative Programming and Component Engineering   Eelco Visser
• [TYPES] Structures and Deduction Workshop CfP - ICALP '05 Satellite   Paola Bruscoli
• [TYPES] PhD positions+weblink   smriis at dcs.qmul.ac.uk
• [TYPES] FGJ interpreter   Alexandra Stefan
  • [TYPES] FGJ interpreter   Matthias Felleisen
  • [TYPES] FGJ interpreter   Burak Emir
• [TYPES] CFP: CLASE at ETAPS deadline extension   Iman Hafiz Poernomo
• [TYPES] SFM-05:Moby -- spring school on mobile computing (2nd cfpart)   Marco Bernardo
• [TYPES] Goedel prize 2005   Curien Pierre-Louis
• [TYPES] TIME'05 Last Call for Papers (extended deadline)   David Toman
• [TYPES] ICALP'05 Invited Speakers and Workshop Announcements   Luis Caires
• [TYPES] Research Assistant Position in Model Driven Engineering for Reliable Distributed Systems, Luxembourg   Nicolas Guelfi
• [TYPES] FOAL 2005 Deadline Extended   Curtis Clifton
• [TYPES] New paper and questions/answers web page for Poly*, a retargetable polymorphic type system for mobility calculi   Henning Makholm
• [TYPES] SCP special issue on Foundations of AOP --- Last CFC + Deadline extension   Ralf Laemmel
• [TYPES] Constructive Logic for Automated Software Engineering (CLASE) at ETAPS deadline extension   Iman Hafiz Poernomo
  • [TYPES] CFP: INFINITY 2005   Scott Smolka
• [TYPES] Games for Logic and Programming Languages: Deadline Extension   Dan Ghica
• [TYPES] 9th Asian Logic Conference   Asian Logic Conference 2005
• [TYPES] ESSLLI'05 Student Session: 2nd Call for Papers   Judit Gervain
• [TYPES] ICLP 2005: Call for Papers   ICLP 2005
• [TYPES] Constructive Logic for Automated Software Engineering (CLASE) at ETAPS deadline extension   Iman Hafiz Poernomo
• [TYPES] Call for Papers MMM_ACNS-05   pc-mmmacns05
• [TYPES] A Special Programme on Logic and Algorithm   Moshe Vardi
• [TYPES] Deadline extended: FMOODS'05 (abstracts 24.Jan.05, papers 1.Feb.05)   Martin Steffen
• [TYPES] Beth Dissertation Prize   Carlos Areces
• [TYPES] Book and Web-Page Announcement   Herbert Wiklicky
• [TYPES] FCS05: Foundations of Computer Security - call for papers   Andrei Sabelfeld
• [TYPES] Postdoctoral position in coordination languages and web services   Jean-Marie JACQUET
• [TYPES] PPDP 2005 Second Call for Papers   Amy Felty
• [TYPES] CSL'05 - Second Call for Papers   Andrzej Murawski
• [TYPES] ACKERMANN AWARD - Second Call for Submissions   Andrzej Murawski
• [TYPES] terminology for different kinds of proof terms?   Joe Wells
  • [TYPES] terminology for different kinds of proof terms?   Carl Eastlund
  • [TYPES] Re: terminology for different kinds of proof terms?   Joe Wells
• [TYPES] ETAPS 2005: CALL FOR PARTICIPATION   David Aspinall
• [TYPES] CFP - Advanced Studies in Mathematics and Logic   Ricercapopolare
• [TYPES] LOPSTR'05 call for papers   P M Hill
• [TYPES] [CFP] ProMAS'05 @ AAMAS 2005 - Third International Workshop on Programming Multi-Agent Systems   Juergen Dix
• [TYPES] UNIF'05 Deadline Extended   Pawel Urzyczyn
• [TYPES] 1st CFP - ICFEM '05 -   Taguchi
• [TYPES] LICS Workshop on Quantum Programming Languages   Peter Selinger
• [TYPES] FORTE 2005: Call-for-Papers   Farn Wang
• [TYPES] Extended Deadline DAIS'05   Hartmut König
• [TYPES] International M.Sc. Program in COMPUTATIONAL LOGIC   Int. Center for Computational Logic
• [TYPES] MKM 2005 (Mathematical Knowledge Management) first Call for Papers   Michael Kohlhase
• [TYPES] CfP: Graph Transformation for Verification and Concurrency (Concur 2005 satellite)   Arend Rensink
• [TYPES] ARSPA'05: Workshop on Automated Reasoning for Security Protocol Analysis (co-located with ICALP'05)   lvigano at inf.ethz.ch
• [TYPES] ICLP 2005 Doctoral Consortium: Call for Applications   ICLP 2005
• [TYPES] Complexity of row unification   Henning Makholm
  • [TYPES] Complexity of row unification   Francois Pottier
    • [TYPES] Complexity of row unification   Henning Makholm
• [TYPES] CMSB 2005: Second Announcement   gdp at inf.ed.ac.uk
• [TYPES] POSTDOCTORAL POSITION IN CERTIFIED ANALYSIS OF SOFTWARE   Thomas Genet
• [TYPES] cfp: COSMICAH 2005   Dino Distefano
• [TYPES] CFP: Intuitionistic Modal Logic and Applications (IMLA'05)   Frank Pfenning
• [TYPES] PPDP 2005 Submission Deadline Extended to February 22   Amy Felty
  • [TYPES] PPDP 2005 Call for Participation   Amy Felty
• [TYPES] Terminology in operational semantics   Johan Glimming
  • [TYPES] Terminology in operational semantics   Roy L. Crole
    • [TYPES] mapping oo structural to name (sub)types   Sophia Drossopoulou
  • [TYPES] Terminology in operational semantics   sanjiva at cse.iitd.ernet.in
    • [TYPES] Terminology in operational semantics   David Hopwood
      • [TYPES] Terminology in operational semantics   Arend Rensink
• [TYPES] Sixth Annual IBM Programming Languages Day (Call for Presentations)   Mukund Raghavachari
• [TYPES] CFP: KAZAM workshop   Hayo Thielecke
• [TYPES] SOS 2005: Call for Papers   sos2005 at mcs.le.ac.uk
  • [TYPES] Re: SOS 2005: Programme   iu3 at mcs.le.ac.uk
• [TYPES] Book announcement: Advanced Topics in Types and Programming Languages   Benjamin Pierce
• [TYPES] CADE-20: final call for papers   Brigitte Pientka
• [TYPES] ESSLLI'05 StuS: Deadline extended until 22nd February 2005   Judit Gervain
• [TYPES] PhD and Postdoc positions available at INRIA Grenoble for Kell Calculus research   Alan Schmitt
• [TYPES] ATVA 2005: Announcement and Preliminary Call for Papers   Yih-Kuen Tsay
• [TYPES] Announcement: APPSEM-II Summer School, Sep 8-12   Hans-Wolfgang Loidl
  • [TYPES] Announcement: TYPES Summer School, August 15 - 26   Bengt Nordström
    • [TYPES] Announcement: TYPES Summer School, August 15 - 26   Bengt Nordström
• [TYPES] CFP: CONCUR 2005 - Concurrency Theory   CONCUR 2005 Announcements
• [TYPES] sabbatical positions 2005-5   Carlos Martin-Vide
• [TYPES] Midlands Graduate School   Paul B Levy
• [TYPES] Paper Announcement: Free Boolean Categories   Francois Lamarche
• [TYPES] CFP: Iaugural Issue of the International Journal of IT & Web Engineering   Hamdi Yahyaoui
• [TYPES] ETAPS Workshop on the Grand Challenge of Software Verification   Peter O'Hearn
• [TYPES] Job Advert   N Ghani
• [TYPES] Etaps Workshop on Games for Logic and Programming Languages   Dan Ghica
• [TYPES] ESCAR Call for Papers   geoff at cs.miami.edu
• [TYPES] PhD positions, theory   Philippa Gardner
• [TYPES] SPIN 2005 Call for Papers   god at bell-labs.com
• [TYPES] CFP: GPCE'05 -- Generative Programming and Component Engineering   Eelco Visser
• [TYPES] ICLP 2005: Call for Workshops   ICLP 2005
• [TYPES] RTA'05: 1st Call for Participation   Ralf Treinen
• [TYPES] LPNMR'05: Papers Submission Open   lpnmr05.publicity at mat.unical.it
• [TYPES] MKM 2005 (Mathematical Knowledge Management) first Call for Papers   Michael Kohlhase
• [TYPES] uses of higher-order/applicative functors in practice   Derek Dreyer
• [TYPES] RDP 2005 Call for Participation   Hasegawa Masahito
• [TYPES] [LACL05] - Call For Participation   maxime amblard
• [TYPES] Call for participation: Summer school on Gen. and Transf. Techn. in SE, 4-8 July 2005, Braga   Ralf Lammel
• [TYPES] CADE-20 workshop on Disoproving   Wolfgang Ahrendt
• [TYPES] DALT 2005: second call for papers   Matteo Baldoni
• [TYPES] Positions available:Microsoft Research - University of Trento Centre   Nones, Elisabetta
• [TYPES] Call for Tutorials - ICTAC05   Bernhard K. Aichernig
• [TYPES] CfP: 3rd International Workshop on Formal Aspects in Security and Trust (FAST2005)   Fabio Martinelli
• [TYPES] Vacancy, Database Group, School of Informatics, Univesity of Edinburgh   Yrsa Roca Fannberg
• [TYPES] CLIMA VI :: First Call for Papers   clima VI <clima-vi at deis.unibo.it>
• [TYPES] Summer School on Reliable Computing: Call for Participation   Steve Zdancewic
• [TYPES] Workshop on Lambda Calculus, Type Theory and Natural Language   Maribel Fernandez
• [TYPES] 2nd CFP - Student session - LACL 2005   Renaud Marlet
• [TYPES] TLCA 2005 Call for Participation   Hasegawa Masahito
• [TYPES] FACS'05 Call for Papers   Luis Barbosa
• [TYPES] LICS 2005: Call for Short Presentations   Alex Simpson
• [TYPES] Coordination 2005: First call for participation   Stephanie Weirich
• [TYPES] ICFP 2005 - Final Call for Papers   Benjamin C. Pierce
  • [TYPES] post-doc job in functional programming   Colin Runciman
• [TYPES] DALT 2005 deadline extension: 18 March   baldoni
• [TYPES] RULE'05 - CALL FOR PARTICIPATION   Horatiu Cirstea
• [TYPES] [CFP] MICAI-2005, Mexican International conference on ARTIFICIAL INTELLIGENCE (Springer LNAI)   Alexander Gelbukh
• [TYPES] CFP: APPSEM05 Workshop   Hans-Wolfgang Loidl
• [TYPES] CfP: SAS'05 - 12th International Static Analysis Symposium   Herbert Wiklicky
• [TYPES] research positions 2005-6 (Ramon y Cajal)   Carlos Martin-Vide
• [TYPES] School of Logic in Montreux, Switzerland   COSTA LEITE Alexandre
• [TYPES] Second CfP: MKM 2005 (extended deadline: May 15)   Michael Kohlhase
• [TYPES] UNIF'05 Call for Participation   Pawel Urzyczyn
• [TYPES] FCS05: Foundations of Computer Security - deadline extended   Andrei Sabelfeld
• [TYPES] research positions 2005-7 (Juan de la Cierva)   Carlos Martin-Vide
• [TYPES] PhD studentships   Paul B Levy
• [TYPES] Express'05 First CFP   Iain Phillips
• [TYPES] Small types workshop: Constructive analysis, types and exact real numbers.   Bas Spitters
• [TYPES] ARSPA'05: Workshop on Automated Reasoning for Security Protocol Analysis (NEW: ENTCS publication of proceedings)   lvigano at inf.ethz.ch
• [TYPES] The POPLmark Challenge   Peter Sewell
• [TYPES] ICLP 2005: Call for Workshops   ICLP 2005
• [TYPES] CFP: International Conference AUTOMATED SOFTWARE ENGINEERING   Yunwen Ye
• [TYPES] ESSLLI 2005 registration Now open   Fairouz Kamareddine
• [TYPES] Algebraic Process Calculi: Call for Participation   Wan Fokkink
• [TYPES] CfP: Curry and Functional Logic Programming 2005   Michael Hanus
• [TYPES] Structures and Deduction Workshop 2nd cfp - ICALP'05 Satellite   Paola Bruscoli
• [TYPES] TGC: final programme   Davide Sangiorgi
• [TYPES] 2nd Workshop on the Rewriting Calculus   Horatiu Cirstea
• [TYPES] Coordination 2005: Grants   Jean-Marie JACQUET
• [TYPES] Type inference and principal typings for record concatenation and mixin modules   Henning Makholm
• [TYPES] CFP: Developments on Computational Models (satellite of ICALP 05)   Maribel Fernandez
• [TYPES] PAT2005 Summer School Announcement   Jesper Andersen
• [TYPES] Final CFP: GPCE'05 -- Generative Programming and Component Engineering   Eelco Visser
• [TYPES] Rigorous HOL specification for TCP, UDP, and Sockets   Peter Sewell
• [TYPES] FInCo 2005 (April 9): CALL FOR PARTICIPATION   Goldin, Dina
• [TYPES] Call for Papers for the Sixth Tbilisi Symposium on Language, Logic and Computation   Paul Dekker
• [TYPES] Job advert: Lecturership, Edinburgh   Julian Bradfield
• [TYPES] CLIMA VI :: Final Call for Papers and Tutorial Programme   clima VI <clima-vi at deis.unibo.it>
• [TYPES] call for papers ML Workshop 2005   Xavier Leroy
• [TYPES] PhD position in formal mathematics at RU Nijmegen   Freek Wiedijk
• [TYPES] LPAR-12 in Jamaica   geoff at cs.miami.edu
• [TYPES] Summer School on Reliable Computing -- Revised Registration Date   Steve Zdancewic
• [TYPES] 7th ECOOP Workshop on Formal Techniques for Java-like Programs   logozzo francesco
• [TYPES] FLoC 2006 Preliminary Announcement   Kreutzer + Schweikardt
• [TYPES] ESCAR in Tallinn, 2nd CFP   geoff at cs.miami.edu
• [TYPES] CfP: PDMC'05 at ICALP'05   Martin Leucker
• [TYPES] second cfp: COSMICAH 2005   Dino Distefano
• [TYPES] IFL'05 - preliminary CFP   Glenn Strong
• [TYPES] CfP FOCLASA'05 at CONCUR 2005: Foundations of Coordination Languages and Software Architectures   Foclasa 2005 (Carlos Canal)
• [TYPES] CLIMA VI :: new deadline April 15   clima VI <clima-vi at deis.unibo.it>
• [TYPES] lectureship at Imperial   Philippa Gardner
• [TYPES] LPNMR'05: Call for Systems and Applications   lpnmr05.publicity at mat.unical.it
• [TYPES] CFP: The Second MetaOCaml Workshop   Kedar Swadi
• [TYPES] LICS 2005: Call for Participation   Alex Simpson
• [TYPES] [GDV05] First Call for Papers   Rupak Majumdar
• [TYPES] CFP: MERLIN'05 at ICFP'05   Alwen Tiu
  • [TYPES] Final CFP: MERLIN'05 at ICFP'05   Alwen Tiu
• [TYPES] CfP WCAT'05 at ECOOP 2005: Coordination and Adaptation Techniques for Software Entities   Carlos Canal
• [TYPES] PhD vacancy at the VU   Roel de Vrijer
• [TYPES] FORTE 2005: Submission deadline extended to April 20, 2005   Farn Wang
• [TYPES] Announcement and 1-st CfP Amsterdam Colloquium 2005   Paul Dekker
• [TYPES] Post-Doc position at Paris-Nord   Patrick Baillot
• [TYPES] FIT 2005 -- 1st CfP   Jakob Rehof
• [TYPES] Call for Papers: Fifth International Conference on Integrated Formal Methods (IFM 2005)   Graeme Smith
• [TYPES] FINAL CFP: 7th Intl Workshop on Logic & Computational Complexity   Jim Royer
• [TYPES] Haskell workshop 2005: call for papers   Daan Leijen
• [TYPES] TWO WEEKS LEFT TO CLOSING DOWN OF CHEAP REGISTRATION   Fairouz Kamareddine
• [TYPES] RA position at Royal Holloway, Univ of London   Zhaohui Luo
• [TYPES] Formal Methods 2005: Call for Participation   events-admin at fmeurope.org
• [TYPES] research positions 2005-8   Carlos Martin-Vide
• [TYPES] GTTSE Summer School: Early registration deadline April 15   GTTSE 2005
• [TYPES] Post-doc position in Martin Odersky's group, EPFL, Switzerland   Martin Odersky
• [TYPES] Announcing SMT-COMP   Clark Barrett
• [TYPES] Call for Papers - ICTAC05 (Hanoi)   Bernhard K. Aichernig
• [TYPES] PDPAR'05: Submission deadline extended to April 18, 2005   Alessandro Cimatti
• [TYPES] CFP - NETCA Workshop on Verification and Theorem Proving for Continuous Systems   Hanne Gottliebsen
• [TYPES] ARSPA'05: Deadline Extended (Workshop on Automated Reasoning for Security Protocol Analysis, co-located with ICALP'05)   lvigano at inf.ethz.ch
• [TYPES] PDMC'05 Deadline Extension   Martin Leucker
• [TYPES] Final CFP: Intuitionistic Modal Logic and Applications (IMLA'05)   Frank Pfenning
• [TYPES] CALCO Young Researchers Workshop (CALCO-jnr 2005)   Monika Seisenberger
• [TYPES] FroCoS 2005: Last Call for Papers   Bernhard Gramlich
• [TYPES] SD05: Deadline extension   Paola Bruscoli
• [TYPES] Paper on Dependent Types in Programming   Thorsten Altenkirch
• [TYPES] CFP: FOOL/WOOD '06 - Foundations and Developments of Object-Oriented Languages   Christopher A. Stone
• [TYPES] IBM PL Day --- schedule and final reminder   Mukund Raghavachari
• [TYPES] Final CFP: Bounded Model Checking workshop (BMC'05)   Ofer Strichman
• [TYPES] DISPROVING 2005, Last Call for Papers   Wolfgang Ahrendt
• [TYPES] FORTE 2005: FIRM deadline extension: Monday 25 April 2005   Farn Wang
• [TYPES] ICLP 2005: Call for Papers   ICLP 2005
• [TYPES] Program logics for imperative higher-order functions and aliasing.   Kohei Honda
• [TYPES] research positions 2005-9   Carlos Martin-Vide
• [TYPES] ESCAR in Tallinn, final CFP   geoff at cs.miami.edu
• [TYPES] Call for participation: Quantum Programming Languages workshop   Peter Selinger
• [TYPES] CFP: SAVCBS'05 (Specification & Verification of Component-Based Systems)   Dimitra Giannakopoulou
• [TYPES] First CLIMA Contest: participate by May 20, 2005   clima VI <clima-vi at deis.unibo.it>
• [TYPES] Announcement: The Fortress Language Specification   Sukyoung Ryu
• [TYPES] Call for Participation: DAIS-FMOODS 2005 (June 15-17, 2005, Athens)   Martin Steffen
• [TYPES] 2nd CfP: 10th Symposium on Database Programming Languages (DBPL 05)   Gavin Bierman
• [TYPES] Reminder: PAT2005 Summer School   Jesper Andersen
• [TYPES] CFP: Term Graph Rewriting - special issue of MSCS   Ian Mackie
• [TYPES] Disproving 2005 DEADLINE EXTENDED   Wolfgang Ahrendt
• [TYPES] FAST2005: Extended deadline for the 3rd International Workshop on Formal Aspects in Security and Trust   Fabio Martinelli
• [TYPES] CFP: MICAI-2005 Artificial Intelligence, Springer LNAI: submission reminder and CFP-2   Alexander Gelbukh (MICAI)
• [TYPES] AVoCS '05 [First CALL for PAPERS]   AVoCS 2005
• [TYPES] ICLP 2005: Extended Deadlines   ICLP 2005
• [TYPES] FroCoS 2005: Final cfp - extended submission deadline: May 16, 2005   Bernhard Gramlich
• [TYPES] ESSLLI 2006 - Call for Course and Workshop Proposals   Carlos Areces
• [TYPES] ACM Transactions on Computational Logic - Call for Nominations   Moshe Vardi
• [TYPES] MKM 2005 Final CfP   Michael Kohlhase
• [TYPES] ECOOP 2005 First Workshop on Building a System Using Patterns -- Deadline extended   m.fayad at sjsu.edu
• [TYPES] PASTE 2005 CFP: Workshop on Program Analaysis for Software Engineering   Michael Ernst
• [TYPES] Call For Papers: Workshop on Logic-based methods in Programming Environments (in conjunction with ICLP'05)   A Serebrenik
• [TYPES] DEADLINE EXTENSION: COSMICAH 2005   Dino Distefano
• [TYPES] Parametricity with subtyping and a Top type   Tim Sweeney
  • [TYPES] Parametricity with subtyping and a Top type   Derek Dreyer
    • [TYPES] Parametricity with subtyping and a Top type   Martin Abadi
    • [TYPES] Parametricity with subtyping and a Top type   Matt Hellige
    • [TYPES] Parametricity with subtyping and a Top type   Haruo HOSOYA
  • [TYPES] Parametricity with subtyping and a Top type   Simone Martini
• [TYPES] FSTTCS05   S. P. Suresh
• [TYPES] Doctoral Studentships in Computing Science   Jeremy.Gibbons at comlab.ox.ac.uk
• [TYPES] ECOOP 2005 First Workshop on Building a System Using Patterns -- Deadline extended   m.fayad at sjsu.edu
• [TYPES] FCS05 call for participation   Andrei Sabelfeld
• [TYPES] CALCO: 1st call for Participation   Markus Roggenbach
• [TYPES] Decidability of polymorphic recursion revisited   Lukasz Stafiniak
  • [TYPES] Decidability of polymorphic recursion revisited   camarao at dcc.ufmg.br
• [TYPES] ICFEM 2005 * Call for Workshops and Tutorials * IC Formal Engineering Methods *   Mike Poppleton
• [TYPES] London PhD Studentships in Quantitative Information Flow   Sebastian Hunt
• [TYPES] ATVA 2005: Final CFP (New Deadline: May 27)   Yih-Kuen Tsay
• [TYPES] CFP APLAS'05   Kwangkeun Yi
• [TYPES] Call for Papers for CICLOPS'2005   Fernando Silva
• [TYPES] CADE'05: Call for Participation and Accepted Papers   Brigitte Pientka
• [TYPES] PhD in aspect-oriented languages   Oege de Moor
• [TYPES] PhD Position   N Ghani
• [TYPES] Call for Participation and studentship applications for CLIMA VI   clima VI <clima-vi at deis.unibo.it>
• [TYPES] 1st Int. Workshop on Applications of Constraint Satisfaction and Programming to Computer Security (CPSec)   Stefano Bistarelli
• [TYPES] ICALP'05 CALL FOR PARTICIPATION   Luis Caires
• [TYPES] Accepted Papers - Structures and Deduction Workshop (ICALP'05 Satellite)   Paola Bruscoli
• [TYPES] PhD Fellowships at GSLT   Aarne Ranta
• [TYPES] GT-VC @ Concur 2005: Second Call for Papers   Arend Rensink
• [TYPES] Positions available at UCD   Simon Dobson
• [TYPES] professor positions in Innsbruck   Aart Middeldorp
• [TYPES] POPL 06 Call for Papers   David Walker
• [TYPES] Latex input mode   Giuseppe Castagna
  • [TYPES] Latex input mode   Stefan Monnier
  • [TYPES] Latex input mode   Geoffrey Alan Washburn
    • [TYPES] Latex input mode   Norman Ramsey
      • [TYPES] Latex input mode   apostolo at obelix.ee.duth.gr
      • [TYPES] Latex input mode   Geoffrey Alan Washburn
      • [TYPES] Latex input mode   Joe Wells
    • [TYPES] Latex input mode   Bill Rounds
• [TYPES] Positions available:Microsoft Research - University of Trento Centre   Nones, Elisabetta
• [TYPES] Latex input mode   Giuseppe Castagna
• [TYPES] *** Final Call for Papers (Increased Page Limit): ML Workshop 2005   Matthias Blume
• [TYPES] 2005 ICFP Programming Contest   Robby Findler
• [TYPES] The 17th Nordic Workshop on Programming Theory (NWPT'05)   Jesper Andersen
• [TYPES] Call for papers: MoveLog05   James Lipton
• [TYPES] Call for Participation: GPCE'05 - Generative Programming and Component Engineering   Eelco Visser
• [TYPES] Reduction of Martin-Loef type theory with the logical framework to one without it   anton setzer
• [TYPES] type-sensitive CFA?   John Reppy
  • [TYPES] type-sensitive CFA?   Nadia Tawbi
    • [TYPES] type-sensitive CFA?   John Reppy
      • [TYPES] type-sensitive CFA?   Josef Svenningsson
• [TYPES] Job offer in Munich in Theoretical Computer Science   Ralph.Matthes at ifi.lmu.de
• [TYPES] SCOOL   Michael Hicks
• [TYPES] sabbatical positions: 2005-10   Carlos Martin-Vide
• [TYPES] PhD Studentships at Swansea University   Prof Faron G Moller
• [TYPES] SAVCBS'05 **** DEADLINE EXTENSION ****   Dimitra Giannakopoulou
• [TYPES] ICLP 2005: Call for Posters   ICLP 2005
• [TYPES] [GDV 2005] Call for Participation   Rupak Majumdar
• [TYPES] FINAL CALL FOR ESSLLI05 registration   Fairouz Kamareddine
• [TYPES] CONCUR 2005: Call for Participation   CONCUR 2005 Announcements
• [TYPES] First release of AlphaCaml   Francois Pottier
• [TYPES] CSL'05 Call for Participation   Andrzej Murawski
• [TYPES] ICFP 2005 - Accepted papers   Benjamin Pierce
• [TYPES] CPSec workshop   Stefano Bistarelli
• [TYPES] Second MetaOCaml Workshop: Final CFP   Kedar Swadi
• [TYPES] CFP: PLAN-X 2006   Giuseppe Castagna
• [TYPES] CFP: Library-Centric Software Design - LCSD'05   Jaakko Järvi
• [TYPES] REMINDER: ASE05 calls for Tutorial, Workshop, Doctoral Symposium and Demo are due Jun 17   Yunwen Ye
• [TYPES] CfP: The 5th OOPSLA Workshop on Domain-Specific Modeling   Jonathan Sprinkle
• [TYPES] Calculemus 2005 Call for Participation   William Farmer
• [TYPES] The AVISPA Tool v.1.0 - Official release   AVISPA
• [TYPES] Job: Lectureship   Alexander Kurz
  • [TYPES] Job: Postdoc (two years)   ak155 at mcs.le.ac.uk
  • [TYPES] PhD Studentship available   Alexander Kurz
• [TYPES] PDPAR'05 call for participation   Alessandro Cimatti
• [TYPES] CATS'06 - call for papers   cbj at it.uts.edu.au
• [TYPES] SEFM 2005 Call for Participation   Wolfgang Ahrendt
• [TYPES] Call for contributions: Industrial Session at the Applied Semantics (APPSEM) Workshop   John Hughes
• [TYPES] CFP --- LPAR 2005 WS: Empirically Successful Automated Reasoning in Higher-Order Logic (ESHOL)   Christoph Benzmueller
• [TYPES] Professor Eiichi Goto   Bruno Buchberger
• [TYPES] CPSec 2005: Extended Submission Deadline   Stefano Bistarelli
• [TYPES] type-sensitive CFA?   Paul A. Steckler
• [TYPES] Lectures on Categorical structures for system modelling   Markus Michelbrink
• [TYPES] CFP: M4M-4 (Methods for Modalities 2005)   Holger Schlingloff
• [TYPES] Call for Papers: FACS'05 - Macao   Bernhard K. Aichernig
• [TYPES] Research Fellowships in Databases and Digital Curation, University of Edinburgh   James Cheney
• [TYPES] PhD studentship, Probabilistic Model Checking with PRISM   Marta Kwiatkowska
• [TYPES] Intelligent Cybernetic Systems Journal Call For Papers   xiaochun cheng
• [TYPES] FLoC 2006: Call For Workshop Proposals   Kreutzer + Schweikardt
• [TYPES] 7th GPCE Young Researchers Workshop Deadline: June 30, 2005   GPCE YRW Organizers
• [TYPES] CfP: SAS'05 - 12th International Static Analysis Symposium   Herbert Wiklicky
• [TYPES] PLID'05 call for contributions and participation   David Clark
• [TYPES] MKM 2005 Program and Final Call for Participation (Early Registration Deadline ends Monday)   Michael Kohlhase
• [TYPES] ARSPA'05: Call for Participation   AVISPA
• [TYPES] COSMICAH 2005: Call for participation   Dino Distefano
• [TYPES] POPL 06: now accepting submissions   David Walker
• [TYPES] MathSAT: PhD positions at ICT-Trento   Alessandro Cimatti
• [TYPES] CFP for CICLOPS 2005   Fernando Silva
• [TYPES] research vacancies in Amsterdam (VU, CWI) and Utrecht   Roel de Vrijer
• [TYPES] Book Announcement: A Theory of Distributed Objetcs   Gerstner, Ralf, Springer DE
• [TYPES] postdoc position: semantics of nondeterminism   Paul B Levy
• [TYPES] Developments in Computational Models (DCM'05) - Call for Participation   Maribel Fernandez
• [TYPES] Final Call for Participation: ForTIA Industry Day at FM'05   events-admin at fmeurope.org
• [TYPES] PhD studentship   Hayo Thielecke
• [TYPES] PhD position in Monadic Computational Logics   Lutz Schroeder
• [TYPES] SPIN 2005 Call for Participation   Patrice Godefroid
• [TYPES] Call for Papers: APAL Special Issue on Game Semantics   Dan Ghica
• [TYPES] LPNMR'05: Call for Participation   lpnmr05 at mat.unical.it
• [TYPES] ICFP 2005 - Call for Participation   Dariusz Biernacki
• [TYPES] NEW DEADLINE Call For Papers: Workshop on Logic-based methods in Programming Environments (in conjunction with ICLP'05)   A Serebrenik
  • [TYPES] [ICLP 2006] Call for WORKSHOP proposals   A Serebrenik
• [TYPES] Post.Doc and Assist. Prof. position Radboud University Nijmegen   Herman Geuvers
• [TYPES] PASTE 2005 call for participation: Program Analysis for Software Tools & Engineering   Michael Ernst
• [TYPES] E.W. Beth Dissertation Prize Winner   Carlos Areces
• [TYPES] Final Call for papers: MoveLog05 (ICLP workshop)   James Lipton
• [TYPES] OOPS at SAC 2006   Davide Ancona
• [TYPES] CfP: Workshop: Constructive analysis, types and exact real numbers   Bas Spitters
• [TYPES] IFL'05 - 2nd Call for Papers (new: Accomodation/Registration details)   Andrew Butterfield
• [TYPES] ISAAC: Young Researcher Position at ITC-IRST, Trento   Marco Bozzano
• [TYPES] FACS'05: Deadline Extended 29 July   Luis Barbosa
• [TYPES] CONCUR 2005: Call for Participation, Early Registration Jul 20   CONCUR 2005 Announcements
• [TYPES] Tenure-track Position at U. Ottawa   Phil Scott
• [TYPES] PADL'06 Call for Papers   Logic Programming Rsrch Association
• [TYPES] [CfP] DisCoVeri - satellite event of CONCUR - August 26, 2005   Uwe Nestmann
• [TYPES] Announcement of paper on differential categories   Robert Seely
• [TYPES] Early registration: GPCE'05 -- Generative Programming and Component Engineering   Eelco Visser
• [TYPES] Call for participation - DBPL'05   Gavin Bierman
• [TYPES] Call for Participation/Programme: SAS'05   Herbert Wiklicky
• [TYPES] ICLP 2005: Call for Participation   ICLP 2005
• [TYPES] LICS 2006 Call for Workshops   Kreutzer + Schweikardt
• [TYPES] CFP: Workshop on Software Certificate Mangement   Ewen Denney
• [TYPES] [SEFM 2005] CfParticipation - Early Registration ends 31 July 2005   Bernhard Beckert
• [TYPES] Haskell workshop 2005 -- Call for participation.   Daan Leijen
• [TYPES] Call for Participation: MERLIN 2005   Alwen Tiu
• [TYPES] FORTE 2005: Preliminary Program and the 1st Call for Participation   Farn Wang
• [TYPES] Subtyping, extensional equality, and contravariance   Tim Sweeney
  • [TYPES] Subtyping, extensional equality, and contravariance   Andreas Abel
• [TYPES] Geocal06: first announcement   Laurent Regnier
• [TYPES] CfP: OOPSLA Workshop on Multiparadigm Programming in OO Languages   Kei Davis
• [TYPES] Call for Participation: ML Workshop 2005   Matthias Blume
• [TYPES] WLPE 2005: Call for Participation   A Serebrenik
• [TYPES] ASE05 Workshop Software Assurance Tools Techniques and Metrics CfP   Yunwen Ye
• [TYPES] 4-year PhD Positions at UPM -- MOBIUS EU Project   MOBIUS PhD Grants
• [TYPES] ASE05 Workshop Traceability in Emerging Forms of Software Engineering CfP   Yunwen Ye
• [TYPES] Call for Participation: MoveLog'05   Alwen Tiu
• [TYPES] ACM PEPM 2006 -- Call For Papers   John Hatcliff
• [TYPES] AVoCS '05 [Call for Participation]   Ranko Lazic
• [TYPES] Last call for registration: GPCE'05 (deadline 2 september)   Eelco Visser
• [TYPES] CFP: TCS special issue on Automated Reasoning for Security Protocol Analysis   vigano at inf.ethz.ch
• [TYPES] IJCAR 2006: Call For Papers (CFP)   Sergey Berezin
• [TYPES] CFP WRLA06   WRLA Acct (Denker)
• [TYPES] NETCA Workshop - Final Call for Participation   Hanne Gottliebsen
• [TYPES] A message from the moderator   Stephanie Weirich
• [TYPES] Research positions in Mobility and Security at Edinburgh   Ian.Stark at ed.ac.uk
• [TYPES] ACM SAC 2006 CFP: Software Verification Track   Lunjin Lu
• [TYPES] postdoc position: arbitrary precision geometric computation   Michal Konecny
• [TYPES] PLID 2005 call for participation   David Clark
• [TYPES] *Extended Deadline* ASE WS "Software Certificate Management"   Bernd Fischer
• [TYPES] 2nd CFP: FOOL/WOOD '06 - Foundations and Developments of Object-Oriented Languages   Christopher A. Stone
• [TYPES] Second Announcement-Octoberfest '05   P. Scott
• [TYPES] 5th International PhD School in Formal Languages and Applications 2005-2007   Carlos Martin-Vide
• [TYPES] FroCoS'05: Call for Participation (Early Reg. Deadline: Sept. 1, 2005)   Bernhard Gramlich
• [TYPES] 2nd Workshop on Lambda-Calculus, Type Theory and Natural Language --- Call for Participation   Maribel Fernandez
• [TYPES] APLAS 2005 -- Call For Posters   Hongseok Yang
  • [TYPES] Semantics of Intersection Type   Hongseok Yang
    • [TYPES] Semantics of Intersection Type   Gerard Boudol
• [TYPES] CFP: MSCS special issue on Developments in Computational Models   Maribel Fernandez
• [TYPES] ACM PODS 2006, first call for papers   Stijn Vansummeren
• [TYPES] UPDATE: NWPT05 Annoucenment   Jesper Andersen
• [TYPES] workshop on invertibility of terms   Sergei SOLOVIEV
• [TYPES] Postdoc at the Center for Embedded Systems for Critical Applications (CESCA)   Stephanie Weirich
• [TYPES] Extended Deadline - ACM SAC'06: Software Verification Track   Lunjin Lu
• [TYPES] FLOPS 2006: Eighth International Symposium on Functional and Logic Programming   Philip Wadler
• [TYPES] ESOP 2006 Call for papers   Peter Sestoft
• [TYPES] SPACE 2006: Call for Papers   David Walker
• [TYPES] Technical report on typed OO-FP programming   Ralf Lammel
• [TYPES] Call for Participation APLAS'05   Kwangkeun Yi
• [TYPES] PostDoc position in Bologna   Davide Sangiorgi
• [TYPES] Postdoc in Chicago - Joint Project between DePaul and Bell Labs   James Riely
• [TYPES] urgent: 2 "ricercatore" positions in Bologna   Davide Sangiorgi
• [TYPES] FOSSACS 2006 --- Call for Papers   Luca Aceto
• [TYPES] Job opening in Microsoft on program analysis and security defect detection   Ramanathan Venkatapathy
• [TYPES] CFP: PLAN-X 2006   Anders Møller
• [TYPES] A geometry problem for proof systems   Yong Luo
• [TYPES] Submission Deadline Extension -- ESHOL WS at LPAR 2005   Christoph Benzmueller
• [TYPES] Paper: The essence of dataflow programming   Tarmo Uustalu
• [TYPES] A geometry problem for proof systems   Peter Freyd
  • [TYPES] A geometry problem for proof systems   Andrew Myers
• [TYPES] Preliminary Call for Papers: QAPL @ ETAPS06 (Vienna)   Herbert Wiklicky
• [TYPES] ICALP 2006 -- Preliminary Call For Papers   ICALP 2006
• [TYPES] Paper: A compositional natural semantics and Hoare logic for low-level languages   Tarmo Uustalu
• [TYPES] Geocal06: call for participation   regnier at iml.univ-mrs.fr
• [TYPES] Paper: "Contextual Modal Type Theory"   Brigitte Pientka
• [TYPES] CFP: PLAN-X 2006 - deadline extended   Anders Møller
• [TYPES] research positions 2005-11   D.FILROM - CARLOS MARTIN VIDE
• [TYPES] CFP: WORKSHOP ON SOFTWARE VERIFICATION AND VALIDATION   zijiang.yang at wmich.edu
• [TYPES] EATCS AWARD 2006   Mariangiola Dezani
• [TYPES] CSL'06 workshops and Ackermann Award   Computer Science Logic '06 Conference
• [TYPES] FOSSACS 2006 --- Final CFP   Luca Aceto
• [TYPES] Natural Language and Knowledge Representation/Reasoning (CFP)   Jana Sukkarieh
• [TYPES] CFP: Workshop on Implicit Computational Complexity (Geocal'06)   Patrick Baillot
• [TYPES] PhD grant: Computational Applications of Nominal Sets   Maribel Fernandez
• [TYPES] sabbatical positions 2005-12   D.FILROM - CARLOS MARTIN VIDE
• [TYPES] CFP: TERMGRAPH 2006   Ian Mackie
• [TYPES] Workshop on Logic programming and concurrency   Lutz Strassburger
• [TYPES] workshop on invertibility of terms -- call for registration   barral
• [TYPES] Research Position at DoCoMo USA Labs   Ajay Chander
• [TYPES] Claire Jones   Gordon Plotkin
• [TYPES] Research Job: Compositional Analysis for Mobility & Concurrency @ Heriot-Watt U., Scotland, UK   Joe Wells
• [TYPES] Research position in Coalgebras and Formal Verification at Southampton   Corina Cirstea
• [TYPES] CLA call for papers   René David
• [TYPES] HM(x) vs Theory of Qualified Types   robert dockins
  • [TYPES] HM(x) vs Theory of Qualified Types   Martin Sulzmann
• [TYPES] CfP: AiML 2006   Alexander Kurz
• [TYPES] Call for Demonstration Proposals - PLAN-X 2006   Anders Møller
• [TYPES] research position in logic and discrete maths   rené david
• [TYPES] Stevens / Columbia / IBM Research Security & Privacy Day   Dominic Duggan
• [TYPES] FMOODS 06: 1st Call for Papers   Martin Steffen
• [TYPES] COORDINATION 2006: Preliminary Call for Papers   Herbert Wiklicky
• [TYPES] 1st CfP ESSLLI 2006 STUDENT SESSION   J. Huitink
• [TYPES] Call for papers and workshop proposals - DAIS 2006   DAIS'06
• [TYPES] CfP: Applied Semantics, Special Issue of J of TCS   Hans-Wolfgang Loidl
• [TYPES] Ackermann Award   csl06 at inf.u-szeged.hu
• [TYPES] CSL'06 CALL FOR PAPERS   Computer Science Logic '06 Conference
• [TYPES] PODS 2006 Call For Papers   Stijn Vansummeren
• [TYPES] POPL 2006 Call for Participation   David Walker
• [TYPES] TYPES 2006 workshop   Thorsten Altenkirch
• [TYPES] QAPL'06 (ETAPS Satellite): Call for Papers   Herbert Wiklicky
• [TYPES] REMINDER: Proposals for workshops (ICFP '06) due this Friday!   Matthias Blume
• [TYPES] WRLA 2006 CFP submission deadline November 11   wrla06 at csl.sri.com
• [TYPES] postdoc opening in VERIMAG, Grenoble (France)   Radu Iosif
• [TYPES] ICALP 2006 -- Call for Affiliated Workshops   Convegno ICALP '06
• [TYPES] FLOPS 2006 Deadline Extended to November 18   Yoshihiko Kakutani
• [TYPES] CfP LDTA 2006   Eric Van Wyk
• [TYPES] SAS 2006: First Call for Paper   Kwangkeun Yi
• [TYPES] CiE06: 2nd Call for Papers   Ulrich Berger
• [TYPES] Call For Papers - ICLP 2006   A Serebrenik
• [TYPES] QAPL 2006 - call for papers   Bernhard K. Aichernig
• [TYPES] RTA'06: 1st Call for Papers   Frank Pfenning
• [TYPES] normalization and programming languages   Gerard Boudol
  • [TYPES] normalization and programming languages   Joe Wells
  • [TYPES] normalization and programming languages   Rene Vestergaard
  • [TYPES] normalization and programming languages   Thorsten Altenkirch
  • [TYPES] normalization and programming languages   Jon Fairbairn
  • [TYPES] normalization and programming languages   Yong Luo
  • [TYPES] normalization and programming languages   Pawel Urzyczyn
    • [TYPES] normalization and programming languages   Barry Jay
      • [TYPES] normalization and programming languages   François-Régis Sinot
  • [TYPES] normalization and programming languages   François-Régis Sinot
• [TYPES] Research position at University of Birmingham   Dan Ghica
• [TYPES] normalization and programming languages   Andrew Kennedy
• [TYPES] MPC 2006 First Call for Papers   Tarmo Uustalu
• [TYPES] postdoc on component-based embedded systems at Verimag (France)   Radu Iosif
• [TYPES] postdoc at Oxford   Oege de Moor
• [TYPES] Lisbon positions in quantum computation and information   Amilcar Sernadas
• [TYPES] [ECOOP 2006 / Final CFP / D - 3 weeks]   Olivier Roux
• [TYPES] Semantics of Intersection Type   Steffen van Bakel
  • [TYPES] Semantics of Intersection Type   Arend Rensink
    • [TYPES] Semantics of Intersection Type   Kenneth Louden
• [TYPES] SPACE 2006 registration   Richard Jones
• [TYPES] Semantics of Intersection Type   DeLiguoro Ugo
• [TYPES] Semantics of Intersection Type   Simona Ronchi Della Rocca
• [TYPES] [Fwd: Re: Semantics of Intersection Type]   Adriana Compagnoni
  • [TYPES] Semantics of Intersection Types   Adriana Compagnoni
• [TYPES] Positions in IT Security at Siemens Corporate Technology, Munich, Germany   David von Oheimb
• [TYPES] SPACE 2006: Call for Participation   Richard Jones
• [TYPES] CMCS 2006   Neil X Ghani
• [TYPES] CfP: International Conference on Emerging Trends in Information and Communication Security 2006   types-list at m-strasser.de
• [TYPES] goedel prize 2006 (deadline for nominations Jan. 31, 2006)   Pierre-Louis Curien
• [TYPES] Extended Deadline: QAPL'06 (ETAPS Satellite, Vienna)   Herbert Wiklicky
• [TYPES] Call for papers -- FOAL 2006: Foundations ofAspect-Oriented Languages   Ralf Lammel
• [TYPES] POPL 06: Final Call for Participation   David Walker
• [TYPES] Second call for papers - DAIS 2006   DAIS'06
• [TYPES] PLAN-X 2006: Call for Participation   Anders Møller
• [TYPES] Fundamenta Informaticae: special issue on the Logic for Pragmatics (call for papers)   Tristan Crolard
• [TYPES] ETAPS 2007: Call for Satellite Events   Joost Visser
• [TYPES] CFP: STRATEGIES 06   Cesar A. Munoz
• [TYPES] FMOODS 06: 2nd Call for Papers   Martin Steffen
• [TYPES] lambda-mu   mahmoud abou ghaly
• [TYPES] 11th Est. Winter School in Comp. Sci., Call for Participation   Tarmo Uustalu
• [TYPES] AMAST06 CFP (Feb closing date)   Michael Johnson
• [TYPES] EAAI'06 cfp   Francesco Ranzato
• [TYPES] CiE 2006 - Student Grants and grants for researchers from the former Soviet Union   Ulrich Berger
• [TYPES] stricter moderation...?   Eijiro Sumii
  • [TYPES] stricter moderation...?   Stephanie Weirich
    • [TYPES] stricter moderation...?   David J. Pym
      • [TYPES] stricter moderation...?   Matthias Felleisen
  • [TYPES] stricter moderation...?   Thorsten Altenkirch
  • [TYPES] stricter moderation...?   Laurent Regnier
    • [TYPES] stricter moderation...?   Philip Wadler
      • [TYPES] stricter moderation...?   David J. Pym
      • [TYPES] stricter moderation...?   Carl Eastlund
      • [TYPES] stricter moderation...?   Benjamin Pierce
      • [TYPES] stricter moderation...?   Geoffrey Alan Washburn
      • [TYPES] stricter moderation...?   Stephanie Weirich
      • [TYPES] stricter moderation...?   Radu Grigore
      • [TYPES] Splitting types into types-announce and types-discuss   Nathaniel Gray
  • [TYPES] stricter moderation...?   Eijiro Sumii
• [TYPES] Second call for papers - DAIS 2006   DAIS'06
• [TYPES] stricter moderation...?   Tim Sweeney
  • [TYPES] stricter moderation...?   David Teller
• [TYPES] Int. Conference on Emerging Trends in Information and Communication Security 2006 - Submission deadline: January 22, 2006   types-list at m-strasser.de
• [TYPES] MFCS'06 - call for papers   Pawel Urzyczyn
• [TYPES] stricter moderation...?   Benjamin Pierce
  • [TYPES] stricter moderation...?   William Lovas
• [TYPES] research positions 2005-14   D.FILROM - CARLOS MARTIN VIDE
• [TYPES] Limited use of negation types?   Jim Apple
  • [TYPES] Limited use of negation types?   Carl Eastlund
  • [TYPES] Limited use of negation types?   Neelakantan Krishnaswami
  • [TYPES] Limited use of negation types?   Alain Frisch
• [TYPES] CFP: Combining Theory and Systems Building in Pervasive Computing   hilde at itu.dk
• [TYPES] summer school on concurrency   jv at cs.purdue.edu

Last message date: Fri Dec 30 18:22:31 EDT 2005
Archived on: Sat Dec 31 14:24:02 EDT 2005

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