From: Neil Ghani <neil.ghani@strath.ac.uk>
To: "categories@mta.ca" <categories@mta.ca>
Subject: International Workshop "Mathematics for Computation" (M4C)
Date: Fri, 4 Mar 2016 14:37:27 +0000 [thread overview]
Message-ID: <E1acGS4-0000O1-TM@mlist.mta.ca> (raw)
----------------------------------------------------------
International Workshop "Mathematics for Computation" (M4C)
----------------------------------------------------------
Time & venue: 8-13 May 2016, Abtei Niederaltaich, Lower Bavaria, Germany
This workshop, to be held on the occasion of Douglas Bridges's 70th birthday in 2015, will
focus on recent results in the interplay between mathematics and computation. Please refer to
http://mathematics4computation.org/
for more details such as registration process, abstract submission and student grants.
IMPORTANT DEADLINES
Titles and abstracts: 7th March 2016
Authors notification: 11th March 2016
Applications for student grants: 7th March 2016
Applicants notification: 11th March 2016
Registration closes: 15th March 2016
TOPICS WILL INCLUDE
constructive mathematics
type theory
formal topology
proof theory
reverse mathematics
proof complexity
logic and complexity
computable mathematics
foundations of mathematics
INVITED SPEAKERS
Josef Berger
Ulrich Berger
Douglas Bridges
Agata Ciabattoni
Thierry Coquand
Fernando Ferreira
Peter Hancock
Martin Hyland
Angus Macintyre
Maarten McKubre-Jordens
Yiannis Moschovakis
Erik Palmgren
Joan Rand-Moschovakis
Michael Rathjen
Giuseppe Rosolini
Giovanni Sambin
Monika Seisenberger
Bas Spitters
Neil Thapen
Henry Towsner
PROGRAMME COMMITTEE
Marco Benini
Olaf Beyersdorff (chair)
Hannes Diener
Neil Ghani
Hajime Ishihara
Helmut Schwichtenberg
ORGANISING COMMITTEE
Basil Karadais
Iosif Petrakis
Sam Sanders
Peter Schuster (chair)
Dieter Spreen
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
reply other threads:[~2016-03-04 14:37 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=E1acGS4-0000O1-TM@mlist.mta.ca \
--to=neil.ghani@strath.ac.uk \
--cc=categories@mta.ca \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).