From: "Frédéric Blanqui" <frederic.blanqui@inria.fr>
To: homotopytypetheory@googlegroups.com
Subject: [HoTT] International School on Rewriting, Madrid, Spain, July 2020: Call for Lecture Proposals
Date: Wed, 11 Sep 2019 10:03:43 +0200 [thread overview]
Message-ID: <fa181470-e32c-c2be-df9c-3299179e220b@inria.fr> (raw)
In-Reply-To: <09b46070-89fd-eb08-1865-82a1762fcc1c@inria.fr>
[-- Attachment #1: Type: text/plain, Size: 2270 bytes --]
============================================================
Call for Lecture Proposals for ISR 2020
International School on Rewriting, Madrid, Spain, 6-10 July 2020
http://cbr.uibk.ac.at/ifip-wg1.6/summerschool.html
Deadline: September 20th, 2019
============================================================
In 2020, ISR will take place at Universidad Complutense de Madrid, Spain.
Rewriting is a powerful model of computation that underlies much of
declarative programming and is ubiquitous in mathematics, logic, theorem
proving, verification, model-checking, compilation, biology, chemistry,
physics, etc.
The school is aimed at Master and PhD students, researchers and
practitioners interested in the use or the study of rewriting and its
applications.
We intend to offer on the one hand a basic track on rewriting and on
lambda calculus, and on the other hand an advanced track on more
specialized topics, related to state-of-the-art research and novel
applications. The typical day will contain 4 slots of 90 minutes.
The inscription fees of ISR are traditionally low and will be waived for
the speakers. We plan to (partly) cover travel and accommodation
expenses of the speakers.
If you are interested in giving a lecture in the advanced track, send us
a mail before the deadline above with the following informations:
- a title,
- an abstract,
- an outline of the lecture,
- some bibliographical references,
- an expected duration (in number of slots),
- whether the lecture includes exercises or experiments.
We encourage applications from both theory and applications and will pay
particular attention to submissions on topics not covered in the last
schools.
Timeline:
- September 20th, 2019 : submission
- October 30th, 2019 (or earlier) : notification
Narciso Marti-Oliet, main organizer of ISR 2020.
narciso@ucm.es <mailto:narciso@ucm.es>
--
You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeTheory+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/fa181470-e32c-c2be-df9c-3299179e220b%40inria.fr.
[-- Attachment #2: Type: text/html, Size: 12532 bytes --]
parent reply other threads:[~2019-09-11 8:03 UTC|newest]
Thread overview: expand[flat|nested] mbox.gz Atom feed
[parent not found: <09b46070-89fd-eb08-1865-82a1762fcc1c@inria.fr>]
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=fa181470-e32c-c2be-df9c-3299179e220b@inria.fr \
--to=frederic.blanqui@inria.fr \
--cc=homotopytypetheory@googlegroups.com \
/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).