Other projects within LogICCC:

• Logic for Interaction (LINT)
• The Logic of Causal and Probabilistic Reasoning in Uncertain Environments (LcpR)
• Logical Models of Reasoning with Vague Information (LoMoReVI)
• Games for Analysis and Synthesis of Interactive Computational Systems (GASICS)
• Vagueness, Approximation, and Granularity (VAAG)
• Computational Foundations of Social Choice (CFSC)
• Social Software for elections, the allocation of tenders and coalition/alliance formation (SSEAC)