PLFM | Archive

Archive

7 archived entries

August 21 to 23, 2026

Scandinavian Logic Symposium

Symposium · Logic · Semantics · Theorem Proving · Copenhagen, Denmark

August 3 to 6, 2026

Workshop on Logic, Language, Information and Computation

Workshop · Logic · Semantics · Types · Lima, Peru

Dates TBA

Workshop on Software Systems Across the National Laboratories

Workshop · Formal Methods · Verification · PL · Theorem Proving · Oakland, California, United States

Colocated with SPLASH 2026

August 17 to 20, 2026

Nordic Logic Summer School

Summer School · Logic · Semantics · Theorem Proving · Copenhagen, Denmark

Open to: Students, PhD, Postdocs

August 11 to 22, 2026

Marktoberdorf Summer School on Engineering Secure and Dependable Software Systems

Summer School · Formal Methods · Verification · Security · Herrsching am Ammersee, Germany

Open to: PhD, Postdocs

August 10 to 14, 2026

Summer School on Programming Languages, Logic and Software Security

Summer School · PL · Logic · Types · Verification · Security · Aarhus, Denmark

August 3 to 14, 2026

European Summer School in Logic, Language and Information

Summer School · Logic · Semantics · Types · Prague, Czechia

Open to: Students, PhD, Postdocs

Know of a conference, workshop, event, or school that should be on PLFM? Spot an error? Write to bhumikamittal@gatech.edu.