Messages by Thread
-
-
ICTAC 2006: Final call for papers
Chris George
-
2nd CFP: 3rd International Verification Workshop, VERIFY'06
event
-
2nd CFP: Qualitative Constraint Calculi -- Workshop @ KI 2006
event
-
Reminder: Summer School "Reasoning Web 2006", final week for applications
event
-
Final Call For Participation: CPAIOR 2006 ** STUDENT SUPPORT **
ian miguel
-
[Esslli2006.dist] FW: ESSLLI 2006: Call for participation
Ernesto Pimentel
-
[Shuly Wintner] [MoL] Workshop on Large-scale Grammar Development and Grammar Engineering
Denys Duchier
-
LPAR 2006 (Phnom Penh, Cambodia), Last CFP
event
-
Postdoctoral Research Positions in Flanders
Tom Schrijvers
-
Subject: LPAR 2006 (Phnom Penh, Cambodia), Last CFP
Miki Hermann
-
Call for papers
event
-
From OPI to Executables
Alan Oswald
-
C#
Erhan ERİŞKEN
-
.NET
Tunga Torgal
-
CTM Palindrome Example
Chris Rathman
-
CWI and Utrecht University offer two PhD positions
Frank de Boer
-
CFP: ProMAS special Issue
event
-
EXTENDED DEADLINE : CFP IEEE Symposium on Industrial Embedded Systems - IES'2006, Antibes - France, October 2006
Luis Gomes
-
European MSc in Computational Logic - more grants available
event
-
AIMSA 2006 Second Call for Papers and Participation
event
-
FM'06 - Doctoral Symposium - Call for Submissions
Augusto Sampaio
-
CP 2006: Deadline extension
Christian Schulte
-
ODBC
Filip Konvicka
-
CFP: 2nd International Congress on Tools for Teaching Logic
Carlos Areces
-
A dissertation on the rationale, philosophy, and goals of E and related systems
Mark S. Miller
-
CFP: International Workshop on Hybrid Logic 2006
Carlos Areces
-
MPC/AMAST 2006 Call for Participation
Tarmo Uustalu
-
CLP question
Fred Spiessens
-
Waiting
Alan Oswald
-
DEADLINE EXTENSION -- LOPSTR'06
LOPSTR 2006
-
2nd CFP: FCS-ARSPA'06 (Workshop on Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis)
vigano
-
Deadline Extension: Mathematically Structured Functional Programming
Conor McBride
-
vacancies for 2 PhD-students
event
-
[Fwd: CFP: C&CA-2006]
event
-
WRS06 last call for paper
wrs06
-
EASSS 2006 Call for Participation
event
-
Deadline extended - ECAI WS on Distributed CSP
event
-
CFP: AAAI-06 workshop on Learning for Search
ian miguel
-
CP-TOOLS-06: First International Day on Constraint Programming Tools
Christian Schulte
-
CP 2006: Applications to Doctoral Program
Christian Schulte
-
AOSD 2007
event
-
ECAI 06 Workshop on Distributed Constraint Satisfaction Problems - CfP
event
-
CFP: IWKDDS
event
-
CFP: MVLP06, Intl. Workshop on Multi-Valued Logic Programming and Applications
Ajay Mallya
-
2nd Call for Papers: CHR 2006
event
-
CFpart: Deontic Logic in Computer Science (DEON2006)
event
-
LOPSTR'06, Venice -- Final Call For Papers
LOPSTR 2006
-
1st DASMOD Summer School: Computer Science, Modeling, and Applied Mathematics
event
-
SPIRE 2006 --- available support for students
event
-
problems with a lot of data
Robert Van Dam
-
Call For Participation: CPAIOR 2006
ian miguel
-
TWO LECTURESHIPS IN COMPUTER SCIENCE
Susan Bates
-
Deadline Extension CL&C'06
event
-
CFP: Agent Technology and Autonomic Computing (ATAC'2006)
event
-
2nd CFP: FOIS-2006 - International Conference on Formal Ontology in Information Systems
event
-
ASE2006 Workshop: Supporting Knowledge Collaboration in Software Development
Yunwen Ye
-
question:data structure
Lucia Cambise
-
problems with very large pickles
Robert Van Dam
-
Generating Random Numbers
Alan Oswald
-
Generating random numbers in Oz
Alan Oswald
-
Constraints and Language Processing (CSLP-06)
Denys Duchier
-
CP 2006: Second Call for Papers
Christian Schulte
-
Deadlines are near: CFP - ICSM 2006
icsm-info
-
2nd CFP: Multidisciplinary ECAI-06 WS on Preferences
event
-
ICLP 2006 Doctoral Consortium -- Deadline in 2 days
event
-
ICFEM 2006: 2nd Call for Contributions
Chris George
-
IICAI-07 Conference announcement
Dr. Bhanu Prasad
-
CFP: Qualitative Constraint Calculi -- Workshop @ KI 2006
event
-
Breadth-First Solve
Chris Rathman
-
CFP - Search and Logic: ASP and SAT
event
-
Last CFP: 2nd International Workshop on Coordination and Organisation (CoOrg 2006)
event
-
Classical Logic and Computation: second call for papers
event
-
CFP: MICAI-2006, Artificial Intelligence, Springer LNAI + IEEE CS
event
-
Unstable client/server
Jens Grabarske
-
Question:Application exit without closing windows
Lucia Cambise
-
Formal Methods 2006: Call for Demos (Commercial and Research) and Posters
Marsha Chechik
-
Call for papers! PDPAR: Workshop on the pragmatics of decision procedures
Byron Cook
-
CFP2: Mathematically Structured Functional Programming
Conor McBride
-
List Comprehensions?
Mark Engelberg
-
CP 2006: Applications to Doctoral Programme
Christian Schulte
-
CFP: LCC'06 - Workshop on Logic and Computational Complexity
event
-
(CFP) Workshop on Logic-based Methods in Programming Environments
Wim Vanhoof
-
Outputting Lists with QTk
Alan Oswald
-
Re: Macros
Torsten Anders
-
FMCO 2006: call for tutorial papers
M.M. Bonsangue
-
EASSS 2006: Call For Participation
event
-
lazy tree creation
Robert Van Dam
-
ACM PPDP'06 Deadline extension
Michael Maher
-
3rd CFP LPAR 2006, Phnom Penh, SUBMISSION IS OPEN NOW
Miki Hermann
-
2nd CfP: Workshop PPSWR 2006 @ ESWC
event
-
DSD 2006 - FINAL Call For Papers - 9th EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN
DSD 2006
-
FM'06 Doctoral Symposium
Augusto Sampaio
-
CALL FOR PAPERS: CICLOPS 2006
event
-
International Conference on Logic Programming: DOCTORAL CONSORTIUM
event
-
2nd CfP: Applications of Logic Programming in the Semantic Web and Semantic Web Services (ALPSWS2006)
event
-
Call for Papers: Preferences and their Applications in Logic Programming Systems
event
-
CFP: ProMAS at AAMAS 06
event
-
TFP2006: Call for Participation
Henrik Nilsson
-
Call for papers: SCAM 2006
icsm-info
-
Infinite Choices
Chris Rathman
-
Use of variables in patterns
Anthony Borla