Personal tools
You are here: Home Events FLoC 2010 (Federated Logic Conference)

FLoC 2010 (Federated Logic Conference)

The Federated Logic Conference brings together several international conferences related to mathematical logic and computer science.

What
When Jul 09, 2010 09:00 AM to
Jul 21, 2010 05:00 PM
Add event to calendar vCal
iCal

During the past forty years there has been extensive, continuous, and growing interaction between logic and computer science. In many respects, logic provides computer science with both a unifying foundational framework and a tool for modeling. In fact, logic has been called "the calculus of computer science", playing a crucial role in diverse areas such as artificial intelligence, computational complexity, distributed computing, database systems, hardware design, programming languages, and software engineering.

The Federated Logic Conference brings together several international conferences related to mathematical logic and computer science and this year it is being hosted by the University of Edinburgh.

 

http://www.floc-conference.org/

Document Actions