2010 Archives by thread
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] 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] 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
This archive was generated by
Pipermail 0.09 (Mailman edition).