Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / Atom feed
* [HoTT] International School on Rewriting, Madrid, Spain, July 2020: Call for Lecture Proposals
       [not found] <09b46070-89fd-eb08-1865-82a1762fcc1c@inria.fr>
@ 2019-09-11  8:03 ` Frédéric Blanqui
  0 siblings, 0 replies; only message in thread
From: Frédéric Blanqui @ 2019-09-11  8:03 UTC (permalink / raw)
  To: homotopytypetheory

[-- 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 --]

<html>
  <head>

    <meta http-equiv="content-type" content="text/html; charset=windows-1252">
  </head>
  <body text="#000000" bgcolor="#FFFFFF">
    <br>
    <div class="moz-forward-container">
      <div class="moz-forward-container">
        <div class="">
          <div class="">
            <div class="">
              <div style="margin: 0px; font-stretch: normal;
                line-height: normal;" class=""><span
                  style="font-kerning: none" class="">============================================================</span></div>
              <div style="margin: 0px; font-stretch: normal;
                line-height: normal; min-height: 14px;" class=""><span
                  style="font-kerning: none" class=""></span><br
                  class="">
              </div>
              <div style="margin: 0px; font-stretch: normal;
                line-height: normal;" class=""><span
                  style="font-kerning: none" class="">Call for Lecture
                  Proposals for ISR 2020</span></div>
              <div style="margin: 0px; font-stretch: normal;
                line-height: normal; min-height: 14px;" class=""><span
                  style="font-kerning: none" class=""></span><br
                  class="">
              </div>
              <div style="margin: 0px; font-stretch: normal;
                line-height: normal;" class=""><span
                  style="font-kerning: none" class="">International
                  School on Rewriting, Madrid, Spain, 6-10 July 2020</span></div>
              <div style="margin: 0px; font-stretch: normal;
                line-height: normal; min-height: 14px;" class=""><span
                  style="font-kerning: none" class=""></span><br
                  class="">
              </div>
              <div style="margin: 0px; font-stretch: normal;
                line-height: normal; color: rgb(9, 79, 209);" class=""><span
                  style="text-decoration: underline ; font-kerning:
                  none" class=""><a
                    href="http://cbr.uibk.ac.at/ifip-wg1.6/summerschool.html"
                    class="" moz-do-not-send="true">http://cbr.uibk.ac.at/ifip-wg1.6/summerschool.html</a></span></div>
              <div style="margin: 0px; font-stretch: normal;
                line-height: normal; min-height: 14px;" class=""><span
                  style="font-kerning: none" class=""></span><br
                  class="">
              </div>
              <div style="margin: 0px; font-stretch: normal;
                line-height: normal;" class=""><span
                  style="font-kerning: none" class="">Deadline:
                  September 20th, 2019</span></div>
              <div style="margin: 0px; font-stretch: normal;
                line-height: normal; min-height: 14px;" class=""><span
                  style="font-kerning: none" class=""></span><br
                  class="">
              </div>
              <div style="margin: 0px; font-stretch: normal;
                line-height: normal;" class=""><span
                  style="font-kerning: none" class="">============================================================</span></div>
              <div style="margin: 0px; font-stretch: normal;
                line-height: normal; min-height: 14px;" class=""><span
                  style="font-kerning: none" class=""></span><br
                  class="">
              </div>
              <div style="margin: 0px; font-stretch: normal;
                line-height: normal;" class=""><span
                  style="font-kerning: none" class="">In 2020, ISR will
                  take place at Universidad Complutense de Madrid,
                  Spain.</span></div>
              <div style="margin: 0px; font-stretch: normal;
                line-height: normal; min-height: 14px;" class=""><span
                  style="font-kerning: none" class=""></span><br
                  class="">
              </div>
              <div style="margin: 0px; font-stretch: normal;
                line-height: normal;" class=""><span
                  style="font-kerning: none" class="">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.</span></div>
              <div style="margin: 0px; font-stretch: normal;
                line-height: normal; min-height: 14px;" class=""><span
                  style="font-kerning: none" class=""></span><br
                  class="">
              </div>
              <div style="margin: 0px; font-stretch: normal;
                line-height: normal;" class=""><span
                  style="font-kerning: none" class="">The school is
                  aimed at Master and PhD students, researchers and
                  practitioners interested in the use or the study of
                  rewriting and its applications.</span></div>
              <div style="margin: 0px; font-stretch: normal;
                line-height: normal; min-height: 14px;" class=""><span
                  style="font-kerning: none" class=""></span><br
                  class="">
              </div>
              <div style="margin: 0px; font-stretch: normal;
                line-height: normal;" class=""><span
                  style="font-kerning: none" class="">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.</span></div>
              <div style="margin: 0px; font-stretch: normal;
                line-height: normal; min-height: 14px;" class=""><span
                  style="font-kerning: none" class=""></span><br
                  class="">
              </div>
              <div style="margin: 0px; font-stretch: normal;
                line-height: normal;" class=""><span
                  style="font-kerning: none" class="">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.</span></div>
              <div style="margin: 0px; font-stretch: normal;
                line-height: normal; min-height: 14px;" class=""><span
                  style="font-kerning: none" class=""></span><br
                  class="">
              </div>
              <div style="margin: 0px; font-stretch: normal;
                line-height: normal;" class=""><span
                  style="font-kerning: none" class="">If you are
                  interested in giving a lecture in the advanced track,
                  send us a mail before the deadline above with the
                  following informations:</span></div>
              <div style="margin: 0px; font-stretch: normal;
                line-height: normal;" class=""><span
                  style="font-kerning: none" class="">- a title,</span></div>
              <div style="margin: 0px; font-stretch: normal;
                line-height: normal;" class=""><span
                  style="font-kerning: none" class="">- an abstract,</span></div>
              <div style="margin: 0px; font-stretch: normal;
                line-height: normal;" class=""><span
                  style="font-kerning: none" class="">- an outline of
                  the lecture,</span></div>
              <div style="margin: 0px; font-stretch: normal;
                line-height: normal;" class=""><span
                  style="font-kerning: none" class="">- some
                  bibliographical references,</span></div>
              <div style="margin: 0px; font-stretch: normal;
                line-height: normal;" class=""><span
                  style="font-kerning: none" class="">- an expected
                  duration (in number of slots),</span></div>
              <div style="margin: 0px; font-stretch: normal;
                line-height: normal;" class=""><span
                  style="font-kerning: none" class="">- whether the
                  lecture includes exercises or experiments.</span></div>
              <div style="margin: 0px; font-stretch: normal;
                line-height: normal; min-height: 14px;" class=""><span
                  style="font-kerning: none" class=""></span><br
                  class="">
              </div>
              <div style="margin: 0px; font-stretch: normal;
                line-height: normal;" class=""><span
                  style="font-kerning: none" class="">We encourage
                  applications from both theory and applications and
                  will pay particular attention to submissions on topics
                  not covered in the last schools.</span></div>
              <div style="margin: 0px; font-stretch: normal;
                line-height: normal; min-height: 14px;" class=""><span
                  style="font-kerning: none" class=""></span><br
                  class="">
              </div>
              <div style="margin: 0px; font-stretch: normal;
                line-height: normal;" class=""><span
                  style="font-kerning: none" class="">Timeline:</span></div>
              <div style="margin: 0px; font-stretch: normal;
                line-height: normal;" class=""><span
                  style="font-kerning: none" class="">- September 20th,
                  2019 : submission</span></div>
              <div style="margin: 0px; font-stretch: normal;
                line-height: normal;" class=""><span
                  style="font-kerning: none" class="">- October 30th,
                  2019 (or earlier) : notification</span></div>
              <div style="margin: 0px; font-stretch: normal;
                line-height: normal; min-height: 14px;" class=""><span
                  style="font-kerning: none" class=""></span><br
                  class="">
              </div>
              <div style="margin: 0px; font-stretch: normal;
                line-height: normal;" class=""><span
                  style="font-kerning: none" class="">Narciso
                  Marti-Oliet, main organizer of ISR 2020.</span></div>
              <div style="margin: 0px; font-stretch: normal;
                line-height: normal;" class=""><span
                  style="font-kerning: none" class=""><a
                    href="mailto:narciso@ucm.es" class=""
                    moz-do-not-send="true">narciso@ucm.es</a></span></div>
              <div style="margin: 0px; font-stretch: normal;
                line-height: normal; min-height: 14px;" class=""><span
                  style="font-kerning: none" class=""></span><br
                  class="">
              </div>
            </div>
            <div style="margin: 0px; font-stretch: normal; line-height:
              normal; min-height: 14px;" class=""><br class="">
            </div>
            <div style="margin: 0px; font-stretch: normal; line-height:
              normal; min-height: 14px;" class=""><br class="">
            </div>
            <div style="margin: 0px; font-stretch: normal; line-height:
              normal; min-height: 14px;" class=""><br class="">
            </div>
          </div>
        </div>
      </div>
    </div>
  </body>
</html>

<p></p>

-- <br />
You received this message because you are subscribed to the Google Groups &quot;Homotopy Type Theory&quot; group.<br />
To unsubscribe from this group and stop receiving emails from it, send an email to <a href="mailto:HomotopyTypeTheory+unsubscribe@googlegroups.com">HomotopyTypeTheory+unsubscribe@googlegroups.com</a>.<br />
To view this discussion on the web visit <a href="https://groups.google.com/d/msgid/HomotopyTypeTheory/fa181470-e32c-c2be-df9c-3299179e220b%40inria.fr?utm_medium=email&utm_source=footer">https://groups.google.com/d/msgid/HomotopyTypeTheory/fa181470-e32c-c2be-df9c-3299179e220b%40inria.fr</a>.<br />

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, back to index

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
     [not found] <09b46070-89fd-eb08-1865-82a1762fcc1c@inria.fr>
2019-09-11  8:03 ` [HoTT] International School on Rewriting, Madrid, Spain, July 2020: Call for Lecture Proposals Frédéric Blanqui

Discussion of Homotopy Type Theory and Univalent Foundations

Archives are clonable: git clone --mirror http://inbox.vuxu.org/hott

Example config snippet for mirrors

Newsgroup available over NNTP:
	nntp://inbox.vuxu.org/vuxu.archive.hott


AGPL code for this site: git clone https://public-inbox.org/public-inbox.git