ABOUT FLOC

HOME

PARTICIPATION

Local information

MEETINGS

CAV CSF ICLP IJCAR ITP LICS RTA SAT Workshops (alpha.) Workshops (by conf.) Affiliated Events

PROGRAM

FLoC at a glance Meeting by meeting Day by day Room assignment Invited talks Accepted papers Social events FLoC Brochure (PDF)
!! LAST MINUTE NEWS !! !! ROOM CHANGES !!

ORGANIZATION

Steering Committee Programme Committee Organising Committee

MISCELLANEOUS

Call for Workshops

FLoC Workshops by Their Associated Conference

CAV

AFM 10	5th Automated Formal Methods Workshop
EC2-2010	Exploiting Concurrency Efficiently and Correctly
EMSQMS 2010	Workshop on Evaluation Methods for Solvers, and Quality Metrics for Solutions (with IJCAR)
HWVW10	1st Hardware Verification Workshop
NSV-3	3rd International Workshop on Numerical Software Verification (with LICS)
PSY 10	2nd International Workshop on Practical Synthesis for Concurrent Systems (now combined with SVARM)
SMT 2010	International Workshop on Satisfiability Modulo Theories (with SAT)
SVARM 2010	Synthesis, Verification and Analysis of Rich Models (with IJCAR)

CSF

ASA-4	4th International Workshop on Analysis of Security APIs
FCC10	6th Workshop on Formal and Computational Cryptography
FCS-PrivMod 2010	Workshop on Foundations of Security and Privacy (with LICS)

ASPOCP10	Answer Set Programming and Other Computing Paradigms
CHR 2010	7th International Workshop on Constraint Handling Rules
CICLOPS-WLPE-2010	Joint CICLOPS-WLPE Workshop FLoC-2010
ICLP10-DC	6th ICLP Doctoral Consortium
LaSh 2010	3rd International Workshop on Logic and Search (with SAT)
WCB10	Workshop on Constraint Based Methods for Bioinformatics
WG17	WG17 International Conference on Logic for Programming

Automatheo 2010	Workshop on Automated Mathematical Theory Exploration (Independent workshop affiliated to FLoC) (with ITP)
CLoDeM2010	International Workshop on Comparing Logical Decision Methods (with LICS)
EMSQMS 2010	Workshop on Evaluation Methods for Solvers, and Quality Metrics for Solutions (with CAV)
LfSA 2010	Logics for Systems Analysis (with LICS)
MLPA-10	2nd Workshop on Module Systems and Libraries for Proof Assistants (with ITP)
PAAR-2010	Workshop on Practical Aspects of Automated Reasoning
SVARM 2010	Synthesis, Verification and Analysis of Rich Models (with CAV)
UITP10	9th International Workshop On User Interfaces for Theorem Provers (with ITP)
UniDL10	1st Workshop on Uncertainty in Description Logics
UNIF 2010	24th International Workshop on Unification (with RTA)
VERIFY-2010	6th International Verification Workshop
WING 2010	Workshop on Invariant Generation
WST 2010	11th International Workshop on Termination (with RTA)

ITP

Automatheo 2010	Workshop on Automated Mathematical Theory Exploration (Independent workshop affiliated to FLoC) (with IJCAR)
Coq-2	2nd Workshop of Coq users, developers, and contributors
MLPA-10	2nd Workshop on Module Systems and Libraries for Proof Assistants (with IJCAR)
PAR-10	Partiality and Recursion in Interactive Theorem Provers
UITP10	9th International Workshop On User Interfaces for Theorem Provers (with IJCAR)

CLoDeM2010	International Workshop on Comparing Logical Decision Methods (with IJCAR)
DCM 2010	6th International Workshop on Developments in Computational Models
DTP 10	Dependently Typed Programming 2010
FCS-PrivMod 2010	Workshop on Foundations of Security and Privacy (with CSF)
HyLo 2010	Hybrid Logic and Applications 2010
ITRS 2010	Intersection Types and Related Systems 2010
IWS2010	International Workshop on Strategies in Rewriting, Proving, and Programming (with RTA)
LAM10	3rd International Workshop on Logics, Agents, and Mobility
LCC/PPC 2010	Logic and Complexity: Joint Workshop on LCC and PPC (with SAT)
LFMTP 2010	5th International Workshop on Logical Frameworks and Meta-languages
LfSA 2010	Logics for Systems Analysis (with IJCAR)
LOLA 2010	Syntax and Semantics of Low Level Languages
LSB-10	Workshop on Logic and Systems Biology
MLQA-10	Models and Logics for Quantitative Analysis
NSV-3	3rd International Workshop on Numerical Software Verification (with CAV)
PCARC 2010	Partial Combinatory Algebras in Realizability and Computability
PSPL 2010	International Workshop on Proof Systems for Program Logics
PSTT10	International Workshop on Proof Search in Type Theories

RTA

HOR 2010	5th International Workshop on Higher-Order Rewriting
IFIP-WG1.6 2010	Annual Meeting of the IFIP Working Group 1.6 on Term Rewriting
IWS2010	International Workshop on Strategies in Rewriting, Proving, and Programming (with LICS)
UNIF 2010	24th International Workshop on Unification (with IJCAR)
WST 2010	11th International Workshop on Termination (with IJCAR)

SAT

LaSh 2010	3rd International Workshop on Logic and Search (with ICLP)
LCC/PPC 2010	Logic and Complexity: Joint Workshop on LCC and PPC (with LiCS)
LoCoCo 2010	Workshop on Logics for Component Configuration
POS-10	Pragmatics of SAT
SMT 2010	International Workshop on Satisfiability Modulo Theories (with CAV)