10times
27th Edition  Conference

International Conference on Automated Deduction

  • 23-30 Aug 2019 remind me
  • Federal University of Rio Grande do Norte, Natal,  Brazil

The International Conference on Automated Deduction is the major international forum for presenting research on all aspects of automated deduction and it will feature high-quality submissions on the general topic of automated deduction, including foundations, applications, implementations, theoretical results, practical experiences and user studies.

Timings

09:00 AM-06:00 PM (expected)
Not Verified

Entry Fees

Check Official Website

Participants

upto 100 DelegatesEstimated Count

Category & Type

Conference
Science & Research
IT & Technology

Editions

23-30 Aug 2019 Interested


Frequency Newly Listed

Official Links

Website Contacts


Report Error
Claim this event

Organizer

Logo Send Stall Book Request

Federal University of Rio Grande do Norte Brazil

4 events listed
-5.840711 -35.200585

Venue Map & Directions

map of Federal University of Rio Grande do Norte

Federal University of Rio Grande do Norte

Campus Universitário - Lagoa Nova, Natal - RN, 59078-970, Brazil
Brazil

Get Directions

Featured Hotels in Natal

More Hotels