10times
Conference

International Conference on Formal Structures for Computation and Deduction


  • About
  • Reviews

International Conference on Formal Structures for Computation and Deduction covers all aspects of formal structures for computation and deduction from theoretical foundations to applications. Building on two communities, RTA (RewritingTechniques and Applications) and TLCA (Typed Lambda Calculi and Applications), FSCD embraces their core topics and broadens their scope to closely related areas in logics, proof theory and new emerging models of computation such as quantum computing or homotopy type theory.

Timings

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

Entry Fees

Check Official Website

Participants

upto 100 DelegatesEstimated Count

Category & Type

Conference
Education & Training
IT & Technology

Editions

24-30 Jun 2019


Frequency Not Available

Official Links

Website Contacts


Report Error
Claim this event

Organizer

Logo Send Stall Book Request

Easy Conferences Cyprus

39 events listed

User Community

Anupkumar Shrivastav

Anupkumar Shrivastav

Head HR at Lakme Mumbai, India

Write a Review

Add Your Review
51.515095 7.453047

Venue Map & Directions

map of U-Tower

U-Tower

Westpark, 44137 Dortmund, Germany
Germany

Get Directions

Featured Hotels in Dortmund

More Hotels