März 2012 Archiv nach Diskussionsfaden
Von: Do Mär 1 17:54:31 CET 2012
Bis: Sa Mär 31 15:35:30 CEST 2012
Nachrichten: 37
- [EASSS'12] Call for participation
Birna van Riemsdijk
- AWS'2012 (Adaptation of Web Services): Final extension
Walid Chainbi
- PHD position on SAT/SMT applications to requirement engineering in Trento
Roberto Sebastiani
- PHD position on SMT-based formal verification in Trento
Roberto Sebastiani
- Call for Papers - LfSA'12 - Logics for System Analysis
Philipp Ruemmer
- Logic and Search (LaSh'12) first CFP
Tomi.Janhunen at aalto.fi
- CFP: 13th Workshop on Computational Logic in Multi-Agent Systems (CLIMA)
Michael Fisher
- CFP ARCOE-12 at ECAI Workshop: Acquisition, Representation and Reasoning with Contextualized Knowledge
Michael Fink
- AAMAS 2012 Call for Participation (early registration closes on 16 April)
AAMAS 2012 Publicity Chair
- Final CfP: ESSLLI 2012 Student Session
ESSLLI 2012 Student Session
- CELEBRATING 10th EDITION OF DALT AND THE ALAN TURING YEAR
Viviana Mascardi
- CLIMA XIII @ ECAI: First Call for Papers
Leon van der Torre
- Job offer in INSPIRE
Henk van den Heuvel
- CFP: 6th International Conference on Web Reasoning and Rule Systems
Francesco Calimeri
- 2nd CFP: 18th International Conference on Principles & Practice of Constraint Programming
Association ConstraintProgramming
- Multi-Agent Programming Contest (MAPC 2012) -- CfP
Tristan Behrens
- CFP: FOIS Workshop on Ontology-Driven Information Systems Engineering (ODISE)
frank.loebe at informatik.uni-leipzig.de
- Chair in Autonomous Systems, University of Liverpool, UK
Michael Fisher
- FOIS 2012: Call for Participation (incl. list of accepted papers) (Formal Ontology in Information Systems, Jul 24-27, Graz Austria)
frank.loebe at informatik.uni-leipzig.de
- CfP: Petri Nets and Software Engineering (PNSE'12)
PNSE12
- Final call for papers: IJCAR workshop on Comparing Logical Decision Methods, Manchester, UK, 30/06/2012
Martin Lange
- CFP: Semantic Web Challenge 2012
Oshani Seneviratne
- [Deri.ie-research] Opening Research Internship in URQ, DERI - with correct dates :)
Alessandra Mileo
- JIMSE 2012 Call for Papers: Joint workshop on Intelligent Methods for Software System Engineering
Barbara Plank
- PhD position in Formal Development and Verification of Railway Control Systems
Anne Haxthausen
- 1st CfP: AT 2012 First International Conference on Agreement Technologies
George Vouros
- Second Summer School on Formal Techniques, May 27-June 1, 2012
Natarajan Shankar
- 10th IEEE/IFIP EUC 2012: Call for Papers
Announcements
- CfP: Math Information Retrieval Worksohp 14. July 2012
m.kohlhase at jacobs-university.de
- Semantic Web Journal Special Call for Papers: Big Data and the Semantic Web
Pascal Hitzler
- vacancy assistant professor Delft University
Cees Witteveen
- The Turing Centenary Conference in Manchester: 2nd Call for Papers and Call For Participation
Geoff Sutcliffe
- CFP MICAI-2012, Artificial Intelligence, Springer LNAI, Mexico, Oct-Nov 2012
MICAI-2012
- CNL 2012: Final Call for Papers / Deadline Extended to 13 April
Tobias Kuhn
- CfP ASPOCP 2012: 5th Workshop on Answer Set Programming and Other Computing Paradigms
Michael Fink
- 15th IEEE CSE 2012: Call for Papers
Announcements
- 15th IEEE CSE 2012: Call for Workshop Proposals
Announcements
Datum der letzten Nachricht:
Sa Mär 31 15:35:30 CEST 2012
Archiviert in: Mi Nov 20 14:54:25 CET 2019
Dieses Archiv wurde mit
Pipermail 0.09 (Mailman edition) erzeugt.