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

Society Registration Form

IFCoLog

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:
 
    [an error occurred while processing this directive] 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