Tutorial Track Committee FM Tutorials

Kazuhiro Ogata Tutorials Co-Chair

Japan Advanced Institute of Science and Technology

Neeraj Singh Tutorials Co-Chair

INPT-ENSEEIHT / IRIT, University of Toulouse, France

France

Anh Nguyen

Japan Advanced Institute of Science and Technology

Canh Minh Do

Japan Advanced Institute of Science and Technology

Japan

Augusto Sampaio

Universidade Federal de Pernambuco

Brazil

Leo Freitas

Newcastle University

Graeme Smith

The University of Queensland

Toshiaki Aoki

JAIST

Japan

Tim A.C. Willemse

Eindhoven University of Technology

Thi Thu Ha Doan

Japan Advanced Institute of Science and Technology

Rosemary Monahan

Ireland

Antoine Miné

Sorbonne Université

France

Maurice ter Beek

CNR-ISTI Pisa, Italy

Italy

Raju Halder

Indian Institute of Technology Patna

India

Elvinia Riccobene

Computer Science Dept., University of Milan

Italy

Laurent Voisin

Systerel

Regine Laleau

Paris Est Creteil University

France

Brijesh Dongol

University of Surrey

United Kingdom

Tsubasa Takagi

Japan Advanced Institute of Science and Technology

Jun Sun

Singapore Management University

Singapore

Ana Cavalcanti

University of York

United Kingdom

Deepak D'Souza

Indian Institute of Science

India

Ramesh S

Cesar Munoz

NASA

United States

Michael Butler

University of Southampton

Kim Larsen

Aalborg University

Denmark

Tatsuhiro Tsuchiya

Osaka University

Japan

Marie Farrell

The University of Manchester

United Kingdom

Fumiko Nagoya

College of Commerce, Nihon University

Marieke Huisman

University of Twente

Netherlands

Catherine Dubois

ENSIIE Paris-Evry

Masaki Nakamura

Toyama Prefectural University

Thierry Lecomte

CLEARSY

France

Erika Abraham

RWTH Aachen University

Germany

Carolyn Talcott

SRI International

Yunja Choi

Kyungpook National University

South Korea

Sylvie Boldo

Inria and Université Paris-Saclay

France

Michael Leuschel

University of Düsseldorf

Marielle Stoelinga

University of Twente and Radboud University, Nijmegen

Netherlands

Alcino Cunha

University of Minho; INESC TEC

Portugal

Nikolaj Bjørner

Microsoft Research

Stephan Merz Committee Member

Inria & Loria, Nancy, France

France