AARMS Summer School Reminder - Urgent message regarding housing for the preparatory week

AARMS Summer School Reminder - Urgent message regarding housing for the preparatory week

[Dorette Pronk]

Although our registration deadline is still two weeks away, we just heard that the booking deadline for on campus housing for the week of preparatory lectures is tomorrow (March 3).
So if you are considering arriving on July 3rd for Geoff Cruttwell's preparatory lectures, 
please send a quick message to Dorette.Pronk@Dal.Ca to indicate this so that I know which accommodation to reserve for this purpose.

Dorette Pronk

________________________________________
From: Dorette Pronk
Sent: Saturday, January 23, 2016 11:55 AM
To: categories@mta.ca
Subject: AARMS Summer School Announcement

           ANNOUNCEMENT: AARMS Summer School at Dalhousie University

                                               July 11 - August 5, 2016


The AARMS Summer School 2016 will offer courses in category theory and number
theory and combinatorics.

  Directors: Dr. Dorette Pronk, Dalhousie University and Dr. Geoffrey Cruttwell, Mount Allison University

  The AARMS summer school is intended for graduate students and promising
  undergraduate students from all parts of the world. Each participant is
  required to register for two of the four courses in order to receive support
  from AARMS. Each course consists of five ninety-minute lecture sessions each
  week. These are graduate courses approved by Dalhousie and we will facilitate
  transfer credit to the extent possible.

  The courses of interest to people on this list are the following.

  Higher Category Theory and Categorical Logic
  Instructors: Dr. Michael Shulman, University of San Diego, and
                        Dr. Peter Lumsdaine, Stockholm University

  Description: This course will introduce students to the relationship between
  category theory and logic, and its emerging generalization to higher category
  theory. On the one hand, category theory provides a flexible and powerful
  semantics for logic, uniting for instance forcing models of set theory with
  domain semantics for programming languages. On the other hand, logic
  provides an "internal language" for categories, that can greatly simplify the
  proofs of general theorems. We will discuss the classical version of this
  correspondence that applies to ordinary categories, including elementary
  toposes. Then we will introduce some basic concepts of higher category
  theory, and end with a brief introduction to homotopy type theory, a logic
  that corresponds to certain higher categories.


  Categories, Quantum Computation and Topology
  Instructor: Dr. Jamie Vicary, University of Oxford

  Description: This course will introduce the theory of monoidal categories,  an
  approach to mathematics which combines algebra and geometry into a single
  subject, and investigates its applications in quantum computation and
  topology. An emphasis will be on graphical calculi, which allow us to prove
  theorems using pictures, rather than traditional mathematical syntax. The
  course will also have a practical component, using the proof assistant
  Globular to formalize and investigate the results we encounter. Topics
  studied will include coherence, linear structures, duality, monoids and
  comonoids, Frobenius and Hopf algebras, quantum groups, quantum
  protocols, higher categories, and topological quantum field theory.

  There will also be a week with preparatory lectures on basic category theory by Geoff Cruttwell, from
  July 4 till July 8.

  For more information and the application form, visit the summer school website,

  https://aarms.math.ca/the-2016-aarms-summer-school/

  Don't wait too long with applying as we can only support 20 students in
  category theory.

  Since CT2016 will be held in Halifax right after this summer school, interested students may want to get
  a dorm room at Dalhousie that they can keep for the whole time. There is one residence house
  (with kitchen facilities) that we would like to use for this, but we can only reserve it if there is enough interest.
  So if you are interested in this option contact us as soon as possible to show your interest and indicate the dates
  for your time in Halifax.


[For admin and other information see: http://www.mta.ca/~cat-dist/ ]