2007 Archives by author
Starting: Tue Jan 2 05:52:10 EDT 2007
Ending: Sat Dec 29 04:06:20 EDT 2007
Messages: 393
- [TYPES/announce] CONCUR 08: call for papers
CONCUR 08
- [TYPES/announce] CFP: Foundations of Interactive Computation
FINCO 2007
- [TYPES/announce] final CFP: Foundations of Interactive Computation
FINCO 2007
- [TYPES/announce] ICALP 2008: Second Call for Papers
Luca Aceto
- [TYPES/announce] First Call for Papers TFP 2008, The Netherlands
Peter Achten
- [TYPES/announce] ICTAC 2007: Call for Papers
Bernhard K. Aichernig
- [TYPES/announce] ICTAC 2007: Final call for papers
Bernhard K. Aichernig
- [TYPES/announce] Call for Book Chapters: Process Algebra/Algebraic Languages/Specification-based AD
Michael Alexander
- [TYPES/announce] Small Workshop: DEPENDENTLY TYPED PROGRAMMING
Thorsten Altenkirch
- [TYPES/announce] FOSSACS final Call for Papers
Roberto Amadio
- [TYPES/announce] Call for papers: OOPS track at SAC 2008
Davide Ancona
- [TYPES/announce] Extended submission deadline: OOPS track at SAC 2008
Davide Ancona
- [TYPES/announce] CFP: International Workshop on Hybrid Logic 2007 (HyLo 2007)
Carlos Areces
- [TYPES/announce] EUROCORES Programme LogICCC - CfP
Carlos Areces
- [TYPES/announce] CFP: Workshop Logic, Rationality and Interaction, Beijing, China
Carlos Areces
- [TYPES/announce] E. W. Beth Dissertation Prize 2007: Extended Deadline
Carlos Areces
- [TYPES/announce] ESSLLI 2008: Call for Course and Workshop Proposals
Carlos Areces
- [TYPES/announce] CFP: 5th Worskhop on "Methods for Modalities" (M4M-5)
Carlos Areces
- [TYPES/announce] M4M-5 Call for Papers
Carlos Areces
- [TYPES/announce] M4M-5: EasyChair Submission Page Now Open
Carlos Areces
- [TYPES/announce] M4M-5: Deadline Extension, 15th of September
Carlos Areces
- [TYPES/announce] Call For Papers TGC'07
Gilles Barthe
- [TYPES/announce] TYPES 2008 TORINO - CALL FOR TALKS AND REGISTRATION
Stefano Berardi
- [TYPES/announce] CL&C 2008 - 1st Call for Papers
Ulrich Berger
- [TYPES/announce] Marktoberdorf Summer School 2007 on Formal Logical Methods for System Security and Correctness
Stefan Berghofer
- [TYPES/announce] Research position in the area of types and verification at LMU Munich
Lennart Beringer
- [TYPES/announce] Assoc. Professorship Opening
Lars Birkedal
- [TYPES/announce] positions at the IT University of Copenhagen
Lars Birkedal
- [TYPES/announce] Ph.D. scholarships at the IT University of Copenhagen
Lars Birkedal
- [TYPES/announce] Assoc. Prof. position at IT University of Copenhagen
Lars Birkedal
- [TYPES/announce] TPR'07 first call for papers
Frederic Blanqui
- [TYPES/announce] One-year INRIA post-doctoral position
Frederic Blanqui
- [TYPES/announce] INRIA PhD position
Frederic Blanqui
- [TYPES/announce] Last Call for Papers TPR'07 Deadline April 13th
Frederic Blanqui
- [TYPES/announce] INRIA PhD position
Frederic Blanqui
- [TYPES/announce] TPR'07 Call for participation
Frederic Blanqui
- [TYPES/announce] Workshop on ICC
Pierre Boudes
- [TYPES/announce] A paper on "Fair cooperative multithreading"
Gerard Boudol
- [TYPES/announce] CFP: Formal Techniques for Java-like Programs (FTfJP 2007)
John Tang Boyland
- [TYPES/announce] RDP'07 call for participation
Antonio Bucciarelli
- [TYPES/announce] RDP'07 Student Travel Grants
Antonio Bucciarelli
- [TYPES/announce] RDP'07 call for participation
Antonio Bucciarelli
- [TYPES/announce] Concur 2007 Final CFP
Luís Caires
- [TYPES/announce] Concur 2007 Final CFP
Luís Caires
- [TYPES/announce] CONCUR 07: Call For Participation
Luís Caires
- [TYPES/announce] Barendregt 60: last announcement
Venanzio Capretta
- [TYPES/announce] Programming Languages for Mechanized Mathematics Workshop
Jacques Carette
- [TYPES/announce] Position available at University Paris 7
Giuseppe Castagna
- [TYPES/announce] paper on "State-oriented noninterference for CCS"
Ilaria Castellani
- [TYPES/announce] ICFP07 Call for Papers
Matthew Fluet (ICFP Publicity Chair)
- [TYPES/announce] ICFP07 Final CFP & Note from the Program Chair
Matthew Fluet (ICFP Publicity Chair)
- [TYPES/announce] ICFP Programming Contest 2007
Matthew Fluet (ICFP Publicity Chair)
- [TYPES/announce] ICFP07 Accepted Papers
Matthew Fluet (ICFP Publicity Chair)
- [TYPES/announce] ICFP07 Call for Participation
Matthew Fluet (ICFP Publicity Chair)
- [TYPES/announce] ICFP07 Reminder: registration deadline
Matthew Fluet (ICFP Publicity Chair)
- [TYPES/announce] Workshop on Principles of Provenance
James Cheney
- [TYPES/announce] Call for Participation: Workshop on Principles of Provenance
James Cheney
- [TYPES/announce] IFL 2007: Symposium on Implementation and Application of Functional Languages
Olaf Chitil
- [TYPES/announce] Call for presentations at PLID 2007
David Clark
- [TYPES/announce] reminder: call for presentations at PLID 2007
David Clark
- [TYPES/announce] PLID 2007 Special issue of MSCS
David Clark
- [TYPES/announce] ECOOP 2008 Call for Papers
Dave Clarke
- [TYPES/announce] CMCS 2008: First call for papers
Clemens
- [TYPES/announce] Categorical Quantum Logic in Oxford, August 11-12
Bob Coecke
- [TYPES/announce] Coalgebraic and Categorical Quantum Logic in Oxford
Bob Coecke
- [TYPES/announce] Types Summer School 07: Deadline for grants approaching
Claudio Sacerdoti Coen
- [TYPES/announce] USMC'07: Final call for talks and registration
Jon Cohen
- [TYPES/announce] CfP: Dynamic Languages Symposium 2007
William Cook
- [TYPES/announce] CiE 2007 - Call for informal presentations
S B Cooper
- [TYPES/announce] CiE 2007 - Call for Participation
S B Cooper
- [TYPES/announce] CiE 2007 - Final call for Participation
S B Cooper
- [TYPES/announce] CiE 2008 - 1st Call for Papers
S B Cooper
- [TYPES/announce] TAMC 2008 - Final call for papers
S B Cooper
- [TYPES/announce] CiE 2008 in Athens - 2nd Call for Papers
S B Cooper
- [TYPES/announce] TAMC 2008 - extension of deadline for paper submission
S B Cooper
- [TYPES/announce] CFP RDP Workshop Proof Assistants and Types in Education
Pierre Courtieu
- [TYPES/announce] CFP RDP Workshop Proof Assistants and Types in Education
Pierre Courtieu
- [TYPES/announce] 12-18 months post-doc position in CEDRIC, CNAM Paris
Pierre Courtieu
- [TYPES/announce] GRADUATE TEACHING ASSISTANT (PhD) - Leicester, UK
Roy L. Crole
- [TYPES/announce] Lectureship in Computer Science
Roy L. Crole
- [TYPES/announce] 2 events related to JY Girard's 60th birthday
Pierre-Louis Curien
- [TYPES/announce] Position announcement in Paris 7 University
Pierre-Louis Curien
- [TYPES/announce] Foundation SMP: a new postdoc (et al.) program in Paris
Pierre-Louis Curien
- [TYPES/announce] Giuseppe Longo's symposium
Pierre-Louis Curien
- [TYPES/announce] summer school annoncement
Pierre-Louis Curien
- [TYPES/announce] Journées Jean-Yves Girard (FREE REGISTRATION OPEN)
Pierre-Louis Curien
- [TYPES/announce] Journees Jean-Yves Girard
Pierre-Louis Curien
- [TYPES/announce] Postodoc program in Paris (Foundation SMP)
Pierre-Louis Curien
- [TYPES/announce] "CDR60" Colloquium in Rome - Joint event with ICTCS 2007
Ferruccio Damiani
- [TYPES/announce] CDR60 Colloquium (Early Registration by September 15, 2007)
Ferruccio Damiani
- [TYPES/announce] postdoc position available at ENS Lyon
Daniel.Hirschkoff at ens-lyon.fr
- [TYPES/announce] postdoc position available at ENS Lyon
Daniel.Hirschkoff at ens-lyon.fr
- [TYPES/announce] Profesor position in math and computer science
René David
- [TYPES/announce] post-doc position
René David
- [TYPES/announce] Post-Doctoral Research Fellow in IT Security at CS, Concordia University, Montreal, Canada
Pr. Dr. M. Debbabi
- [TYPES/announce] CFP: 3rd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'07)
Demis
- [TYPES/announce] 1st CFP: 3rd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'07)
Demis
- [TYPES/announce] CFP: Aspect-Oriented Techniques to E-Service Environments (AOTE-S) 2007
Gregorio Díaz Descalzo
- [TYPES/announce] DCM '07 Call for Papers
Mariangiola Dezani
- [TYPES/announce] AHA 2007: Call for Participation
Dino Distefano
- [TYPES/announce] The 2007 ACM SIGPLAN Workshop on ML
Derek Dreyer
- [TYPES/announce] Final CFP: The 2007 ACM SIGPLAN Workshop on ML
Derek Dreyer
- [TYPES/announce] 2007 ML Workshop deadline extended
Derek Dreyer
- [TYPES/announce] Call for Participation: 2007 Workshop on ML
Derek Dreyer
- [TYPES/announce] 14 month position Imperial College London
Sophia Drossopoulou
- [TYPES/announce] CFP: European Symposium on Programming (ESOP)
Sophia Drossopoulou
- [TYPES/announce] CfP: Scheme and Functional Programming 2007
Danny Dubé
- [TYPES/announce] CfParticipation: Scheme and FP 2007
Danny Dubé
- [TYPES/announce] Jean-Yves Girard's Festschrift
Thomas Ehrhard
- [TYPES/announce] CFP: PLOS '07: 4th Workshop on Programming Languages and Operating Systems
Eric Eide
- [TYPES/announce] 2nd CFP: PLOS '07: 4th Workshop on Programming Languages and Operating Systems
Eric Eide
- [TYPES/announce] ECOOP 2007 - Call for Student Volunteers
Erik Ernst
- [TYPES/announce] CSL07 (11-15 September, 2007, Lausanne): Call for papers
Alessandro Facchini
- [TYPES/announce] CSL07: last call for papers
Alessandro Facchini
- [TYPES/announce] CADE 2007 2nd Call for Papers
Amy Felty
- [TYPES/announce] Call for Papers SecReT 2007
Maribel Fernandez
- [TYPES/announce] lecturer position at King's College London
Maribel Fernandez
- [TYPES/announce] An operational semantics for Scheme, in PLT Redex
Robby Findler
- [TYPES/announce] slides on a mathematical theory of substitution
Marcelo Fiore
- [TYPES/announce] CFP: International Symposium on Functional and Logic Programming (FLOPS 2008)
Jacques Garrigue
- [TYPES/announce] FLOPS 2008 second Call for Papers
Jacques Garrigue
- [TYPES/announce] [Last CFP] FLOPS 2008
Jacques Garrigue
- [TYPES/announce] Post-doc position in Glasgow
Simon Gay
- [TYPES/announce] Call for Papers: RDP Workshop PATE
Herman Geuvers
- [TYPES/announce] Call for Participation: Henk Barndregt's 60th birthday symposium
Herman Geuvers
- [TYPES/announce] GALOP III @ ETAPS 2008 : Call For Papers/Abstracts
Dan Ghica
- [TYPES/announce] Call for participation and abstracts: BCTCS, Oxford, 2-5 Apr
Jeremy Gibbons
- [TYPES/announce] PhD position at INRIA
Gilles.Barthe at sophia.inria.fr
- [TYPES/announce] Deadline extended for TGC07
Gilles.Barthe at sophia.inria.fr
- [TYPES/announce] TGC'07 - Call for Participation
Gilles.Barthe at sophia.inria.fr
- [TYPES/announce] SecCo'07: preliminary call for papers
Daniele Gorla
- [TYPES/announce] SecCo'07: call for papers
Daniele Gorla
- [TYPES/announce] SecCo'07: final call for papers
Daniele Gorla
- [TYPES/announce] SecCo'07: deadline extended!
Daniele Gorla
- [TYPES/announce] Call for Papers: SPIN 2007 with CAV in Berlin
Susanne Graf
- [TYPES/announce] 1st Call for Papers: ATVA 2007
Susanne Graf
- [TYPES/announce] Call for Papers : FORMATS'07
Susanne Graf
- [TYPES/announce] Call for Papers: ATVA 2007
Susanne Graf
- [TYPES/announce] ATVA 2007: deadline extension to May 21
Susanne Graf
- [TYPES/announce] Call for participation: Between Control and Software --- Grenoble --- 28/09/2007
Susanne Graf
- [TYPES/announce] FMCO 2007: Call for participation
Susanne Graf
- [TYPES/announce] ARTIST2 meeting on IMA (Integrated Modular Avionics) -- November 12-13, Rome
Susanne Graf
- [TYPES/announce] Call for Papers: SafeCert with ETAPS 2008
Susanne Graf
- [TYPES/announce] lCall for Papers: TFIT 2008
Susanne Graf
- [TYPES/announce] PhD position at INRIA Lorraine,,Nancy, France
de Groote
- [TYPES/announce] Call-for-contributions: PASTE 2007
Dan Grossman
- [TYPES/announce] Summer School on Language-Based Techniques for Integrating with the External World
Dan Grossman
- [TYPES/announce] Summer School on Language-Based Techniques for Integrating with the External World
Dan Grossman
- [TYPES/announce] Logiweb
Klaus Ebbe Grue
- [TYPES/announce] PLAN-X 2007: Last Call for Participation
Torsten Grust
- [TYPES/announce] Normalisation Control in Deep Inference Via Atomic Flows
Alessio Guglielmi
- [TYPES/announce] PADL 2008: Call for Papers
Gopal Gupta
- [TYPES/announce] PADL 2008: Call for Papers
Gopal Gupta
- [TYPES/announce] PADL'08: Call for Participation (Early Reg. Deadline: Dec 13)
Gopal Gupta
- [TYPES/announce] Submissions welcome for CC 2008 (Compiler Construction)
Prof. Laurie HENDREN
- [TYPES/announce] CFP: Verification and Analysis of Multi-threaded Java-like Programs
Christian Haack
- [TYPES/announce] Call for Participation: ECOOP 2007 in Berlin
Stephan Herrmann
- [TYPES/announce] PLAS 2007: 2nd call for papers (publication options changed)
Michael Hicks
- [TYPES/announce] WRLA'08 - Final CFP
Hills, Mark A
- [TYPES/announce] New Book - Programming in Haskell
Graham Hutton
- [TYPES/announce] Summer School LERNET 2008 - Preliminary Announcement
Alberto Pardo - INCO
- [TYPES/announce] Summer School LERNET 2008 - Call for Participation
Alberto Pardo - INCO
- [TYPES/announce] ICALP 2008, Reykjavik: Call for Workshops
Icalp08
- [TYPES/announce] First Call for Papers --- ICALP 2008
Icalp08
- [TYPES/announce] FOOL2008 Call for Papers
Atsushi Igarashi
- [TYPES/announce] IEEE GLOBECOM workshop, SUPE07, 30 November 2007, Washington DC
Jaafar.Gaber at utbm.fr
- [TYPES/announce] IFM2007 Final call for contributions
Jeremy.Gibbons at comlab.ox.ac.uk
- [TYPES/announce] Integrated Formal Methods 2007: Call for participation
Jeremy.Gibbons at comlab.ox.ac.uk
- [TYPES/announce] PhD student on Real-life datatype-generic programming
Johan Jeuring
- [TYPES/announce] Oslo: PhD Position in Formal Methods for Sensor Networks
Einar Broch Johnsen
- [TYPES/announce] CfP: Nordic Workshop on Programming Theory (NWPT'07)
Einar Broch Johnsen
- [TYPES/announce] CfP: Nordic Workshop on Programming Theory (NWPT'07)
Einar Broch Johnsen
- [TYPES/announce] Associate Professor Position in Formal Methods at the University of Oslo, Norway
Einar Broch Johnsen
- [TYPES/announce] MKM 2007 paper submission deadline approaching
Fairouz Kamareddine
- [TYPES/announce] ETAPS 2008: Call for tutorial proposals
Joost-Pieter Katoen
- [TYPES/announce] ETAPS'09 Call for Satellite Events
Joost-Pieter Katoen
- [TYPES/announce] ESSLLI'08: Call for Course Proposals
Sophia Katrenko
- [TYPES/announce] Haskell Workshop Call for Papers
Gabriele Keller
- [TYPES/announce] 1st CFP - spec. issue of MCS on Management of Mathematical Knowledge (deadline 15 December 2007)
Manfred Kerber
- [TYPES/announce] 2nd CFP - spec. issue of MCS on Management of Mathematical Knowledge (deadline 15 December 2007)
Manfred Kerber
- [TYPES/announce] Final CFP - spec. issue of MCS on Management of Mathematical Knowledge (deadline 15 December 2007)
Manfred Kerber
- [TYPES/announce] CFP: Systems Software Verification 2008
Gerwin Klein
- [TYPES/announce] 2nd CFP: Systems Software Verification 2008
Gerwin Klein
- [TYPES/announce] Deadline Extension: SSV'08
Gerwin Klein
- [TYPES/announce] Call for Papers: TOOLS Europe 2008
Philippe Lahire
- [TYPES/announce] CFP: Foundations of Aspect-Oriented Languages FOAL 2007
Gary T. Leavens
- [TYPES/announce] CFP FOAL 2008 workshop on foundations of aspect-oriented languages
Gary T. Leavens
- [TYPES/announce] POPL Call for Workshops and co-located event Proposals
Sorin Lerner
- [TYPES/announce] POPL 08 Call for Papers
Sorin Lerner
- [TYPES/announce] POPL 2008 Call For Participation
Sorin Lerner
- [TYPES/announce] MTCoord 2007 CFP
Isabelle Linden
- [TYPES/announce] MTCoord 2007 - CFP extended deadline
Isabelle Linden
- [TYPES/announce] [CfP] ACP4IS at AOSD 2008
Daniel Lohmann
- [TYPES/announce] IMAGINE 2007 - Call For Participation
Nathalie MITTON
- [TYPES/announce] PhD position available : Building reliable programs in computational geometry and certifying them with Coq
Nicolas Magaud
- [TYPES/announce] SPIN 2008: First Call for Papers
Rupak Majumdar
- [TYPES/announce] Deadline extension: POPL Call for Event Proposals
Yitzhak Mandelbaum
- [TYPES/announce] PLAN-X 2008 first call for papers
Ioana Manolescu
- [TYPES/announce] Assistant Professor Position in IST Lisbon, Deadline 18 June
Ana Almeida Matos
- [TYPES/announce] CFP: Higher-Order Rewriting 2007
Ralph Matthes
- [TYPES/announce] 2nd CFP: Higher-Order Rewriting 2007
Ralph Matthes
- [TYPES/announce] HOR 2007 Call for Participation (Higher-Order Rewriting 2007)
Ralph Matthes
- [TYPES/announce] 10/12 months post-doc position in CerPAN project
Micaela Mayero
- [TYPES/announce] CNRS postdoctoral position in Paris
Paul-André Melliès
- [TYPES/announce] post-doc position in Paris
Stephan Merz
- [TYPES/announce] Special Issue of Formal Aspects of Computing: Formal Modeling and Verification of Critical Systems
Stephan Merz
- [TYPES/announce] TYPES 2007 Announce
Marino Miculan
- [TYPES/announce] TYPES 2007 remind
Marino Miculan
- [TYPES/announce] Call for papers: Proceedings of TYPES 2007
Marino Miculan
- [TYPES/announce] Call for Papers TYPES 2007 - deadline extension
Marino Miculan
- [TYPES/announce] postdoctoral researcher position in Innsbruck
Aart Middeldorp
- [TYPES/announce] MFPS 23 Call for Participation
Michael Mislove
- [TYPES/announce] Final Call for Papers: TFP 2007, New York, USA
Marco T Morazan
- [TYPES/announce] TFP 2007 Submission Deadline is Tomorrow
Marco T Morazan
- [TYPES/announce] Correction: TFP 2007 Submission Deadline is Tomorrow
Marco T Morazan
- [TYPES/announce] TFP 2007: Registration and Program
Marco T Morazan
- [TYPES/announce] TFP 2007: Last Call for Participation
Marco T Morazan
- [TYPES/announce] TFP 2007: Draft Proceedings Available On-line
Marco T Morazan
- [TYPES/announce] TFP 2007: Draft Proceedings Articles
Marco T Morazan
- [TYPES/announce] IFL 2007: CFP and Submission Deadline Approaching
Marco T Morazan
- [TYPES/announce] CFP: ISMM'07
Greg Morrisett
- [TYPES/announce] ISMM'07: call for participation
Greg Morrisett
- [TYPES/announce] APLAS07 - Call for Participation
Chin Wei Ngan
- [TYPES/announce] Attractive PhD-scholarships at DTU
Flemming Nielson
- [TYPES/announce] LASER Summer School on Software Engineering
Martín Nordio
- [TYPES/announce] Workshop on Mechanizing Metatheory
Michael Norrish
- [TYPES/announce] Workshop on Mechanising Metatheory (WMM07): submission deadline approaches
Michael Norrish
- [TYPES/announce] Reynolds Festschrift
Peter O'Hearn
- [TYPES/announce] Reynolds Festschrift
Peter O'Hearn
- [TYPES/announce] Postdoc: Program Analysis with Separation Logic
Peter O'Hearn
- [TYPES/announce] Positions at Oxford: refactoring tools
Oege.de.Moor at comlab.ox.ac.uk
- [TYPES/announce] AOSD 2007: call for participation
Oege.de.Moor at comlab.ox.ac.uk
- [TYPES/announce] PhD on refactoring at Oxford
Oege.de.Moor at comlab.ox.ac.uk
- [TYPES/announce] PEPM 2008
Oege.de.Moor at comlab.ox.ac.uk
- [TYPES/announce] PEPM 2008: abstracts due Oct 12
Oege.de.Moor at comlab.ox.ac.uk
- [TYPES/announce] PEPM 2008: abstracts due Oct 12
Oege.de.Moor at comlab.ox.ac.uk
- [TYPES/announce] CFP: LENLS2008
Ogata
- [TYPES/announce] TCS 2008: 1st Call for Papers
Luke Ong
- [TYPES/announce] A sound semantics for OCaml light
Scott Owens
- [TYPES/announce] Call for Papers: PLAS 2008
PLAS2008
- [TYPES/announce] Post-doctoral research associate in program verification
Matthew Parkinson
- [TYPES/announce] Call for Papers: INFINITY 2007
Madhusudan Parthasarathy
- [TYPES/announce] GPCE'07: Calls for Tutorials/Workshops
Emir Pasalic
- [TYPES/announce] Call for Papers: Generative Programming and Component Engineering (GPCE'07)
Emir Pasalic
- [TYPES/announce] GPCE'07: CALL FOR PARTICIPATION
Emir Pasalic
- [TYPES/announce] GPCE'07: UPDATED CALL FOR PARTICIPATION
Emir Pasalic
- [TYPES/announce] MPC 2008: SECOND CALL FOR PAPERS
Christine Paulin
- [TYPES/announce] Habil. Thesis: Language Design for Atomicity, Declarative Synchronization, and Dynamic Update
Pawel.T.Wojciechowski
- [TYPES/announce] CFP: DAMP 2008
Petersen, Leaf
- [TYPES/announce] 29 days to go until TOOLS Europe submission deadline
Philippe.LAHIRE at unice.fr
- [TYPES/announce] TOOLS Europe 2007: Paper deadline extension
Philippe.LAHIRE at unice.fr
- [TYPES/announce] Call for Participation: TOOLS Europe 2007
Philippe.LAHIRE at unice.fr
- [TYPES/announce] LFMTP'07: Call for papers
Brigitte Pientka
- [TYPES/announce] CFP: LFMTP'07
Brigitte Pientka
- [TYPES/announce] Call for Papers -- ASIAN'07
Benjamin Pierce
- [TYPES/announce] MFPS 24 announcement
Benjamin Pierce
- [TYPES/announce] Public Release of Delphin: HOAS made simple!
Adam Poswolsky
- [TYPES/announce] Brief announcement re: FSTTCS 2007
Sanjiva Prasad
- [TYPES/announce] Call for Papers Reminder: FST TCS 2007 Submission deadline is June 17
Sanjiva Prasad
- [TYPES/announce] Call for Participation FST TCS 2007
Sanjiva Prasad
- [TYPES/announce] Call for Participation FST TCS 2007
Sanjiva Prasad
- [TYPES/announce] Final Call for participation
Sanjiva Prasad
- [TYPES/announce] Call for Participation - APLAS 2007
Shengchao Qin
- [TYPES/announce] ISMM 2008 Call for Papers
R.E.Jones
- [TYPES/announce] PhD position at VU Amsterdam
Femke van Raamsdonk
- [TYPES/announce] PhD position at the University of Twente on Graph-Based Abstract Interpretation
Arend Rensink
- [TYPES/announce] PhD position at the University of Twente on Graph-Based Abstract Interpretation
Arend Rensink
- [TYPES/announce] Lectureship in Foundations at Sussex
Bernhard Reus
- [TYPES/announce] DAIS 2007: Extended submission deadline
Ricky Robinson
- [TYPES/announce] DAIS 2007 - Call for Participation
Ricky Robinson
- [TYPES/announce] Extended CFP: 9th Intl Workshop on Logic & Computational Complexity
James S. Royer
- [TYPES/announce] Program for LCC'07 (early registration deadline May 31)
James S. Royer
- [TYPES/announce] Final call for participation for LCC'07
James S. Royer
- [TYPES/announce] SPACE 2008: Call for Papers
Radu Rugina
- [TYPES/announce] Announcement: A reference implementation of Fortress
Sukyoung Ryu
- [TYPES/announce] IEEE Computer Security Foundations Symposium 2007 - CFP
Andrei Sabelfeld
- [TYPES/announce] MMM-ACNS-07 CFP
Andrei Sabelfeld
- [TYPES/announce] IEEE Computer Security Foundations Symposium (CSF 2008)
Andrei Sabelfeld
- [TYPES/announce] IEEE Computer Security Foundations Symposium (CSF 2008)
Andrei Sabelfeld
- [TYPES/announce] paper: history of bisimulation, coinduction
Davide Sangiorgi
- [TYPES/announce] ETAPS 2007: Call for Participation
João Saraiva
- [TYPES/announce] The Royal Society Discussion Meeting "From computers to ubiquitous computing, by 2020"
Vladimiro Sassone
- [TYPES/announce] The Bulletin of the EATCS goes Open Access
Vladimiro Sassone
- [TYPES/announce] 2 PhD positions in Formal Methods at University of Oslo
Gerardo Schneider
- [TYPES/announce] Call for contributions: FLACOS'07
Gerardo Schneider
- [TYPES/announce] FLACOS'07: 2nd call for contributions
Gerardo Schneider
- [TYPES/announce] LFMTP-07: Call for participation
Carsten Schuermann
- [TYPES/announce] [3WFTop]: Third Workshop on Formal Topology, Second Announcement
Peter Schuster
- [TYPES/announce] CfP: 3WFTop proceedings
Peter Schuster
- [TYPES/announce] 10th Asian Logic Conference, Kobe, Japan, 2008 (first announcement)
Peter Schuster
- [TYPES/announce] 2nd CfP: 3WFTop proceedings
Peter Schuster
- [TYPES/announce] PhD positions at the IT University of Copenhagen
Carsten Schürmann
- [TYPES/announce] Fields Workshop on Traced Monoidal Cats (Second Announcement)
Phil Scott
- [TYPES/announce] Postdoctoral position at U. Ottawa
Phil Scott
- [TYPES/announce] CFP - Deadline Extension - SPAC 2007
E. Segura
- [TYPES/announce] Call for papers - Workshop on Termination (WST 2007) - Paris
A Serebrenik
- [TYPES/announce] CFP: LOPSTR 2007 International Symposium on Logic-Based Program Synthesis and Transformation
A Serebrenik
- [TYPES/announce] Second Call for papers - Workshop on Termination (WST 2007) - Paris
A Serebrenik
- [TYPES/announce] ***Submission Deadline Postponed*** Workshop on Termination 2007
A Serebrenik
- [TYPES/announce] LAST Call for papers - Workshop on Termination (WST 2007) - Paris
A Serebrenik
- [TYPES/announce] CFP: APLAS 2007 (The Fifth Asian Symposium on Programming Languages and Systems)
Zhong Shao
- [TYPES/announce] Final CFP: APLAS 2007 (Deadline: June 15, 2007)
Zhong Shao
- [TYPES/announce] CFP: Library-Centric Software Design 2007
Jeremy Siek
- [TYPES/announce] PhD position at the Univ. of Colorado at Boulder
Jeremy Siek
- [TYPES/announce] Extended deadline - LCSD 2007 (CFP)
Jeremy Siek
- [TYPES/announce] FTP'07 Call for papers
Silvio.Ranise at loria.fr
- [TYPES/announce] New Twelf Wiki
Robert J. Simmons
- [TYPES/announce] PhD Position in Computer Science at UVM
Christian Skalka
- [TYPES/announce] Postdoctoral Position at UVM Computer Science
Christian Skalka
- [TYPES/announce] Postdoctoral Research Position at University of Vermont
Christian Skalka
- [TYPES/announce] ICFP 2008 Call for Workshop Proposals
Michael Sperber
- [TYPES/announce] Call for Participation: Fmoods'07 (as part of DisCoTec 07. Paphos, Cyprus, 6.-8. June 2007)
Martin Steffen
- [TYPES/announce] 2 PhD positions in Formal Methods at University of Oslo, Deadline: 1. November
Martin Steffen
- [TYPES/announce] FOOL '08: Call for Participation
Christopher A. Stone
- [TYPES/announce] FOOL '08: Call for Participation [Updated]
Christopher A. Stone
- [TYPES/announce] Post Doc Position in Paris
Lutz Strassburger
- [TYPES/announce] Workshop announcement (Domains VIII)
Thomas Streicher
- [TYPES/announce] Workshop Novosibirsk
Thomas Streicher
- [TYPES/announce] Call for Participation: PLPV 2007
Aaron Stump
- [TYPES/announce] APLAS 2007 call for poster presentations (Singapore, Nov 29 - Dec 1)
Eijiro Sumii
- [TYPES/announce] ESSLLI 2007 Student Session Final Call For Papers
Dmitry Sustretov
- [TYPES/announce] ESSLLI Student Session deadline extended
Dmitry Sustretov
- [TYPES/announce] Doctoral and Post-doctoral openings at Rice
Walid Taha
- [TYPES/announce] Postdoc position at the Australian National University
Alwen Tiu
- [TYPES/announce] SAS 2007: Call for Posters
Terkel K. Tolstrup
- [TYPES/announce] SAS 2007 Call for Posters *Deadline extension*
Terkel K. Tolstrup
- [TYPES/announce] SAS 2007: Call for Participation
Terkel K. Tolstrup
- [TYPES/announce] MODELS 2007 Call for Contributions
Laurence Tratt
- [TYPES/announce] MoDELS 2007 Call for Participation
Laurence Tratt
- [TYPES/announce] ICE'08: First Call for Papers
Angelo Troina
- [TYPES/announce] Postdoc position at IoC, Tallinn
Tarmo Uustalu
- [TYPES/announce] TYPES small workshop on Effects and Type Theory
Tarmo Uustalu
- [TYPES/announce] 13th Estonian Winter School in Computer Science, Call for Partic.
Tarmo Uustalu
- [TYPES/announce] CONCUR 2007 Call for Papers
Vasco Vasconcelos
- [TYPES/announce] The AITO Dahl-Nygaard Prize Winners for 2007
Vasco Vasconcelos
- [TYPES/announce] Postdoc/PhD position in Lisbon
Vasco T. Vasconcelos
- [TYPES/announce] SAS 2008 Preliminary Call for Papers
German Vidal
- [TYPES/announce] SAS 2008 Second Call for Papers
German Vidal
- [TYPES/announce] CFP: International School on Rewriting
Laurent Vigneron
- [TYPES/announce] 2nd CFP: ISR 2007
Laurent Vigneron
- [TYPES/announce] Call for Track Proposals: ACM SAC 2008 (Symposium on Applied Computing)
Mirko Viroli
- [TYPES/announce] Call for Papers: ACM SAC 2008
Mirko Viroli
- [TYPES/announce] Call for Papers: ACM SAC 2008 (deadline extension to 16/9/2007)
Mirko Viroli
- [TYPES/announce] GTTSE 2007: 2nd call for participation (02-07 July) (registration open)
Joost Visser
- [TYPES/announce] Summer School on Concurrency TiC'08
Jan Vitek
- [TYPES/announce] Foundations of Interface Technologies (FIT 2008). Call for submissions.
Andrzej Wasowski
- [TYPES/announce] Foundations of Interface Technologies (FIT 2008). Final call for submissions.
Andrzej Wasowski
- [TYPES/announce] Coq Tutorial at POPL 2008: Using Proof Assistants for Programming Language Research
Stephanie Weirich
- [TYPES/announce] Research Job: Compositional Analysis for Mobility & Concurrency @ Heriot-Watt U., Scotland, UK
Joe Wells
- [TYPES/announce] PhD Studentships: Logics, Types, & Rewriting for Software & Mathematics @ Heriot-Watt, Scotland, UK
Joe Wells
- [TYPES/announce] Calculemus 2008: First Call for Papers
Freek Wiedijk
- [TYPES/announce] 1st Call for Papers: Coordination'08
Herbert Wiklicky
- [TYPES/announce] 2nd Call for Papers: Coordination'08
Herbert Wiklicky
- [TYPES/announce] CFP: Workshop on Aliasing, Confinement and Ownership in OOP
Tobias Wrigstad
- [TYPES/announce] CFP: Workshop on Aliasing, Confinement and Ownership in OOP
Tobias Wrigstad
- [TYPES/announce] Deadline Extension: IWACO
Tobias Wrigstad
- [TYPES/announce] CFP for PLPV 2007
Hongwei Xi
- [TYPES/announce] [Types-announce]call for papers FICS2008
Min ZHANG
- [TYPES/announce] Extended Deadline of FICS2008: 4th Jan. 2008
Min ZHANG
- [TYPES/announce] WRS 2008 - 1st Call for Papers
aart.middeldorp at uibk.ac.at
- [TYPES/announce] International School on Rewriting 2008
aart.middeldorp at uibk.ac.at
- [TYPES/announce] COALGEBRAIC LOGIC in Oxford, August 10-11
ak155 at mcs.le.ac.uk
- [TYPES/announce] LSFA 2007 (Third CFP)
ayala at unb.br
- [TYPES/announce] Extended deadline - LSFA 2007 (CFP)
ayala at unb.br
- [TYPES/announce] Last CFP of TABLEAUX 2007
benhamou
- [TYPES/announce] Call for participation: Tableaux 2007
benhamou
- [TYPES/announce] First CFP of SymCon 2007
benhamou
- [TYPES/announce] Reminder: CFP of SymCon'07
benhamou
- [TYPES/announce] New submission deadline for SymCon'07 (June 29th)
benhamou
- [TYPES/announce] LATA 2007: call for participation
carlos.martin at urv.cat
- [TYPES/announce] LATA 2008: call for papers
carlos.martin at urv.cat
- [TYPES/announce] LATA 2008: 2nd call for papers
carlos.martin at urv.cat
- [TYPES/announce] LATA 2008: paper submission deadline extended
carlos.martin at urv.cat
- [TYPES/announce] LATA 2008: last extension of paper submission deadline
carlos.martin at urv.cat
- [TYPES/announce] 2nd CFP: 3rd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'07)
demis at dimi.uniud.it
- [TYPES/announce] CfPart: 3rd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'07)
demis at dimi.uniud.it
- [TYPES/announce] LSFA'07, Second CFPs
eduardo at sol.lifia.info.unlp.edu.ar
- [TYPES/announce] PhD Scholarship in Formal Semantics and Types for Mobile Adaptive Business Processes
hilde at itu.dk
- [TYPES/announce] CFP: EXPRESS'07- deadline for abstracts May 28 (extended)
hilde at itu.dk
- [TYPES/announce] EXPRESS'07 - PROGRAMME & CALL FOR PARTICIPATION
hilde at itu.dk
- [TYPES/announce] ICTCS'07 - call for papers
moggi at disi.unige.it
- [TYPES/announce] ICTCS'07 - final call for papers
moggi at disi.unige.it
- [TYPES/announce] ICTCS'07 - Call for Participation
moggi at disi.unige.it
- [TYPES/announce] Call for Participation: PLAS 2007
mwh at cs.umd.edu
- [TYPES/announce] PostDoc and Ph.D. Student Positions in the Scala Group
martin odersky
- [TYPES/announce] CfP: VSTTE'08
paige at cs.york.ac.uk
- [TYPES/announce] Festkolloquium and Workshop honoring H.Schwichtenberg
ratiu at math.lmu.de
- [TYPES/announce] WoLLIC'2007 - CfP
ruy at cin.ufpe.br
- [TYPES/announce] WoLLIC'2007 - Call for Participation
ruy at cin.ufpe.br
- [TYPES/announce] WoLLIC 2008 - Call for Papers
ruy at cin.ufpe.br
- [TYPES/announce] Deadline extension: FST TCS 2007 (June 20 2007)
sanjiva at cse.iitd.ernet.in
- [TYPES/announce] CFP: SPAC 07 - Software Patterns: Addressing Challenges
eduardo segura
- [TYPES/announce] Call for Papers: AVIS 2007
supratik at cc.usu.edu
Last message date:
Sat Dec 29 04:06:20 EDT 2007
Archived on: Mon Apr 14 16:08:10 EDT 2008
This archive was generated by
Pipermail 0.09 (Mailman edition).