Science, Math, Logic and Foundations, Organizations

    Top: Science: Math: Logic_and_Foundations: Organizations:

• Top/Science/Math/Organizations

• - European Association for Computer Science Logic. Newsletter, meetings, index to conference proceedings, membership list.
  
• - European Association for Logic, Language and Information. Meetings and publications.
  
• - Principles of Knowledge Representation and Reasoning, Incorporated. A charitable organization fostering research and communication on knowledge representation and reasoning. Its primary activities include organizing a series of conferences, the Conferenc
  
• - Deutsche Vereinigung für Mathematische Logik und für Grundlagen der Exakten Wissenschaften (site partly in German)
  
• - Information on the "Computability in Europe" network of mathematicians, computer scientists, philosophers and scientists with research interests in computability issues
  
• - IEEE Technical Committee on Multiple Valued Logic.
  
• - Canadian Society for History and Philosophy of Mathematics.
  
• - Association for Logic Programming. Membership information, newsletter, journals, meetings.
  
• - A federation of societies and groups active in computational logic.
  
• - Interest Group in Pure and Applied Logics: part of FoLLI.
  
• - An international organization for the promotion of research in the areas of Logic, Philosophy, History of Mathematics, above all in connection with the biography of Kurt Gödel.
  
• - Meetings, publications, reports and resources.
  
• - Association for Symbolic Logic.
  
• - American Logic Programming Organization.
  
• - UP Eulogica is academic and social in nature. This is a co-educational, college-based student organization, which is university wide in membership. It accepts honorary members composed of UP students, professors, instructors and administrators.