Meetings/Workshops on Information Theory, Foundations of Computer Science in the United States (USA)

Select a location
1
CADE-28 — 28th International Conference on Automated Deduction
12 Jul 2021 - 16 Jul 2021 • Pittsburgh, Pennsylvania or Virtual, United States
Organizer:
CADE-28 is organized in cooperation with ACM SIGLOG. The conference will be hosted in the Gates Hillman Center at Carnegie Mellon University.
Abstract:
The conference on Automated Deduction (CADE) is the major international forum at which research on all aspects of automated deduction is presented.
Event listing ID:
1395234


Conference-Service.com offers, as part of its business activities, a directory of upcoming scientific and technical meetings. The calendar is published for the convenience of conference participants and we strive to support conference organisers who need to publish their upcoming events. Although great care is being taken to ensure the correctness of all entries, we cannot accept any liability that may arise from the presence, absence or incorrectness of any particular information on this website. Always check with the meeting organiser before making arrangements to participate in an event!

Last updated: 18 December 2020