Messages by Thread
-
-
ICITST-2009: SECOND CALL FOR PAPERS AND WORKSHOP PROPOSALS.
info
-
Is there a professional pdf version of the CTMC on sale?
Trond Olsen
-
IWACO 2009 Final call for papers
Matthew Parkinson
-
Mozart comparisons
Anastasia Domanou
-
Second CFP: QA 2009 (pre-CAV workshop)
Sumit Gulwani
-
[FMICS 2009] Deadline Extension to 10 April
FMICS 2009 workshop chair
-
CFP (extended deadline): 25th IEEE International Conference on Software Maintenance
icsm-info
-
TIME'09 - Final call for papers
Jean-Francois Raskin
-
web service in Mozart
Jose Enrique Benitez Jimenez
-
Next Mozart Release?
markus . boehm
-
Selection constraints on Windows
Torsten Anders
-
DASIP2009 > Extended submission deadline April 14, 2009
info
-
(EC)^2: Submission Deadline Extended to April 6
Stephen Siegel
-
ESSLLI 2009 - Second Call for Participation
Richard Moot
-
FDL2009 > Submission deadline extension - April 7, 2009
training
-
[FMICS 2009] Fourth Call for Papers
FMICS 2009 workshop chair
-
ECOOP 2009 Call for Participation
Dave Clarke
-
SPIN 2009: Last Call For Papers
Corina Pasareanu
-
CFP: LJ of the IGPL Special Issue on Hybrid Logics
Carlos Areces
-
[Deadline approaching] IEEE IRI 2009
IEEE-IRI-Publicity
-
5th Reasoning Web Summer School 2009 - call for participation
Enrico Franconi
-
Test IV
Armin Biere
-
DMIN09 Last Deadline extension
Data Mining CfP
-
CfP: TTSS'09 - Harnessing Theories for Tool Support in Software
Volker Stolz
-
FCS'09: call for papers
avantssar
-
Tests and Proofs 2009 - Final CfP reminder
Tests and Proofs 2009
-
SADFE CFP - Submission Deadline Approaching
Rob Erbacher
-
CFP COLA'09: Computational Logic with Applications
Fernando Silva
-
WLPE'09: 19th Workshop on Logic-based methods in Programming Environments
WLPE 2009 WLPE 2009
-
RR 2009 Call for Papers
Terrance Swift
-
Convoluting lists (CTM exercise 3.16)
Oliver Mooney
-
LOPSTR2009 first Call for Papers
International Symposium on Logic-based Program Synthesis and Transformation
-
ECOOP 2009 Call for Student Volunteers
Dave Clarke
-
DASIP2009 > 2nd Call for Contributions - Submission deadline March 31, 2009
info
-
{Spam?} FDL2009 > Call for Contributions - Submission deadline March 31, 2009
training
-
PPDP'09 - 1st CfP
António Porto
-
Call for Papers: LPNMR'09
LPNMR09 Account
-
Second Call for Papers and Workshop Proposals: ICITST. The 4th International Conference for Internet Technology and Secured Transactions, Technical Co-Sponsored by IEEE UK/RI Section
info
-
APNOC 2009: deadline extension
Serebrenik, A.
-
LASER Summer School on Software Engineering
Martin Nordio
-
CFP: QA 2009 (pre-CAV workshop)
Sumit Gulwani
-
SPIN 2009: Extended Deadline March 24, 2009
Corina Pasareanu
-
IEEE IRI 2009: Deadline Extended to March 29
IEEE-IRI-Publicity
-
DMIN'09 - Deadline Extension
Data Mining CfP
-
[PNSE'09] Call for Papers: Petri Nets and Software Engineering
PNSE09
-
[FMICS 2009] Third Call for Papers
FMICS 2009 workshop chair
-
Extension of Deadline: 3rd CfP LSIR-2, "Logic and the Simulation of Interaction and Reasoning"
LSIR-2 at IJCAI 2009
-
Objects and parallel search
Torsten Anders
-
Mozart Gump problems?
Nanitous
-
21st ESSLLI Bordeaux July 20-31
retore
-
Special Issue of the Journal of Automated Reasoning on Computer Security: Foundations and Automated Reasoning
avantssar
-
Draft paper submission is extended (will not be extended further): MULTICONF-09
Edward Mellon
-
[Coq-Club] Tests and Proofs 2009 - Call for Papers - submission deadline march 20th 2009
Catherine Dubois
-
DASIP2009 > Call for Contributions - Submission deadline March 31, 2009
training
-
1.4.0 distribution bug?
mark richardson
-
[Sumission due on Mar. 1] CFP: IEEE International Conference on Information Reuse and Integration (IEEE IRI-2009)
Chengcui Zhang
-
[dsd2009-l] 3rd and last Call for papers Digital System Design 2009
antonio . nunez
-
HyLo09: Deadline Extended till 15th March, 2009
Carlos Areces
-
STOP 2009 Call for Papers
Tobias Wrigstad
-
FDL2009 > Call for Contributions - Submission deadline March 31, 2009
training
-
SADFE 2009 CFP: Extended Deadline
Rob Erbacher
-
Postdoc position on Description Logics and Rules in Bozen-Bolzano (Italy)
Enrico Franconi
-
2nd CfP: ICTAC'09
Martin Leucker
-
Last Call for Papers HyLo09
Carlos Areces
-
Distributed search
mark richardson
-
Knights tour as a functor
mark richardson
-
Re: Difference lists (Raphael Collet)
Oliver Mooney
-
Difference lists
Oliver Mooney
-
FD description proof read
mark richardson
-
IWACO 2009 Call for papers
Matthew Parkinson
-
Last call for papers: MULTICONF-09 (deadline will not be extended further)
Justin Williams
-
ESSLLI 2009 Call for Participation
Richard Moot
-
A question about distribution and Pickle.load
Tarik Ozkanli
-
ParSearch source code
Jose Enrique Benitez Jimenez
-
CALL FOR SPECIAL TRACKS: The 4th International Conference for Internet Technology and Secured Transactions 2009 (ICITST-2009), Technical Co-Sponsored by IEEE UK/RI Section
info
-
CALL FOR WORKSHOPS: The 4th International Conference for Internet Technology and Secured Transactions (ICITST-2009), Technical Co-Sponsored by IEEE UK/RI Section
info
-
CALL FOR PAPERS: The 4th International Conference for Internet Technology and Secured Transactions (ICITST-2009), Technical Co-Sponsored by IEEE UK/RI Section
info
-
FS program progress indicator
mark richardson
-
Call for Papers: Optimization in Health and Medicine
Sebastian Brand
-
Cfp: WFLP09-18th Int'l Workshop on Functional and (Constraint) Logic Programming
Santiago Escobar
-
Postdoc Positions at the CLIP group, Spain
CFP
-
CFP: ICSM 2009
icsm-info
-
Pattern Matching and tuples
Quirino Zagarese