Spring 2020

The geometric group theory seminar will be starting next week. It will run on Fridays, 2:30-3:20 in Keller 402. Our first speaker will be Inkang Kim from the Korean institute of advanced study who will speak about primitive stable representations. Please let me know if you are interested in being part of our seminar mailing list. Asaf Hadari

Fall 2019

We will begin the Geometric Group Theory seminar again in a couple of weeks. This semester it will take place on Tuesdays at 3pm in Keller 301. If you are interested in attending please email Andrew Sale to be added to the mailing list. We will work up towards a proof of $\delta$-hyperbolicity of the curve complex of a graph, and we hope to make it accessible to grad students, especially those who have had some exposure to GGT. If you have any questions about what we will cover, don’t hesitate to email. Thanks for reading and hope to see you there!

Assistant Professor Elizabeth Gross has been awarded a CAREER grant from NSF in the amount of $464,828. Some more details can be found here: Identifiability and Inference for Phylogenetic Networks using Applied Algebraic Geometry.

She previously studied Computational algebraic geometry and combinatorial algorithms for neuroscience and biological networks under another NSF award.

The logic seminar for Spring 2020 will be held Fridays at 2:30–3:20pm, room TBA.
The logic seminar for Fall 2019 was held Wednesdays at 2:30–3:20pm in Keller 314.

If you are interested in the seminar, please let Kameryn Williams know to be added to the mailing list.

The Department of Mathematics at University of Hawaii at Manoa has long had an informal graduate program in logic, lattice theory, and universal algebra (People, Courses, Description) going back to Alfred Tarski’s 1963 student William Hanf.

We are offering the following course rotation (courses mostly repeating after two years):

Past offerings

Semester	Course number	Course title	Instructor
Spring 2016	MATH 649	Applied Model Theory	Ross
Fall 2016	MATH 654	Graduate Introduction to Logic	Beros
Spring 2017	MATH 657	Computability and Complexity	Khan
Fall 2017	course break	-	-
Spring 2018	MATH 649	Applied Model Theory	Ross
Fall 2018	MATH 654	Graduate Introduction to Logic	Kjos-Hanssen
Spring 2019	MATH 655	Set theory	Williams

Future offerings:

Semester	Course number	Course title	Instructor
Fall 2019	course break	-	-
Spring 2020	MATH 657	Computability and Complexity	Kjos-Hanssen
Fall 2020	MATH 654	Graduate Introduction to Logic	TBA
Spring 2021	MATH 649	Applied model theory	Ross

It is also recommended that students familiarize themselves with undergraduate level logic, which is offered on the following schedule:

Past offerings

Semester	Course number	Course title	Instructor
Fall 2012	MATH 454	Axiomatic Set Theory	Kjos-Hanssen
Spring 2013	MATH 455	Mathematical Logic	Kjos-Hanssen
Fall 2014	MATH 454	Axiomatic Set Theory	Ross
Spring 2015	MATH 455	Mathematical Logic	Khan
Spring 2016	MATH 454	Axiomatic Set Theory	Khan
Spring 2017	MATH 455	Mathematical Logic	Ross
Spring 2018	MATH 455	Mathematical Logic	Khan

Future offerings:

Semester	Course number	Course title	Instructor
Fall 2019	MATH 454	Axiomatic Set Theory	Williams

Faculty teaching in the program

David A. Ross, Professor
Bjørn Kjos-Hanssen, Professor
Kameryn Williams, Temporary Assistant Professor 2018–2021

The Analysis seminar will meet on Tuesdays at 3:30pm, in a classroom to be determined (probably K402). If you are interested in the seminar and would like to be added to the email list, please let Malik Younsi know. Also, anyone is welcome to give a talk! Prabath Silva will give the first seminar presentation, on January 21st. Title and abstract to be determined. Credits: Image by Rogilbert – Own work. Créé avec Chaoscope, Public Domain, Link