2008 Archives by subject

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

Starting: Wed Jan 2 04:07:38 EDT 2008
Ending: Thu Dec 4 14:09:38 EDT 2008
Messages: 430

• [TYPES/announce] "Proof-search in Type Theories" workshop, 5th June, Paris: Call for talks / participation   "Stéphane Lengrand (Work)"
• [TYPES/announce] 12-18 months post-doc position in CEDRIC, CNAM Paris   Pierre Courtieu
• [TYPES/announce] 14th Estonian Winter School in Comput. Sci., Call for Partic.   Tarmo Uustalu
• [TYPES/announce] 1st call for participation AFP 2008, The Netherlands   Peter Achten
• [TYPES/announce] 1st CFP: 17th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'08)   demis at dimi.uniud.it
• [TYPES/announce] 1st CFP: 4th Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'08)   demis at dimi.uniud.it
• [TYPES/announce] 1st. Call for Participation: DisCoTec'08 (Coordination + Dais + Fmoods). Oslo, Norway, 4.-6. June 2008   Martin Steffen
• [TYPES/announce] 2008 ICFP Programming Contest   Tim Chevalier
• [TYPES/announce] 2nd call for contributions: FLACOS'08   gerardo
• [TYPES/announce] 2nd call for papers IFL 2008   Sven-Bodo Scholz
• [TYPES/announce] 2nd call for participation AFP 2008, The Netherlands   Peter Achten
• [TYPES/announce] 2nd CFP: 17th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'08)   demis at dimi.uniud.it
• [TYPES/announce] 2nd CFP: 4th Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'08)   demis at dimi.uniud.it
• [TYPES/announce] 2nd CfP: Cl&C'08   Ulrich Berger
• [TYPES/announce] 2nd CFP: ECOOP Workshop on Equation-Based Object-Oriented Languages and Tools (EOOLT)   Peter Fritzson
• [TYPES/announce] 2nd CFP: First Workshop on Hot Topics in Software Upgrades (HotSWUp 2008)   Iulian Neamtiu
• [TYPES/announce] 2nd CfP: ICNS 2009 | April 21-25, 2009 - Valencia, Spain   Jaime Lloret Mauri
• [TYPES/announce] 2nd CFP: PLMMS 2008   Jacques Carette
• [TYPES/announce] 2nd CfPapers: FOOL '09 - Foundations of Object-Oriented Languages   Jonathan Aldrich
• [TYPES/announce] 3 Ph.D. scholarships at DIKU and ITU   Fritz Henglein
• [TYPES/announce] 31 days to go until TOOLS Europe submission deadline   Philippe.LAHIRE at unice.fr
• [TYPES/announce] 3WFTop proceedings: EXTENDED DEADLINE 29 Feb 2008   Peter Schuster
• [TYPES/announce] 6th International Summer School in Formal Languages andApplications   carlos.martin at urv.cat
• [TYPES/announce] [Agda] CFP: Dependently Typed Programming (FI Special Issue)   Thorsten Altenkirch
• [TYPES/announce] [Calco'09] 1st cfp: calco'09 (3rd Conference on Algebra and Coalgebra in Computer Science), Udine, Italy   Marina Lenisa
• [TYPES/announce] [Calco'09] 2nd cfp: calco'09 (3rd Conference on Algebra and Coalgebra in Computer Science), Udine, Italy   Marina Lenisa
• [TYPES/announce] [CfP] ACP4IS at AOSD 2009   Daniel Lohmann
• [TYPES/announce] [CfP] ACP4IS at AOSD 2009   Daniel Lohmann
• [TYPES/announce] [CFP] Advances in Modal Logic 2008   Carlos Areces
• [TYPES/announce] [ESSLLI 2010] Call for Bids   Carlos Areces
• [TYPES/announce] [HyLo09] First Call for Papers   Carlos Areces
• [TYPES/announce] [ICSEng'08] ICSEng 2008, Submission deadline extended to March 16, 2008   ICSEng 2008
• [TYPES/announce] [SANET 2008] Call for Paper - Deadline is today   Michael Hauspie
• [TYPES/announce] [SAS-LOPSTR-PPDP-PLID 2008] Call for participation   German Vidal
• [TYPES/announce] [Tenure-track Faculty Positions, Seoul National University]   Kwangkeun Yi
• [TYPES/announce] [Types] Professorship in Software Engineering, Gothenburg   Bengt Nordstrom
• [TYPES/announce] Abella: Interactive theorem proving with lambda-tree syntax   Andrew Gacek
• [TYPES/announce] ACKERMANN AWARD 2009: CALL FOR NOMINATIONS   Carlos Areces
• [TYPES/announce] ACM SAC 09 Software Verification and Testing   Tamara.Rezk at sophia.inria.fr
• [TYPES/announce] AiML 2008: Registration now open   Carlos Areces
• [TYPES/announce] AiML-2008: Second Call for Papers   Carlos Areces
• [TYPES/announce] AiML08: Preliminary Program now Available   Carlos Areces
• [TYPES/announce] ALTA 2008 - Call for Participation   Josh Fryman
• [TYPES/announce] AMAST'08 : Final CFP   Hills, Mark A
• [TYPES/announce] AMAST'08 Call for Participation   Mark Hills
• [TYPES/announce] Apal spec. issue - Constructive Topology - G. Sambin 60   Maria Emilia Maietti
• [TYPES/announce] APLAS 2008 Call For Participation   Xinyu Feng
• [TYPES/announce] APLAS 2008: Call For Posters   Xinyu Feng
• [TYPES/announce] APRES'08 - Adaptive and Reconfigurable Embedded Systems   Sebastian N. Fischmeister
• [TYPES/announce] assistant professor position   Joan Boyar
• [TYPES/announce] Assistant Professorships Available   Luís Caires
• [TYPES/announce] Associate Professorship, Software Development, IT University Copenhagen   Peter Sestoft
• [TYPES/announce] ATVA 2008: Call for Participation   Farn Wang
• [TYPES/announce] Book Announcement   S B Cooper
• [TYPES/announce] CADE-22 call for workshop and tutorial proposals   Carsten Schürmann
• [TYPES/announce] CADE-22 first call for papers   Carsten Schürmann
• [TYPES/announce] Call for contributions: FLACOS'08   gerardo
• [TYPES/announce] Call for contributions: QUANTUM PHYSICS AND LOGIC (QPL'08) & DEVELOPMENTS IN COMPUTATIONAL MODELS (DCM'08)   Bob Coecke
• [TYPES/announce] Call for Contributions: VAMP 2009   Christian Haack
• [TYPES/announce] call for papers FTfJP 2008   Marieke Huisman
• [TYPES/announce] Call for papers: Coordination of Domain Specific Languages   Laurence Tratt
• [TYPES/announce] Call for papers: ESHOL workshop at IJCAR 2008   Florian Rabe
• [TYPES/announce] Call for papers: NASA Formal Methods Symposium   Ewen Denney
• [TYPES/announce] Call for papers: OOPS track at SAC 2009   Davide Ancona
• [TYPES/announce] Call for papers: Post-Proceedings of TYPES 2008   Stefano Berardi
• [TYPES/announce] Call for Papers: TOOLS Europe 2009   Philippe.LAHIRE at unice.fr
• [TYPES/announce] CALL FOR PAPERS: TPHOLs 2009   Stefan Berghofer
• [TYPES/announce] CALL FOR PARTICIPATION   Logic Colloquium 2008
• [TYPES/announce] CALL FOR PARTICIPATION CRiSIS'2008   Ahmed Hadj Kacem
• [TYPES/announce] Call For Participation QEST2008   Nihal PEKERGIN
• [TYPES/announce] Call for Participation QEST2008   Nihal PEKERGIN
• [TYPES/announce] Call For Participation to IMAGINE 2008 in Iceland   Nathalie MITTON
• [TYPES/announce] Call for participation, FMWS 08   Jens Chr. Godskesen
• [TYPES/announce] Call for Participation: TOOLS Europe 2008 - 11 days to go until TOOLS Europe early registration deadline   Philippe.LAHIRE at unice.fr
• [TYPES/announce] Call for PhD students   Carsten Schuermann
• [TYPES/announce] Call for Satellite Events ETAPS'09   Joost-Pieter Katoen
• [TYPES/announce] Call for Submissions, PLDI 2008 Student Research Competition   Todd Millstein
• [TYPES/announce] Call for Submissions, PLDI 2008 Student Research Competition   Todd Millstein
• [TYPES/announce] Call for Track Proposals: ACM SAC 2009 (Symposium on Applied Computing)   Mirko Viroli
• [TYPES/announce] Call for workshops (Distributed Computing Techniques 2009, Lisbon)   Martin Steffen
• [TYPES/announce] Categories, Logic and Foundations of Physics, August 23-24, Oxford University   Bob Coecke
• [TYPES/announce] CC 2009: abstracts due Oct 2   Oege.de.Moor at comlab.ox.ac.uk
• [TYPES/announce] CC 2009: abstracts due Oct 2   Oege.de.Moor at comlab.ox.ac.uk
• [TYPES/announce] CFA: Fourth Training School in Symbolic Computation   Temur Kutsia
• [TYPES/announce] CFP - ASE '08 Tool Demonstrations   Ewen Denney
• [TYPES/announce] CFP - ECOOP'08 Doctoral Symposium and PhD Students Workshop   Mark Hills
• [TYPES/announce] CFP - Programming Languages for Mechanized Mathematics Systems 2008   Jacques Carette
• [TYPES/announce] CfP HPC 2008 (@ 37 JAIIO)   Ricardo Medel
• [TYPES/announce] CFP TAASN 2009 at ETAPS (York, 22 March)   Maribel Fernandez
• [TYPES/announce] CFP TAASN 2009 at ETAPS (York, 22 March)   Maribel Fernandez
• [TYPES/announce] CfP Workshop "Structures and Deduction", Bordeaux, July 20-24, 2009   Lutz Strassburger
• [TYPES/announce] CFP, FSTTCS 2008   Madhavan Mukund
• [TYPES/announce] CfP: 1st International Conference on Software Language Engineering   Eric Van Wyk
• [TYPES/announce] CfP: 1st International Conference on Software Language Engineering (SLE 2008)   Dragan Gasevic
• [TYPES/announce] CFP: 1st Workshop on the Theory and Practice of Provenance (TaPP '09)   James Cheney
• [TYPES/announce] Cfp: 3rd Int'l Workshop on Security and Rewriting Techniques (SecReT 2008)   Santiago Escobar
• [TYPES/announce] Cfp: 3rd Int'l Workshop on Security and Rewriting Techniques Security (SecReT 2008)   Santiago Escobar
• [TYPES/announce] Cfp: 3rd Int'l Workshop on Security and Rewriting Techniques Security (SecReT 2008)   Santiago Escobar
• [TYPES/announce] CFP: ACM SAC 09 Software Verification and Testing   Tamara.Rezk at sophia.inria.fr
• [TYPES/announce] CFP: ACM Symposium on Applied Computing (SAC 2009)   Mirko Viroli
• [TYPES/announce] CFP: ALTA 2008 at ISCA 2008   Josh Fryman
• [TYPES/announce] CFP: APLAS 2008 - The Sixth ASIAN Symposium on Programming Languages and Systems   Xinyu Feng
• [TYPES/announce] CFP: CRiSIS 2008   Ahmed Hadj Kacem
• [TYPES/announce] CFP: ECOOP Workshop on Equation-Based Object-Oriented Languages and Tools (EOOLT)   Peter Fritzson
• [TYPES/announce] CFP: FCS-ARSPA-WITS'08 (Joint Workshop on Computer Security)   Lujo Bauer
• [TYPES/announce] CFP: First Workshop on Hot Topics in Software Upgrades (HotSWUp 2008)   Iulian Neamtiu
• [TYPES/announce] CFP: FOAL 2008, reminder and revised due dates   Gary T. Leavens
• [TYPES/announce] CFP: Foundations of Aspect-Oriented Languages (FOAL) 2009   Gary T. Leavens
• [TYPES/announce] CfP: Functional and Declarative Programming in Education (FDPE) 2008   John Clements
• [TYPES/announce] CFP: International Conference on Innovation in Software Engineering - ISE08   Masoud.Mohammadian
• [TYPES/announce] CFP: International Conference on Innovation in Software Engineering - ISE08   Masoud.Mohammadian
• [TYPES/announce] CFP: International Conference on Innovation in Software Engineering - ISE08   Masoud.Mohammadian
• [TYPES/announce] CFP: IWACO 2008   David.Clarke at cwi.nl
• [TYPES/announce] CfP: OOPSLA Workshop on Relationships and Assocations in Object Oriented Languages (RAOOL)   Stephen Nelson
• [TYPES/announce] CFP: PLPV 2009   Thorsten Altenkirch
• [TYPES/announce] CFP: PLPV 2009   Thorsten Altenkirch
• [TYPES/announce] CFP: Proof-Carrying Code workshop PCC 2008   Ian Stark
• [TYPES/announce] CFP: RULE 2008   Jorge Sousa Pinto
• [TYPES/announce] CfP: Service Oriented Architectures and Programming Trac, SAC 2009   Claudio Guidi
• [TYPES/announce] CFP: SOAP Track at SAC 2009   Manuel Mazzara
• [TYPES/announce] CfP: Special Issue on "Classical Logic and Computation"   Ulrich Berger
• [TYPES/announce] CFP:Special issue: Intuitionistic Modal Logics and Applications (IMLA)   Brigitte Pientka
• [TYPES/announce] CfPapers: FOOL '09 - Foundations of Object-Oriented Languages   Jonathan Aldrich
• [TYPES/announce] CFPart Flacos'08   gerardo
• [TYPES/announce] CfPart: 17th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'08)   demis at dimi.uniud.it
• [TYPES/announce] CfPart: 4th Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'08)   demis at dimi.uniud.it
• [TYPES/announce] CfPs: Visions of Computer Science   Vladimiro Sassone
• [TYPES/announce] CiE 2008 - EXTENDED DEADLINE   S B Cooper
• [TYPES/announce] CiE 2009 in Heidelberg - First Call for Papers   S B Cooper
• [TYPES/announce] CL&C - Call for participation   Ulrich Berger
• [TYPES/announce] Colloquium Logicum 2008, September 10-12   Thomas Streicher
• [TYPES/announce] CONCUR 08: second call for papers   CONCUR 08
• [TYPES/announce] CONCUR and PODC 2008: call for participation   CONCUR 08
• [TYPES/announce] Constructive Topology - Workshop G. Sambin 60   Peter Schuster
• [TYPES/announce] COORDINATION'08: deadline extension   Herbert Wiklicky
• [TYPES/announce] Coordination'09: 1st Call for Papers   Martin Steffen
• [TYPES/announce] Coq tutorial materials available   Stephanie Weirich
• [TYPES/announce] Correction: Lectureship at Sussex   Bernhard Reus
• [TYPES/announce] Course: HIGHLIGHTS of Lambda Calculus and Term Rewriting Systems, by   henk
• [TYPES/announce] CS faculty opening at UC Davis in PL/SE   Zhendong Su
• [TYPES/announce] CSL 2008 - first call for papers   Ugo Dal Lago
• [TYPES/announce] CSL 2008 - Last CfP - Deadline is March 28th   Ugo Dal Lago
• [TYPES/announce] CSL 2008: Call for Participation   Ugo Dal Lago
• [TYPES/announce] DAMP 2009: Call for Papers   Manuel M T Chakravarty
• [TYPES/announce] DAMP 2009: Final Call for Papers   Petersen, Leaf
• [TYPES/announce] DATICS'09 - Call For Papers   SS DATICS
• [TYPES/announce] Deadline extended: ML Workshop 2008   Eijiro Sumii
• [TYPES/announce] DEADLINE EXTENSION - SAS 2008   German Vidal
• [TYPES/announce] DEADLINE EXTENSION - SOAP Track at SAC 2009 (now is August 23)   Manuel Mazzara
• [TYPES/announce] Deadline Extension: FAST, Formal Aspects of Security and Trust   Joshua D. Guttman
• [TYPES/announce] DEADLINE EXTENSION: (WFLP'08) 17th Int'l Workshop on Functional and (Constraint) Logic Programming   demis at dimi.uniud.it
• [TYPES/announce] DEADLINE EXTENSION: (WWV'08) 4th Int'l Workshop on Automated Specification and Verification of Web Systems   demis at dimi.uniud.it
• [TYPES/announce] Deadline Extension: ACP4IS at AOSD 2008   Daniel Lohmann
• [TYPES/announce] deadline extension: RULE 2008   Jorge Sousa Pinto
• [TYPES/announce] DEFUN 2008 (Developer Tracks on Functional Programming): Call for participation   Matthew Fluet (ICFP Publicity Chair)
• [TYPES/announce] DEFUN08: Call for Talks & Tutorials (co-located w/ ICFP08)   Matthew Fluet (ICFP Publicity Chair)
• [TYPES/announce] DEFUN08: Final Call for Talks & Tutorials (deadline: June 27)   Matthew Fluet (ICFP Publicity Chair)
• [TYPES/announce] Doctoral Programme at CICM'08 in Birmingham (Some Student Grants Available!)   Christoph Benzmueller
• [TYPES/announce] DOMAINS IX [ Call for Participation ]   Bernhard Reus
• [TYPES/announce] Domains IX [Final Call for Registration]   Bernhard Reus
• [TYPES/announce] E. W. Beth Dissertation Prize: 2008 call for submissions   Carlos Areces
• [TYPES/announce] ECOOP 2008 Call for Participation   David.Clarke at cwi.nl
• [TYPES/announce] ECOOP 2008 Call for Posters/Demos   David.Clarke at cwi.nl
• [TYPES/announce] ECOOP 2008 Call for Student Volunteers   Tobias Wrigstad
• [TYPES/announce] ECOOP 2009 Call for Papers   David.Clarke at cwi.nl
• [TYPES/announce] ECOOP 2009 Call for Tutorials   David.Clarke at cwi.nl
• [TYPES/announce] ECOOP 2009 Call for Workshops   David.Clarke at cwi.nl
• [TYPES/announce] Eight postdoc positions in Tallinn/Tartu   Tarmo Uustalu
• [TYPES/announce] ESOP '09: First Call for Papers   G. Castagna (bounces)
• [TYPES/announce] ESSLLI 2009 - Second Call for Course and Workshop Proposals   Richard Moot
• [TYPES/announce] ESSLLI 2009 Call for Proposals   Richard Moot
• [TYPES/announce] ESSLLI 2009 Deadline Extension and Final Call for Course/Workshop Proposals   Richard Moot
• [TYPES/announce] ESSLLI 2009: 2nd Call for Course and Workshop Proposals   Sophia Katrenko
• [TYPES/announce] ETAPS 2008 Call for Participation   Joost-Pieter Katoen
• [TYPES/announce] ETAPS 2009 Final Call for Papers   Joost-Pieter Katoen
• [TYPES/announce] ETAPS 2009 First Call for Papers   Joost-Pieter Katoen
• [TYPES/announce] ETAPS 2009 First Call for Papers   Joost-Pieter Katoen
• [TYPES/announce] EXPRESS'08 Call for Participation   Thomas Hildebrandt
• [TYPES/announce] EXPRESS'08: call for papers   Daniele Gorla
• [TYPES/announce] EXPRESS'08: preliminary call for papers   Daniele Gorla
• [TYPES/announce] Extended Deadline - ALTA 2008 CFP   Josh Fryman
• [TYPES/announce] Extended submission deadline of CRiSIS'2008   Ahmed Hadj Kacem
• [TYPES/announce] Extended submission deadline of CRiSIS'2008   Ahmed Hadj Kacem
• [TYPES/announce] FAST 2008: Formal Aspects of Security and Trust   Joshua D. Guttman
• [TYPES/announce] FCS-ARSPA-WITS'08: deadline extension   Lujo Bauer
• [TYPES/announce] FCS-ARSPA-WITS'08: Second Call for Papers   Lujo Bauer
• [TYPES/announce] Final (Revised, including Workshops) CfP for Verified Software: Theories, Tools, and Experiments 2008   Richard Paige
• [TYPES/announce] Final Call for Bids to Host the 22-th ESSLLI, 2010   Carlos Areces
• [TYPES/announce] Final call for papers: OOPS track at SAC 2009   Davide Ancona
• [TYPES/announce] Final Call for Participation Midlands Graduate School in Foundations of Computing Science   Eike Ritter
• [TYPES/announce] Final Call for Participation QEST2008   Nihal PEKERGIN
• [TYPES/announce] Final Call for Participation: FIT (Foundations of Interface Technologies) at ETAPS 2008   Ulrik Nyman
• [TYPES/announce] Final Call for Participation: VSTTE'08   paige at cs.york.ac.uk
• [TYPES/announce] FINAL CALL for Types 2008 Post-Proceedings - Deadline: October 15, 2008   Stefano Berardi
• [TYPES/announce] Final call: ITU PhD applications   Carsten Schuermann
• [TYPES/announce] Final CFP and extended deadline IFL 2008   Sven-Bodo Scholz
• [TYPES/announce] Final CFP: 1st Workshop on the Theory and Practice of Provenance (TaPP '09)   James Cheney
• [TYPES/announce] Final CFP: APLAS'08 (deadline: June 27)   Xinyu Feng
• [TYPES/announce] Final CfP: OOPSLA Workshop on Relationships and Assocations in Object Oriented Languages (RAOOL)   Stephen Nelson
• [TYPES/announce] First Call for Papers: DSL WC   Emir Pasalic
• [TYPES/announce] First Call for Papers: TASE 2009   CRACIUN F.
• [TYPES/announce] First Call for Participation TFP 2008, The Netherlands   Peter Achten
• [TYPES/announce] First Call for Participation TFP 2008, The Netherlands (correct early registration date)   Peter Achten
• [TYPES/announce] First CFP AICCSA 2009   Nathalie MITTON
• [TYPES/announce] First CFP: WWV 2009   demis at dimi.uniud.it
• [TYPES/announce] FLOPS 2008 Call for Participation   Jacques Garrigue
• [TYPES/announce] FM 2009, Call for Workshop Proposals   Arend Rensink
• [TYPES/announce] FMICS 2009: First Call for Papers   FMICS 2009 workshop chair
• [TYPES/announce] FMOODS/FORTE'09: 1st Call for Papers   Martin Steffen
• [TYPES/announce] FMWS 2008, CFP   Jens Chr. Godskesen
• [TYPES/announce] FMWS'08 - 2nd Call for papers   Massimo Merro
• [TYPES/announce] FMWS'08 Deadline extension   Massimo Merro
• [TYPES/announce] Formal Aspects of Security and Trust (FAST 2008) Submissions open   Joshua D. Guttman
• [TYPES/announce] formal methods hiring   Daniel Leivant
• [TYPES/announce] Formal Methods in Use at Galois, an IJCAR Tutorial: Call for Participation   Joe Hurd
• [TYPES/announce] Fortress Version 1.0 Released   Eric Allen
• [TYPES/announce] full profesor position   rene david
• [TYPES/announce] Full Professor position preannouncement   Christophe Fouqueré
• [TYPES/announce] Funded PhD Student (GTA) positions   Roy L. Crole
• [TYPES/announce] Funded PhD studentships at the University of Kent, UK   S.J.Thompson
• [TYPES/announce] GaLoP 2008 : Submission Deadline Extended   Dan Ghica
• [TYPES/announce] GLOBAN 2008: Early registration open   Aleksy Schubert
• [TYPES/announce] GPCE'08 Call for Participation   Emir Pasalic
• [TYPES/announce] GPCE'08 First Call For Papers   Emir Pasalic
• [TYPES/announce] GPCE'08 Second Call for Participation -- NEWS UPDATE --   Emir Pasalic
• [TYPES/announce] GPCE'08: Final Call for Papers   Emir Pasalic
• [TYPES/announce] Graph-Based Tool Contest: Call for Solutions   Arend Rensink
• [TYPES/announce] Graph-Based Tools Contest: Call for Cases   Arend Rensink
• [TYPES/announce] Haskell08: Call for papers (co-located w/ ICFP08)   Matthew Fluet (ICFP Publicity Chair)
• [TYPES/announce] Haskell08: Final Call for Papers (deadline: June 23)   Matthew Fluet (ICFP Publicity Chair)
• [TYPES/announce] IBM/NJPLS Programming Languages Day   David Walker
• [TYPES/announce] ICALP 2008: Call for Participation   Luca Aceto
• [TYPES/announce] ICALP 2008: Last Call for Papers   Luca Aceto
• [TYPES/announce] ICE'08: Deadlines Extended   Angelo Troina
• [TYPES/announce] ICE'08: Last Call for Papers   Angelo Troina
• [TYPES/announce] ICE'08: Second Call for Papers   Angelo Troina
• [TYPES/announce] ICFP08 Call for Participation   Matthew Fluet (ICFP Publicity Chair)
• [TYPES/announce] ICFP08 Final Call for posters   Matthew Fluet (ICFP Publicity Chair)
• [TYPES/announce] ICFP08 Final CFP   Matthew Fluet (ICFP Publicity Chair)
• [TYPES/announce] ICFP09 Announcement   Matthew Fluet (ICFP Publicity Chair)
• [TYPES/announce] ICFP09: Call for Workshop Proposals   Matthew Fluet (ICFP Publicity Chair)
• [TYPES/announce] ICFP2008 Call for Papers   Matthew Fluet (ICFP Publicity Chair)
• [TYPES/announce] ICFP2008 Call for Poster proposals   Matthew Fluet (ICFP Publicity Chair)
• [TYPES/announce] IEEE CSF 2008 call for participation   Andrei Sabelfeld
• [TYPES/announce] IEEE Worshop AUPC08 with ICPS08, July 6-10, 2008, Sorrento, Italy   Jaafar GABER
• [TYPES/announce] IMLA'08: Call for Papers   Aleks Nanevski
• [TYPES/announce] Internships at Sun Labs   Eric Allen
• [TYPES/announce] Intersection Types and Related Systems - special issue of Fundamenta Informaticae   Pawel Urzyczyn
• [TYPES/announce] Invitation to attend the Summer Schools in Logic and Learning   Alwen Tiu
• [TYPES/announce] ISMM 2008 Call for participation   R.E.Jones
• [TYPES/announce] ISMM 2008 Early registration closes 14 May   R.E.Jones
• [TYPES/announce] ISMM 2008: Call for papers deadline extended   R.E.Jones
• [TYPES/announce] ISMM 2008: Call for papers deadline extended (CORRECTED)   R.E.Jones
• [TYPES/announce] ITRS'08 - Call for Papers   Silvia Ghilezan
• [TYPES/announce] IWACO 2008 Call for Papers   David.Clarke at cwi.nl
• [TYPES/announce] Job announcement: 2 research engineers in dependable scientific computing & 1 PhD student in applied formal methods   Joseph Kiniry
• [TYPES/announce] LASER Summer School on Software Engineering   Martín Nordio
• [TYPES/announce] Last call for papers: ACM SAC 09 Software Verification and Testing   Tamara.Rezk at sophia.inria.fr
• [TYPES/announce] Last Call for Papers: Advances in Modal Logic   Carlos Areces
• [TYPES/announce] Last call for papers: ESHOL workshop at IJCAR 2008   Florian Rabe
• [TYPES/announce] last call for papers: FTfJP 2008   Marieke Huisman
• [TYPES/announce] LATA 2009: 2nd call for papers   carlos.martin at urv.cat
• [TYPES/announce] LATA 2009: call for papers   carlos.martin at urv.cat
• [TYPES/announce] LATA 2009: final call for papers   carlos.martin at urv.cat
• [TYPES/announce] LATA 2009: last submission deadline extension to October 31 !!!   carlos.martin at urv.cat
• [TYPES/announce] LATA 2009: submission deadline extended to October 29!   carlos.martin at urv.cat
• [TYPES/announce] LC08: SECOND CALL FOR PAPERS AND PARTICIPATION   Logic Colloquium 2008
• [TYPES/announce] LC08: THIRD CALL FOR PAPERS AND PARTICIPATION   Logic Colloquium 2008
• [TYPES/announce] Lectureship at Nottingham   Thorsten Altenkirch
• [TYPES/announce] Lectureship at Sussex   Bernhard Reus
• [TYPES/announce] LFMTP'08 call for papers   Andreas Abel
• [TYPES/announce] LFMTP'08: 2nd Call for Papers   Andreas Abel
• [TYPES/announce] LSFA 2008 - First call for papers   eduardo at sol.lifia.info.unlp.edu.ar
• [TYPES/announce] LSFA'08 - 2nd call for papers   Elaine Pimentel
• [TYPES/announce] LSFA'08 - last call for papers -- deadline extended!   Elaine Pimentel
• [TYPES/announce] Master course : "Foundations of Computer Science : Design and Validation" in Grenoble, France   Radu Iosif
• [TYPES/announce] MeCBIC 2008 - last Call for Papers   Aman Bogdan
• [TYPES/announce] MFPS 24 Call for Participation   Benjamin Pierce
• [TYPES/announce] MFPS Final Call   Benjamin Pierce
• [TYPES/announce] Midlands Graduate School 2008   Eike Ritter
• [TYPES/announce] ML Workshop 2008 call for papers   Eijiro Sumii
• [TYPES/announce] ML Workshop 2008: 2nd call for papers   Eijiro Sumii
• [TYPES/announce] MPC 2008: LAST CALL FOR PARTICIPATION   Christine Paulin
• [TYPES/announce] MPC 2008: SECOND CALL FOR PARTICIPATION   Christine Paulin
• [TYPES/announce] MSFP 2008: call for participation   Conor McBride
• [TYPES/announce] MSFP call for papers   Venanzio Capretta
• [TYPES/announce] MSFP deadline extension   Venanzio Capretta
• [TYPES/announce] MSFP second call for papers   Venanzio Capretta
• [TYPES/announce] MTCoord 2008 - CFP   Isabelle Linden
• [TYPES/announce] MTCoord 2008 - cfp   Isabelle Linden
• [TYPES/announce] New Association Computability in Europe formed   S B Cooper
• [TYPES/announce] new book announcement   Apostolos Syropoulos
• [TYPES/announce] NEW DEADLINE: 27. March, Logics for Agents and Mobility (LAM'08)   koehler at informatik.uni-hamburg.de
• [TYPES/announce] NordSec 2008 - Final Call for Papers   Christian Probst
• [TYPES/announce] NordSec 2008 - First Call For Papers   Christian Probst
• [TYPES/announce] NordSec 2008 - Second Call For Papers   Christian Probst
• [TYPES/announce] NWPT'08, Tallinn, 2nd call for contributions   Tarmo Uustalu
• [TYPES/announce] NWPT'08, Tallinn, 2nd call for contributions   Tarmo Uustalu
• [TYPES/announce] NWPT'08, Tallinn, call for contributions   Tarmo Uustalu
• [TYPES/announce] OCaml Summer Project 2008   Yaron Minsky
• [TYPES/announce] One PhD position in Software Verification   Zijiang (James) Yang
• [TYPES/announce] One PhD studentship and one postdoctoral position at the School of Computer Science, Reykjavik University   Luca Aceto
• [TYPES/announce] OOPS track at SAC 2009: extended deadline   Davide Ancona
• [TYPES/announce] Open PhD or PostDoc position in Duisburg   Barbara Koenig
• [TYPES/announce] Open PhD position in Computer System Security in Marseille   Clara Bertolissi
• [TYPES/announce] Oregon Programming Languages Summer School   Yannis Smaragdakis
• [TYPES/announce] Oregon Programming Languages Summer School [Extended registration deadline]   Matthew Fluet
• [TYPES/announce] Paper announcement: Intersection and union types for lambdabar-mu-mutilde   Steffen van Bakel
• [TYPES/announce] Paper announcement: Mechanizing the Metatheory of LF   James Cheney
• [TYPES/announce] Paper on Types for Conversations   Hugo Torres Vieira
• [TYPES/announce] PEPM'09 -- Call for Participation   G. Puebla and G. Vidal
• [TYPES/announce] Ph.D. school on Logics and Semantics of State   Lars Birkedal
• [TYPES/announce] PhD or PostDoc opening for types research in Dresden, Germany   Janis Voigtlaender
• [TYPES/announce] PhD position at LIFO, in Foundations or Applications of Security   David Rajchenbach-Teller
• [TYPES/announce] PhD position at University of Strathclyde, Glasgow   Patricia Johann
• [TYPES/announce] PhD position at University of Strathclyde, Glasgow   Patricia.Johann at cis.strath.ac.uk
• [TYPES/announce] PhD position at University of Strathclyde, Glasgow -- additional opportunity   Patricia Johann
• [TYPES/announce] PhD position in Bologna   Simone Martini
• [TYPES/announce] PhD Positions in Formal Program Verification   Bernhard Reus
• [TYPES/announce] PhD Positions in Language-based Security at Chalmers   Andrei Sabelfeld
• [TYPES/announce] PhD Positions in Language-based Security at Chalmers   Andrei Sabelfeld
• [TYPES/announce] PhD Positions in Program and Model Analysis (TUM, LMU)   Tobias Nipkow
• [TYPES/announce] PhD Program at IMT Lucca   Marzia Buscemi
• [TYPES/announce] PhD Research Assistantship at Western Michigan University   Zijiang (James) Yang
• [TYPES/announce] PhD scholarships and post-doc positions at LBT.IMM.DTU.DK   Flemming Nielson
• [TYPES/announce] PhD Scholarships at Ca' Foscari University, Venice   Michele Bugliesi
• [TYPES/announce] PhD studentships at Sussex   Bernhard Reus
• [TYPES/announce] PhD, Postdoc and Technical Assistant openings in Formal Methods and Tools @ Uni Twente   Arend Rensink
• [TYPES/announce] Philosophy and Foundations of Mathematics - Epistemological and Ontological Aspects   Peter Dybjer
• [TYPES/announce] PLACES 2009 Call For Papers   Simon Gay
• [TYPES/announce] PLACES'08 - 2nd Call For Papers   Vasco T. Vasconcelos
• [TYPES/announce] PLACES'08 - Call for papers   Vasco T. Vasconcelos
• [TYPES/announce] PLAN-X 09: 1st call for papers   Gavin Bierman
• [TYPES/announce] PLAN-X 09: 2nd call for papers   Gavin Bierman
• [TYPES/announce] PLAN-X 09: revised submission dates   Gavin Bierman
• [TYPES/announce] PLMMS - last call for papers   Jacques Carette
• [TYPES/announce] POPL 2009 accepted papers   Benjamin Pierce
• [TYPES/announce] POPL 2009 Call for Papers   Sorin Lerner
• [TYPES/announce] POPL 2009 Call for Participation   Sorin Lerner
• [TYPES/announce] POPL 2009 Call for Workshop and Co-located Event Proposals   Yitzhak Mandelbaum
• [TYPES/announce] Position opening at the University of Bologna   Andrea Asperti
• [TYPES/announce] Post-doc position at FAST group, Univ. Minho, Portugal   Jorge Sousa Pinto
• [TYPES/announce] Post-doc positions at Universidad Complutense Madrid   Narciso Martí Oliet
• [TYPES/announce] Post-Doctoral Position in Formal Approaches to Model-Driven Engineering   KELSEN Pierre
• [TYPES/announce] Post-doctorate position in Programming Language Design   David Rajchenbach-Teller
• [TYPES/announce] Postdoc in static analysis at the University of Maryland   Jeff Foster
• [TYPES/announce] postdoc or research engineer on "model technology for embedded systems", Verimag, Grenoble   Susanne Graf
• [TYPES/announce] Postdoc position at the Australian National University   Alwen Tiu
• [TYPES/announce] Postdoc position at University of Aarhus   Klaus Ostermann
• [TYPES/announce] Postdoc position available at VERIMAG, France   Radu Iosif
• [TYPES/announce] PostDoc Position in Program Verification   Bernhard Reus
• [TYPES/announce] Postdoc/PhD student positions in Tallinn in FP6 project MOBIUS   Tarmo Uustalu
• [TYPES/announce] Postdoc: Coalgebraic Logics at Imperial   Dirk Pattinson
• [TYPES/announce] Postdoctoral position in Marseilles   Laurent Regnier
• [TYPES/announce] Preliminary CFP: 17th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'08)   demis at dimi.uniud.it
• [TYPES/announce] Preliminary CFP: 4th Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'08)   demis at dimi.uniud.it
• [TYPES/announce] Proof-Carrying Code workshop PCC 2008   Ian Stark
• [TYPES/announce] QICS Workshop on "Foundational Structures for Quantum Information and Computation   Bob Coecke
• [TYPES/announce] questiuon about strong normalization in untyped lambda-calculus   Andrei Popescu
• [TYPES/announce] Release of Version 2 of Teyjus --- A Lambda Prolog Implementation   Xiaochu Qi
• [TYPES/announce] Reminder: TGC 2008 - Call for Papers   Christos Kaklamanis
• [TYPES/announce] Reminder: TGC 2008 - Call for Papers   Christos Kaklamanis
• [TYPES/announce] Review of Symbolic Logic (RSL)   Patrick Blackburn
• [TYPES/announce] Royal Society special issue - From computers to ubiquitous computing - by 2020   Felicity Davie
• [TYPES/announce] Russel'08, final call   Ulrich Berger
• [TYPES/announce] SAS 2008 - Call for participation   German Vidal
• [TYPES/announce] SAS 2008 - Final CFP   German Vidal
• [TYPES/announce] SAS 2008 Third Call for Papers   German Vidal
• [TYPES/announce] SASyLF educational proof assistant   Jonathan Aldrich
• [TYPES/announce] School LERNET 2008 *** Deadline extension for registration ***   Alberto Pardo
• [TYPES/announce] Second Call for Papers TFP 2008, The Netherlands   Peter Achten
• [TYPES/announce] Second Call for Papers: ATMCS III, Paris France July 7-11, 2008   Sanjeevi Krishnan
• [TYPES/announce] Second Call for Papers: PLAS 2008   PLAS2008
• [TYPES/announce] Second Call for Participation TFP 2008, The Netherlands   Peter Achten
• [TYPES/announce] Second CFP - ECOOP'08 Doctoral Symposium and PhD Students Workshop   Hills, Mark A
• [TYPES/announce] Second CFP of SymCon'08   benhamou
• [TYPES/announce] Second CfP: ACP4IS at AOSD 2008   Daniel Lohmann
• [TYPES/announce] Second CFP: Workshop on the Theory and Practice of Provenance (TaPP '09)   James Cheney
• [TYPES/announce] Small Types Workshop in Swansea   Ulrich Berger
• [TYPES/announce] Small Workshop: DEPENDENTLY TYPED PROGRAMMING   Thorsten Altenkirch
• [TYPES/announce] SOAP track for SAC CfP   Ivan Lanese
• [TYPES/announce] SPIN 2008: Call for Participation   Rupak Majumdar
• [TYPES/announce] SPIN 2008: Final Call for Papers   Rupak Majumdar
• [TYPES/announce] SPIN 2009 Call for Papers   Corina Pasareanu
• [TYPES/announce] Subject: GALOP@ETAPS'08: Call for participation   Russ Harmer
• [TYPES/announce] Submission deadline March 31 for QUANTUM PHYSICS AND LOGIC & DEVELOPMENTS IN COMPUTATIONAL MODELS, Reykjavik, Iceland, July 12-13, 2008   Bob Coecke
• [TYPES/announce] Summer School and Conference "Mathematics, Algorithms, and Proofs"   Jesper Carlström
• [TYPES/announce] Symposium on Automatic Program Verification - cfp   Martín Nordio
• [TYPES/announce] Symposium on Logical Foundations of Computer Science (LFCS 2009) Florida, January 3-6, 2009   Sergei Artemov
• [TYPES/announce] Symposium on Practical Aspects of Declarative Languages (PADL'09)   Gopal Gupta
• [TYPES/announce] System Announcement: ProofWeb   Freek Wiedijk
• [TYPES/announce] TGC 2008 - Call for Papers   Christos Kaklamanis
• [TYPES/announce] Third Call For Papers TFP 2008, The Netherlands (deadline extended march 10 2008)   Peter Achten
• [TYPES/announce] Third Call for Participation AFP 2008   Peter Achten
• [TYPES/announce] Third Call for Participation AFP 2008 (correct date early registration)   Peter Achten
• [TYPES/announce] Three papers.   Marcelo Fiore
• [TYPES/announce] TLCA '09 : Second Call for Papers   Luca Paolini
• [TYPES/announce] TLCA 09 - Call for Paper   Luca Paolini
• [TYPES/announce] TLDI 2009 Call for Papers   Amal Ahmed
• [TYPES/announce] TLDI 2009 Call for Papers   Amal Ahmed
• [TYPES/announce] TLDI 2009: call for papers   Amal Ahmed
• [TYPES/announce] TOOLS Europe submission deadline extended to Feb 14   Philippe.LAHIRE at unice.fr
• [TYPES/announce] Twelf Tutorial (Call for participation)   Robert J. Simmons
• [TYPES/announce] Two 5-year research fellowships at University of Minho   José Carlos Espírito Santo
• [TYPES/announce] Two Lectureships in Nottingham   Graham Hutton
• [TYPES/announce] Two PhD Positions (Secure Software) at K.U Leuven   Dave Clarke
• [TYPES/announce] Two PhD studentships   Matthew Hennessy
• [TYPES/announce] TYPES 2008 Volume: EXTENDED DEADLINE to Wednesaday, October 15, 2008   Stefano Berardi
• [TYPES/announce] Types Considered Harmful   Benjamin Pierce
• [TYPES/announce] University of Oslo: PhD Position in Formal Methods. Application Deadline June 13!   Peter Csaba Ølveczky
• [TYPES/announce] Vacant PhD Scholarships at IT University of Copenhagen   Andrzej Wąsowski
• [TYPES/announce] Winter School on Verification of OO Programs, Estonia, 25-29 Jan 2009   Tarmo Uustalu
• [TYPES/announce] WMM'08 call for papers   Karl Crary
• [TYPES/announce] WMM'08 call for papers (reminder)   Karl Crary
• [TYPES/announce] WMM'08 call for participation   Karl Crary
• [TYPES/announce] WoLLIC 2008 - Call for Papers   ruy at cin.ufpe.br
• [TYPES/announce] WoLLIC 2008 - Call for Participation   ruy at cin.ufpe.br
• [TYPES/announce] WoLLIC 2008 - DEADLINE APPROACHING: Feb 24th   ruy at cin.ufpe.br
• [TYPES/announce] WoLLIC 2009 - Call for Papers   Ruy de Queiroz
• [TYPES/announce] Workshop DOMAINS IX   Bernhard Reus
• [TYPES/announce] WORKSHOP "STRUCTURAL PROOF THEORY" November 19-21 2008 PARIS   Stefano Berardi
• [TYPES/announce] Workshop on Generic Programming: Call for Participation (co-located w/ ICFP08)   Matthew Fluet (ICFP Publicity Chair)
• [TYPES/announce] Workshop on Generic Programming: Call for Papers (co-located w/ ICFP08)   Matthew Fluet (ICFP Publicity Chair)
• [TYPES/announce] Workshops/tutorials on generative prog. and component eng.   Ralf Laemmel
• [TYPES/announce] WRS 2008 - 2nd CFP   aart.middeldorp at uibk.ac.at
• [TYPES/announce] WRS 2008 - Call for Participation   Aart Middeldorp
• [TYPES/announce] WRS 2008 final CFP (extended deadline)   aart.middeldorp at uibk.ac.at
• [TYPES/announce] WS-FM 2008 (Sept. 4-5): Call for Participation   Roberto Bruni
• [TYPES/announce] WS-FM 2008 - First Call for Papers   Roberto Bruni
• [TYPES/announce] WS-FM 2008: Final CfP (extended deadline May 28th)   Roberto Bruni

Last message date: Thu Dec 4 14:09:38 EDT 2008
Archived on: Thu Dec 4 14:38:52 EDT 2008

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