) Gianluigi Zavattaro (University of Bologna,
Italy) Jian Zhang (Institute of Software, China)
Huibiao Zhu (East China Normal University, China) Steering
Program Committee: Keijiro Araki,
JapanMichael Hinchey (Chair),
USA Jifeng He,
ChinaZhiming Liu,
Macau Mike Reed,
MacauHuibiao Zhu
1st International Workshop on Harnessing Theories for Tool Support in Software
(TTSS’07) 22-23 September 2007, Macau, China http://www.iist.unu.edu/ttss07
Co-located with ICTAC 2007
The aim of the workshop is to bring together practitioners and
researchers from academia, industry and
)
Jian Zhang (Institute of Software, China)
Jianhua Zhao (Nanjing University, China)
Huibiao Zhu (East China Normal University, China)
Steering Program Committee
Michael Hinchey(Chair), USA
Keijiro Araki, Japan
Jifeng He, China
, China)
Publicity Chair:
Huibiao Zhu (ECNU, China)
Local Organization Committee:
Lu Han (ECNU, China)
Yuanyuan He (ECNU, China)
Yanfang Ma (ECNU, China)
Jie Yang (ECNU, China)
Min Zhang (Chair) (ECNU, China)
Jie Zhou (ECNU, China)
Keynote Speakers:
Patrick Cousot
Description:
Software Engineering Institute of East China Normal University is currently
recruiting several full-time academic staffs.
Positions: Lecturers/Associate Professors/Full Professors
Areas: Formal Methods, Highly Dependable Systems, Information Security,
Embedded System
/rejection notification
August 13, 2010: Final version due
ORGANIZATION COMMITTEE
Conference Chair:
Jifeng He (East China Normal University, China)
Program Co-Chairs:
Jin Song Dong (National University of Singapore, Singapore)
Huibiao Zhu (East China Normal University, China
-Yaw Wang (Academia Sinica)
Steering Committee:
Keijiro Araki (Kyushu Univ.)
Jifeng He (East China Normal Univ.a)
Michael Hinchey (Lero, IE, chair)
Zhiming Liu (UNU/IIST)
Huibiao Zhu (East China Normal Univ
UTP 2010 - First CALL FOR PAPERS
**
* 3rd International Symposium on
* Unifying Theories of Programming
* (UTP 2010)
* 15-16 November 2010, Shanghai, China
* http://www.sei.ecnu.edu.cn/utp2010
*
* For more information email:
: Acceptance/rejection notification
August 13, 2010: Final version due
ORGANIZATION COMMITTEE
Conference Chair:
Jifeng He (East China Normal University, China)
Program Co-Chairs:
Jin Song Dong (National University of Singapore, Singapore)
Huibiao Zhu (East China Normal University
: Acceptance/rejection notification
August 13, 2010: Final version due
ORGANIZATION COMMITTEE
Conference Chair:
Jifeng He (East China Normal University, China)
Program Co-Chairs:
Jin Song Dong (National University of Singapore, Singapore)
Huibiao Zhu (East China Normal University
)
Huibiao Zhu (East China Normal University, China)
Steering Committee
Keijiro Araki, Japan
Jin Song Dong, Singapore
Chris George, Canada
Jifeng He, China
Mike Hinchey, Ireland
Shaoying Liu (Chair), Japan
John McDermid, UK
Tetsuo Tamai, Japan
Jim Woodcock, UK
*
TASE 2011
5th IEEE International Conference on Theoretical Aspects of Software
Engineering
*** Call For Papers ***
August 29-31, 2011
ICFEM 2011:
13th International Conference on Formal Engineering Methods
CALL FOR Workshop Proposals
25-28 Oct 2011
Radisson BLU Hotel, Durham, UK
URL: http://www.scm.tees.ac.uk/icfem2011
, China)
Hong Zhu (Oxford Brookes University, UK)
Huibiao Zhu (East China Normal University, China)
Steering Committee
Keijiro Araki, Japan
Jin Song Dong, Singapore
Chris George, Canada
Jifeng He, China
Mike Hinchey, Ireland
Shaoying Liu (Chair), Japan
John McDermid, UK
Tetsuo
Yang (Beijing University of Technology, China)
Naijun Zhan (Chinese Academy of Sciences, China)
Jian Zhang (Chinese Academy of Sciences, China)
Hong Zhu (Oxford Brookes University, UK)
Huibiao Zhu (East China Normal University, China)
Steering Committee
Keijiro Araki, Japan
Jin
*
TASE 2011
5th IEEE International Conference on Theoretical Aspects of Software
Engineering
*** Call For Papers ***
August 29-31, 2011
Zhang (Chinese Academy of Sciences, China)
Hong Zhu (Oxford Brookes University, UK)
Huibiao Zhu (East China Normal University, China)
Steering Committee
Keijiro Araki, Japan
Jin Song Dong, Singapore
Chris George, Canada
Jifeng He, China
Mike Hinchey, Ireland
Shaoying Liu (Chair
TASE 2012 - PRELIMINARY CALL FOR PAPERS
***
The Sixth IEEE International Symposium on
Theoretical Aspects of Software Engineering
(TASE 2012)
4-6 July 2012, Beijing, China
http://selab.bjut.edu.cn/tase2012
For more information
University, China)
Jian Zhang (Chinese Academy of Sciences, China)
Jianjun Zhao (Shanghai Jiao Tong University, China)
Xiangpeng Zhao (Microsoft ATC, China)
Hong Zhu (Oxford Brookes University, UK)
Huibiao Zhu (East China Normal University, China)
Important Dates:
January 13, 2012
)
Hong Zhu (Oxford Brookes University, UK)
Huibiao Zhu (East China Normal University, China)
___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
University of Wollongong, Australia, EMAIL: aditya AT uow DOT edu DOT au
Huibiao Zhu
Eastern China Normal University, China, EMAIL: hbzhu AT sei DOT ecnu DOT
edu DOT cn
___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org
jonathan.bo...@lsbu.ac.uk
Huibiao Zhu, East China Normal University, Shanghai, China
hb...@sei.ecnu.edu.cn
Any general inquiries should be directed by email to the
Workshop Chair:
Mike Hinchey, Lero, University of Limerick, Republic of Ireland
mike.hinc...@lero.ie
For faster
to authors
12-13 October 2012 SEW in Crete
12 December 2012Final papers due for post-proceedings
Enquiries
Any program inquiries should be directed by email to the Programme
Co-chairs:
Jonathan Bowen, London South Bank University/Museophile Limited, UK
jonathan.bo...@lsbu.ac.uk Huibiao Zhu, East
-13 October 2012 SEW in Crete
12 December 2012Final papers due for post-proceedings
Enquiries
Any program inquiries should be directed by email to the Programme
Co-chairs:
Jonathan Bowen, London South Bank University/Museophile Limited, UK
jonathan.bo...@lsbu.ac.uk Huibiao Zhu, East China
, China
Bill Roscoe, University of Oxford, UK
PROGRAMME CHAIRS
Zhiming Liu, UNU-IIST, Macau SAR, China
Jim Woodcock, University of York, UK
Huibiao Zhu, East China Normal University
PROGRAMME COMMITTEE
Farhad Arbab (CWI and Leiden University, The Netherlands)
Michael Butler
, China
Bill Roscoe, University of Oxford, UK
PROGRAMME CHAIRS
Zhiming Liu, UNU-IIST, Macau SAR, China
Jim Woodcock, University of York, UK
Huibiao Zhu, East China Normal University
PROGRAMME COMMITTEE
Farhad Arbab (CWI and Leiden University, The Netherlands)
Michael Butler
of York, UK
Huibiao Zhu, East China Normal University, China
PROGRAMME COMMITTEE
Farhad Arbab (CWI and Leiden University, The Netherlands)
Michael Butler (University of Southampton, UK)
Ana Cavalcanti (University of York, UK)
Zhenbang Chen (National University of Defense Technology, China
.
Publicity Co-Chairs
Jonathan Bowen, London South Bank University Chairman, Museophile Limited,
United Kingdom.
Huibiao Zhu, East China Normal University, China.
PROGRAM COMMITTEE
Bernhard K. Aichernig, Graz University of Technology, Austria.
Yamine Ait Ameur, LISI/ENSMA, France
, University of York, UK
Huibiao Zhu, East China Normal University, China
PROGRAMME COMMITTEE
Farhad Arbab (CWI and Leiden University, The Netherlands)
Michael Butler (University of Southampton, UK)
Ana Cavalcanti (University of York, UK)
Zhenbang Chen (National University of Defense Technology
, University of York, UK
Huibiao Zhu, East China Normal University, China
PROGRAMME COMMITTEE
Farhad Arbab (CWI and Leiden University, The Netherlands)
Michael Butler (University of Southampton, UK)
Ana Cavalcanti (University of York, UK)
Zhenbang Chen (National University of Defense Technology
CHAIRS
Zhiming Liu, UNU-IIST, Macau SAR, China
Jim Woodcock, University of York, UK
Huibiao Zhu, East China Normal University, China
PROGRAMME COMMITTEE
Farhad Arbab (CWI and Leiden University, The Netherlands)
Michael Butler (University of Southampton, UK)
Ana Cavalcanti (University
Gillian Dobbie, The University of Auckland, New Zealand.
Publicity Co-Chairs
Jonathan Bowen, London South Bank University Chairman, Museophile Limited,
United Kingdom.
Huibiao Zhu, East China Normal University, China.
PROGRAM COMMITTEE
Bernhard K. Aichernig, Graz University
, University of York, UK
Huibiao Zhu, East China Normal University, China
PROGRAMME COMMITTEE
Farhad Arbab (CWI and Leiden University, The Netherlands)
Michael Butler (University of Southampton, UK)
Ana Cavalcanti (University of York, UK)
Zhenbang Chen (National University of Defense
.
Local Organization Chair
Gillian Dobbie, The University of Auckland, New Zealand.
Publicity Co-Chairs
Jonathan Bowen, London South Bank University Chairman, Museophile Limited,
United Kingdom.
Huibiao Zhu, East China Normal University, China.
Web Chair
Sarah Henderson, The University
-
Call for Papers
FTSCS 2013
2nd International Workshop on Formal Techniques for Safety-Critical Systems
Queenstown, New Zealand, October 29, 2013
)
Shengchao Qin (Teesside University, UK)
Jifeng He (East China Normal University, China)
Huibiao Zhu (East China Normal University, China)
Michael Hinchey (Lero, Ireland)
PROGRAM COMMITTEE
Earl Barr (University College London, UK)
Nikolaj Bjorner
)
Shengchao Qin (Teesside University, UK)
Jifeng He (East China Normal University, China)
Huibiao Zhu (East China Normal University, China)
Michael Hinchey (Lero, Ireland)
PROGRAM COMMITTEE
Earl Barr (University College London, UK)
Nikolaj Bjorner
University of Defense Technology, China)
Martin Leucker (University of Lubeck, Germany)
STEERING COMMITTE
Keijiro Araki (Kyushu University, Japan)
Shengchao Qin (Teesside University, UK)
Jifeng He (East China Normal University, China)
Huibiao Zhu (East
University, UK)
Jifeng He (East China Normal University, China)
Huibiao Zhu (East China Normal University, China)
Michael Hinchey (Lero, Ireland)
ORGANIZING CHAIR
Wei Dong (National University of Defense Technology, China)
-
INVITED SPEAKERS
South Bank University)
Huibiao Zhu (East China Normal University)
Programme Committee:
Ana Cavalcanti, University of York, United Kingdom.
Yifeng Chen, Peking University, China.
Andrew Butterfield, Trinity College Dublin, Ireland.
Jeremy Gibbons, University of Oxford, United Kingdom
He (East China Normal University, CN)
* General chairs W. Eric Wong (The University of Texas at Dallas, USA)
Huibiao Zhu (East China Normal University, China)
* PC chairs
Marcello Bonsangue (Leiden University, NL)
Yuxin Deng (East China Normal University, CN)
* Publicity
South Bank University)
Huibiao Zhu (East China Normal University)
Programme Committee:
Ana Cavalcanti, University of York, United Kingdom.
Yifeng Chen, Peking University, China.
Andrew Butterfield, Trinity College Dublin, Ireland.
Jeremy Gibbons, University of Oxford, United Kingdom
Programs
Jifeng He (East China Normal University, China)
Title: A New Roadmap on Linking Theories of Programming
Note: The summary of the two invited talks can be downloaded from the
website.
PC Chairs
Jonathan Bowen (London South Bank University)
Huibiao Zhu (East China Normal University
Tarlecki (Warsaw University, Poland)
Kazunori Ueda (Waseda University, Japan)
Yi Wang (Uppsala University, Sweden)
Eric Wong (The University of Texas at Dallas, USA)
Lijun Zhang (Chinese Academy of Sciences, China)
Huibiao Zhu (East China Normal University, China
, zha...@zju.edu.cn, Zhejiang University
Huibiao Zhu, East China Normal University
Xue-Yang Zhu, Institute of Software, Chinese Academy of Sciences
___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo
of Oxford
Yongwang Zhao, zha...@zju.edu.cn, Zhejiang University
Huibiao Zhu, East China Normal University
Xue-Yang Zhu, Institute of Software, Chinese Academy of Sciences
___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin
-
* General Chairs:
Yongbin Qin (Guizhou University)
Huibiao Zhu (East China Normal University)
* Program Co-Chairs:
Wei-Ngan Chin (National University of Singapore)
Zhiwu Xu (Shenzhen University)
* Program Committee:
Yamine Ait Ameur (IRIT/INPT-ENSEEIHT)
Guangdong Bai
47 matches
Mail list logo