Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / Atom feed
* [HoTT] ICALP-LICS 2020 Call for Workshops
       [not found] <be21bec9-742e-ebdc-06a6-689075045c00@inria.fr>
@ 2019-11-19 21:13 ` Frédéric Blanqui
  0 siblings, 0 replies; 2+ messages in thread
From: Frédéric Blanqui @ 2019-11-19 21:13 UTC (permalink / raw)
  To: HomotopyTypeTheory

[-- Attachment #1: Type: text/plain, Size: 3569 bytes --]


==================================
ICALP-LICS 2020 Call for Workshops
==================================

ICALP 2020 (http://econcs.pku.edu.cn/icalp2020/) and LICS 2020 
(https://lics.siglog.org/lics20/) will take place in co-location from 
8th till 12th of July 2020 in Beijing, China. The conferences will be 
preceded by two days of joint workshops, held on July 6th and 7th. We 
invite proposals of workshops affiliated with ICALP-LICS 2020 on all 
topics covered by ICALP and LICS, as well as other areas of theoretical 
computer science.

Proposals should be submitted no later than

   ***  November 30th, 2019 ***

by sending an email to frederic.blanqui@inria.fr. Due to limited space 
of the venue we might not be able to accommodate all the proposed 
workshops. You should expect notification on the acceptance of your 
proposal by mid December 2019.

A workshop proposal submission should consist of:

  - workshop's name and URL (if already available)

  - workshop's organizers together with their email addresses and web 
pages;

  - short description of the area covered by the workshop and the 
motivation behind it;

  - expected number of participants (if available, please include the 
data of previous years);

  - planned format of the event;

  - date preference (July 6th or 7th).

As for the format, a standard option is a one-day workshop consisting of 
invited talks by leading experts and of shorter contributed talks, 
either directly invited by the organizers or selected among submissions. 
Deviations from this standard are also warmly welcome, including a 
shorter or a longer time span than a full day, or other elements of the 
schedule like open problem sessions, discussion panels, or working 
sessions.

If you plan to have invited speakers, please specify their expected 
number and, if possible, tentative names. If you plan a call for papers 
or for contributed talks followed by a selection procedure, the 
submission date should be scheduled after ICALP 2020 and LICS 2020 
notification, while the notification should take place considerably 
before the early registration deadline. In your submission please 
include details, in particular the time schedule, of the planned 
procedure of selecting papers and/or contributed talks. If you plan to 
have published proceedings of your workshop, please provide the name of 
the publisher. Please be advised that ICALP-LICS 2020 is not able to 
provide any financial support for publishing workshop proceedings.

We expect the workshops to be financially independent. The expenses 
related to the participation of invited speakers, production of workshop 
materials, etc. should be covered from independent sources. On top of 
standard ICALP/LICS registration fee there will be a moderate 
registration fee for the workshops that will cover coffee breaks. This 
workshop fee will be waived for maximum two invited speakers for each 
workshop.

Workshop selection committee:
     Frédéric Blanqui
     Naoki Kobayashi
     Yuqin Kong
     Michał Pilipczuk
     Zhilin Wu
     Lijun Zhang

-- 
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/d309b4ea-c12d-7d63-74b1-a2afe6df545f%40inria.fr.

[-- Attachment #2: Type: text/html, Size: 5551 bytes --]

<html>
  <head>

    <meta http-equiv="content-type" content="text/html; charset=UTF-8">
  </head>
  <body bgcolor="#FFFFFF" text="#000000">
    <br>
    <div class="moz-forward-container">
      <div class="moz-forward-container">
        <div class="moz-text-flowed" style="font-family: -moz-fixed;
          font-size: 12px;" lang="x-unicode">==================================
          <br>
          ICALP-LICS 2020 Call for Workshops <br>
          ================================== <br>
          <br>
          ICALP 2020 (<a class="moz-txt-link-freetext"
            href="http://econcs.pku.edu.cn/icalp2020/"
            moz-do-not-send="true">http://econcs.pku.edu.cn/icalp2020/</a>)
          and LICS 2020 (<a class="moz-txt-link-freetext"
            href="https://lics.siglog.org/lics20/"
            moz-do-not-send="true">https://lics.siglog.org/lics20/</a>)
          will take place in co-location from 8th till 12th of July 2020
          in Beijing, China. The conferences will be preceded by two
          days of joint workshops, held on July 6th and 7th. We invite
          proposals of workshops affiliated with ICALP-LICS 2020 on all
          topics covered by ICALP and LICS, as well as other areas of
          theoretical computer science. <br>
          <br>
          Proposals should be submitted no later than <br>
          <br>
            ***  November 30th, 2019 *** <br>
          <br>
          by sending an email to <a class="moz-txt-link-abbreviated"
            href="mailto:frederic.blanqui@inria.fr"
            moz-do-not-send="true">frederic.blanqui@inria.fr</a>. Due to
          limited space of the venue we might not be able to accommodate
          all the proposed workshops. You should expect notification on
          the acceptance of your proposal by mid December 2019. <br>
          <br>
          A workshop proposal submission should consist of: <br>
          <br>
           - workshop's name and URL (if already available) <br>
          <br>
           - workshop's organizers together with their email addresses
          and web pages; <br>
          <br>
           - short description of the area covered by the workshop and
          the motivation behind it; <br>
          <br>
           - expected number of participants (if available, please
          include the data of previous years); <br>
          <br>
           - planned format of the event; <br>
          <br>
           - date preference (July 6th or 7th). <br>
          <br>
          As for the format, a standard option is a one-day workshop
          consisting of invited talks by leading experts and of shorter
          contributed talks, either directly invited by the organizers
          or selected among submissions. Deviations from this standard
          are also warmly welcome, including a shorter or a longer time
          span than a full day, or other elements of the schedule like
          open problem sessions, discussion panels, or working sessions.
          <br>
          <br>
          If you plan to have invited speakers, please specify their
          expected number and, if possible, tentative names. If you plan
          a call for papers or for contributed talks followed by a
          selection procedure, the submission date should be scheduled
          after ICALP 2020 and LICS 2020 notification, while the
          notification should take place considerably before the early
          registration deadline. In your submission please include
          details, in particular the time schedule, of the planned
          procedure of selecting papers and/or contributed talks. If you
          plan to have published proceedings of your workshop, please
          provide the name of the publisher. Please be advised that
          ICALP-LICS 2020 is not able to provide any financial support
          for publishing workshop proceedings. <br>
          <br>
          We expect the workshops to be financially independent. The
          expenses related to the participation of invited speakers,
          production of workshop materials, etc. should be covered from
          independent sources. On top of standard ICALP/LICS
          registration fee there will be a moderate registration fee for
          the workshops that will cover coffee breaks. This workshop fee
          will be waived for maximum two invited speakers for each
          workshop. <br>
          <br>
          Workshop selection committee: <br>
              Frédéric Blanqui <br>
              Naoki Kobayashi <br>
              Yuqin Kong <br>
              Michał Pilipczuk <br>
              Zhilin Wu <br>
              Lijun Zhang <br>
        </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/d309b4ea-c12d-7d63-74b1-a2afe6df545f%40inria.fr?utm_medium=email&utm_source=footer">https://groups.google.com/d/msgid/HomotopyTypeTheory/d309b4ea-c12d-7d63-74b1-a2afe6df545f%40inria.fr</a>.<br />

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

* [HoTT] ICALP-LICS 2020 Call for Workshops
       [not found] <f379f71c-149f-6a7a-4bc3-807c6e3d50f8@inria.fr>
@ 2019-10-14 13:07 ` Frédéric Blanqui
  0 siblings, 0 replies; 2+ messages in thread
From: Frédéric Blanqui @ 2019-10-14 13:07 UTC (permalink / raw)
  To: HomotopyTypeTheory

==================================
ICALP-LICS 2020 Call for Workshops
==================================

ICALP 2020 (http://econcs.pku.edu.cn/icalp2020/) and LICS 2020 
(https://lics.siglog.org/lics20/) will take place in co-location from 
8th till 12th of July 2020 in Beijing, China. The conferences will be 
preceded by two days of joint workshops, held on July 6th and 7th. We 
invite proposals of workshops affiliated with ICALP-LICS 2020 on all 
topics covered by ICALP and LICS, as well as other areas of theoretical 
computer science.

Proposals should be submitted no later than

   ***  November 30th, 2019 ***

by sending an email to frederic.blanqui@inria.fr. Due to limited space 
of the venue we might not be able to accommodate all the proposed 
workshops. You should expect notification on the acceptance of your 
proposal by mid December 2019.

A workshop proposal submission should consist of:

  - workshop's name and URL (if already available)

  - workshop's organizers together with their email addresses and web pages;

  - short description of the area covered by the workshop and the 
motivation behind it;

  - expected number of participants (if available, please include the 
data of previous years);

  - planned format of the event;

  - date preference (July 6th or 7th).

As for the format, a standard option is a one-day workshop consisting of 
invited talks by leading experts and of shorter contributed talks, 
either directly invited by the organizers or selected among submissions. 
Deviations from this standard are also warmly welcome, including a 
shorter or a longer time span than a full day, or other elements of the 
schedule like open problem sessions, discussion panels, or working sessions.

If you plan to have invited speakers, please specify their expected 
number and, if possible, tentative names. If you plan a call for papers 
or for contributed talks followed by a selection procedure, the 
submission date should be scheduled after ICALP 2020 and LICS 2020 
notification, while the notification should take place considerably 
before the early registration deadline. In your submission please 
include details, in particular the time schedule, of the planned 
procedure of selecting papers and/or contributed talks. If you plan to 
have published proceedings of your workshop, please provide the name of 
the publisher. Please be advised that ICALP-LICS 2020 is not able to 
provide any financial support for publishing workshop proceedings.

We expect the workshops to be financially independent. The expenses 
related to the participation of invited speakers, production of workshop 
materials, etc. should be covered from independent sources. On top of 
standard ICALP/LICS registration fee there will be a moderate 
registration fee for the workshops that will cover coffee breaks. This 
workshop fee will be waived for maximum two invited speakers for each 
workshop.

Workshop selection committee:
     Frédéric Blanqui
     Naoki Kobayashi
     Yuqin Kong
     Michał Pilipczuk
     Zhilin Wu
     Lijun Zhang

-- 
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/2e8331df-c3df-2716-fb85-67d7df115b33%40inria.fr.

^ 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] <be21bec9-742e-ebdc-06a6-689075045c00@inria.fr>
2019-11-19 21:13 ` [HoTT] ICALP-LICS 2020 Call for Workshops Frédéric Blanqui
     [not found] <f379f71c-149f-6a7a-4bc3-807c6e3d50f8@inria.fr>
2019-10-14 13:07 ` 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