2010 Archives by author

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

Starting: Tue Jan 5 09:52:51 MET 2010
Ending: Thu Dec 30 01:01:22 MET 2010
Messages: 201

• [clean-list] RV 2010 - 1st Int. Conference: Call for Papers and Tutorials   RV 2010
• [clean-list] RV'10 Final CFP - DEADLINE: June 1st   RV 2010
• [clean-list] Call for Participation   RV 2010
• [clean-list] TFP 2010 - Call for Papers and Participation   TFP 2010
• [clean-list] TFP 2010 - 3rd CFP: Submit papers by April 9, REGISTRATION IS OPEN   TFP 2010
• [clean-list] TFP 2010 - Final Call: Submission deadline one week away, April 9   TFP 2010
• [clean-list] CFP: DAMP 2011   DAMP 2011
• [clean-list] DAMP 2011 - Second call for papers   DAMP 2011
• [clean-list] DAMP 2011 - Extended deadline   DAMP 2011
• [clean-list] DAMP 2011 - Call for Participation   DAMP 2011
• [clean-list] bug in printing sin(pi/2.0)   Peter Achten
• [clean-list] Fwd: [Fp-nl] landelijke FP dag   Peter Achten
• [clean-list] CFP - RULE 2010 (Edinburgh, UK, July 14, 2010)   Hassan Ait-Kaci
• [clean-list] CFP: RULE 2010 (Edinburgh, UK, July 14, 2010)   Hassan Ait-Kaci
• [clean-list] [CFP] RULE 2010 (Edinburgh, UK, July 14, 2010)   Hassan Ait-Kaci
• [clean-list] [CFP] RULE 2010 (Edinburgh, UK, July 14, 2010)   Hassan Ait-Kaci
• [clean-list] [CFP] RULE 2010 (Edinburgh, UK, July 14, 2010)   Hassan Ait-Kaci
• [clean-list] [CFP] RULE 2010 (Edinburgh, UK, July 14, 2010)   Hassan Ait-Kaci
• [clean-list] typical synergy in Clean   Carlos Aya
• [clean-list] help, update in place, two dimensional array.   Carlos Aya
• [clean-list] CFP - ViDaS 2010 - First International Workshop onValidation and Verification of Dynamic Software Systems   Bencomo, Nelly
• [clean-list] Call for Papers CP 2011 Seventeenth International Conference on Principles and Practice of Constraint Programming   CP2011_info
• [clean-list] CP 2011 - Call for Tutorial Proposals   CP2011_info
• [clean-list] Final Call for Papers: Workshop on Matching and Meaning: Automated development, evolution and interpretation of ontologies.   Michael Chan
• [clean-list] POPL 2011: Call for Papers   Swarat Chaudhuri
• [clean-list] POPL 2011: Call for participation   Swarat Chaudhuri
• [clean-list] Call for Papers: COORDINATION 2010   Dave Clarke
• [clean-list] CALL FOR PARTICIPATION: MPC 2010   Jules Desharnais
• [clean-list] CPSWEEK (HSCC, ICCPS, IPSN, LCTES, RTAS) keynote speakers finalized & registration open   Adam Dunkels
• [clean-list] Draft paper submission deadline is extended: SETP-10   John Edward
• [clean-list] Draft paper submission deadline is extended: SETP-10, Orlando, USA   John Edward
• [clean-list] Call for papers: SETP-10, Orlando, USA, July 2010   John Edward
• [clean-list] Call for papers: SETP-10, USA, July 2010   John Edward
• [clean-list] Call for papers (Deadline Extended): SETP-10, USA, July 2010   John Edward
• [clean-list] Call for papers: SETP-10, USA, July 2010   John Edward
• [clean-list] Fwd: [Haskell] Call for Praatjes: Dutch HUG Day   Chris Eidhof
• [clean-list] CfP: Programming Support Innovations for Emerging Distributed Applications (PSI EtA 2010), International Workshop   Patrick Eugster
• [clean-list] CFP: Exploiting Concurrency Efficiently and Correctly -- (EC)^2   Azadeh Farzan
• [clean-list] Exploiting Concurrency Efficiently and Correctly: (EC)^2 --- Last Call for Papers   Azadeh Farzan
• [clean-list] Exploiting Concurrency Efficiently and Correctly: (EC)^2 --- Call for Participation   Azadeh Farzan
• [clean-list] SLE 2011 - Call for papers   João Fernandes
• [clean-list] Announcement: ICCL Summer School 2010   Bertram Fronhöfer
• [clean-list] Professor position   Bertram Fronhöfer
• [clean-list] Professor position   Bertram Fronhöfer
• [clean-list] Master Course Computational Logic   Bertram Fronhöfer
• [clean-list] TAP 2011: Tests and Proofs   Carlo Alberto Furia
• [clean-list] ICECCS 2011: Engineering of Complex Computer Systems   Carlo Alberto Furia
• [clean-list] Clean compilen op Mac   Sjors Gielen
• [clean-list] Clean compilen op Mac   Sjors Gielen
• [clean-list] Problem in RuntimeSystem/Makefile.linux   Sjors Gielen
• [clean-list] Problem in RuntimeSystem/Makefile.linux   Sjors Gielen
• [clean-list] Building Clean 2.2 on Mac OS X   Sjors Gielen
• [clean-list] Clean 2.3 available for Windows and Linux   Isaac Gouy
• [clean-list] help, update in place, two dimensional array.   John van Groningen
• [clean-list] "Linker exited abnormally"   John van Groningen
• [clean-list] Funny identifiers starting with double colon   John van Groningen
• [clean-list] Clean 2.3 available for Windows and Linux   John van Groningen
• [clean-list] Unable to run CleanCompiler.exe :0 (to update project)   RT Happe
• [clean-list] Unable to run CleanCompiler.exe :0 (to update project)   RT Happe
• [clean-list] Unable to run CleanCompiler.exe :0 (to update project)   RT Happe
• [clean-list] [fm-announcements] CFP: Third NASA Formal Methods Symposium (NFM 2011)   Havelund, Klaus (316D)
• [clean-list] [fm-announcements] NFM 2011 : Second Call for Papers   Havelund, Klaus (316D)
• [clean-list] [fm-announcements] NASA Formal Methods Symposium - NFM 2011 : Third Call for Papers   Havelund, Klaus (317J)
• [clean-list] [fm-announcements] NFM 2011 - Deadline extension   Havelund, Klaus (317J)
• [clean-list] ICPC2010 -- Call-for-ToolDemos   Pedro Rangel Henriques
• [clean-list] Journal 2nd CfP: Semantic Web Tools and Systems   Pascal Hitzler
• [clean-list] Call for open reviews: Semantic Web journal   Pascal Hitzler
• [clean-list] Semantic Web Journal: Call for Special Issue Proposals   Pascal Hitzler
• [clean-list] Postdoc vacancies in OUCL Information Systems Group   Ian Horrocks
• [clean-list] 1st CfP 5th International Workshop Models at run.time   Cédric Jeanneret
• [clean-list] Transparent Persistence using a "natural" store   Mark Koenig
• [clean-list] Transparent Persistence using a "natural" store   Mark Koenig
• [clean-list] Could someone reply to graph DB library question?   Mark Koenig
• [clean-list] Last CfP: LOPSTR'10   Temur Kutsia
• [clean-list] LOPSTR'10: New deadline for extended abstract submission   Temur Kutsia
• [clean-list] ICLP 2011: Call for workshop proposals   Joohyung Lee
• [clean-list] ICLP 2011 - Call for Papers   Yuliya Lierler
• [clean-list] clean and database   Bas Lijnse
• [clean-list] Clean compilen op Mac   Bas Lijnse
• [clean-list] Clean compilen op Mac   Bas Lijnse
• [clean-list] [CUFP 2010] Birds of a Feather Sessions   Anil Madhavapeddy
• [clean-list] CFP: AOW 2010 @ AI 2010   Tommie Meyer
• [clean-list] 2nd CfP: 20th WADT - deadline April, 30th   Till Mossakowski
• [clean-list] CfP: 20th WADT - deadline extended to May, 10th   Till Mossakowski
• [clean-list] Call for Participation: 20th WADT, July 1-4, 2010   Till Mossakowski
• [clean-list] Call for papers: MULTICONF-10, July 2009, Orlando, USA   Alfred Nabbles
• [clean-list] typical synergy in Clean   Thomas van Noort
• [clean-list] Clean compilen op Mac   Thomas van Noort
• [clean-list] Fwd: [Haskell] Announcement   Thomas van Noort
• [clean-list] "Linker exited abnormally"   David C. Norris
• [clean-list] Building Clean 2.2 on Mac OS X   Richard O'Keefe
• [clean-list] RTA extended deadline   Hitoshi Ohsaki
• [clean-list] clean and database   Hoang-Vu PHUNG
• [clean-list] [Call for participation] Workshop on Constraint Based Methods for Bioinformatics   Alessandro Dal Palu'
• [clean-list] Call for Paper: TLCA'11, 1-3 June 2011, Novi Sad   Luca Paolini
• [clean-list] Call for Paper: TLCA'11, 1-3 June 2011, Novi Sad   Luca Paolini
• [clean-list] RDP 2011 -- Call For Workshop Proposals   Luca Paolini
• [clean-list] TLCA 2011 --- Last Call for Papers   Luca Paolini
• [clean-list] 1st CFP Trends in Functional Pogramming 2011   Ricardo Peña
• [clean-list] LASER Summer School 2011: Tools for Practical Software Verification   Nadia Polikarpova
• [clean-list] CAV 2011 Call For Papers   Shaz Qadeer
• [clean-list] CfP - 4th ACM International Conference on Distributed Event-Based Systems (DEBS) - 1 WEEK DEADLINE EXTENSION   Leonardo Querzoni
• [clean-list] CFP: RULE 2010 - Deadline Extension   Dave Reynolds
• [clean-list] INFINITY2010 at ATVA   Ahmed Rezine
• [clean-list] PADL'11 - Call for Papers   Ricardo Rocha
• [clean-list] PADL'11 - Call for Participation   Ricardo Rocha
• [clean-list] FMICS 2010: Preliminary Call for Paper   Marco Roveri
• [clean-list] FMICS 2010: Call for Papers   Marco Roveri
• [clean-list] FMICS 2010: Call for Papers (deadline extended)   Marco Roveri
• [clean-list] [CAV 2011] Call for Workshop Proposals   Neha Rungta
• [clean-list] Just starting out   Chris Saunders
• [clean-list] LOPSTR/PPDP 2010 Call for Participation   Wolfgang Schreiner
• [clean-list] LOPSTR/PPDP 2010 Early Registration Deadline: June 21   Wolfgang Schreiner
• [clean-list] LOPSTR/PPDP 2010 Final Call for Participation   Wolfgang Schreiner
• [clean-list] Types Meeting 2010   Aleksy Schubert
• [clean-list] CADE-23 - Call for Papers   Carsten Schuermann
• [clean-list] CADE-23: Second Call for Papers   Carsten Schuermann
• [clean-list] FLoC 2010: Student Travel Grants   Nicole Schweikardt
• [clean-list] FLoC 2010: 2nd Call for Participation   Nicole Schweikardt
• [clean-list] FLoC 2010: US-based Student Travel Support   Nicole Schweikardt
• [clean-list] FLoC 2010: US-based Student Travel Support   Nicole Schweikardt
• [clean-list] FLoC 2010: Final Call for Participation   Nicole Schweikardt
• [clean-list] PhD position in ICT on Formal Verification via SMT available in Trento   Roberto Sebastiani
• [clean-list] Call for participation to ISCA 2010   Andre Seznec
• [clean-list] ICTSS 2010: 22nd IFIP Int. Conf. on Testing Software and Systems (formerly TestCom/FATES)   Adenilso Simao
• [clean-list] IJCAR 2010 - Call for papers   Viorica Sofronie-Stokkermans
• [clean-list] Special issue of the Journal of Symbolic Computation on First Order Theorem Proving   Viorica Sofronie-Stokkermans
• [clean-list] IJCAR 2010 - Call for participation   Viorica Sofronie-Stokkermans
• [clean-list] Special JSC issue on First Order Theorem Proving   Viorica Sofronie-Stokkermans
• [clean-list] Tableaux 2011 First Call for Papers   Viorica Sofronie-Stokkermans
• [clean-list] TABLEAUX 2011: Second Call for Papers   Viorica Sofronie-Stokkermans
• [clean-list] CADE 2011: last call for workshops, tutorials   Aaron Stump
• [clean-list] CSL 2010 - 1st Call for Papers   Geoff Sutcliffe
• [clean-list] LPAR-16 deadline extended   Geoff Sutcliffe
• [clean-list] LPAR-17 in Indonesia - Calls for Papers and Workshop Proposals   Geoff Sutcliffe
• [clean-list] LPAR-17 submission deadlines   Geoff Sutcliffe
• [clean-list] LPAR-17 call for short papers, workshop submissions   Geoff Sutcliffe
• [clean-list] IWIL workshop at LPAR-17 in Indonesia - Extended deadline   Geoff Sutcliffe
• [clean-list] ICFP 2010: Second call for papers   Wouter Swierstra
• [clean-list] ICFP 2010: Final Call for Papers   Wouter Swierstra
• [clean-list] ICFP 2010 deadline   Wouter Swierstra
• [clean-list] ICFP 2010: Call for participation   Wouter Swierstra
• [clean-list] ICFP '10: Final call for participation   Wouter Swierstra
• [clean-list] ICFP 2011: Call for Workshop Proposals   Wouter Swierstra
• [clean-list] ICFP 2011: Call for papers   Wouter Swierstra
• [clean-list] WGT 2011 Call for Papers   Workshop on Generative Technologies
• [clean-list] WGT 2011 Submission Deadline Extension and Final Call for Papers   Workshop on Generative Technologies
• [clean-list] CAV 2010 Last Call for Papers   Tayssir Touili
• [clean-list] Amir Pnueli Memorial Symposium   Tayssir Touili
• [clean-list] CAV 2010 Last Call for Participation and regular registration   Tayssir Touili
• [clean-list] POPL 2011: Call for Papers   Tayssir Touili
• [clean-list] [Clean] Funny identifiers starting with double colon   Vag Vagoff
• [clean-list] Funny identifiers starting with double colon   Vag Vagoff
• [clean-list] Funny identifiers starting with double colon   Vag Vagoff
• [clean-list] Places 2011 - Call for Papers   Vasco T. Vasconcelos
• [clean-list] HLDVT 2010 Final Call for Papers   Shireesh Verma
• [clean-list] HLDVT 2010 Paper submission deadline extended to March 14!!!   Shireesh Verma
• [clean-list] Call for Contributions - Haskell Communities and Activities Report, May 2010 edition   Janis Voigtländer
• [clean-list] REMINDER: Haskell Communities and Activities Report   Janis Voigtländer
• [clean-list] ANNOUNCE: Haskell Communities and Activities Report (18th ed., May 2010)   Janis Voigtländer
• [clean-list] Call for Contributions - Haskell Communities and Activities Report, November 2010 edition   Janis Voigtländer
• [clean-list] REMINDER: Haskell Communities and Activities Report, November 2010 edition   Janis Voigtländer
• [clean-list] ANNOUNCE: Haskell Communities and Activities Report (19th ed., November 2010)   Janis Voigtländer
• [clean-list] 1 CFP Test And Proof   Burkhart Wolff
• [clean-list] GAMES - Oxford, Sept 2010: Call for Participation   James Worrell
• [clean-list] STOP'11 Call for Papers   Tobias Wrigstad
• [clean-list] Hamming   Erik Zuurbier
• [clean-list] Call For Papers: ASAP 2011   asap-announce
• [clean-list] RTA 2nd CFP (July 11 - July 13, 2010, Edinburgh)   Hitoshi Ohsaki (RTA publicity chair)
• [clean-list] RTA CFP 2011   Masahiko Sakai (RTA publicity chair)
• [clean-list] RTA 2011: 2nd call for papers   Masahiko Sakai (RTA publicity chair)
• [clean-list] CFP - ICLP 2010 - DEADLINE: Jan 26   iclp2010-announce at clip.dia.fi.upm.es
• [clean-list] Call for Papers: Haskell Symposium 2010   Jeremy.Gibbons at comlab.ox.ac.uk
• [clean-list] Final Call for Papers: Haskell Symposium 2010   Jeremy.Gibbons at comlab.ox.ac.uk
• [clean-list] Fully-funded PhD in programming languages at Oxford   Jeremy.Gibbons at comlab.ox.ac.uk
• [clean-list] Haskell 2010 Call for Participation   Jeremy.Gibbons at comlab.ox.ac.uk
• [clean-list] Programming Languages opening at Oxford   Oege.de.Moor at comlab.ox.ac.uk
• [clean-list] Request for comments: Two-phase reviewing for POPL   swarat at cse.psu.edu
• [clean-list] CP 2011 - Call for WORKSHOP PROPOSALS   cp2011publicity at dmi.unipg.it
• [clean-list] ASPOCP 2010 Call For Papers   aspocp10 at gmail.com
• [clean-list] ASPOCP 2010 Deadline Extension   aspocp10 at gmail.com
• [clean-list] Where is 'generic generate' implementation?   takayuki goto
• [clean-list] ​ICITST-2010: Paper Submission Deadline Extended to June 30   r.ho at icitst.org
• [clean-list] [Synasc-call-for-papers] 1st CfP - SYNASC 2010, Timisoara, Romania, 23-26, Sep, 2010   synasc10 at info.uvt.ro
• [clean-list] [Synasc-call-for-papers] 2nd CFP - SYNASC 2010, Timisoara, Romania, September 23-26, 2010   synasc10 at info.uvt.ro
• [clean-list] [Synasc-call-for-papers] Deadline extension to June 21 - SYNASC 2010, Timisoara, Romania, 23-26, Sep, 2010   synasc10 at info.uvt.ro
• [clean-list] [Synasc-call-for-papers] FINAL DEADLINE, July 5th - SYNASC 2010, Timisoara, Romania, 23-26, Sep, 2010   synasc10 at info.uvt.ro
• [clean-list] [Synasc-call-for-papers] SYNASC 2010: Last Call for Papers (Deadline: only 5 days left)   synasc10 at info.uvt.ro
• [clean-list] ASAP 2010 Second Call for paper   asap2010-general at irisa.fr
• [clean-list] One week deadline extension for ASAP 2010 (now Feb. 22nd)   asap2010-general at irisa.fr
• [clean-list] CFPapers: 22nd Symposium on Implementation and Applications of Functional Languages (IFL 2010)   jur
• [clean-list] 2nd CFPapers: 22nd Symposium on Implementation and Applications of Functional Languages (IFL 2010)   jur
• [clean-list] 3nd CFPapers en 1st CFPart: 22nd Symposium on Implementation and Application of Functional Languages.   jur
• [clean-list] Call for Papers - AMAST 2010   amast-10 at kestrel.edu
• [clean-list] AMAST 2010: deadline approaching   amast-10 at kestrel.edu
• [clean-list] Final call: AMAST 2010   amast-10 at kestrel.edu
• [clean-list] Type checker to track files   zuurb078 at planet.nl
• [clean-list] SoSyM Newsletter   bernhard.rumpe at sosym.org
• [clean-list] FMCAD'10 First Call For Papers   natasha.sharygina at usi.ch
• [clean-list] 2nd CFP: FMCAD 2010   natasha.sharygina at usi.ch
• [clean-list] Final CFP and deadline extention: FMCAD 2010   natasha.sharygina at usi.ch

Last message date: Thu Dec 30 01:01:22 MET 2010
Archived on: Thu Dec 30 09:34:43 MET 2010

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