Sixth Federated Logic Conference (FLoC 2014)

2014年07月09日 to 2014年07月24日, Vienna, Austria

LICS Archive
All Conferences
Committees
Invited Speakers
Papers by Author
Test-of-Time Award Winners
Kleene Award Winners

On this page:

Link to Web Page
Participating Conferences
FLoC Organizers

Participating Conferences

Conference on Computer-Aided Verification (CAV)
Computer Security Foundations Symposium (CSF)
International Conference on Logic Programming (ICLP)
International Joint Conference on Automated Reasoning (IJCAR)
International Conference on Interactive Theorem Proving (ITP)
Joint meeting of the EACSL Annual Conference on Computer Science Logic (CSL) and the ACM/IEEE Symposium on Logic in Computer Science (LICS)
Joint meeting of the International Conference on Rewriting Techniques and Applications (RTA) and the International Conference on Typed Lambda Calculi and Applications (TLCA)
International Conference on Theory and Applications of Satisfiability Testing (SAT)

Organizers

General Chair

Moshe Y. Vardi
Rice University
vardi@cs.rice.edu

Conference Chair

Helmut Veith
Vienna University of Technology

Matthias Baaz
Vienna University of Technology

Organization

Moshe Y. Vardi (General Chair)
Helmut Veith (Chair)
Matthias Baaz (Co-Chair)
Stefan Szeider (Workshop Chair)
Azadeh Farzan (Student Support Program)
Thomas Krennwallner (Olympic Games / Competition Chair)
Stefan Rummele@Rümmele (Workshop Co-Chair)

Last modified: 2024年10月24日 9:41

Sam Staton