März 2010 Archiv nach Datum
Von: Mo Mär 1 03:45:37 CET 2010
Bis: Mi Mär 31 16:19:14 CEST 2010
Nachrichten: 100
- CFP - RULE 2010 (Edinburgh, UK, July 14, 2010)
Hassan Ait-Kaci
- Call for papers WebCBR: 2nd Workshop on Reasoning from Experiences on the Web
Enric Plaza
- LPAR-16 Short Papers - CFP
Geoff Sutcliffe
- CFP: 1st Workshop on Engineering SOA and the Web (ESW'10)
Uwe Zdun
- CFP, LfSA10 -- Logics for System Analysis 2010 at FLoC, Edinburgh
Philipp Ruemmer
- First Call for Participation: NMR 2010
Tommie Meyer
- KR 2010 - Early Registration 12 March
Joost Vennekens
- ESSLLI workshop "Theories of Information Dynamics and Interaction and their Application to Dialogue"
Emiliano Lorini
- Call For Papers KES2010 extended deadline
KES 2010
- CfP: Automated Negotiating Agents Competition (ANAC) 2010
Dmytro Tykhonov
- Call for Participation:NMR'10 Sub-Workshop on Actions and Belief Change
Alfredo Gabaldon
- Deadline extension: IRMLeS'10: 2nd Int. Workshop on Inductive Reasoning and Machine Learning on the Semantic Web @ ESWC 2010
Agnieszka.Lawrynowicz at cs.put.poznan.pl
- Professorship Announcement
Nicola OLIVETTI
- 2nd Call for Papers: LoCoCO 2010
Ralf Treinen
- Four PhD studentships in Computer Science, Swansea University
Oliver Kullmann
- TSD 2010 Second Call for Paper
TSD 2010
- 2nd call for submissions - Workshop on Comparing Logical Decision Methods at FLoC'10
Martin Lange
- CFP: Planning to Learn workshop (PlanLearn-2010)
Carlos Soares
- Call for papers: MULTICONF-10, USA, July 2010
Alfred Nabbles
- 2nd CfP || SoftNet 2010 [ICSEA, ICSNC, CENTRIC, VALID, SIMUL] August 22-27, 2010 - Nice, France
SoftNet 2010
- Vienna PhD School of Informatics - Call for Applications
Thomas Krennwallner
- RCRA 2010 Call for Papers
Marco Gavanelli
- CFP - RULE 2010 (Edinburgh, UK, July 14, 2010)
Hassan Ait-Kaci
- PST2010 CFP: EIGHTH INTERNATIONAL CONFERENCE on PRIVACY, SECURITY, and TRUST
Jie Zhang
- CFP: 5th Automated Formal Methods Workshop first call for papers (In association with Computer-Aided Verification 2010 and FLoC 2010)
Hassen Saidi
- FOSAD 2010: call for participation
Alessandro Aldini
- CALL FOR APPLICATIONS for Erasmus Mundus Masters Course
Constantin Orasan
- FOIS call for participation
Stefano Borgo
- ESSLLI workshop "Logics for Security"
Valerio Genovese
- Call for Participation: Agent Communication at AAMAS2010
Alexander Artikis
- 2nd CfP -- 3rd Int. Workshop LAM'10
Berndt Farwer
- Verify 2010 - 2nd Call for Papers
verify2010 at mais.informatik.tu-darmstadt.de
- ProMAS 2010 Call for Participation
Peter Novak
- Call for Papers: 6th IFIP INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE APPLICATIONS & INNOVATIONS (AIAI 2010
Masoud.Mohammadian
- CFP: MICAI 2010, Artificial Intelligence, Springer LNAI, Mexico
MICAI 2010
- CFP - RULE 2010 (Edinburgh, UK, July 14, 2010)
Hassan Ait-Kaci
- JELIA 2010 Second Call for Papers
Emilia Oikarinen
- LPAR-17 in Indonesia - Calls for Papers and Workshop Proposals
Geoff Sutcliffe
- ATOP at AAMAS2010: Call for Participation
Klaus Fischer
- [AAMAS-2010] 2nd Call For Participation
Jordi Sabater Mir
- IRMLeS'2010: Late breaking news session and final submission deadlines
Agnieszka.Lawrynowicz at cs.put.poznan.pl
- UniDL'10: Call for Papers
Thomas Lukasiewicz
- CFP: LfSA'10 - Logics for System Analysis
Andre Platzer
- Funding opportunity - Foundational Questions
S Barry Cooper
- 4th International Conference on Knowledge Science, Engineering and Management (KSEM`2010)
Bi Yaxin
- CfP: Logics in Security
Wojtek Jamroga
- "Theories of Information Dynamics and Interaction and their Applications to Dialogue", Copenhagen (Denmark), 16-20 August 2010
lorini at irit.fr
- CfPart: CPSWEEK workshop on hybrid systems
Manuela Bujorianu
- CFP: RULE 2010 (Edinburgh, UK, July 14, 2010)
Hassan Ait-Kaci
- SoICT 2010: First Call for Papers
Linh Anh Nguyen
- RCRA10 deadline extension
Marco Gavanelli
- 7th International Conference on "Multimedia & Network Information Systems" (MISSI10)
Andrzej Sieminski
- FINAL CFP HuCom at GDN 2010
Koen Hindriks
- CfP: Petri Nets and Software Engineering (PNSE'10)
PNSE 10
- TSD 2010 Last Call for Paper
TSD 2010
- [RuleML-2010] 1st Call for Papers
Antonino Rotolo
- 2nd CFP: Automated Reasoning about Context and Ontology Evolution (ARCOE-10) collocated with ECAI-2010
ARCOE
- Model Checking and Artificial Intelligence (MoChArt 2010): call for papers
Jan-Georg Smaus
- CFP: Special Session on Norms and Normative Multi Agent Systems at CLIMA XI
Guido Governatori
- CiE 2010 - Call for Participation and Informal Presentations
S B Cooper
- PhD position on Formal Verification via SMT available in Trento
Roberto Sebastiani
- CfP: Web Reasoning and Rule Systems 2010
Pascal Hitzler
- The 1st International Conference on Swarm Intelligence and Emergent Computing (SIEC 2010) - Deadline Extension
Jan Sudeikat
- CFP: DML 2010--Towards a Digital Mathematics Library, Paris, FR, Jul 7-8th
dml2010 at easychair.org
- [CFP] RULE 2010 (Edinburgh, UK, July 14, 2010)
Hassan Ait-Kaci
- ASPOCP 2010 Call For Papers
Paolo Torroni
- "Theories of Information Dynamics and Interaction and their Applications to Dialogue", Copenhagen (Denmark), 16-20 August 2010
lorini at irit.fr
- E. W. Beth Dissertation Prize: 2010 call for nominations
Richard Moot
- CSL 2010 - 2nd Call for Papers
Geoff Sutcliffe
- CALL FOR TUTORIALS -- EASSS 2010
Mehdi Dastani
- Job ad: PhD Researcher
HR
- Job ad: PhD Researcher
HR
- Deadline Extension for Verify 2010 - Call for Papers
verify2010 at mais.informatik.tu-darmstadt.de
- Call for Papers: 6th IFIP INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE APPLICATIONS & INNOVATIONS (AIAI 2010
Masoud.Mohammadian
- CFP: CLIMA XI- 11th Int'l Workshop on Computational Logic in Multi-Agent Systems
Joao Leite
- Call for Papers: The 11th International Conference on Web Information Systems Engineering (WISE 2010)
Stéphane Jean
- CORE 2010 - CALL FOR PAPERS SUBMISSION EXTENDED DEADLINE: APRIL 4, 2010
core at cic.ipn.mx
- Final CFP: 5th Automated Formal Methods Workshop first call for papers (In association with Computer-Aided Verification 2010 and FLoC 2010)
Hassen Saidi
- ISWC 2010 Call for Workshop/Tutorial Proposals, Call for Submissions
Sebastian Rudolph
- UniDL'10: Deadline extension to 11th of April
A.-Y. Turhan
- CFP: Logic and Search (LaSh'2010)
Evgenia (Eugenia) Ternovska
- Job: 2 x Lectureships in Economics/Game Theory and Computation
Wiebe van der Hoek
- [Call for papers] Workshop on Constraint Based Methods for Bioinformatics
Alessandro Dal Palu
- Call for Papers: STAIRS 2010 Starting AI Research
Thomas Ågotnes
- CFP: Deadline extension - LfSA'10 - Logics for System Analysis
Philipp Ruemmer
- Congress on Computer Applications and Computational Science, Singapore [EI Compendex,ISTP,IEEE Xplore]
CACS 2010
- AMAST 2010: deadline approaching
amast-10 at kestrel.edu
- LoCoCO 2010: extended deadline April 9th
Ines Lynce
- FLoC'2010 Workshop on Comparing Logical Decision Methods (CLODEM 2010): Extended call for submissions
Valentin Goranko
- 3rd CfP -- 3rd Int. Workshop LAM'10
Berndt Farwer
- [CFP] RULE 2010 (Edinburgh, UK, July 14, 2010)
Hassan Ait-Kaci
- HyLo 2010: Deadline extended till April 7
Thomas Bolander
- Call for Papers: The 11th International Conference on Web Information Systems Engineering (WISE 2010)
Stéphane Jean
- CFP: 6th IFIP INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE APPLICATIONS & INNOVATIONS (AIAI 2010)
Masoud.Mohammadian
- Call for Participation and Proposals - The Metadata Committee of The International Semantic Web Conference (ISWC) 2010
Jie Bao
- European Master in Computational Logic - many scholarships for all students
Enrico Franconi
- CFP: Adaptation of Web Services (AWS'2010)
Walid Chainbi
- PST2010 CFP: EIGHTH INTERNATIONAL CONFERENCE on PRIVACY, SECURITY, and TRUST
Jie Zhang
- Open PhD position (Luxembourg/Lens): Dynamics of Argumentation
Richard Booth
- ESSLLI 2010 Poster and Call for Participation
Rasmus K. Rendsvig
Datum der letzten Nachricht:
Mi Mär 31 16:19:14 CEST 2010
Archiviert in: Mi Nov 20 14:54:23 CET 2019
Dieses Archiv wurde mit
Pipermail 0.09 (Mailman edition) erzeugt.