Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / mirror / Atom feed
* [HoTT] Call for Participation: Logic Mentoring Workshop (LMW@LICS 2023)
@ 2023-06-05 13:39 Arthur Azevedo de Amorim
  0 siblings, 0 replies; only message in thread
From: Arthur Azevedo de Amorim @ 2023-06-05 13:39 UTC (permalink / raw)
  To: homotopytypetheory

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


                           Call for Participation

        Logic Mentoring Workshop (LMW@LICS 2023)

                                 Boston, USA

                             June 25, 2023


  Co-located with Logic in Computer Science (LICS) 2023

        Registration at https://lics.siglog.org/lics23/


Students in US institutions and some students in Europe

can have their expenses covered by the

Logic Mentoring Workshop Travel Award.

Apply here: https://forms.gle/mUgkA5Ah2W5aQwxY6


The Logic Mentoring Workshop introduces young researchers to the technical
and practical aspects of a career in logic research. It is targeted at
students, from senior undergraduates to doctoral students, and will include
tutorials and plenary talks as well as a panel discussion, where
experienced researchers from the field answer career-related questions from
the audience.

The workshop will be a hybrid event, however on-site participation in
Boston, USA, is highly recommended. It is co-located with Logic in Computer
Science (LICS’23, https://lics.siglog.org/lics23/) one of the most
prestigious conferences on the topic.  Attending LICS is not a prerequisite
to attend LMW, but it is encouraged.


Mikołaj Bojańczyk (University of Warsaw)

Anupam Das (University of Birmingham)

Anuj Dawar (University of Cambridge)

Marianna Girlando (ILLC, University of Amsterdam)

Martin Grohe (RWTH Aachen University)

Antonina Kolokolova (Memorial University of Newfoundland)

Sonia Marin (University of Birmingham)

Igor Walukiewicz (CNRS, Université de Bordeaux)

Matthew Weaver (Princeton University)


The detailed program will be at
https://logic-mentoring-workshop.github.io/lics23/ closer to the workshop.


Students (undergrad, master's, and PhD alike) can apply to have their costs
(some or all) covered by our sponsors, the National Science Foundation

Deadline: June 6th (applications are accepted after that date if funds

Apply at: https://forms.gle/mUgkA5Ah2W5aQwxY6


Arthur Azevedo de Amorim

Steffen van Bergerem

Ilina Stoilkovska

K. S. Thejaswini

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/CAHAb9XgW6Vj6TxgC11Zjkw23tbatiU8iGV_t%2BRoiiABvEbLBnA%40mail.gmail.com.

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

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

only message in thread, other threads:[~2023-06-05 13:39 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2023-06-05 13:39 [HoTT] Call for Participation: Logic Mentoring Workshop (LMW@LICS 2023) Arthur Azevedo de Amorim

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).