2014 Archives by date

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

Starting: Mon Jan 6 14:59:23 CET 2014
Ending: Wed Dec 31 17:58:34 CET 2014
Messages: 132

• [loginf] First Call for Papers: FMICS 2014   Wendelin Serwe
• [loginf] DEADLINE: January 31, 2014   Bertram Fronhöfer
• [loginf] Call for Participation: FoIKS 2014, Bordeaux, France, March 3-7, 2014   Christoph Beierle
• [loginf] SEFM 2014: Second Call for Papers and Workshop Proposals   lina.ye at inria.fr
• [loginf] CICLOPS-WLPE 2014: CALL FOR PAPERS   Thomas Ströder
• [loginf] STACS 2014 first call for participation   Natacha Portier
• [loginf] call for papers AISS 2014   Markus Lohrey
• [loginf] STACS 2014 second call for participation   Natacha Portier
• [loginf] Post-doc position at Convecs team (Inria/LIG)   Wendelin Serwe
• [loginf] YSIP - Call for Submissions   Bertram Fronhöfer
• [loginf] YSIP - Call for Submissions   Bertram Fronhöfer
• [loginf] YSIP - Call for Submissions   Bertram Fronhöfer
• [loginf] ARES 2014 - Call for Papers   Yvonne Poul, ARES 2014
• [loginf] Ackermann Award 2014   Reinhard Kahle
• [loginf] Call for contributions PCC'14 - Proof, Computation and Complexity, held in Paris   Reinhard Kahle
• [loginf] Second Call for Papers: FMICS 2014   Wendelin Serwe
• [loginf] 2nd WATA 2014 announcement   Manfred Droste
• [loginf] SUM 2014 - Scalable Uncertainty Management CFP   Andrea Cali
• [loginf] LOLA 2014 - Call for Talk Proposals   Martin Hofmann
• [loginf] CfP: 14th Intl. Workshop on Termination (WST 2014), Vienna (Austria), 17-18 July   Carsten Fuhs
• [loginf] SAS 2014 - last CFP   Helmut Seidl
• [loginf] SEFM 2014: Final Call for Papers   lina.ye at inria.fr
• [loginf] ARES 2014 - deadline extended   ARES 2014
• [loginf] Neue Webseite der Fachgruppe "Logik in der Informatik"   Petra Schüller
• [loginf] SEFM 2014: Extended Deadlines   lina.ye at inria.fr
• [loginf] European PhD Program in Computational Logic (EPCL): Call for Applications   Bertram Fronhoefer
• [loginf] CfP: Ontology Design Patterns descriptions. Special call of the Semantic Web journal   Pascal Hitzler
• [loginf] Second Call for Papers: FMICS 2014   Wendelin Serwe
• [loginf] The European Master's Program in Computational Logic: Application until 31 May 2014   Tobias Philipp
• [loginf] Second CFP: WPTE'14, First International Workshop on Rewriting Techniques for Program Transformations and Evaluation   David Sabel
• [loginf] CICLOPS-WLPE 2014: SECOND CALL FOR PAPERS   Thomas Ströder
• [loginf] FMICS 2014: deadlines extended   Wendelin Serwe
• [loginf] SUM 2014 CFP - EXTENDED DEADLINES   Andrea Cali
• [loginf] CICLOPS-WLPE 2014: FINAL CALL FOR PAPERS (deadline extended)   Thomas Ströder
• [loginf] CFP KInAR - Knowledge Intensive Automated Reasoning   Ulrich Furbach
• [loginf] FMICS 2014: submission still open   Wendelin Serwe
• [loginf] Call for Papers: Workshops Colocated with SEFM 2014   Lina Ye
• [loginf] CfP - KIK-WS "Higher-Level Cognition and Computation", 23-Sep-2014   Frieder Stolzenburg
• [loginf] Workshop Algorithmics on Infinite State Systems   Stefan Göller
• [loginf] 2nd CfP: 14th Intl. Workshop on Termination (WST 2014), Vienna (Austria), 17-18 July   Carsten Fuhs
• [loginf] LOPSTR 2014: Second Call for Papers   Maurizio Proietti
• [loginf] WST 2014: Deadline extension until 30 April 2014   Carsten Fuhs
• [loginf] PRUV call for papers --- deadline extension   Thomas Lukasiewicz
• [loginf] 8th International Verification Workshop (VERIFY'14) - Deadline extended to *May 5th, 2014*   Bernhard Beckert
• [loginf] Post-doc position in applications of model checking, University of Kassel, Germany   Martin Lange
• [loginf] Extended Deadline and Final CFP: WPTE'14, First International Workshop on Rewriting Techniques for Program Transformations and Evaluation   David Sabel
• [loginf] SSTiC 2014: May 10, 6th registration deadline   GRLMC
• [loginf] SUM 2014 CfP -- Abstract submission deadline approaching!   Andrea Cali
• [loginf] SLSP 2014: extended submission deadline 14 May   GRLMC
• [loginf] ∀X.Xπ - APPA - Call for Participation/Registration   Bruno Woltzenlogel Paleo
• [loginf] WADT 2014 - 1st Call for Papers   2014 wadt
• [loginf] TPNC 2014: 2nd call for papers   GRLMC
• [loginf] Post-doc position at Convecs team (Inria/LIG)   Wendelin Serwe
• [loginf] CfP: Ontology Design Patterns descriptions. Special call of the Semantic Web journal   Pascal Hitzler
• [loginf] ISABELLE WORKSHOP and TUTORIAL   Tobias Nipkow
• [loginf] AlCoB 2014: call for participation   GRLMC
• [loginf] LOPSTR 2014: Deadline Approaching   Maurizio Proietti
• [loginf] Second Call for Papers: Workshops Colocated with SEFM 2014   lina.ye at inria.fr
• [loginf] CfP: Ontology and Linked Data Matching. Special call of the Semantic Web journal   Michelle Cheatham
• [loginf] Reminder: The European Master's Program in Computational Logic: Application until 31 May 2014   Tobias Philipp
• [loginf] Termination Competition 2014: Call for Participation   Juergen Giesl
• [loginf] Doctoral Scholarship   Franz Baader
• [loginf] Doctoral Scholarship   Franz Baader
• [loginf] LOPSTR 2014 - Extended Deadlines   Maurizio Proietti
• [loginf] SSTiC 2014: June 7, early registration deadline   GRLMC
• [loginf] WPTE 2014: Call for Participation   David Sabel
• [loginf] WST 2014: Call for Participation   Carsten Fuhs
• [loginf] CfP: C4BD2014 - Workshop on Complexity for Big Data at IEEE BigData 2014   Pascal Hitzler
• [loginf] CICLOPS-WLPE 2014: CALL FOR PARTICIPATION   Thomas Ströder
• [loginf] WADT 2014 - 2nd Call for Papers   2014 wadt
• [loginf] Termination Competition 2014: Second Call for Participation (Tool Registration Deadline on JUNE 15!)   Juergen Giesl
• [loginf] BigDat 2015: June 23, 2014 - 1st registration deadline   GRLMC
• [loginf] ACM SAC 2015: Software Verification and Testing Track - First CfP   lina.ye at inria.fr
• [loginf] 2nd CfP - KIK-WS "Higher-Level Cognition and Computation", 23-Sep-2014   Frieder Stolzenburg
• [loginf] WADT 2014 - 3rd Call for Papers   2014 wadt
• [loginf] TPNC 2014: 3rd call for papers   GRLMC
• [loginf] Postdoc in Munich (LMU) in programming language theory (secure coding) for 36 months   Martin Hofmann
• [loginf] Call for Papers STACS 2015   Ernst W. Mayr
• [loginf] SSTiC 2014: last-minute half-price registration   GRLMC
• [loginf] PhD position, Data Semantics/Semantic Web, Wright State University   Pascal Hitzler
• [loginf] CFP URSW 2014: 10th International Workshop on Uncertainty Reasoning for the Semantic Web   Thomas Lukasiewicz
• [loginf] Call for Participation: SEFM 2014   lina.ye at inria.fr
• [loginf] ACM SAC 2015: Software Verification and Testing Track - Second CfP   lina.ye at inria.fr
• [loginf] Call for Papers STACS 2015   Ernst W. Mayr
• [loginf] Call for Participation: SUM 2014 at University of Oxford   Thomas Lukasiewicz
• [loginf] Deadline extension: URSW 2014 at ISWC 2014   Thomas Lukasiewicz
• [loginf] TPNC 2014: extended submission deadline 24 July   GRLMC
• [loginf] BigDat 2015: 23 July registration deadline   GRLMC - URV
• [loginf] CfP:Linked Dataset descriptions. Special call of the Semantic Web journal   Pascal Hitzler
• [loginf] LATA 2015: 1st call for papers   GRLMC
• [loginf] 21. Jahrestagung der GI-Fachgruppe "Logik in der Informatik" am 14./15. November in Kassel   Martin Lange
• [loginf] Call for Papers: Special Track on Uncertain Reasoning at FLAIRS-28   Matthias Thimm
• [loginf] BigDat 2015: August 23, registration deadline   GRLMC
• [loginf] Postdoc Position on Verification of Asynchronously Communicating Systems, Inria/LIG, Grenoble, France   Gwen.Salaun at inria.fr
• [loginf] ACM SAC 2015: Software Verification and Testing Track - Final CfP   Gwen.Salaun at inria.fr
• [loginf] LATA 2015: 2nd call for papers   GRLMC - URV
• [loginf] CfP: C4BD2014 - Workshop on Complexity for Big Data at IEEE BigData 2014   Pascal Hitzler
• [loginf] BigDat 2015: registration deadline 23 September   GRLMC
• [loginf] ACM SAC 2015: Software Verification and Testing Track - Extended Deadline   Gwen.Salaun at inria.fr
• [loginf] 21. Jahrestagung der GI-Fachgruppe "Logik in der Informatik" - Aufruf zur Anmeldung und Einreichung von Vorträgen   Martin Lange
• [loginf] 2nd Call for Papers STACS 2015   Ernst W. Mayr
• [loginf] CfP KI-Themenheft "Higher-Level Cognition and Computation"   Frieder Stolzenburg
• [loginf] LATA 2015: 3rd call for papers   GRLMC
• [loginf] CfP: Semantic Web journal special issues: Linked Data, aignment, smart cities, visualization   Pascal Hitzler
• [loginf] SLSP 2014: call for participation   GRLMC
• [loginf] Call for Participation: The First International Competition on Computational Models of Argumentation (ICCMA'15)   Matthias Thimm
• [loginf] Open PostDoc position, Theoretical Computer Science, University of Siegen   Lohrey, Markus
• [loginf] ACM SAC 2015: Software Verification and Testing Track - EXTENDED DEADLINES   Gwen.Salaun at inria.fr
• [loginf] Second Call for Papers: Special Track on Uncertain Reasoning at FLAIRS-28   Matthias Thimm
• [loginf] LATA 2015: extended submission deadline 16 October   GRLMC
• [loginf] BigDat 2015: registration deadline 23 October   GRLMC
• [loginf] 21. Jahrestagung der GI-Fachgruppe "Logik in der Informatik" - letzter Aufruf   Martin Lange
• [loginf] CfP KI-Themenheft "Higher-Level Cognition and Computation" - EXTENDED DEADLINES   Frieder Stolzenburg
• [loginf] TPNC 2014: call for participation   GRLMC
• [loginf] CfP: Semantic Web journal special issues: smart cities, alignment, linked data, visualization, human computation   Pascal Hitzler
• [loginf] AlCoB 2015: 1st call for papers   URV - RESEARCH GROUP ON MATHEMATICAL LINGUISTICS
• [loginf] Final Call for Papers: Special Track on Uncertain Reasoning at FLAIRS-28 (Deadline: Nov 17)   Matthias Thimm
• [loginf] BigDat 2015: registration deadline 23 November   GRLMC
• [loginf] University of Oxford, Department of Computer Science: up to 15 fully funded doctoral studentships   Thomas Lukasiewicz
• [loginf] 2-year postdoc position on security verification at TUM   Tobias Nipkow
• [loginf] CfP: Semantic Web journal special call for Tools/Systems papers   Pascal Hitzler
• [loginf] Open PhD Position at Dresden, Germany -- Topic: SAT Solving   tobias.philipp at tu-dresden.de
• [loginf] Open PhD Position at Dresden, Germany -- Topic: SAT Solving   tobias.philipp at tu-dresden.de
• [loginf] The European Master's Program in Computational Logic   Tobias Philipp
• [loginf] 17th International Symposium on Principles and Practice of Declarative Programming (PPDP 2015) - first Call for Papers   Maurizio Proietti
• [loginf] LOPSTR 2015: 25th International Symposium on Logic-Based Program Synthesis and Transformation - First Call for Papers   Maurizio Proietti
• [loginf] InfoSec 2015: 1st announcement   GRLMC
• [loginf] Tagungsankündigung "Frontiers of Formal Methods in Computer Science"   Lohrey, Markus
• [loginf] BigDat 2015: registration deadline 23 December   GRLMC
• [loginf] Doctoral Scholarship   Franz Baader
• [loginf] AlCoB 2015: 2nd call for papers   GRLMC
• [loginf] InfoSec 2015: registration deadline 3 January   GRLMC

Last message date: Wed Dec 31 17:58:34 CET 2014
Archived on: Thu Jan 1 01:45:54 CET 2015

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