2005 Archives by date

Messages sorted by: [ thread ] [ subject ] [ author ]
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] 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] CFP: INFINITY 2005 Scott Smolka
[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] ETAPS 2005: CALL FOR PARTICIPATION David Aspinall
[TYPES] Re: terminology for different kinds of proof terms? Joe Wells
[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] 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] Terminology in operational semantics Johan Glimming
[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] Terminology in operational semantics Roy L. Crole
[TYPES] Book announcement: Advanced Topics in Types and Programming Languages Benjamin Pierce
[TYPES] Terminology in operational semantics sanjiva at cse.iitd.ernet.in
[TYPES] CADE-20: final call for papers Brigitte Pientka
[TYPES] Complexity of row unification Francois Pottier
[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] Complexity of row unification Henning Makholm
[TYPES] ATVA 2005: Announcement and Preliminary Call for Papers Yih-Kuen Tsay
[TYPES] Terminology in operational semantics David Hopwood
[TYPES] Announcement: APPSEM-II Summer School, Sep 8-12 Hans-Wolfgang Loidl
[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] mapping oo structural to name (sub)types Sophia Drossopoulou
[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] Terminology in operational semantics Arend Rensink
[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] Announcement: TYPES Summer School, August 15 - 26 Bengt Nordström
[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] 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] 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] Announcement: TYPES Summer School, August 15 - 26 Bengt Nordström
[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] Final CFP: MERLIN'05 at ICFP'05 Alwen Tiu
[TYPES] Parametricity with subtyping and a Top type Tim Sweeney
[TYPES] FSTTCS05 S. P. Suresh
[TYPES] Parametricity with subtyping and a Top type Derek Dreyer
[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] 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 Simone Martini
[TYPES] Parametricity with subtyping and a Top type Haruo HOSOYA
[TYPES] FCS05 call for participation Andrei Sabelfeld
[TYPES] CALCO: 1st call for Participation Markus Roggenbach
[TYPES] Decidability of polymorphic recursion revisited Lukasz Stafiniak
[TYPES] PPDP 2005 Call for Participation Amy Felty
[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] Decidability of polymorphic recursion revisited camarao at dcc.ufmg.br
[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] Latex input mode Stefan Monnier
[TYPES] Latex input mode Geoffrey Alan Washburn
[TYPES] POPL 06 Call for Papers David Walker
[TYPES] Latex input mode Giuseppe Castagna
[TYPES] Latex input mode Norman Ramsey
[TYPES] Latex input mode Bill Rounds
[TYPES] Positions available:Microsoft Research - University of Trento Centre Nones, Elisabetta
[TYPES] Latex input mode Giuseppe Castagna
[TYPES] Latex input mode Geoffrey Alan Washburn
[TYPES] *** Final Call for Papers (Increased Page Limit): ML Workshop 2005 Matthias Blume
[TYPES] Latex input mode apostolo at obelix.ee.duth.gr
[TYPES] Latex input mode Joe Wells
[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] Job offer in Munich in Theoretical Computer Science Ralph.Matthes at ifi.lmu.de
[TYPES] type-sensitive CFA? John Reppy
[TYPES] type-sensitive CFA? Nadia Tawbi
[TYPES] SCOOL Michael Hicks
[TYPES] type-sensitive CFA? Josef Svenningsson
[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] 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] Re: SOS 2005: Programme iu3 at mcs.le.ac.uk
[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] 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] [ICLP 2006] Call for WORKSHOP proposals A Serebrenik
[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] 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] Subtyping, extensional equality, and contravariance Andreas Abel
[TYPES] WLPE 2005: Call for Participation A Serebrenik
[TYPES] post-doc job in functional programming Colin Runciman
[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] CFP: MSCS special issue on Developments in Computational Models Maribel Fernandez
[TYPES] Job: Postdoc (two years) ak155 at mcs.le.ac.uk
[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] PhD Studentship available Alexander Kurz
[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] Research position at University of Birmingham Dan Ghica
[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 Andrew Kennedy
[TYPES] MPC 2006 First Call for Papers Tarmo Uustalu
[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] 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 Hongseok Yang
[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 Gerard Boudol
[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] Second call for papers - DAIS 2006 DAIS'06
[TYPES] stricter moderation...? Stephanie Weirich
[TYPES] stricter moderation...? Thorsten Altenkirch
[TYPES] stricter moderation...? David J. Pym
[TYPES] stricter moderation...? Laurent Regnier
[TYPES] stricter moderation...? Eijiro Sumii
[TYPES] stricter moderation...? Tim Sweeney
[TYPES] stricter moderation...? Philip Wadler
[TYPES] Int. Conference on Emerging Trends in Information and Communication Security 2006 - Submission deadline: January 22, 2006 types-list at m-strasser.de
[TYPES] stricter moderation...? Matthias Felleisen
[TYPES] stricter moderation...? David Teller
[TYPES] stricter moderation...? David J. Pym
[TYPES] MFCS'06 - call for papers Pawel Urzyczyn
[TYPES] stricter moderation...? Benjamin Pierce
[TYPES] stricter moderation...? Benjamin Pierce
[TYPES] research positions 2005-14 D.FILROM - CARLOS MARTIN VIDE
[TYPES] stricter moderation...? Geoffrey Alan Washburn
[TYPES] stricter moderation...? William Lovas
[TYPES] stricter moderation...? Stephanie Weirich
[TYPES] stricter moderation...? Carl Eastlund
[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] stricter moderation...? Radu Grigore
[TYPES] CFP: Combining Theory and Systems Building in Pervasive Computing hilde at itu.dk
[TYPES] Splitting types into types-announce and types-discuss Nathaniel Gray
[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: [ thread ] [ subject ] [ author ]
More info on this list...

This archive was generated by Pipermail 0.09 (Mailman edition).