2012 Archives by author

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

Starting: Fri Jan 6 08:30:22 MET 2012
Ending: Wed Dec 26 20:11:12 MET 2012
Messages: 142

[clean-list] Call for Workshop proposal - 28th International Conference on Logic Programming (ICLP 2012) Gergely Lukacsy (glukacsy)
[clean-list] Call for Doctoral Consortium - 28th International Conference on Logic Programming (ICLP 2012) Gergely Lukacsy (glukacsy)
[clean-list] 2nd Call for papers - 28th International Conference on Logic Programming (ICLP 2012) Gergely Lukacsy (glukacsy)
[clean-list] Extended deadline - 28th International Conference on Logic Programming (ICLP 2012) Gergely Lukacsy (glukacsy)
[clean-list] Call for participation - 28th International Conference on Logic Programming (ICLP 2012) Gergely Lukacsy (glukacsy)
[clean-list] ICLP: Google Grant for female scientists + early registration period ends on June 20 Gergely Lukacsy (glukacsy)
[clean-list] ICLP news - conference program, registration, grants Gergely Lukacsy (glukacsy)
[clean-list] Call for participation ICLP 2012 - updates Gergely Lukacsy (glukacsy)
[clean-list] WADT 2012: First Call for Papers WADT 2012
[clean-list] WADT 2012: Second Call for Papers WADT 2012
[clean-list] WADT 2012: Final Call for Papers WADT 2012
[clean-list] WADT 2012: Deadline Extension WADT 2012
[clean-list] TFPIE: Trends in Functional Programming in Education 2012 Peter Achten
[clean-list] PhD position at Radboud University, The Netherlands - NECTOP project Peter Achten
[clean-list] Second call for papers TFPIE 2012 Peter Achten
[clean-list] FINAL CFP: TFPIE 2012 Peter Achten
[clean-list] [GP] Advanced programming Peter Achten
[clean-list] Is there a REPL?? Peter Achten
[clean-list] World's biggest fake conference in computer science James Allen
[clean-list] FOOL 2012: Call for Papers John Tang Boyland
[clean-list] Building to DLL?? Alan Carlyle
[clean-list] CFP: 18th International Conference on Principles & Practice of Constraint Programming Association ConstraintProgramming
[clean-list] 2nd CFP: 18th International Conference on Principles & Practice of Constraint Programming Association ConstraintProgramming
[clean-list] Final CFP: 18th International Conference on Principles & Practice of Constraint Programming Association ConstraintProgramming
[clean-list] [CiE 2012] Call for Informal Presentations for Turing Centenary Conference in Cambridge S B Cooper
[clean-list] Alan Turing Centenary Conference, University of Manchester, 22-25 June, 2012 S B Cooper
[clean-list] Alan Turing Centenary Conference in Manchester, 2nd Call for Papers S B Cooper
[clean-list] 2nd Call for Informal Presentations at Turing Centenary Conference, Cambridge, UK S B Cooper
[clean-list] CiE 2012: Turing Centenary Conference, Cambridge - Final Call for Presentations S B Cooper
[clean-list] CiE 2012 Turing Centenary Conference, Cambridge - Final Call for Participation S B Cooper
[clean-list] Turing Centenary Conference, Manchester, June 22-25: Call for Participation S B Cooper
[clean-list] 10th Annual Conference on Theory and Applications of Models of Computation (TAMC13) S B Cooper
[clean-list] CiE 2013: The Nature of Computation, Milan, Italy, July 1-5, 2013 S B Cooper
[clean-list] CiE 2013 in Milan - Awards and 2nd Call for Papers S B Cooper
[clean-list] TAMC 2013 in Hong Kong: Second Call for Papers S B Cooper
[clean-list] CiE 2013 in Milan - Special Awards and Call for Papers S B Cooper
[clean-list] Cfp CSERC 2013 Marko van Eekelen
[clean-list] 6th International School on Rewriting (ISR), July 16-20, 2012 Santiago Escobar
[clean-list] 6th International School on Rewriting (ISR), Valencia, July 16-20, 2012 Santiago Escobar
[clean-list] LLVM backend T Ferguson
[clean-list] SSFLA 2012: 2nd announcement GRLMC
[clean-list] LATA 2012: call for participation GRLMC
[clean-list] SSFLA 2012: 3rd announcement GRLMC
[clean-list] SSFLA 2012: final announcement GRLMC
[clean-list] FSFLA 2012: 1st announcement GRLMC
[clean-list] SSLST 2012: 3rd announcement GRLMC
[clean-list] FSFLA 2012: 3rd announcement GRLMC
[clean-list] LATA 2013: 1st call for papers GRLMC
[clean-list] TPNC 2012: call for participation GRLMC
[clean-list] FSFLA 2012: final announcement GRLMC
[clean-list] LATA 2013: 3rd call for papers GRLMC
[clean-list] LATA 2013: submission deadline extended GRLMC
[clean-list] Data intensive programming and Clean Groenouwe, C.
[clean-list] Building to DLL?? John van Groningen
[clean-list] Building to DLL, win7 64 John van Groningen
[clean-list] CFP: HOR 2012 - extended deadline: March 26, 2012 Makoto Hamana
[clean-list] [GP] Advanced programming Mark Hills
[clean-list] Call for Papera - Automated Theory Exploration (ATx) Peter Höfner
[clean-list] CALL FOR PARTICIPATION - Relational and Algebraic Methods in Computer Science (RAMiCS) Peter Höfner
[clean-list] Documentation on compiler source Jaco van Iterson
[clean-list] IRC Channel Markus Klinik
[clean-list] IFL2012: call for papers Pieter Koopman
[clean-list] Memoization of recursive functions using Clean arrays Pieter Koopman
[clean-list] Memoization of recursive functions using Clean arrays Pieter Koopman
[clean-list] Memoization of recursive functions using Clean arrays Pieter Koopman
[clean-list] Memoization of recursive functions using Clean arrays Pieter Koopman
[clean-list] Is there a REPL?? Pieter Koopman
[clean-list] LATA 2013: 2nd call for papers URV - RESEARCH GROUP ON MATHEMATICAL LINGUISTICS
[clean-list] PhD Positions at ETH Zurich Weissert Marlies
[clean-list] Second CFP: SAS 2012 - 19th International Static Analysis Symposium, Deauville, France Antoine Mine
[clean-list] Deadline Extension RTA 2012 Georg Moser
[clean-list] WST 2012: Last Call for Papers and Deadline Extension Georg Moser
[clean-list] Call for Participation: RTA 2012 Georg Moser
[clean-list] 2nd Call for Participation: RTA 2012 Georg Moser
[clean-list] Call for papers GandALF 2012 -- EXTENDED DEADLINE Nello Murano
[clean-list] GAMES 2012 -- Call for contributions -- Nello Murano
[clean-list] GAMES 2012 -- Call for participation -- Nello Murano
[clean-list] GandALF 2012 -- Call for participation -- Nello Murano
[clean-list] SR 2013 - Preliminary call for contributions Nello Murano
[clean-list] SR 2013 - Call for contributions Nello Murano
[clean-list] SR 2013 - Extended Deadline and Last Call for Contributions Nello Murano
[clean-list] Is there a REPL?? Duke Normandin
[clean-list] Is there a REPL?? Duke Normandin
[clean-list] Is there a REPL?? Duke Normandin
[clean-list] ASCII TO UTF8 WITHOUT BOM Richard O'Keefe
[clean-list] Workshop on Intersection Types and Related Systems (ITRS 2012) Luca Paolini
[clean-list] Intersection Types and Related Systems (ITRS 2012) -- 2nd CFP Luca Paolini
[clean-list] Intersection Types and Related Systems (ITRS 2012) -- Final Call Luca Paolini
[clean-list] TLCA 2013 First Call for Papers Luca Paolini
[clean-list] TLCA 2013 Second Call for Papers Luca Paolini
[clean-list] CSL 2013 : PRELIMINARY ANNOUNCEMENT Luca Paolini
[clean-list] Assistant Professorships (Tenure Track) at ETH Zurich Mueller Peter
[clean-list] CFP: BOOGIE 2012 - 2nd International Workshop on Intermediate Verification Languages Zvonimir Rakamaric
[clean-list] DICE 2013, second call for papers Simona Ronchi della Rocca
[clean-list] CFP ICLP 2013: 29th International Conference on Logic Programming, Istanbul, Turkey, August 24-28, 2013 Peter Schueller
[clean-list] SAT 2012: Final Call for Papers Roberto Sebastiani
[clean-list] PHD position on SAT/SMT applications to requirement engineering in Trento Roberto Sebastiani
[clean-list] PHD position on SMT-based formal verification in Trento Roberto Sebastiani
[clean-list] CFP:: CyberSec2013- Kuala Lumpur:: Malaysia The Second International Conference on Cyber Security, Cyber Peacefare and Digital Forensic (CyberSec2013)
[clean-list] CFP:: CyberSec2013- Kuala Lumpur:: Malaysia The Second International Conference on Cyber Security, Cyber Warfare and Digital Forensic (CyberSec2013)
[clean-list] CFP:: CyberSec2013- Kuala Lumpur:: Malaysia The Second International Conference on Cyber Security, Cyber Warfare and Digital Forensic (CyberSec2013)
[clean-list] Kind Reminder:: Call for Participation:: CyberSec2013 The Second International Conference on Cyber Security, Cyber Warfare and Digital Forensic (CyberSec2013)
[clean-list] RTA 2013: First Call for Papers Sophie Tison
[clean-list] RTA 2013: Second Call for Papers Sophie Tison
[clean-list] ACM ISMM 2012 Call for Papers (Reminder) Martin Vechev
[clean-list] Memoization of recursive functions using Clean arrays Maks Verver
[clean-list] Memoization of recursive functions using Clean arrays Maks Verver
[clean-list] Memoization of recursive functions using Clean arrays Maks Verver
[clean-list] Memoization of recursive functions using Clean arrays Maks Verver
[clean-list] Memoization of recursive functions using Clean arrays Maks Verver
[clean-list] Call for Participation - BX'12 (co-located with ETAPS'12) Janis Voigtländer
[clean-list] Call for Papers - Haskell Symposium 2012 Janis Voigtländer
[clean-list] Call for Papers - Workshop on Reversible Computation 2012 Janis Voigtländer
[clean-list] Call for Papers - Haskell Symposium 2012 - six weeks to go Janis Voigtländer
[clean-list] Haskell Symposium 2012 - deadline approaching Janis Voigtländer
[clean-list] Call for Participation - Workshop on Reversible Computation 2012 Janis Voigtländer
[clean-list] CFP: First Workshop on Programming the Semantic Web - PSW 2012 Janis Voigtländer
[clean-list] Haskell Symposium 2012 - Call for Participation (early registration closes 9th August) Janis Voigtländer
[clean-list] WORLDCOMP and Hamid Arabnia Xixun Wu
[clean-list] [PVS] IIP 2012: Call for Papers liang chang
[clean-list] [CFP] ICME Workshop on Cloud-Centric Media System cinfon
[clean-list] The 12th IEEE Intl Conference on Computer and Informat ion Technology (CIT 2012) [deadline: 1 June 2012] cinfon
[clean-list] [IEEE Systems Journal] Special Issue on Recent Advances in Cloud-based Multimedia Systems cinfon
[clean-list] [CFP] Special Issue on IP-enabled Wireless Sensor Network, International Journal of Distributed Sensor Networks cinfon
[clean-list] [CFP] ICME Workshop on Cloud-Centric Media System cinfon
[clean-list] [IEEE Systems Journal] Special Issue on Recent Advances in Cloud-based Multimedia Systems cinfon
[clean-list] The 12th IEEE Intl Conference on Computer and Informat ion Technology (CIT 2012) [deadline: 1 June 2012] cinfon
[clean-list] Financieel manager voor een personeelsbeheer bedrijf clean-list at cs.ru.nl
[clean-list] PEPM 2013: Call for Participation scm-ml at iis.sinica.edu.tw
[clean-list] PEPM 2013: 2nd Call for Participation scm-ml at iis.sinica.edu.tw
[clean-list] PEPM 2012: Preliminary Call for Papers jaiyalas
[clean-list] Documentation on compiler source rinus
[clean-list] Open Vacancy - Working Part or Full Time clean at science.ru.nl
[clean-list] U kunt meer verdienen! Wij bieden u een persoonlijke oplossing. clean at science.ru.nl
[clean-list] PEPM 2012: Preliminary Call for Papers scm-ml
[clean-list] *correction* PEPM 2013: Preliminary Call for Papers scm-ml
[clean-list] PEPM 2013: Second Call for Papers scm-ml
[clean-list] PEPM 2013: Final Call for Papers scm-ml
[clean-list] PEPM 2013: Deadline Extension scm-ml
[clean-list] ASCII TO UTF8 WITHOUT BOM luciano.vieira.lima at terra.com.br
[clean-list] UTF8 and ASCII extended luciano.vieira.lima at terra.com.br
[clean-list] Building to DLL, win7 64 Сергей Лосев

Last message date: Wed Dec 26 20:11:12 MET 2012
Archived on: Fri Dec 28 00:37:08 MET 2012

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

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