CENTRE FOR ALGEBRA, LOGIC AND COMPUTATION (CALC)
of the
College of Arts & Science
University of Saskatchewan
106 Wiggins Road
Saskatoon, SK, S7N 5E6, Canada
Phone: (306) 966-6081 - Fax: (306) 966-6086

MOST RECENT EVENTS:

The Algebra and Logic Group was founded in 1997. It has been approved as a research unit in the College of Arts and Science in August of 2002, and as a research centre in 2005. It is devoted to the study of ordered and valued algebraic structures, their model theory and their applications in various branches of mathematics, as well as other topics in algebra. Areas of research include: real algebra and real algebraic geometry (quadratic forms, spaces of orderings, positivstellensätze, moment problems, optimization), field theory (ordered fields, valued fields, function fields, exponential fields, Hardy Fields), model theoretic algebra (model theory of valued fields, analytic functions, o-minimal structures, exponential-logarithmic power series, power series fields in positive characteristic), local uniformization and resolution of singularities, ordered algebraic structures (lexicographic orderings, ordered vector spaces, ordered abelian groups with extra structure), ultrametric spaces, nonassociative algebra, polynomial identities, Hopf algebras, symbolic computation.

MEMBERS OF THE RESEARCH UNIT "ALGEBRA AND LOGIC":

• Murray Marshall, professor.
• Franz-Viktor Kuhlmann, professor.
• Salma Kuhlmann, professor.
• Murray Bremner, professor.
• Victor Vinnikov, professor.
• Leslie Walter, lecturer.

• A frequent and welcome guest to our seminar: Serban Belinschi, assistant professor.

Mickael Matusinski, postdoctoral fellow.

Katarzyna Osiak, short term postdoctoral fellow.

Andreas Fischer, postdoctoral fellow, then sessional lecturer (2006-2008).

Tim Netzer, predoctoral fellow (May-Oct. 2007).

Igor Klep, postdoctoral fellow, (May-Sept. 2007).

Ron Brown (Hawaii), visiting professor, (Fall of 2006).

Pawel Gladki, PhD student (2003-2007).

Wei Fan, MSc student (2004-2006).

Ulrich Hermisson, postdoctoral fellow (2004-2005).

Antongiulio Fornasiero, postdoctoral fellow (2004-2005).

Mohamed El Bachraoui, postdoctoral fellow (2003-2004).

Svetlana Morozova, postdoctoral fellow (2003-2004).

Alexei Zenkov, postdoctoral fellow (2003-2004).

Jaka Cimpric (Ljubljana), NATO postdoctoral fellow, July 2001 - June 2003

Roland Auer, postdoctoral fellow, January 2002 - May 2003

Mikhail Kotchetov, postdoctoral fellow, September 2002 - July 2003

Alexander Nenashev, short term postdoctoral fellow.

Igor Klep (Ljubljana), PhD student. He was Cimpric's student.

Dejan Veluscek (Ljubljana), PhD student. He was Cimpric's student and visited our group for one month in 2002.

Matthias Aschenbrenner and Markus Schweighofer, short term postdoctoral fellows

Marcus Tressl (Leeds), Vincent Astier (Konstanz) and Olivier Piltant (Versailles), short term postdoctoral fellows

Last but not least, as a frequent guest of our seminar: Jonathon Funk, assistant professor.

• Mahdi Zekavat, Ph.D. Thesis: Orderings, cuts and formal power series, Saskatoon (March 2000).
• Hyunku Chun, M.Sc. Thesis: The orthogonal group of an elliptic space, Saskatoon (February 2001).
• Trevor Green, M.Sc. Thesis: Properties of Chain Products and Ehrenfeucht-Fraissé Games on Chains., Saskatoon (Summer 2002).
• Wei Fan, M.Sc. Thesis: Non-negative polynomials on compact semi-algebraic sets in one variable case, Saskatoon (2006).
• Manuela Haias, M.Sc. Thesis: On the value group of exponential and differential ordered fields, Saskatoon (2007).
• Pavel Gladki, Ph.D. Thesis: The pp conjecture in the theory of spaces of orderings, Saskatoon (2007).

• Amy Mader, project title: Sturm's Algorithm (Computer Program, August 1999).
• Chira Chilliack, project title: The Orthogonal Group of Euclidean Space (August 2000).
• Chris Arbuthnott, project title: A proof of Rosenlicht's Lemma (December 2000).
• Jonathon Lee (University of Waterloo), project title: Algebraic aspects of cryptography (Summer 2002).
• Duana Kipling and Kelly Skoye (University of Saskatchewan), project title: Finite fields and coding theory (Summer 2003).
• Brian Danchilla, University of Saskatchewan (Summer 2003).
• Lauren Bains and Ying Li (also supported by USTEP), project title: Invariant nonassociative algebra structures on representations of simple Lie algebras (Summer 2003).
• Erin Dramnitzki, project title: Max-Cut Algorithm (Summer 2005).

PAST CONFERENCES and MEETINGS:

• International Conference and Workshop on Valuation Theory, Saskatoon, July 26 to August 11, 1999. This conference had 100 participants from all over the world. It was generously supported by the Fields Institute, PIMS, CRM, the U of S and the College of Arts and Science. We are editing the

Conference Proceedings Valuation Theory and Its Applications

in two volumes with about 40 papers and about 50 authors. Volume I has appeared on July 15 in the Fields Institute Communications Series. Volume II is currently in preparation and will also be published in 2002.
• Colloquiumfest in Honour of the 60th Birthday of M. Marshall (March 2000). Speakers: Pfister, Schmüdgen, Bröcker, Dickmann, Lichtman, Powers.
• The Second Annual Colloquiumfest (March 2001). Speakers: Aschenbrenner, Bonnard, Cluckers, Dickmann, Powers, Prestel, Scheiderer, Schweighofer.
• CMS Summer Meeting 2001, Session on Model Theoretic Algebra (June 2001). Organized by B. Hart, F.-V. Kuhlmann and S. Kuhlmann. With one plenary speaker (Zoe Chatzidakis).
• The Third Annual Colloquiumfest (March 2002). Speakers: Astier, Auer, Craven, Cutkosky, Knaf, Mosteig, Parrilo, Tara Smith, Sturmfels, Tressl.
• Saskatchewan Algebra and Number Theory Mini-meeting, University of Regina Main Campus, September 20 and 21, 2002.
• The Second Saskatchewan Mathematics Mini-meeting, Saskatoon, January 31 and February 1, 2003.
• The Fourth Annual Colloquiumfest (March 2003). Speakers: van den Dries, Ehrlich, Kaiser, Otero, Pitteloud, Scanlon, Simonetta, Speissegger, Steinhorn, Tressl.
• Local Uniformization and Resolution of Singularities. Research in Teams at the Banff International Research Station, August 16 - September 06, 2003. Organized by Franz-Viktor Kuhlmann and Dale Cutkosky. See the final report.
• Special Session on Nonassociative Algebra organized by Murray Bremner, Irvin Hentzel and Luiz Peresi, 2004 annual meeting of the AMS, Phoenix, January 10, 2004.
• The Fifth Annual Colloquiumfest
  Paris, April 5 and 6, 2004
• The Sixth Annual Colloquiumfest
  Saskatoon, April 1 and 2, 2005
• Saskatchewan Mathematics Mini-Meeting
  Regina, April 15 and 16, 2005
• Valuation Theory and Integral Closures in Commutative Algebra
  Fields Institute Summer School & Conference
  July 3-22, 2006, University of Ottawa, Ottawa, Canada
• Mini-Conference Topics in Real Algebraic Geometry
  Saskatoon, October 5 and 6, 2006
• The Seventh Colloquiumfest
  Saskatoon, October 3 and 4, 2008
• The Eighth Colloquiumfest
  New York, March 6 and 7, 2009