Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Call for Papers: Doctoral Symposium of ICECCS ...


view this post on Zulip Email Gateway (Aug 22 2022 at 10:56):

From: Alwen Tiu <alwen.tiu@gmail.com>
[Apologies for multiple postings]

==================================================
Doctoral Symposium
of the 20th International Conference on Engineering of Complex Computer
Systems
(ICECCS), December 9-12 2015, Gold Coast, Australia

http://iceccs2015.monash.edu.au
==================================================


Aims


A Doctoral Symposium will be held in conjunction with the 20th
International Conference on Engineering of Complex Computer Systems
(ICECCS), which will take place in Melbourne, Australia, from December
9th to 12th. The Doctoral Symposium provides an opportunity for PhD
students to present and discuss their research. It is meant to promote
a friendly and supportive environment for students to exchange ideas
and to receive feedbacks from researchers in the fields and their
fellow students on their future research directions.


Submission information


We invite students to submit abstracts of their work (in
progress). The topics of the abstract should be broadly relevant to
the topics of the conference, that is, related to complex
computer-based systems, including the causes of complexity and means
of avoiding, controlling, or coping with complexity. Please refer to
the ICECCS website for a list of suggested topics:
http://iceccs2015.monash.edu.au/2015/index.jsp.

Your submission should clearly identify the problem you are working
on, related work and existing solutions (if any), your approach and
methodology, and contributions you have made or expect to make should
the problem be solved. If it is still a work-in-progress, please also
discuss the current stage of research and future work to be done.

Submitted manuscripts should be in English and formatted in the style
of the double-column IEEE format. Each submission must not be longer
than 4 pages, including figures, references, and appendices. All
submissions should be in PDF format. The IEEE templates for the
submission can be found here
http://www.ieee.org/conferences_events/conferences/publishing/templates.html
.
All submissions must be done through the EasyChair website of the
conference:

https://easychair.org/conferences/?conf=iceccs20150
(Make sure that you submit to the ICECCS 2015 doctoral symposium.)


Important dates



Program committee


Aldeida Aleti, Monash University, Australia
Étienne André, Université Paris 13, France
Guangdong Bai, National University of Singapore, Singapore
Fei He, Tsinghua University, China
Andrzej Mizera, University of Luxembourg, Luxembourg
Jun Pang (co-chair), University of Luxembourg, Luxembourg
Alwen Tiu (co-chair), Nanyang Technological University, Singapore
Tian Zhang, Nanjing University, China


Last updated: Apr 23 2024 at 08:19 UTC