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