IFCoLog Society Registration Form

The International Federation of Computational Logic IFCoLog is supported and coordinated
by the Compulog Net Office at DFKI, Saarbrücken

Society Registration Form

This is an IFCoLog Society Registration Form. Please complete this form if you wish to register your society or research community. Should you wish to register under a research area not so far listed then you should first go to the button "Areas" before registering here. If you have any difficulties, please contact us by e-mail.
You can find a complete list of members on this page.

Your E-mail Address:
Area related to Society (Multiple choice will soon be possible)	[an error occurred while processing this directive] Logic Programming Concurrency Calculi and Tools Logic and Machine Learning Logical Aspects of Databases Logics of Uncertainty Modal, Temporal, Dynamic and Epistemic Logics Model Checking Program Specification Proof Theory Model Theory Logic and Philosophy Description Logics Term Rewriting Systems Type Theory and Logical Frameworks Category Theory and Logic Multiple-Valued Logic Description Logics Reasoning about Actions and Change Automata and Temporal Logic Formal Methods and Verification Commonsense and Nonmonotonic Reasoning Constraint Programming Finite Model Theory and Complexity of Logical Theories Functional Programming and Lambda Calculus [an error occurred while processing this directive]
Abbreviated Name of Society	(e.g. "ALP". If none, please give full name):
Complete Name of Society	(e.g. "Association of Logic Programming".) Please leave blank, if entered above):
Short Info about Society
Person to Contact Society:	Name: E-mail:
WWW-Site for Society:
Action:

In 10 from 24 Areas we have already 16 entries. the following Societies are already registered:

Association of Logic Programming
International Conference on LOGIC PROGRAMMING AND NONMONOTONIC REASONING
Special Interest Group on Foundations of AI of the Japanese Society for AI
European Workshops on Logic in Artificial Intelligence
Association for Automated Reasoning
Conference on Automated Deduction
European Workshops on Logic in Artificial Intelligence
International Conference on Theorem Proving with Analytic Tableaux and Related Methods
Polish Association for Logic and Philosophy of Science In Polish: Polskie Towarzystwo Logiki i Filozofii Nauki
Technical Committee on Multiple-Valued Logic of the IEEE Computer Society
Description Logics
Electronic Colloquium on Reasoning about Actions and Change
European Workshops on Logic in Artificial Intelligence
Consctruction of Trustworthy System
European Workshops on Logic in Artificial Intelligence [an error occurred while processing this directive]

edited by: Webadmins - P.Franke Oct.'99 Jan, Feb, Jul 2000

IFCoLog | DFKI Saarbrücken Articles catalogue