Logic Mentoring Workshop 2016

July 9, 2016

Overview

The logic mentoring workshop aims to help position students for success in pure and applied logic research. It is open to both graduate students and senior undergraduate students and will focus on topics such as how to best present your research and factors to consider when pursuing your research career. The workshop will feature technical talks and mentoring sessions with world leaders in logic research and teaching from academia, industry, and government.

LMW will be co-located with Logic in Computer Science (LICS) 2016, the premier international forum on theoretical and practical topics in computer science that relate to logic, broadly construed. LMW will take place immediately after LICS on Saturday, July 9 in New York City.

Speakers

  • A Walk in the Park? Struggles and Doubts of a Successful Senior Researcher.
    Dexter Kozen, Joseph Newton Pew, Jr. Professor in Engineering
    Cornell University
  • How papers are born.
    Byron Cook, Professor of Computer Science
    University College London
  • Reasoning with Justifications.
    Sergei Artemov, Distinguished Professor
    CUNY Graduate Center
  • Logic wars: a new hope; academia strikes back; and the return of the logician
    David Pym, Professor of Information, Logic, and Security
    University College London
  • How I prepared my paper and presentation for LICS.
    Mai Gehrke, Senior Research Director
    Université Paris Diderot – Paris 7

Scholarships

LMW sponsors have generously offered financial aid for students to travel to New York and attend LICS and LMW. Funding will cover registration fees, travel expenses, and lodging for both LICS and LMW. (Application deadline has passed.)

Organizing Committee

Stephen Magill (co-chair)
Alexandra Silva (co-chair)
Eric Koskinen

LMW Sponsors

  • Amazon
  • Galois