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