The Logic Group is pleased to announce that the **Graduate Certificate in Logic** is now accredited—which means that we can start awarding it!

A website explaining the certificate in detail is in the works. We hope to have this up by the time the new semester starts.

In the meantime, here is a rough summary:

*Any UConn graduate student can get the Graduate Certificate in Logic as an additional qualification. There are barely any requirements in addition to what graduate student members of the Logic Group are doing already: participate in the Logic Colloquium, 12 credits from any graduate course in logic, broadly construed, from any department, and these courses must be from at least two different departments (it’s an interdisciplinary certificate, after all). These courses are not in addition to the courses you’re taking already for MA or PhD, but the very same courses you’re taking anyway. You can find a list of logic course below, but other courses might qualify—just ask.*

*The participation in the Logic Colloquium needs to be made official by way of taking a one-credit independent study with one of the logic certificate directors (or any other Logic Group faculty member who is willing), with the Logic Colloquium as “course content”. Please contact any of the three logic certificate directors, Magda, Damir, or Marcus, if you have any questions about any of this or to apply for a having the logic certificate awarded.*

Graduate Courses in Logic (examples):

- CSE 5102 – Advances Programming Languages
- CSE 5506 – Computational Complexity
- LING 5410 – Semantics I
- LING 5420 – Semantics II
- LING 6410 – Semantics Seminar
- LING 6420 – Topics in Semantics
- MATH 5026 – Topics in Mathematical Logic
- MATH 5260 – Mathematical Logic I
- PHIL 5307 – Logic
- PHIL 5311 – Properties of Formal Systems
- PHIL 5344 – Seminar in Philosophical Logic