Discussion of Homotopy Type Theory and Univalent Foundations
 help / Atom feed
* [HoTT] Call for registration: 11th International School on Rewriting (ISR'19), 1-6 July 2019, MINES ParisTech, France
       [not found] <c283e007-06c1-199e-c078-7b11c451b2a0@inria.fr>
@ 2019-03-22 16:54 ` Frédéric Blanqui
  0 siblings, 0 replies; 2+ messages in thread
From: Frédéric Blanqui @ 2019-03-22 16:54 UTC (permalink / raw)
  To: HomotopyTypeTheory


Registration is now open until May 17!

-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-

      11th International School on Rewriting (ISR'19)

          1-6 July 2019, MINES ParisTech, France

            https://isr2019.mines-paristech.fr/

             Deadline for registration: May 17

-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-

Rewriting is a simple yet powerful model of computation
with numerous applications in computer science and many other
fields: logic, mathematics, programming languages, model checking,
quantum computing, biology, music...

ISR'19 is hosted in the center of Paris and proposes to master students,
PhD students and researchers, two parallel tracks:

- basic track: introduction to first-order term rewriting and λ-calculus
   with lectures by Aart Middeldorp, Sarah Winkler and Femke van Raamsdonk

- advanced track: lectures on rewriting theory and applications
     . Automated complexity analysis of term rewrite systems, Martin 
Avanzini
     . Reachability in logically constrained term rewriting systems, 
Ștefan Ciobâcă
     . Deduction modulo rewriting, Gilles Dowek
     . Introduction to graph rewriting, Rachid Echahed
     . Rewriting and music, Florent Jacquemard
     . Picturing quantum processes, rewriting quantum pictures, Aleks 
Kissinger
     . Stochastic graph rewriting and (executable) knowledge 
representation for molecular biology, Jean Krivine
     . Higher-order term rewriting, Cynthia Kop
     . Homotopy and homology of rewriting, Yves Lafont
     . Rewriting in theorem proving, Christopher Lynch
     . Formal specification and analysis of real-time systems in 
Real-Time Maude, Peter Csaba Ölveczky
     . Infinitary rewriting and streams, Hans Zantema

The organizers are Frédéric Blanqui (INRIA, LSV and ENS Paris-Saclay) 
and Olivier Hermant (MINES ParisTech).

ISR'19 is promoted by the IFIP WG1.6 and supported by the DIM RFSI, the 
Région Ile-de-France, INRIA, CNRS, the GDR GPL and the LSV.

-- 
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.
For more options, visit https://groups.google.com/d/optout.

^ permalink raw reply	[flat|nested] 2+ messages in thread

* [HoTT] Call for registration: 11th International School on Rewriting (ISR'19), 1-6 July 2019, MINES ParisTech, France
       [not found] <0e053da6-842b-eeff-e569-aecb478ab88d@inria.fr>
@ 2019-05-06  6:28 ` Frédéric Blanqui
  0 siblings, 0 replies; 2+ messages in thread
From: Frédéric Blanqui @ 2019-05-06  6:28 UTC (permalink / raw)
  To: HomotopyTypeTheory



The early registration deadline is May 17! Special price for master 
students.

-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-

      11th International School on Rewriting (ISR'19)

          1-6 July 2019, MINES ParisTech, France

            https://isr2019.mines-paristech.fr/

          Deadline for early registration: May 17

-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-

Rewriting is a simple yet powerful model of computation
with numerous applications in computer science and many other
fields: logic, mathematics, programming languages, model checking,
quantum computing, biology, music...

ISR'19 is hosted in the center of Paris and proposes to master students,
PhD students and researchers, two parallel tracks:

- basic track: introduction to first-order term rewriting and λ-calculus
   with lectures by Aart Middeldorp, Sarah Winkler and Femke van Raamsdonk

- advanced track: lectures on rewriting theory and applications
     . Automated complexity analysis of term rewrite systems, Martin 
Avanzini
     . Reachability in logically constrained term rewriting systems, 
Ștefan Ciobâcă
     . Deduction modulo rewriting, Gilles Dowek
     . Introduction to graph rewriting, Rachid Echahed
     . Rewriting and music, Florent Jacquemard
     . Picturing quantum processes, rewriting quantum pictures, Aleks 
Kissinger
     . Stochastic graph rewriting and (executable) knowledge 
representation for molecular biology, Jean Krivine
     . Higher-order term rewriting, Cynthia Kop
     . Homotopy and homology of rewriting, Yves Lafont
     . Rewriting in theorem proving, Christopher Lynch
     . Formal specification and analysis of real-time systems in 
Real-Time Maude, Peter Csaba Ölveczky
     . Infinitary rewriting and streams, Hans Zantema

The organizers are Frédéric Blanqui (INRIA, LSV and ENS Paris-Saclay) 
and Olivier Hermant (MINES ParisTech).

ISR'19 is promoted by the IFIP WG1.6 and supported by the DIM RFSI, the 
Région Ile-de-France, INRIA, the GDR GPL and the LSV.

-- 
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.
For more options, visit https://groups.google.com/d/optout.

^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, back to index

Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
     [not found] <c283e007-06c1-199e-c078-7b11c451b2a0@inria.fr>
2019-03-22 16:54 ` [HoTT] Call for registration: 11th International School on Rewriting (ISR'19), 1-6 July 2019, MINES ParisTech, France Frédéric Blanqui
     [not found] <0e053da6-842b-eeff-e569-aecb478ab88d@inria.fr>
2019-05-06  6:28 ` Frédéric Blanqui

Discussion of Homotopy Type Theory and Univalent Foundations

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

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


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