3:45–5:00 p.m.

Speaker: Alexei Kolesnikov,
Towson University

http://pages.towson.edu/akolesni/

Place: Monroe Hall (2115 G Street), Room 267

Title: *Generalized
Amalgamation and Homology in Model Theory*

Abstract: The first part of this
talk will be a non-technical survey of generalized amalgamation properties in
model theory, with focus on ShelahÕs and ZilberÕs work on excellent classes. The recent research of the
speaker with John Goodrick and Byunghan
Kim on the construction of homology groups is motivated, in part, by the desire
to better understand generalized amalgamation. The second part of the talk will
focus on the construction of homology groups for certain families of functors whose properties are motivated by model theory.

5:15–6:15 p.m.

Speaker: Wesley Calvert, Southern
Illinois University

http://www.math.siu.edu/calvert/index2.html

Place: Monroe Hall (2115 G Street), Room 267

Title: *Degrees
Coded in Geometry*

5:15–6:15 p.m.

Speaker: Byunghan
Kim, Yonsei
University, South Korea

Place: Monroe Hall (2115 G Street), Room 267

Title: *Tree
Property *1

Abstract: I will talk
about recent joint work (with Hyeung-Joon Kim)
on the notions related to the tree property 1 (TP_{1})
introduced by Shelah, or equivalently 2-strong
order property. We give a type-counting criterion for TP_{1} and show
the equivalence of TP_{1} and *k*-TP_{1}. Then we
introduce the notions of weak *k*-TP_{1} for *k*>1, and also give type-counting
criteria for them. We do not know whether weak *k*-TP_{1} implies TP_{1}, but at
least we prove that each weak *k*-TP_{1} implies 1-strong
order property. Our generalization of tree-indiscernibility
results of Dzamonja and Shelah is
crucially used throughout the paper.

3:45–5:00 p.m.

Speaker: John Goodrick, University of Andes, Bogot‡, Colombia

http://matematicas.uniandes.edu.co/~goodrick/

Place: Monroe Hall (2115 G Street), Room 267

Title: *Homology
Groups for Types in Model Theory*

Abstract: We present definitions of
homology groups H_{n}(*p*) for a complete
type *p* in a stable (or simple, or
rosy) theory. We show how these groups relate to certain previously studied
amalgamation properties. We can compute H_{2}(*p*) ÒexplicitlyÓ for strong types in
stable theories and show that the groups that can occur as H_{2}(*p*) are precisely the profinite
abelian groups.

5:15–6:15 p.m.

Speaker: Joe
Mourad,
Georgetown University

Place: Monroe Hall (2115 G Street), Room 267

Title: *Tree Representations,
Arithmetic Hierarchy, and Reverse Mathematics*

6:15–7:15 p.m.

Speaker: Zbigniew Oziewicz, Universidad Nacional Autonoma de Mexico

Place: Monroe Hall (2115 G Street), Room 267

Title: *Applied Category Theory:
Graph-Operad Logic *(*Unified
Approach to Frobenius Algebras: Associative and
Non-Associative*)

Abstract:**
**We
are looking for
necessary and sufficient conditions on low-dimensional algebras to be Frobenius algebras. We introduce the concept of a solvable Frobenius algebra. We formulate Frobenius
algebra within the abelian monoidal
category of operad of graphs.

5:15–6:15 p.m.

Speaker: Joe
Mourad,
Georgetown University

Place: Monroe Hall (2115 G Street), Room 267

Title: *Foundations of Mathematics
and Constructing Real Numbers, *Part III

5:15–6:15 p.m.

Speaker: Dmitry Trushin,
Moscow State University, Moscow

Place: Monroe Hall (2115 G Street), Room 267

Title: *Differential Nullstellensatz*

5:15–6:15 p.m.

Speaker: Joe
Mourad,
Georgetown University

Place: Monroe Hall (2115 G Street), Room 267

Title: *Foundations of Mathematics
and Constructing Real Numbers, *Part II

5:15–6:15 p.m.

Speaker: Joe
Mourad,
Georgetown University

Place: Monroe Hall (2115 G Street), Room 267

Title: *Foundations of Mathematics
and Constructing Real Numbers, *Part I

5:15–6:15 p.m.

Speaker: Valentina
Harizanov, GWU

Place: Monroe Hall (2115 G Street), Room 267

Title: *Computable Binary Trees and Their
Paths*

5:15–6:15 p.m.

Speaker: Patrick O'Neill, Towson State University

Place: Monroe Hall (2115 G Street), Room 267

Title: DNA Splicing Systems, Logically
and Algebraically