2008 Archives by thread

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

Starting: Fri Jan 4 14:20:22 CEST 2008
Ending: Tue Dec 30 00:22:43 CEST 2008
Messages: 176

• [loginf] RTA'08: Call for Papers   RTA 2008
• [loginf] CiE08 - Extended Deadline   Arnold Beckmann
• [loginf] DL2008 Second Call for Papers   Carsten Lutz
• [loginf] RTA'08: Call For Papers   Ashish Tiwari
• [loginf] AiML-2008: Second Call for Papers   Carlos Areces
• [loginf] cfp: CS-TIW-08 Workshop: Conceptual Structures Tools and the Web (at ICCS08), Toulouse, France   Sebastian Rudolph
• [loginf] WoLLIC 2008 - Call for Papers   ruy at cin.ufpe.br
• [loginf] CSL 2008 - first call for papers   Ugo Dal Lago
• [loginf] ICCL Summer School 2008   Bertram Fronhöfer
• [loginf] SMT 2008: CFP   Clark Barrett
• [loginf] AISC-08: Second Call for Papers   Volker Sorge
• [loginf] RTA'08: Last Call for Papers   RTA 2008
• [loginf] IJCAR, last Call for Papers   geoff at cs.miami.edu
• [loginf] TYPES 2008 TORINO - CALL FOR TALKS AND REGISTRATION   piccolo at di.unito.it
• [loginf] CFP: 5th Workshop on Model Checking and AI   Doron Peled
• [loginf] AMAST'08 : Final CFP   Grigore Rosu
• [loginf] CFA: 3rd RISC/SCIEnce Training School in Symbolic Computation   Temur Kutsia
• [loginf] CFP: VERIFY'08 - 5th International Verification Workshop   Bernhard Beckert
• [loginf] Symbolic Computation and Cryptography 2008 - Second Call for Papers   scc08 at cc4cm.org
• [loginf] [Sender checking failed]: [Reminder] ApCoA 2008   ApCoA 2008
• [loginf] WoLLIC 2008 - DEADLINE APPROACHING: Feb 24th   ruy at cin.ufpe.br
• [loginf] CfP: Applications of Semantic Technologies AST2008   Pascal Hitzler
• [loginf] CFP: DTVCS 2008 - Design, Testing and Formal Verification Techniques for Integrated Circuits and Systems   ss DTVCS
• [loginf] [Sender checking failed]: CFP: FCS-ARSPA-WITS'08 (Joint Workshop on Computer Security)   ailab at leary.csoft.net
• [loginf] REACHABILITY PROBLEMS (RP'08) Liverpool, 15-17 September 2008   Potapov, Igor
• [loginf] CfPart: RV'08   Martin Leucker
• [loginf] colloquium logicum 08 announcement   Martin Otto
• [loginf] KR08 Doctoral Consortium Second Call for Application   Carsten Lutz
• [loginf] Call for Participation: TAP 2008 - The Second International Conference on Tests and Proof   Bernhard Beckert
• [loginf] [Sender checking failed]: UNIF'08: First CFP   Mircea Marin
• [loginf] Cl&C 2008 - Second Call for Papers   Ulrich Berger
• [loginf] CFP: 2nd International Conference on Scalable Uncertainty Management (SUM 2008)   Thomas Lukasiewicz
• [loginf] Russell'08, final call, extended deadline   Ulrich Berger
• [loginf] Summer School Announcement   Bertram Fronhöfer
• [loginf] CiE 2008 - accepted papers, informal presentations, participation   Arnold Beckmann
• [loginf] CiE 2008 - grants   Arnold Beckmann
• [loginf] Special issue of the Journal of Symbolic Computation on "Automated Deduction: Decidability, Complexity, Tractability''   Viorica Sofronie-Stokkermans
• [loginf] [CFP] Advances in Modal Logic 2008   Carlos Areces
• [loginf] [ISSAC-ANNOUNCE] ISSAC 2008 Call for Posters   ISSAC 2008
• [loginf] [Sender checking failed]: CSR 2008 in Moscow: Call for Participation   CSR-2008
• [loginf] IJCAR'08 Workshop on Practical Aspects of Automated Reasoning   Renate Schmidt
• [loginf] Announcing SMT-COMP 2008   Clark Barrett
• [loginf] FCS-ARSPA-WITS'08: Second Call for Papers   ailab at leary.csoft.net
• [loginf] CSL 2008 - Last CfP - Deadline is March 28th   Ugo Dal Lago
• [loginf] 2nd CfP: Applications of Semantic Technologies AST2008   Pascal Hitzler
• [loginf] E. W. Beth Dissertation Prize: 2008 call for submissions   Carlos Areces
• [loginf] PhD position in the area of Groebner Bases   Temur Kutsia
• [loginf] PhD Positions in Computational Mathematics   Marion Schimpl
• [loginf] PhD Positions in Program and Model Analysis (TUM, LMU)   Helmut Seidl
• [loginf] [ISSAC-ANNOUNCE] Call for Participation - ISSAC 2008   ACM SIGSAM Information Director
• [loginf] PCC '08   Reinhard Kahle
• [loginf] LPAR 2008 (Qatar) CFP   Geoff Sutcliffe
• [loginf] [ISSAC-ANNOUNCE] 2008 Jenks Prize: Call for Nominations   Mark Giesbrecht
• [loginf] [Sender checking failed]: UNIF'08: Second CFP   Mircea Marin
• [loginf] Final CfP: Applications of Semantic Technologies AST2008   Pascal Hitzler
• [loginf] [Fwd: "Algorithmik grosser und komplexer Netzwerke"]   Martin Hofmann
• [loginf] 2nd CFP: VERIFY'08 - 5th International Verification Workshop   Bernhard Beckert
• [loginf] CFP 2nd WORKSHOP ON REACHABILITY PROBLEMS (submissions:19 May 2008)   Reachability Problems 2008
• [loginf] CfP ISoLA 2008 - 3rd IEEE Internat. Symposium on Leveraging Applications of Formal Methods, Verification and Validation   Tiziana Margaria -
• [loginf] Deadline Extension: Applications of Semantic Technologies AST2008   Pascal Hitzler
• [loginf] WoLLIC 2008 - Call for Participation   ruy at cin.ufpe.br
• [loginf] NordSec 2008 - First Call For Papers   Christian Probst
• [loginf] Call for papers: Post-Proceedings of TYPES 2008   Stefano Berardi
  • [loginf] TYPES 2008 Volume: EXTENDED DEADLINE to Wednesaday, October 15, 2008   Stefano Berardi
• [loginf] Call for Presentations at AISC'08 and Calculemus 2008   Volker Sorge
• [loginf] IJCAR Calls and Awards   Geoff Sutcliffe
• [loginf] ICALP 2008: Call for Participation   Luca Aceto
• [loginf] 2nd CFP: 2nd International Conference on Scalable Uncertainty Management (SUM 2008)   Thomas Lukasiewicz
• [loginf] CFP: Workshop CEDAR 2008   Miki Hermann
• [loginf] IEEE CSF 2008 call for participation   Andrei Sabelfeld
• [loginf] FMCAD 2008 CFP Deadline Extension! (May 19th)   Lee Pike
• [loginf] Final Call: WORKSHOP ON REACHABILITY PROBLEMS (submissions:19 May 2008)   Igor Potapov
• [loginf] DEADLINES EXTENDED: 2nd International Conference on Scalable Uncertainty Management (SUM 2008)   Thomas Lukasiewicz
• [loginf] Call for Papers: FLOSS-FM & OpenCert 2008 Joint Workshop   Ralf Treinen
• [loginf] CfP OWLED 2008   Uli Sattler
• [loginf] [SPAM]: *****SPAM***** Der beste PreeV6eeis im Web! Viiaaa .. - 0.89 EURO   Shelton Rojas
• [loginf] [ISSAC-ANNOUNCE] Invitation - ISSAC 2008   ISSAC 2008
• [loginf] Announcement for PhD fellowships   Temur Kutsia
• [loginf] SUM 2008: LAST CALL FOR PAPERS / CALL FOR POSTERS AND DEMOS   Thomas Lukasiewicz
• [loginf] Open PhD Positions in Computational Mathematics (2nd Call)   Marion Schimpl
• [loginf] PhD Fellowship on Formal Methods and Computer Algebra   Temur Kutsia
• [loginf] RTA 2008 - Call for Participation   Temur Kutsia
• [loginf] CL&C - Call for participation   Ulrich Berger
• [loginf] SUM 2008: LAST CALL FOR POSTERS AND DEMOS   Thomas Lukasiewicz
• [loginf] VMCAI 2009: Call for Papers   Markus Mueller-Olm
• [loginf] AiML 2008: Registration now open   Carlos Areces
• [loginf] Call for Participation: Conferences on Intelligent Computer Mathematics   Volker Sorge
• [loginf] CFP: 4th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2008)   Thomas Lukasiewicz
• [loginf] PCC '08   Reinhard Kahle
• [loginf] IJCAR 2008 in Australia   Geoff Sutcliffe
• [loginf] Colloquium Logicum 2008: Deadline for registration June 30   Martin Otto
• [loginf] ESSLLI 2009 Call for Proposals   Richard Moot
• [loginf] W2 Position in Theoretical Computer Science at TUM   Helmut Seidl
• [loginf] ACM and You   MYV
• [loginf] CFP: JAR Special Issue on TESTS AND PROOFS   Bernhard Beckert
• [loginf] RDP'09: Call for Workshop Proposals   Ralf Treinen
• [loginf] 2nd CFP: 4th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2008)   Thomas Lukasiewicz
• [loginf] JOB OPPORTUNITY   Bertram Fronhöfer
• [loginf] JELIA - registration opened   Bertram Fronhöfer
• [loginf] FIRST CALL FOR PARTICIPATION: KR 2008   Tommie Meyer
• [loginf] IJCAR in Australia, 1 month to go   Geoff Sutcliffe
• [loginf] Second CfP OWLED 2008   Uli Sattler
• [loginf] Last call for papers: ACM SAC 09 Software Verification and Testing   Tamara.Rezk at sophia.inria.fr
• [loginf] ESSLLI 2009 - Second Call for Course and Workshop Proposals   Richard Moot
• [loginf] LPAR'08 workshops   Geoff Sutcliffe
• [loginf] Jahrestreffen "Logik in der Informatik"   Helmut Seidl
• [loginf] KR2008: Early registration deadline approaching: July 31   Tommie Meyer
• [loginf] CfP: Reachability Problems, 15-17 Sept. Liverpool, UK   Igor Potapov
• [loginf] AiML08: Preliminary Program now Available   Carlos Areces
• [loginf] Review of Symbolic Logic (RSL)   Patrick Blackburn
• [loginf] Final CFP: 4th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2008)   Thomas Lukasiewicz
• [loginf] VMCAI 2009: Submission is open   Markus Mueller-Olm
• [loginf] MCS special issue: call for papers   G. Vegter
• [loginf] Jahrestreffen "Logik in der Informatik" (Erinnerung)   Helmut Seidl
• [loginf] SUM 2008: Call for Participation   Thomas Lukasiewicz
• [loginf] first CfP: 7th International Conference on Formal Concept Analysis (ICFCA2009)   Sebastian Rudolph
• [loginf] Jahrestreffen "Logik in der Informatik": noch 10 Tage!!!   Helmut Seidl
• [loginf] New Association Computability in Europe formed   S B Cooper
• [loginf] PhD Positions at FU Berlin   Alexander Bockmayr
• [loginf] JELIA: Registration Reminder   Bertram Fronhöfer
• [loginf] Wahl des Leitungsgremiums: Kandidat/inn/envorschläge   Thomas Wilke
• [loginf] [Sender checking failed]: CSR-2009: First Call for Papers   Edward A. Hirsch
• [loginf] CFP: Special issues of Mathematics in Computer Science   mcs-list at cc4cm.org
• [loginf] Symposium on Automatic Program Verification - cfp   Martin Nordio
• [loginf] FMCAD'08: Call for Participation (Nov. 17-20, Portland, Oregon, USA)   Lee Pike
• [loginf] [ESSLLI 2010] Call for Bids   Carlos Areces
• [loginf] CFP: PSI2009 Perspectives of System Informatics   Perspectives of System Informatics
• [loginf] PhD Student Position in Formal Methods for Computer Algebra   Temur Kutsia
• [loginf] JSC Special Issue on Symbolic Computation in Software Science   Temur Kutsia
• [loginf] PhD / Postdoc Position   Carsten Lutz
• [loginf] Invitation to attend OWL: Experiences and Directions (OWLED) 2008   Alan Ruttenberg
• [loginf] open postdoc position in Semantic Web (AIFB Karlsruhe)   Pascal Hitzler
• [loginf] 1st CFP - Workshop on Invariant Generation (WING 2009), York, UK, 22-23 March, 2009   Laura Kovacs
• [loginf] First call for papers: JAR special issue on Description Logics   Uli Sattler
• [loginf] CADE-22 first call for papers   Carsten Schürmann
• [loginf] CADE-22 call for workshop and tutorial proposals   Carsten Schürmann
• [loginf] CFP: AMAI Special Issue on Commonsense Reasoning for the Semantic Web   Guilin Qi
• [loginf] TLCA'09 - Preliminary Call for Papers   Luca Paolini
• [loginf] RTA'09 1st CFP   Hitoshi Ohsaki
• [loginf] ICTAC'09: Call for Workshop Proposals   Martin Leucker
• [loginf] [ISSAC-ANNOUNCE] JSC Special Issue for ISSAC 2008   ISSAC 2008
• [loginf] WoLLIC 2009 - Call for Papers   Ruy de Queiroz
• [loginf] Tableaux 2009 CfP   Viorica Sofronie-Stokkermans
• [loginf] Second Call for Papers: Special issue of AMAI on CFVAI   Miroslav Velev
• [loginf] Final Call for Bids to Host the 22-th ESSLLI, 2010   Carlos Areces
• [loginf] ACL2 2009 Call for Papers   Sandip Ray
• [loginf] JSC Special Issue on Symbolic Computation in Software Science   Temur Kutsia
• [loginf] CFA: Transnational Access Programme at RISC   Temur Kutsia
• [loginf] ARSPA-WITS'09: call for papers   avantssar at resin.csoft.net
• [loginf] open assistant professorship position in Semantic Web (AIFB Karlsruhe)   Pascal Hitzler
• [loginf] third CfP: 7th International Conference on Formal Concept Analysis (ICFCA2009)   Sebastian Rudolph
• [loginf] Ph.D. in Symbolic Computation at RISC-Linz   Guenter Landsmann
• [loginf] First CFP: WWV 2009   Temur Kutsia
• [loginf] PSI 2009 Call For Papers   Perspectives of System Informatics
• [loginf] VMCAI 2009: Call for Participation   Markus Mueller-Olm
• [loginf] [HyLo09] First Call for Papers   Carlos Areces
• [loginf] CFP: ISSAC 2009   Temur Kutsia
• [loginf] TIME 2009 Call for Papers   Carsten Lutz
• [loginf] Post-Doc Positions in the Embedded System Unit of Fondazione Bruno Kessler   Marco Roveri
• [loginf] ACKERMANN AWARD 2009: CALL FOR NOMINATIONS   Carlos Areces
• [loginf] IEEE Computer Security Foundations (CSF 22) : Call for Papers   John C Mitchell
• [loginf] [CFP] Automated Reasoning about Context and Ontology Evolution (ARCOE-09) at IJCAI-09   ARCOE-09
• [loginf] 2nd CFP - Workshop on Invariant Generation (WING 2009), York, UK, 22-23 March, 2009   Laura Kovacs
• [loginf] FroCoS'09 Call for Papers   Roberto Sebastiani
• [loginf] ACL2 2009: Second Call For Papers   Sandip Ray
• [loginf] RTA 2nd CFP (June 29 - July 1, 2009, Brasilia)   Hitoshi Ohsaki
• [loginf] Tableaux 2009: Second CfP   Viorica Sofronie-Stokkermans
• [loginf] ARSPA-WITS'09: second call for papers   avantssar at resin.csoft.net
• [loginf] CfP: ICTAC'09   Martin Leucker
• [loginf] CADE-22 second call for papers   Carsten Schuermann
• [loginf] PhD positions in ICT on Formal Verification via SMT available in Trento   Roberto Sebastiani
• [loginf] CiE 2009, Heidelberg, Germany, 19-24 July 2009 - Second Call for Papers   S B Cooper
• [loginf] CFP: 6th workshop on "Methods for Modalities" (M4M-6)   Thomas Bolander
• [loginf] 4th CFP for TAMC 2009   S B Cooper
• [loginf] PSI 2009 Call For Papers   Perspectives of System Informatics
• [loginf] 3 year post-doc grant in Lisbon   Reinhard Kahle

Last message date: Tue Dec 30 00:22:43 CEST 2008
Archived on: Mon May 25 14:43:45 CEST 2009

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