conference.international

Home › Conferences › Computer Science & AI

CADE 2027

The Conference on Automated Deduction 2027

CADE 2027. 22 August 2027 to 25 August 2027, Nijmegen, Netherlands. Next deadline 15 February 2027.

Conference website ↗

Dates22 August 2027 to 25 August 2027
WhereNijmegen, Netherlands
FieldComputer Science & AI
Call for papersOpen until 15 February 2027 (AoE).
Submission deadlinesAbstract 15 February 2027 (AoE)
FormatIn person

Other computer science & ai conferences

See them all: every computer science & ai conference · every conference in Netherlands · browse the whole index

Is this your conference?

This entry was built from the details published on the organiser's own website, and it is rechecked against that website as the event approaches. We would rather the organiser held it than us. Take it over and you can correct anything here, move your deadlines as they change, and add your logo and description. It is free, and it stays free.

Claim this listing

You can claim it from the address published for the conference, or, if you run it from a personal mailbox, by publishing a short code on the conference website. If you would rather it was not listed at all, say so on that page and it goes at once, without question.