2010 Archives by thread

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

Starting: Wed Jan 6 14:20:18 CEST 2010
Ending: Wed Dec 22 15:10:57 CEST 2010
Messages: 89

• [loginf] PCC 2010 -- Call for Papers   Kai Brünnler
• [loginf] CfP: PPDP 2010   Temur Kutsia
• [loginf] JOB ANNOUNCEMENT   Agata Ciabattoni
• [loginf] 2nd CfP: LOPSTR 2010   Temur Kutsia
• [loginf] CfP: ANB 2010   Nikolaj Popov
• [loginf] Announcement: ICCL Summer School 2010   Bertram Fronhöfer
• [loginf] Fifth Training School in Symbolic Computation   Temur Kutsia
• [loginf] Transnational Access Programme at RISC-Linz   Temur Kutsia
• [loginf] 1st CFP WWV 2010   Mircea Marin
• [loginf] 2. CFP: Workshop on Uncertainty in Description Logics (UniDL'10)   A.-Y. Turhan
• [loginf] 2nd CfP: PPDP'10   Temur Kutsia
• [loginf] 3rd CfP: LOPSTR'10   Temur Kutsia
• [loginf] 2nd call for submissions - Workshop on Comparing Logical Decision Methods at FLoC'10   Martin Lange
• [loginf] CfP: SCSS 2010   Nikolaj Popov
• [loginf] UniDL'10: Call for Papers   Thomas Lukasiewicz
• [loginf] CfP: ANB 2010   Nikolaj Popov
• [loginf] Last CfP: LOPSTR'10   Temur Kutsia
• [loginf] CfP: Web Reasoning and Rule Systems 2010   Pascal Hitzler
• [loginf] UniDL'10: Deadline extension to 11th of April   A.-Y. Turhan
• [loginf] LOPSTR 2010: Deadline extension   Temur Kutsia
• [loginf] 2nd CfP: WWV'10   WWV 2010
• [loginf] FLoC'2010 Workshop on Comparing Logical Decision Methods (CLODEM 2010): Extended call for submissions   Valentin Goranko
• [loginf] LOPSTR'10: New deadline for extended abstract submission   Temur Kutsia
• [loginf] ANB 2010 -- Deadline approaching   Nikolaj Popov
• [loginf] UniDL'10: Deadline extension to 11th of April   Thomas Lukasiewicz
• [loginf] Deadline extension: SCSS 2010   Nikolaj Popov
• [loginf] Last CfP: WWV'10   WWV 2010
• [loginf] Deadline extension: ANB 2010   Nikolaj Popov
• [loginf] WWV'10: Deadline extension   WWV 2010
• [loginf] ESSLLI 2011 Call for Course and Workshop Proposals   Makoto Kanazawa
• [loginf] Phd Studentship in Automated Reasoning   Renate Schmidt
• [loginf] IJCAR 2010 - Call for participation   Viorica Sofronie-Stokkermans
• [loginf] 2nd CFP: International Conference on Formal Verification of Object-Oriented Software (FoVeOOS 2010)   Bernhard Beckert
• [loginf] DisCoTec 2010: Call for Participation   Gianluigi Zavattaro
• [loginf] [ISSAC-ANNOUNCE] [ISSAC2010] Call For Posters   Peter Horn
• [loginf] FAST 2010 Call For Papers   Nicola Zannone
• [loginf] FAST 2010 Call For Papers   Max Jakob
• [loginf] 2nd CFP: FMCAD 2010   natasha.sharygina at usi.ch
• [loginf] FAST 2010 Call For Papers   Nicola Zannone
• [loginf] Call for Tool Papers - Deadline Reminder: Workshop on Invariant Generation (WING 2010), Edinburgh, July 21, 2010   Laura Kovacs
• [loginf] STACS 2011: Call for papers   Thomas Schwentick
• [loginf] Journal CfP: Semantic Web Tools and Systems   Pascal Hitzler
• [loginf] 2nd CfP: 20th WADT - deadline April, 30th   Till Mossakowski
• [loginf] Call for Participation: FLoC Workshop on Modules and Libraries for Proof Assistants   Florian Rabe
• [loginf] CfP: 20th WADT - deadline extended to May, 10th   Till Mossakowski
• [loginf] Web Reasoning and Rule Systems 2010: Call for Papers   Thomas Lukasiewicz
• [loginf] Semantic Web Journal EB position papers for review   Pascal Hitzler
• [loginf] Workshop on Comparing Logical Decision Methods @ FLoC 2010, Edinburgh - Call for participation   Martin Lange
• [loginf] CfP: "Real-World Applications of OWL" SWJ special issue   Pascal Hitzler
• [loginf] LogInf-Meeting 2010   Markus Lohrey
  • [loginf] LogInf-Meeting 2010   Markus Lohrey
    • [loginf] LogInf-Meeting 2010   Markus Lohrey
• [loginf] DEADLINES EXTENDED: Web Reasoning and Rule Systems 2010: Call for Papers   Thomas Lukasiewicz
• [loginf] DEADLINES EXTENDED: Web Reasoning and Rule Systems 2010: Call for Papers   Pascal Hitzler
• [loginf] Call for Participation: 20th WADT, July 1-4, 2010   Till Mossakowski
• [loginf] RR2010 call for position papers and PhD proposals   Pascal Hitzler
• [loginf] Journal 2nd CfP: Semantic Web Tools and Systems   Pascal Hitzler
• [loginf] PhD position in theoretical computer science at University of Kassel   Martin Lange
• [loginf] Termination Competition 2010: Call for Participation   Juergen Giesl
• [loginf] CfP: "Real-World Applications of OWL" SWJ special issue   Pascal Hitzler
• [loginf] SYNASC 2010, Timisoara, Romania - final deadline: July, 5   Tudor Jebelean
• [loginf] Journal CfP: Semantic Web Tools and Systems - deadline extension   Pascal Hitzler
• [loginf] UniDL'10: Call for Participation   Thomas Lukasiewicz
• [loginf] URSW'10: Call for Papers   Thomas Lukasiewicz
• [loginf] Call for open reviews: Semantic Web journal   Pascal Hitzler
• [loginf] STACS 2011: Second Call for Papers   Thomas Schwentick
• [loginf] URSW'10: Call for Papers   Thomas Lukasiewicz
• [loginf] Journal Special Call for Survey articles on Semantic Web topics   Pascal Hitzler
• [loginf] Freie Stelle   Prof. Dr. Peter H. Schmitt
• [loginf] Call for Participation: 4th Int. Conf. on Web Reasoning and Rule Systems (RR 2010) - Bressanone, Italy, Sep. 22-24, 2010   Thomas Lukasiewicz
• [loginf] Professor position   Bertram Fronhöfer
• [loginf] URSW'10: Call for Papers   Thomas Lukasiewicz
• [loginf] please PhD funding available in "Semantic Web" at Kno.e.sis Center, WSU, Dayton, Ohio   Pascal Hitzler
• [loginf] Deadline Extension: URSW'10   Thomas Lukasiewicz
• [loginf] STACS 2011 - Last Call for Papers   Thomas Schwentick
• [loginf] 2+3 year post-doc position in theoretical computer science at University of Kassel, Germany   Martin Lange
  • [loginf] Senior Research Associate in Computational Logic at the University of Kassel, Germany   Martin Lange
• [loginf] Professor position   Bertram Fronhöfer
• [loginf] Open position at University of Leipzig   Markus Lohrey
• [loginf] 3 years research assistant position in TCS, LMU Munich   Martin Hofmann
• [loginf] PhD/Project Position   Christoph Weidenbach
• [loginf] 3 years research assistant position in TCS, LMU Munich   Martin Hofmann
• [loginf] AAAI-11: Call for Tutorials   Thomas Lukasiewicz
• [loginf] PhD position available in Karlsruhe   Mana Taghdiri
• [loginf] Master Course Computational Logic   Bertram Fronhöfer
• [loginf] Semantic Web Journal: Call for Special Issue Proposals   Pascal Hitzler
• [loginf] AAAI-11: Final Call for Tutorials   Thomas Lukasiewicz
• [loginf] Stellenangebot Wissenschaftlicher Mitarbeiter - Wissensbasierte Systeme   Christoph Beierle
• [loginf] Semantic Web journal: The EBM Special Issues Volume 1, Number 1-2 / 2010 is Online   Pascal Hitzler

Last message date: Wed Dec 22 15:10:57 CEST 2010
Archived on: Wed Dec 22 15:56:39 CEST 2010

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