10times
Conference

International Conference on Formal Structures for Computation and Deduction


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 Interested


Frequency Newly Listed

Official Links

Website Contacts


Report Error
Claim this event

Event Reputation
Organizer Reputation
Venue Reputation

Organizer

Logo Send Stall Book Request

Easy Conferences Cyprus

37 events listed
+ Add me as user

User Community

Anupkumar Shrivastav

Anupkumar Shrivastav

Head HR at Lakme Mumbai, India
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