[ Apologize for Multiple Copies ]
DEADLINE EXTENSION
Abstract deadline May 21, 2019
Submission deadline May 21, 2019
Call for Papers
RV 2019
[ Apologize for Multiple Copies ]
Call for Papers
RV 2019
19th International Conference on Runtime Verification
Porto, Portugal
October 8-11, 2019
Abstract deadline: April 25, 2019
Paper and tutorial deadline: April 30, 2019
NEW IN 2019: Benchmark Papers Track
https://www.
email
to the iFM workshop chairs, Martin Leucker
(leuc...@isp.uni-luebeck.de) and Violet Ka I Pun (v...@hvl.no).
Workshop proposals should include:
- The name, the duration (1 or 2 days) and the preferred date of the
proposed workshop
- A short description of the workshop.
- If applicable, a
.
Proposal and Submission Guidelines
--
Proposals must be written in English, not exceed 5 pages with a
reasonable font and margins, and be submitted in PDF format via email
to the iFM workshop chairs, Martin Leucker
(leuc...@isp.uni-luebeck.de) and Violet Ka I Pun (v
must be written in English, not exceed 5 pages with a
reasonable font and margins, and be submitted in PDF format via email to
the iFM workshop chairs, Martin Leucker (leuc...@isp.uni-luebeck.de) and
Violet Ka I Pun (v...@hvl.no).
Workshop proposals should include:
*
The name, the
Submission of proposals: 31 January, 2019
Notification of results: 28 February, 2019
**
Steering Committee
Ana Cavalcanti, UK
Martin Leucker (chair), Germany
Zhiming Liu, China
Tobias Nipkow, Germany
Augusto Sampaio, Brazil
Natarajan
ck.de
**
Important Dates
Submission of proposals: 31 January, 2019
Notification of results: 28 February, 2019
**
Steering Committee
Ana Cavalcanti, UK
Martin Leucker (chair), Germany
Zhiming Liu,
contribution to these events will be
issued soon.
COMMITTEES
--
General Chair
* Saddek Bensalem, VERIMAG (University of Grenoble Alpes), France
Program Chairs
* Christian Colombo, University of Malta, Malta
* Martin Leucker, University of Lübeck, Germany
Finance Chair
* Violet Ka I Pun, University
interesting research
issues relating to the post above and why your expertise is relevant.
CONTACT
If you have questions about the project, required background, the
position itself or application process please contact Prof. Dr. Martin
Leucker (ISP):
leuc...@isp.uni-luebeck.de
ABOUT US
s (if already available).
CONTACT
If you have questions about the project, required background, the
position itself or application process please contact Prof. Dr. Martin
Leucker (ISP): leuc...@isp.uni-luebeck.de
ABOUT US
University of Lübeck is a research university in Northern Germany. In
the 200
sity of York (UK)
John Fitzgerald, Newcastle University (UK)
Martin Leucker, University of Luebeck (DE)
Zhiming Liu, Birmingham City University (UK)
Tobias Nipkow, Technical University Munich (DE)
Augusto Sampaio, Federal University of Pernambuco (BR)
Natarajan Shankar, SRI International (US)
GEN
* Lindsay Groves, Victoria University of Wellington, New Zeland
* Zhenjiang Hu, NII, Japan
* Jie-Hong Jiang, National Taiwan University, Taiwan
* Cliff Jones, Newcastle University, UK
* Luis Lamb, Universidade Federal do Rio Grande do Sul, Brazil
* Kim Larsen, Aalborg University, Denmark
* Martin Leucker
ves, Victoria University of Wellington, New Zeland
* Zhenjiang Hu, NII, Japan
* Jie-Hong Jiang, National Taiwan University, Taiwan
* Cliff Jones, Newcastle University, UK
* Luis Lamb, Universidade Federal do Rio Grande do Sul, Brazil
* Kim Larsen, Aalborg University, Denmark
* Martin Leucker, Un
University, UK
* Luis Lamb, Universidade Federal do Rio Grande do Sul, Brazil
* Kim Larsen, Aalborg University, Denmark
* Martin Leucker, University of Lübeck, Germany
* Zhiming Liu, Southwest University in Chongqing, China
* Ana Melo, Universidade de São Paulo, Brazil
* Dominique Méry, Université de
the series Lecture Notes in Computer Science
(LNCS).
==Special Issue
Extended versions of selected papers from ICTAC 2015 will be invited to
a special issue of Mathematical Structures in Computer Science
(http://journals.cambridge.org/action/displayJournal?jid=MSC).
GENERAL CHAIRS
* Martin Leucker
INRIA, France)
GENERAL CHAIR
Jifeng He (East China Normal University, China)
PROGRAM CO-CHAIRS
Ji Wang (National University of Defense Technology, China)
Martin Leucker (University of Lubeck, Germany)
STEERING COMMITTE
Keijiro Araki (Kyushu University, Japan)
Shen
(East China Normal University, China)
PROGRAM CO-CHAIRS
Ji Wang (National University of Defense Technology, China)
Martin Leucker (University of Lubeck, Germany)
STEERING COMMITTE
Keijiro Araki (Kyushu University, Japan)
Shengchao Qin (Teesside University, UK
Finkbeiner, Saarland University
Stephen Freund, Williams College
Ganesh Gopalakrishnan, University of Utah
Wolfgang Grieskamp, Google
Sylvain Halle, Universite du Quebec a Chicoutimi
Klaus Havelund, NASA Jet Propulsion Laboratory
Suresh Jagannathan, Purdue University
Sarfraz Khurshid, University of Te
, ETH Zurich, Switzerland
Antony Galton, University of Exeter, UK
Fabio Grandi, University of Bologna, Italy
Keijo Heljanko, Aalto University, Finland
Jose Juarez, University of Murcia, Spain
Martin Leucker, University of Luebeck, Germany
Silvia Miksch, Vienna University of Technology, Austria
Angelo
Verification in Computer Science
Interval Temporal Logics
* FEES
Registration: 330 €
Late registration: 370 €
* CONFERENCE OFFICERS
General Chair:
Carlo Combi, University of Verona, Italy
Program Committee Chairs:
Martin Leucker, University of Luebeck
submissions may be
rejected without review.
Papers are submitted electronically via Easychair:
http://www.easychair.org/conferences/?conf=time11
* CONFERENCE OFFICERS
General Chair:
Carlo Combi, University of Verona, Italy
Program Committee Chairs:
Martin Leucker, University of
Program Committee Chairs:
Martin Leucker, University of Luebeck, Germany
Frank Wolter, University of Liverpool, United Kingdom
Organization Chair:
Martin Leucker, Universitaet Luebeck, Germany
* PROGRAM COMMITTEE includes
Alessandro Artale, University of Bolzano, Italy
Philippe
Leucker, University of Luebeck, Germany
Frank Wolter, University of Liverpool, United Kingdom
Organization Chair:
Martin Leucker, Universitaet Luebeck, Germany
* PROGRAM COMMITTEE includes
Alessandro Artale, University of Bolzano, Italy
Philippe Balbiani, IRIT Toulouse, France
Software Technology, Macao. The PC is
chaired by Martin Leucker (TU Munich) and Carroll Morgan (UNSW).
About ICTAC 2009
ICTAC 2009 is the 6th International Colloquium on Theoretical Aspects
of Computing, the latest in a series founded by the International
Institute for
9 in Kuala
Lumpur, Malaysia. ICTAC'09 is organized by Abdullah Mohd Zin,
Universiti Kebangsaan Malaysia and Jeff Sanders,United Nation
University, Institute of Software Technology, Macao. The PC is
chaired by Martin Leucker (TU Munich) and Carroll Morgan (UNSW).
acao. The PC is
chaired by Martin Leucker (TU Munich) and Carroll Morgan (UNSW).
Visit http://www.ictac.net/ictac09 for a preliminary web page.
About ICTAC 2009
ICTAC 2009 is the 6th International Colloquium on Theoretical Aspects
of Computing, the latest in a series foun
acao. The PC is
chaired by Martin Leucker (TU Munich) and Carroll Morgan (UNSW).
Visit http://www.ictac.net/ictac09 for a preliminary web page.
About ICTAC 2009
ICTAC 2009 is the 6th International Colloquium on Theoretical Aspects
of Computing, the latest in a series foun
aking place from the 18th till the 20th of August 2009 in Kuala
Lumpur, Malaysia. ICTAC'09 is organized by Abdullah Mohd Zin,
Universiti Kebangsaan Malaysia and Jeff Sanders,United Nation
University, Institute of Software Technology, Macao. The PC is
chaired by Mart
olm, SE)
Bernd Finkbeiner(Saarland University, DE)
Klaus Havelund (NASA Jet Propulsion Laboratory, US)
Bengt Jonsson (Uppsala Univesitet, SE)
Moonzoo Kim (KAIST, KR)
Martin Leucker (Chair) (Technical University of Munich, DE)
Dejan Nickovic
ivesitet, SE)
Moonzoo Kim (KAIST, KR)
Martin Leucker (Chair) (Technical University of Munich, DE)
Dejan Nickovic (Verimag, FR)
Doron Peled (Bar Ilan University, IL)
Mauro Pezze (University of Lugano, CH)
Shaz Qadeer (Microsoft R
30 matches
Mail list logo
