Gesellschaft für Informatik

GI-Fachgruppe 0.1.6 -Logik in der Informatik

Schloss Dagstuhl: Leibniz-Zentrum für Informatik

European Association for Theoretical Computer Science

Association for Computer Machinery

IFIP - International Federation For Information Processing

International Conference on Rewriting Techniques and Applications (RTA)
Current / Upcoming conferences:

• RTA-26: Warsaw, Poland, 29. June - 3. July, 2015, part of RDP 2015
• RTA-25/TLCA-12: Vienna, Austria, 14. July - 17.July 2014, part of FLoC 2014.
• RTA-24: Eindhoven, The Netherlands, 2013. RTA will be part of RDP 2013
• RTA-23: Nagoya, Japan, 2012.
• RTA-22: Novi Sad (Serbia), 2011. RTA will be part of RDP 2011
• RTA-21: Edinburgh (Scotland), 2010. RTA will be part of FLoC 2010
• RTA-20: Brasília (Brazil), 2009. RTA will be part of RDP 2009

International Conference on Automated Deduction (CADE)
Current / Upcoming conferences:

• CADE-24: Lake Placid, New York, USA, 2013
• CADE 23: Worclaw, Poland, 2011
• CADE 22: Montreal, Canada, 2009

uni ffm © 1997, 2004