From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-0.8 required=5.0 tests=DKIMWL_WL_MED,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_EF,FROM_EXCESS_BASE64, HEADER_FROM_DIFFERENT_DOMAINS,HTML_MESSAGE,MAILING_LIST_MULTI, RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.2 Received: from mail-wr1-x437.google.com (mail-wr1-x437.google.com [IPv6:2a00:1450:4864:20::437]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id c71ba73e for ; Wed, 11 Sep 2019 08:03:45 +0000 (UTC) Received: by mail-wr1-x437.google.com with SMTP id h6sf7652045wrh.6 for ; Wed, 11 Sep 2019 01:03:45 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1568189024; cv=pass; d=google.com; s=arc-20160816; b=0O6sHqahLtrNq0+0BlTBgVK1X1HEQaTfT4I19PZFDoJLFB4xpwEW4Hiaxr3V+jpBGx kD8XqlJacFtUwJZq9Ahj+HdkSmEsutNIqIiLbz1K/itbWirckr/jcuoP3X7INR5Zkl6W mq59M/eBPL5FFQxB+XgfxtCUbAyivtkwuq3x5MtSNbpKhxqvTKUcjgCOM6X9e+wNXAGq 8EhntRtL9bgrW0bPD3IZcb1MT3DrhMpD/ji+QikKbfDVhinbBdusf302pvVZTOJMct1V BK1DFnXwDuUbDo5jt7ph6Pp5zHkrOvqhy3LN/nh1rjHSurzji05QE1nIiqeaNBJ8w6WA QeJQ== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-unsubscribe:list-archive:list-help:list-post:list-id :mailing-list:precedence:content-language:in-reply-to:mime-version :user-agent:date:message-id:from:to:references:subject:sender :dkim-signature; bh=KNe3yWpGGZKxM+CFzoIfm1ElejAVeoTTc8IC92mYU0o=; b=0fyEU6Z266nyiIcKz5uow6PLal38ppU8BAY2LWm3oRJ0JEyCm4H/OqI14HVsm7h2I4 DVCfEive75PxBHWy1upeJ2OqVL8XIfl005ze9ysyR7Pbb5hz2dgKIVp57VMd0DW6vDSz rOjlRC5U0K9DR5eHaljocxJXlmuyz/piT3rI4xXkv4yPXMFJQYY8DvF2NlLj9mHVrjDx kCpy0zrMV3UQwHx/IwSKTPQCcmw4Yw2R0zy4rkvCOB4eZ1gXfxkI/ms4ofl4lATb40To FZ/aj27O3VqZGrKWd5GKWz893r/+JAkOJQd9DOdKrpfyqmR5pVTUVUkOL5TBYyW0PJSU CpSg== ARC-Authentication-Results: i=2; gmr-mx.google.com; spf=pass (google.com: domain of frederic.blanqui@inria.fr designates 192.134.164.83 as permitted sender) smtp.mailfrom=frederic.blanqui@inria.fr DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20161025; h=sender:subject:references:to:from:message-id:date:user-agent :mime-version:in-reply-to:content-language:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-unsubscribe; bh=KNe3yWpGGZKxM+CFzoIfm1ElejAVeoTTc8IC92mYU0o=; b=Z/IbqIl/Ow0EXRUzqWK4Zym/lXfF38o9Vswe0crhWsbpbLoQJuFVMy2pM7J06z/toC Sph0s0BnOFbeWSYAtk9H49Wa4QUwqoGxw0MNZ8+WHmFgB4Qv+qZ0l45vwTKxUBYqJ7Vx +pJG+CrFNtw1B89Z0VVwHdgPa+PXbSqQT63kA3NDY0usVBvgX0OPoY2IkdBeogv8DZVt Y7RROr95ER71RI0mBtroANzZzcsGbwyzVDvIzjnsjvKGwG1v3x8MeoZP6WZsCc1VDFY7 gc9/38LvfpGsKPpL4/px6wGYlcv0WnELbpINOrsIeYUBDJhn5gFEQcL2J8F9Kbe8gIz2 s6PQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=sender:x-gm-message-state:subject:references:to:from:message-id :date:user-agent:mime-version:in-reply-to:content-language :x-original-sender:x-original-authentication-results:precedence :mailing-list:list-id:x-spam-checked-in-group:list-post:list-help :list-archive:list-unsubscribe; bh=KNe3yWpGGZKxM+CFzoIfm1ElejAVeoTTc8IC92mYU0o=; b=A984QtRjllclUCp88WNyw3cDnru4pol2ZfR3wWy9mTmKLYANFMihRCh6a6SDbhpFFc gTTRHLFIYEU/1SBuQdM0jK2dF7mgCZ5fTwnHjK7q+JKf+J9Dfm23QiLmR+gQb889ixkf UecbsBL2gu6vY/R1SGIcck8vFLkNchwXDzeLRrQKdQnizUkg/rey/qev40xPPBD01HrF g9+88IS1nZRUa9mOxIhE2RjuTq7UqF4Qx7xJWZITjWfUHsCCp0sVjla5uxGVOeworgxN xUkzv/Y5fol54psU5zrMm0Jp77LN+PDJTyuq6Lgj9RfQjPutvHHGFCKzmpMtLSEY1n66 XnEA== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: APjAAAX32wWTomuOjYlt6McYdvb23f3sCj2pjFr1lth+iBfVCx64kyQ9 e+ouJiQVkYny1Nk3vK08qh8= X-Google-Smtp-Source: APXvYqzCmSHGMUG3/nVfE29IA8l2wp/m9nC77/8Ysq7qSnwXuU+2B53bd9iPOIZXWJ7fYBRTa7pgGg== X-Received: by 2002:a5d:52c8:: with SMTP id r8mr10009441wrv.256.1568189024711; Wed, 11 Sep 2019 01:03:44 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a1c:1a96:: with SMTP id a144ls846985wma.3.gmail; Wed, 11 Sep 2019 01:03:44 -0700 (PDT) X-Received: by 2002:a05:600c:220c:: with SMTP id z12mr2893582wml.125.1568189024079; Wed, 11 Sep 2019 01:03:44 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1568189024; cv=none; d=google.com; s=arc-20160816; b=mZWhKRUivaC1sLY6o1FFpNR53ad8Yo4rO63As1oLpNDbHw0fqSvIvC7drX+RhdZbOQ khfS1H/XRV6J+tSntd7JRQnV94xjGvd/WZJnFj9zeGMW5TmLzJvYbfKMeQ7BzxDACiNY UitCKv3dA0sWWQDCFOdyzFtEh96Jb6GGQZl/iYQpFSgIsUWg8Vj3R55UzojFnJqVcG0u UlVGc7OisrCk0i4knTXjm1CZOlncruns0J4EDcbInhT9imR/5HfIexQLMUKmrjYtthg+ 4ghX5Tq64C6Qyd4PYA6kWLEzo0DxzQZlp5x/WNDEstohcjK9Qs8ivraR4naqzVFXDe0g KjEg== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=content-language:in-reply-to:mime-version:user-agent:date :message-id:from:to:references:subject; bh=wgxQ1PYZV3JU6sMEt+2Fcq6DH+ff26ayg32cHO8AGUQ=; b=XgjTMiVmOgvGS8JzGXtsTkXiQWcjbdRdzPBcU1KNrLY9cfQ6FWTF9upc/iwxuiJSM2 Q9jzBrIZOTjoOq3F+0NbJYaY6U/72XopodGV1dsTVF4g8XY43Sf4wjfJz/fwz2JU8YBP LD6EXJIvxtW2ykiXifBpAy18/b3jPk0sP9AuW8V2ICic4InGB29ZZsHnpoHdcIto8cUV bP1JmYwZ/sZTGpdqSdGC0V8XkgA4KzLri2bdUuxsaz2S4uzfiHTJnWgXAdTIlL2HDosu /97TxOc7dAda6Mze9D39CFoHQOAvTSa7cZm3hdVnUaE2el3+WuOp7H9zeQQGWBb6XW9c vFTg== ARC-Authentication-Results: i=1; gmr-mx.google.com; spf=pass (google.com: domain of frederic.blanqui@inria.fr designates 192.134.164.83 as permitted sender) smtp.mailfrom=frederic.blanqui@inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr. [192.134.164.83]) by gmr-mx.google.com with ESMTPS id t15si59376wrs.3.2019.09.11.01.03.44 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Wed, 11 Sep 2019 01:03:44 -0700 (PDT) Received-SPF: pass (google.com: domain of frederic.blanqui@inria.fr designates 192.134.164.83 as permitted sender) client-ip=192.134.164.83; X-IronPort-AV: E=Sophos;i="5.64,492,1559512800"; d="scan'208,217";a="401195912" Received: from ploc.lsv.fr (HELO [138.231.81.49]) ([138.231.81.49]) by mail2-relais-roc.national.inria.fr with ESMTP/TLS/AES128-SHA; 11 Sep 2019 10:03:43 +0200 Subject: [HoTT] International School on Rewriting, Madrid, Spain, July 2020: Call for Lecture Proposals References: <09b46070-89fd-eb08-1865-82a1762fcc1c@inria.fr> To: homotopytypetheory@googlegroups.com From: =?UTF-8?B?RnLDqWTDqXJpYyBCbGFucXVp?= X-Forwarded-Message-Id: <09b46070-89fd-eb08-1865-82a1762fcc1c@inria.fr> Message-ID: Date: Wed, 11 Sep 2019 10:03:43 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.8.0 MIME-Version: 1.0 In-Reply-To: <09b46070-89fd-eb08-1865-82a1762fcc1c@inria.fr> Content-Type: multipart/alternative; boundary="------------C6218AFDA25F0CE8D1FA05CF" Content-Language: fr-classic X-Original-Sender: frederic.blanqui@inria.fr X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of frederic.blanqui@inria.fr designates 192.134.164.83 as permitted sender) smtp.mailfrom=frederic.blanqui@inria.fr Precedence: list Mailing-list: list HomotopyTypeTheory@googlegroups.com; contact HomotopyTypeTheory+owners@googlegroups.com List-ID: X-Google-Group-Id: 1041266174716 List-Post: , List-Help: , List-Archive: , This is a multi-part message in MIME format. --------------C6218AFDA25F0CE8D1FA05CF Content-Type: text/plain; charset="UTF-8"; format=flowed ============================================================ 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 -- 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. --------------C6218AFDA25F0CE8D1FA05CF Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D

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

=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D

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 offe= r 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:<= /div>
- September 20th, 2019 : submission
- October 30th, 2019 (or earlier) : notification

Narciso Marti-Oliet, main organizer of ISR 2020.
narciso@ucm.es




--
You received this message because you are subscribed to the Google Groups &= quot;Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to = HomotopyTypeTheory+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgi= d/HomotopyTypeTheory/fa181470-e32c-c2be-df9c-3299179e220b%40inria.fr. --------------C6218AFDA25F0CE8D1FA05CF--