------------------------------------------------------------------------
CALL FOR PAPERS
13th International Conference on
Generative Programming: Concepts & Experiences
(GPCE 2014)
September 15-16, 2014
Västerås, Sweden
(collocated with ASE 2014 and SLE 2014)
http://www.gpce.org
http://www.facebook.com/GPCEConference
http://twitter.com/GPCECONF
------------------------------------------------------------------------
IMPORTANT DATES
* Submission of papers: May 30, 2014
* Paper notification: July 7, 2014
SCOPE
Generative and component approaches and domain-specific abstractions are
revolutionizing software development just as automation and componentization
revolutionized manufacturing. Raising the level of abstraction in software
specification has been a fundamental goal of the computing community for
several decades. Key technologies for automating program development and
lifting the abstraction level closer to the problem domain are
*Generative Programming* for program synthesis, *Domain-Specific Languages*
(DSLs) for compact problem-oriented programming notations, and corresponding
*Implementation Technologies* aiming at modularity, correctness, reuse, and
evolution. As the field matures *Applications* and *Empirical Results* are
of increasing importance.
The International Conference on Generative Programming: Concepts & Experiences
(GPCE) is a venue for researchers and practitioners interested in techniques
that use program generation, domain-specific languages, and component
deployment to increase programmer productivity, improve software quality,
and shorten the time-to-market of software products. In addition to exploring
cutting-edge techniques of generative software, our goal is to foster further
cross-fertilization between the software engineering and the programming
languages research communities.
SUBMISSIONS
We seek research papers of up to 10 pages in SIGPLAN proceedings style
(sigplanconf.cls, see
http://www.sigplan.org/authorInformation.htm) reporting original and
unpublished results of theoretical, empirical, conceptual, or
experimental research that contribute to scientific knowledge in the
areas listed below (the PC chair can advise on appropriateness).
4-page short papers and tool demonstrations are also accepted (see website).
TOPICS
GPCE seeks contributions on all topics related to generative software and
its properties. As technology is maturing, this year, we are particularly
looking for empirical evaluations in this context. Key topics include
(but are certainly not limited too):
* Generative software
Domain-specific languages
Product lines
Metaprogramming
Program synthesis
Implementation techniques and tool support
* Properties of generative software
Correctness of generators and generated code
Reuse and evolution
Modularity, separation of concerns, understandability, and maintainability
Performance engineering, nonfunctional properties
Application areas and engineering practice
* Empirical evaluations of all topics above
A more detailed list of topics can be found on the website.
Examples of key challenges in the field are
* Synthesizing code from declarative specifications
* Supporting extensible languages and language embedding
* Ensuring correctness and other nonfunctional properties of generated code;
proving generators correct
* Improving error reporting with domain-specific error messages
* Reasoning about generators; handling variability-induced complexity in
product lines
* Providing efficient interpreters and execution languages
* Human factors in developing and maintaining generators
Note on empirical evaluations: GPCE is committed to the empirical
evaluation of generative software. Publishing empirical papers at
programming-language venues can be challenging. We understand the
frustration of authors when, for example, reviews simply recommend
repeating entire experiments with human subjects with slight
deviations in execution. To alleviate such problems, we have recruited
forto program committee experts who routinely work with empirical
methods, and we will actively seek external reviews where
appropriate. During submissions, authors can optionally indicate that
a paper contains substantial empirical work, and we will endeavor have
to the paper reviewed by experts familiar with the empirical research
methods that are used in the paper. The program-committee discussions
will reflect on both technical contributions and research methods.
Policy: Incremental improvements over previously published work should
have been evaluated through systematic, comparative, empirical, or
experimental evaluation. Submissions must adhere to SIGPLAN's
republication policy (http://www.sigplan.org/republicationpolicy.htm).
Please contact the program chair if you have any questions about how
this policy applies to your paper (chairs@gpce.org).
ORGANIZATION
Chairs (chairs@gpce.org)
General Chair: Ulrik Pagh Schultz (University of Southern Denmark, DK)
Program Chair: Matthew Flatt (University of Utah, US)
Publicity Chair: Sebastian Erdweg (Technical University of Darmstadt, DE)
Local Organizer: Ivica Crnkovic (Mälardalen University, SE)
Program Committee
Kenichi Asai (Ochanomizu University, JP)
Emilie Balland (INRIA, FR)
Edwin Brady (University of St Andrews, UK)
Dave Clarke (Uppsala University, SE and KU Leuven, BE)
Ewen Denney (SGT / NASA, US)
Sebastian Erdweg (Technical University of Darmstadt, DE)
Martin Erwig (Oregon State University, US)
Alessandro Garcia (Pontifícia Universidade Católica do Rio de Janeiro, BR)
Anirüddhā Gokhālé (Vanderbilt University, US)
Jeff Gray (University of Alabama, US)
Stefan Hanenberg (Universität Duisburg-Essen, DE)
Jaakko Järvi (Texas A&M University, US)
Jean-Marc Jézéquel (IRISA-University of Rennes, FR)
Emerson Murphy-Hill (North Carolina State University, US)
Nathaniel Nystrom (University of Lugano, CH)
Bruno C. d. S. Oliveira (Hong Kong University, HK)
Hridesh Rajan (Iowa State University, US)
Márcio Ribeiro (Universidade Federal de Alagoas, BR)
Tiark Rompf (Oracle Labs and EPFL, CH)
Grigore Rosu (University of Illinois at Urbana-Champaign, US)
Norbert Siegmund (Universität Passau, DE)
Christian Skalka (University of Vermont, US)
Scott Smith (Johns Hopkins University, US)
Éric Tanter (Universidad de Chile, CL)
Emina Torlak (University of California Berkeley, US)
Laurence Tratt (King's College, UK)
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
2014-02-04
[Caml-list] ICECCS 2014: 2nd call for papers
[We apologize for multiple copies.]
============================================================
Call for Papers
ICECCS 2014
(The 19th International Conference on Engineering of
Complex Computer Systems)
4-7 August 2014
School of Computer Science and Technology
Tianjin University, China
http://cs.tju.edu.cn/iceccs/2014
============================================================
IMPORTANT DATES
---------------------------
* Abstract submission: February 14, 2014
* Paper submission deadline: February 28, 2014
* Workshop proposal submission: February 28, 2014
* Notification of acceptance: April 22, 2014
* Camera-ready material for publication: May 4, 2014
* Checking for Production: May 14, 2014
* Conference date: August 4-7, 2014
Complex computer systems are common in many sectors, such as
manufacturing, communications, defense, transportation, aerospace,
hazardous environments, energy, and health care. These systems are
frequently distributed over heterogeneous networks, and are driven by
many diverse requirements on performance, real-time behavior, fault
tolerance, security, adaptability, development time and cost, long
life concerns, and other areas. Such requirements frequently conflict,
and their satisfaction therefore requires managing the trade-off among
them during system development and throughout the entire system
life. The goal of this conference is to bring together industrial,
academic, and government experts, from a variety of user domains and
software disciplines, to determine how the disciplines' problems and
solution techniques interact within the whole system. Researchers,
practitioners, tool developers and users, and technology transition
experts are all welcome. The scope of interest includes long-term
research issues, near-term complex system requirements and promising
tools, existing complex systems, and commercially available tools.
SCOPE AND TOPICS
---------------------------
Authors are invited to submit papers describing original, unpublished
research
results, case studies and tools.
Papers are solicited in all areas related to complex computer-based systems,
including the causes of complexity and means of avoiding, controlling, or
coping with complexity. Topic areas include, but are not limited to:
* Requirement specification and analysis
* Verification and validation
* Security and privacy of complex systems
* Model-driven development
* Reverse engineering and refactoring
* Architecture software
* Big Data Management
* Ambient intelligence, pervasive computing
* Ubiquitous computing, context awareness, sensor networks
* Design by contract
* Agile methods
* Safety-critical & fault-tolerant architectures
* Adaptive, self-managing and multi-agent systems
* Real-time, hybrid and embedded systems
* Systems of systems
* Tools and tool integration
* Industrial case studies
SUBMISSION
---------------------------
Different kinds of contributions are sought, including novel research,
lessons
learned, experience reports, and discussions of practical problems faced by
industry and user domains. The ultimate goal is to build a rich and
comprehensive conference program that can fit the interests and needs of
different classes of attendees: professionals, researchers, managers, and
students. A program goal is to organize several sessions that include both
academic and industrial papers on a given topic and culminate panels to
discuss
relationships between industrial and academic research. Papers are
divided into
two categories:
* Technical Papers and
* Experience Reports.
The papers submitted to both categories will be reviewed by program
committee
members, and papers accepted in either category will be published in the
conference proceedings. Technical papers should describe original
research, and
industrial experience reports should describe practical projects carried
out in
industry, and reflect on the lessons learnt from them.
FULL PAPERS
Full papers are divided into two categories: Technical Papers and Experience
Reports. The papers submitted to both categories will be reviewed by program
committee members, and papers accepted in either category will be
published in
the conference proceedings. Technical papers should describe original
research,
and experience reports should present practical projects carried out in
industry, and reflect on the lessons learnt from them.
POSTER PAPERS
Poster paper submissions should specify in their abstract whether they
describe
ongoing or PhD research. Both types of poster papers will be reviewed by
program
committee members, and accepted posters will be published in the conference
proceedings.
PAPER SUBMISSION
Submitted manuscripts should be in English and formatted in the style of the
Conference Publishing Services (CPS) Proceedings Format. Papers should not
exceed 10 pages for full papers and 2 pages for poster papers, including
figures, references, and appendices. All submissions should be in PDF
format.
Submissions not adhering to the specified format and length may be rejected
without review.
All submissions should be made through the Easychair Website:
https://www.easychair.org/account/signin.cgi?conf=iceccs2014
ORGANIZING COMMITTEES
---------------------------
General Co-Chairs
* JinSong Dong, National University of Singapore, Singapore
* Zhiyong Feng, Tianjin University, China.
Program Committee Co-Chairs
* Etienne Andre, Universite Paris 13, France
* Lei Zhang, Tianjin University, China
Workshop Chairs
* Zhenhua Duan, Xidian University, Xi'an
* YuanFang Li, Monash University, Australia
Publicity Chair
* Yang Liu, Nanyang Technological University, Singapore
Tutorial Chair
* Jun Sun, Singapore University of Technology and Design, Singapore
Local Chairs
* Xiaohong Li, Tianjin University, China
* Guangquan Xu, Tianjin University, China
Doctoral Symposium Chair
* Xin Peng, Fudan University, China
Registration Chair
* Jing Hu, Tianjin University, China
Web Chairs
* Xiaofei Xie, Tianjin University, China
* Gang Shen, Tianjin University, China
PROGRAMME COMMITTEE
---------------------------
* Aiguier Marc, Ecole Centrale Paris, France
* Ait Ameur Yamine, IRIT/ENSEEIHT, France
* Almeida Luis, Fac de Eng da Universidade do Porto, Portugal
* Andre Etienne, Universite Paris 13, France (co-chair)
* Artho Cyrille, AIST, Japan
* Baresi Luciano, DEI - Politecnico di Milano, Italy
* Brooke Phillip J, Teesside University, UK
* Calinescu Radu, University of York, UK
* Chen Yixiang,School of Software,East China Normal University,China
* Cirstea Corina, University of Southampton, UK
* Di Giandomenico Felicita, ISTI-CNR, Italy
* Dowek Gilles, INRIA, France
* Eder Kerstin, University of Bristol, Department of Computer Science, UK
* Furia Carlo Alberto, ETH Zurich, Switzerland
* Gerard Sebastien, CEA, LIST, France
* Grechanik Mark, University of Illinois at Chicago, United States
* Groves Lindsay, Victoria University of Wellington, New Zealand
* Guerra Esther, Universidad Autonoma de Madrid, Spain
* He Fei, School of Software, Tsinghua University, China
* Kim Moonzoo, KAIST, South Korea
* Kroening Daniel, Computer Science Department, Oxford University, UK
* Laleau Regine, Universite Paris-Est Creteil, France
* Laplante Phillip, Penn State, United States
* Lau Kung-Kiu, UK
* Li Bing,State Key Lab of Software Engineering, Wuhan University, China
* Li Xiaohong, Tianjin University, China
* Li Yuan-Fang, Monash University, Australia
* Lindsay Peter, The University of Queensland, Australia
* Liu Ling,School of Software,Tsinghua University,China
* Liu Yang, Nanyang Technological University, Singapore
* Lo David, Singapore Management University, Singapore
* Luettgen Gerald, University of Bamberg, Germany
* Mao Xiaoguang, School of Computer Science,cNational University of
Defense Technology, China
* Margaria Tiziana, University of Potsdam, Germany
* Martin Andrew, Department of Computer Science, University of Oxford, UK
* Mccann Julie, Imperial College, UK
* Mery Dominique, Universite de Lorraine, LORIA, France
* Miao HuaiKou,Shanghai University,China
* Mirandola Raffaela, Politecnico di Milano, Italy
* Nesi Paolo, University of Florence, Italy
* Pang Jun, University of Luxembourg, Luxembourg
* Perseil Isabelle, Inserm, France
* Pettit Robert, United States
* Prehofer Christian, Munich, Germany
* Rumpe Bernhard, RWTH Aachen University, Germany
* Seceleanu Cristina, Malardalen University, Vasteras, Sweden
* Stolz Volker, University of Oslo, Norway
* Sun Jing, The University of Auckland, New Zealand
* Sun Jun, Singapore University of Technology and Design, Singapore
* Taguchi Kenji, AIST, Japan
* Tamzalit Dalila, LINA Laboratory, University of Nantes, France
* Tian Cong, Xidian University, China
* Vardanega Tullio, University of Padua, Italy
* Van Hoorn Andre, University of Stuttgart, Germany
* Wang Farn, National Taiwan University, Taiwan
* Wang Hai H, University of Aston, UK
* Wang Qianxiang, Software Engineering Insisute, Peking University, China
* Wang Xinyu, Computer College of Zhejiang University, China
* Wehrheim Heike, Universitaet Paderborn, Germany
* Xu Baowen, Nanjin University, China
* Xu Guangquan, Tianjin University, China
* Xu Jing, Nankai University, China
* Yuan Ling, Huazhong University of Science and Technology, China
* Zalila Bechir, ReDCAD Laboratory, University of Sfax, Tunisia
* Zhan Naijun, Lab of Computer Science, Institute of Software, Chinese
Academy of Sciences, China
* Zhang Lei, Tianjin University, China (co-chair)
* Zhao JianJun, Shanghai Jiao Tong University, China
* Zhao Wenyun, Fudan University, China
* Zhu Huibiao, Software Engineering Institute, East China Normal
University, China
* Zschaler Steffen, King's College London, UK
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
============================================================
Call for Papers
ICECCS 2014
(The 19th International Conference on Engineering of
Complex Computer Systems)
4-7 August 2014
School of Computer Science and Technology
Tianjin University, China
http://cs.tju.edu.cn/iceccs/2014
============================================================
IMPORTANT DATES
---------------------------
* Abstract submission: February 14, 2014
* Paper submission deadline: February 28, 2014
* Workshop proposal submission: February 28, 2014
* Notification of acceptance: April 22, 2014
* Camera-ready material for publication: May 4, 2014
* Checking for Production: May 14, 2014
* Conference date: August 4-7, 2014
Complex computer systems are common in many sectors, such as
manufacturing, communications, defense, transportation, aerospace,
hazardous environments, energy, and health care. These systems are
frequently distributed over heterogeneous networks, and are driven by
many diverse requirements on performance, real-time behavior, fault
tolerance, security, adaptability, development time and cost, long
life concerns, and other areas. Such requirements frequently conflict,
and their satisfaction therefore requires managing the trade-off among
them during system development and throughout the entire system
life. The goal of this conference is to bring together industrial,
academic, and government experts, from a variety of user domains and
software disciplines, to determine how the disciplines' problems and
solution techniques interact within the whole system. Researchers,
practitioners, tool developers and users, and technology transition
experts are all welcome. The scope of interest includes long-term
research issues, near-term complex system requirements and promising
tools, existing complex systems, and commercially available tools.
SCOPE AND TOPICS
---------------------------
Authors are invited to submit papers describing original, unpublished
research
results, case studies and tools.
Papers are solicited in all areas related to complex computer-based systems,
including the causes of complexity and means of avoiding, controlling, or
coping with complexity. Topic areas include, but are not limited to:
* Requirement specification and analysis
* Verification and validation
* Security and privacy of complex systems
* Model-driven development
* Reverse engineering and refactoring
* Architecture software
* Big Data Management
* Ambient intelligence, pervasive computing
* Ubiquitous computing, context awareness, sensor networks
* Design by contract
* Agile methods
* Safety-critical & fault-tolerant architectures
* Adaptive, self-managing and multi-agent systems
* Real-time, hybrid and embedded systems
* Systems of systems
* Tools and tool integration
* Industrial case studies
SUBMISSION
---------------------------
Different kinds of contributions are sought, including novel research,
lessons
learned, experience reports, and discussions of practical problems faced by
industry and user domains. The ultimate goal is to build a rich and
comprehensive conference program that can fit the interests and needs of
different classes of attendees: professionals, researchers, managers, and
students. A program goal is to organize several sessions that include both
academic and industrial papers on a given topic and culminate panels to
discuss
relationships between industrial and academic research. Papers are
divided into
two categories:
* Technical Papers and
* Experience Reports.
The papers submitted to both categories will be reviewed by program
committee
members, and papers accepted in either category will be published in the
conference proceedings. Technical papers should describe original
research, and
industrial experience reports should describe practical projects carried
out in
industry, and reflect on the lessons learnt from them.
FULL PAPERS
Full papers are divided into two categories: Technical Papers and Experience
Reports. The papers submitted to both categories will be reviewed by program
committee members, and papers accepted in either category will be
published in
the conference proceedings. Technical papers should describe original
research,
and experience reports should present practical projects carried out in
industry, and reflect on the lessons learnt from them.
POSTER PAPERS
Poster paper submissions should specify in their abstract whether they
describe
ongoing or PhD research. Both types of poster papers will be reviewed by
program
committee members, and accepted posters will be published in the conference
proceedings.
PAPER SUBMISSION
Submitted manuscripts should be in English and formatted in the style of the
Conference Publishing Services (CPS) Proceedings Format. Papers should not
exceed 10 pages for full papers and 2 pages for poster papers, including
figures, references, and appendices. All submissions should be in PDF
format.
Submissions not adhering to the specified format and length may be rejected
without review.
All submissions should be made through the Easychair Website:
https://www.easychair.org/account/signin.cgi?conf=iceccs2014
ORGANIZING COMMITTEES
---------------------------
General Co-Chairs
* JinSong Dong, National University of Singapore, Singapore
* Zhiyong Feng, Tianjin University, China.
Program Committee Co-Chairs
* Etienne Andre, Universite Paris 13, France
* Lei Zhang, Tianjin University, China
Workshop Chairs
* Zhenhua Duan, Xidian University, Xi'an
* YuanFang Li, Monash University, Australia
Publicity Chair
* Yang Liu, Nanyang Technological University, Singapore
Tutorial Chair
* Jun Sun, Singapore University of Technology and Design, Singapore
Local Chairs
* Xiaohong Li, Tianjin University, China
* Guangquan Xu, Tianjin University, China
Doctoral Symposium Chair
* Xin Peng, Fudan University, China
Registration Chair
* Jing Hu, Tianjin University, China
Web Chairs
* Xiaofei Xie, Tianjin University, China
* Gang Shen, Tianjin University, China
PROGRAMME COMMITTEE
---------------------------
* Aiguier Marc, Ecole Centrale Paris, France
* Ait Ameur Yamine, IRIT/ENSEEIHT, France
* Almeida Luis, Fac de Eng da Universidade do Porto, Portugal
* Andre Etienne, Universite Paris 13, France (co-chair)
* Artho Cyrille, AIST, Japan
* Baresi Luciano, DEI - Politecnico di Milano, Italy
* Brooke Phillip J, Teesside University, UK
* Calinescu Radu, University of York, UK
* Chen Yixiang,School of Software,East China Normal University,China
* Cirstea Corina, University of Southampton, UK
* Di Giandomenico Felicita, ISTI-CNR, Italy
* Dowek Gilles, INRIA, France
* Eder Kerstin, University of Bristol, Department of Computer Science, UK
* Furia Carlo Alberto, ETH Zurich, Switzerland
* Gerard Sebastien, CEA, LIST, France
* Grechanik Mark, University of Illinois at Chicago, United States
* Groves Lindsay, Victoria University of Wellington, New Zealand
* Guerra Esther, Universidad Autonoma de Madrid, Spain
* He Fei, School of Software, Tsinghua University, China
* Kim Moonzoo, KAIST, South Korea
* Kroening Daniel, Computer Science Department, Oxford University, UK
* Laleau Regine, Universite Paris-Est Creteil, France
* Laplante Phillip, Penn State, United States
* Lau Kung-Kiu, UK
* Li Bing,State Key Lab of Software Engineering, Wuhan University, China
* Li Xiaohong, Tianjin University, China
* Li Yuan-Fang, Monash University, Australia
* Lindsay Peter, The University of Queensland, Australia
* Liu Ling,School of Software,Tsinghua University,China
* Liu Yang, Nanyang Technological University, Singapore
* Lo David, Singapore Management University, Singapore
* Luettgen Gerald, University of Bamberg, Germany
* Mao Xiaoguang, School of Computer Science,cNational University of
Defense Technology, China
* Margaria Tiziana, University of Potsdam, Germany
* Martin Andrew, Department of Computer Science, University of Oxford, UK
* Mccann Julie, Imperial College, UK
* Mery Dominique, Universite de Lorraine, LORIA, France
* Miao HuaiKou,Shanghai University,China
* Mirandola Raffaela, Politecnico di Milano, Italy
* Nesi Paolo, University of Florence, Italy
* Pang Jun, University of Luxembourg, Luxembourg
* Perseil Isabelle, Inserm, France
* Pettit Robert, United States
* Prehofer Christian, Munich, Germany
* Rumpe Bernhard, RWTH Aachen University, Germany
* Seceleanu Cristina, Malardalen University, Vasteras, Sweden
* Stolz Volker, University of Oslo, Norway
* Sun Jing, The University of Auckland, New Zealand
* Sun Jun, Singapore University of Technology and Design, Singapore
* Taguchi Kenji, AIST, Japan
* Tamzalit Dalila, LINA Laboratory, University of Nantes, France
* Tian Cong, Xidian University, China
* Vardanega Tullio, University of Padua, Italy
* Van Hoorn Andre, University of Stuttgart, Germany
* Wang Farn, National Taiwan University, Taiwan
* Wang Hai H, University of Aston, UK
* Wang Qianxiang, Software Engineering Insisute, Peking University, China
* Wang Xinyu, Computer College of Zhejiang University, China
* Wehrheim Heike, Universitaet Paderborn, Germany
* Xu Baowen, Nanjin University, China
* Xu Guangquan, Tianjin University, China
* Xu Jing, Nankai University, China
* Yuan Ling, Huazhong University of Science and Technology, China
* Zalila Bechir, ReDCAD Laboratory, University of Sfax, Tunisia
* Zhan Naijun, Lab of Computer Science, Institute of Software, Chinese
Academy of Sciences, China
* Zhang Lei, Tianjin University, China (co-chair)
* Zhao JianJun, Shanghai Jiao Tong University, China
* Zhao Wenyun, Fudan University, China
* Zhu Huibiao, Software Engineering Institute, East China Normal
University, China
* Zschaler Steffen, King's College London, UK
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
2014-02-02
[Caml-list] DeSE 2014: First Call for Papers
| *** First Call for Papers *** Seventh International Conference on Developments in eSystems Engineering (DeSE '2014) 25th - 27th August 2014 Azia Hotel and Spa 5*, Paphos, Cyprus www.dese.org.uk Recent years have witnessed increasing interest and development in computerised systems and procedures, which exploit the electronic media in order to offer effective and sophisticated solutions to a wide range of real-world applications. Innovation and research development in this rapidly evolving area of eSystems has typically been reported on as part of cognate fields such as, for example: Information and Communications Technology, Computer Science, Systems Science, Social Science and engineering. This conference, on the developments in eSystems Engineering will act as a platform for disseminating and discussing new research findings and ideas in this emerging field. Papers are invited on all aspects of eSystem Engineering, modelling and applications, to be presented at a three day conference in Paphos, Cyprus. Authors will have their submissions reviewed by international experts and accepted papers will appear in the conference proceedings published by the Conference Publication Services (CPS) for worldwide presence. The event provides authors with an outstanding opportunity for networking and presenting their work at an international conference. The location offers an especially attractive opportunity for professional discussion, socialising and sightseeing. DeSE 2014 conference is technically co-sponsored by IEEE. DeSE 2014 comprises an exciting spectrum of highly stimulating tracks: o eLearning (Technology-Enhanced Learning) o eGovernment systems, Autonomic Computing and AI o eBusiness and Management o eHealth and e-Medicine o eScience and Technology o eSecurity and e-Forensics o eEntertainment and Creative Technologies o eNetworking and Wireless Environments o eUbiquitous Computing and Intelligent Living o Green and Sustainable Technologies o eCulture and Digital Society o eSport Science o eSystems Engineering (Main Stream) o Sustainable Construction and Renewable Energy All submitted papers will be peer-reviewed. Accepted and presented papers may be published in the final technical conference proceedings, and may be indexed in IEEE Xplore and EI Compendex, subject to final approval by the Conference Technical Committee. Venue Azia Resort and Spa 5*, Paphos, Cyprus Built as three different sections on adjacent grounds, with plethora of magnificent spaces for carefree living, the Azia Resort has all the diversity to keep its guests contented for a week or longer. Each element of the three-in-one boutique Cyprus hotel concept has its own character and fulfils different aspirations of the visitor. The Azia Blue is about sophisticated, spacious living and family luxury hotel. The Azia Club and Spa is ideal for privacy and indulgence. One of the few resorts or Cyprus hotels with a west-facing outlook, the Azia hotel provides guests with a sublime view of blazing indescribable sunsets. Tentative Dates Submission Deadline: May 31st, 2014 Notification of Acceptance: June 30st, 2014 Camera-Ready Submission: July 15th, 2014 |
| -------------------------------------------------------------------- This is not SPAM. If you want to be removed from this list, please send an email to [announce@cs.ucy.ac.cy] with the single word 'remove' in the subject of the email. |
2014-01-31
[Caml-list] TFP 2014 - 2nd call for papers
---------------------------------
2ND C A L L F O R P A P E R S
---------------------------------
======== TFP 2014 ===========
15th Symposium on Trends in Functional Programming
May 26-28, 2014
Utrecht University
Soesterberg, The Netherlands
http://www.cs.uu.nl/wiki/TFP2014/WebHome
*** Submission for TFP 2014 is now open: please direct your browser to
*** http://www.cs.uu.nl/wiki/TFP2014/PaperSubmission
The symposium on Trends in Functional Programming (TFP) is an international
forum for researchers with interests in all aspects of functional
programming,
taking a broad view of current and future trends in the area. It aspires to
be a lively environment for presenting the latest research results, and
other
contributions (see below), described in draft papers submitted prior to the
symposium. A formal post-symposium refereeing process then selects a subset
of the articles presented at the symposium and submitted for formal
publication.
Selected revised papers will be published as a Springer Lecture Notes in
Computer Science (LNCS) volume.
TFP 2014 will be the main event of a pair of functional programming events.
The other is the International Workshop on Trends in Functional Programming
in Education (TFPIE). TFPIE will take place on May 25th. Its website is
located
at http://www.cs.uwyo.edu/~jlc/tfpie14/
The TFP symposium is the heir of the successful series of Scottish
Functional
Programming Workshops. Previous TFP symposia were held in
Edinburgh (Scotland) in 2003, in Munich (Germany) in 2004,
in Tallinn (Estonia) in 2005, in Nottingham (UK) in 2006,
in New York (USA) in 2007, in Nijmegen (The Netherlands) in 2008,
in Komarno (Slovakia) in 2009, in Oklahoma (USA) in 2010, in Madrid
(Spain) in
2011, St. Andrews (UK) in 2012 and Provo (Utah, USA) in 2013.
For further general information about TFP please see the TFP homepage.
INVITED SPEAKERS
TFP is pleased to announce talks by the following two invited speakers:
John Hughes of Chalmers, Goteborg, Sweden, is well-known as author of
Why Functional Programming Matters, and as one of the designers of
QuickCheck
(together with Koen Claessen); the paper on QuickCheck won the
ICFP Most Influential Paper Award in 2010. Currently he divides his time
between
his professorship and Quviq, a company that performs property-based
testing of
software with a tool implemented in Erlang.
Dr. Geoffrey Mainland received his PhD from Harvard University where he was
advised by Greg Morrisett and Matt Welsh. After a two year postdoc with the
Programming Principles and Tools group at Microsoft Research Cambridge,
he is
now an assistant professor at Drexel University. His research focuses on
high-level programming language and runtime support for non-general purpose
computation.
SCOPE
The symposium recognizes that new trends may arise through various routes.
As part of the Symposium's focus on trends we therefore identify the
following five article categories. High-quality articles are solicited
in any
of these categories:
Research Articles: leading-edge, previously unpublished research work
Position Articles: on what new trends should or should not be
Project Articles: descriptions of recently started new projects
Evaluation Articles: what lessons can be drawn from a finished project
Overview Articles: summarizing work with respect to a trendy subject
Articles must be original and not submitted for simultaneous publication to
any other forum. They may consider any aspect of functional programming:
theoretical, implementation-oriented, or more experience-oriented.
Applications of functional programming techniques to other languages are
also within the scope of the symposium.
Topics suitable for the symposium include:
Functional programming and multicore/manycore computing
Functional programming in the cloud
High performance functional computing
Extra-functional (behavioural) properties of functional programs
Dependently typed functional programming
Validation and verification of functional programs
Using functional techniques to reason about
imperative/object-oriented programs
Debugging for functional languages
Functional programming in different application areas:
security, mobility, telecommunications applications, embedded
systems,
global computing, grids, etc.
Interoperability with imperative programming languages
Novel memory management techniques
Program analysis and transformation techniques
Empirical performance studies
Abstract/virtual machines and compilers for functional languages
(Embedded) domain specific languages
New implementation strategies
Any new emerging trend in the functional programming area
If you are in doubt on whether your article is within the scope of TFP,
please contact the TFP 2014 program chair, Jurriaan Hage at J.Hage@uu.nl.
BEST PAPER AWARDS
To reward excellent contributions, TFP awards a prize for the best paper
accepted for the formal proceedings.
TFP traditionally pays special attention to research students,
acknowledging that students are almost by definition part of new subject
trends. A student paper is one for which the authors state that the paper
is mainly the work of students, the students are listed as first authors,
and a student would present the paper. A prize for the best student paper
is awarded each year.
In both cases, it is the PC of TFP that awards the prize.
In case the best paper happens to be a student paper, that paper will then
receive both prizes.
SPONSORS
TFP is financially supported by NWO (Netherlands Organisation for
Scientific
Research), Well-Typed and Erlang Solutions.
PAPER SUBMISSIONS
Acceptance of articles for presentation at the symposium is based on a
lightweight peer review process of extended abstracts (4 to 10 pages in
length) or full papers (16 pages). The submission must clearly indicate
which category it belongs to: research, position, project, evaluation,
or overview paper. It should also indicate whether the main author or
authors are research students. In the case of a FULL STUDENT paper, the
draft paper will receive additional feedback by one of the PC members
shortly
after the symposium has taken place.
We use EasyChair for the refereeing process.
IMPORTANT DATES
Submission of draft papers: March 17, 2014
Notification: March 24, 2014
Registration: April 7, 2014
TFP Symposium: May 26-28, 2014
Student papers feedback: June 9th, 2014
Submission for formal review: July 1st, 2014
Notification of acceptance: September 8th, 2014
Camera ready paper: October 8th, 2014
PROGRAM COMMITTEE
Peter Achten Radboud University Nijmegen
Emil Axelsson Chalmers
Lucilia Camarao de Figueiredo Universidade Federal de Ouro Preto
Laura Castro University of A Coruna
Frank Huch Christian-Albrechts-University of Kiel
Matthew Fluet Rochester Institute of Technology
Jurriaan Hage (chair) University of Utrecht
Yukiyoshi Kameyama University of Tsukuba
Andrew Kennedy Microsoft Research
Tamas Kozsik Eotvos Lorand University
Ben Lippmeier University of New South Wales
Luc Maranget INRIA
Jay McCarthy (co-chair) Brigham Young University
Marco T. Morazan Seton Hall University
Ricardo Pena Universidad Complutense de Madrid
Alexey Rodriguez LiquidM
Sven-Bodo Scholz Heriot-Watt University
Manuel Serrano INRIA Sophia Antipolis
Simon Thompson University of Kent
Tarmo Uustalu Inst of Cybernetics
David Van Horn University of Maryland
Janis Voigtlaender University of Bonn
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
2ND C A L L F O R P A P E R S
---------------------------------
======== TFP 2014 ===========
15th Symposium on Trends in Functional Programming
May 26-28, 2014
Utrecht University
Soesterberg, The Netherlands
http://www.cs.uu.nl/wiki/TFP2014/WebHome
*** Submission for TFP 2014 is now open: please direct your browser to
*** http://www.cs.uu.nl/wiki/TFP2014/PaperSubmission
The symposium on Trends in Functional Programming (TFP) is an international
forum for researchers with interests in all aspects of functional
programming,
taking a broad view of current and future trends in the area. It aspires to
be a lively environment for presenting the latest research results, and
other
contributions (see below), described in draft papers submitted prior to the
symposium. A formal post-symposium refereeing process then selects a subset
of the articles presented at the symposium and submitted for formal
publication.
Selected revised papers will be published as a Springer Lecture Notes in
Computer Science (LNCS) volume.
TFP 2014 will be the main event of a pair of functional programming events.
The other is the International Workshop on Trends in Functional Programming
in Education (TFPIE). TFPIE will take place on May 25th. Its website is
located
at http://www.cs.uwyo.edu/~jlc/tfpie14/
The TFP symposium is the heir of the successful series of Scottish
Functional
Programming Workshops. Previous TFP symposia were held in
Edinburgh (Scotland) in 2003, in Munich (Germany) in 2004,
in Tallinn (Estonia) in 2005, in Nottingham (UK) in 2006,
in New York (USA) in 2007, in Nijmegen (The Netherlands) in 2008,
in Komarno (Slovakia) in 2009, in Oklahoma (USA) in 2010, in Madrid
(Spain) in
2011, St. Andrews (UK) in 2012 and Provo (Utah, USA) in 2013.
For further general information about TFP please see the TFP homepage.
INVITED SPEAKERS
TFP is pleased to announce talks by the following two invited speakers:
John Hughes of Chalmers, Goteborg, Sweden, is well-known as author of
Why Functional Programming Matters, and as one of the designers of
QuickCheck
(together with Koen Claessen); the paper on QuickCheck won the
ICFP Most Influential Paper Award in 2010. Currently he divides his time
between
his professorship and Quviq, a company that performs property-based
testing of
software with a tool implemented in Erlang.
Dr. Geoffrey Mainland received his PhD from Harvard University where he was
advised by Greg Morrisett and Matt Welsh. After a two year postdoc with the
Programming Principles and Tools group at Microsoft Research Cambridge,
he is
now an assistant professor at Drexel University. His research focuses on
high-level programming language and runtime support for non-general purpose
computation.
SCOPE
The symposium recognizes that new trends may arise through various routes.
As part of the Symposium's focus on trends we therefore identify the
following five article categories. High-quality articles are solicited
in any
of these categories:
Research Articles: leading-edge, previously unpublished research work
Position Articles: on what new trends should or should not be
Project Articles: descriptions of recently started new projects
Evaluation Articles: what lessons can be drawn from a finished project
Overview Articles: summarizing work with respect to a trendy subject
Articles must be original and not submitted for simultaneous publication to
any other forum. They may consider any aspect of functional programming:
theoretical, implementation-oriented, or more experience-oriented.
Applications of functional programming techniques to other languages are
also within the scope of the symposium.
Topics suitable for the symposium include:
Functional programming and multicore/manycore computing
Functional programming in the cloud
High performance functional computing
Extra-functional (behavioural) properties of functional programs
Dependently typed functional programming
Validation and verification of functional programs
Using functional techniques to reason about
imperative/object-oriented programs
Debugging for functional languages
Functional programming in different application areas:
security, mobility, telecommunications applications, embedded
systems,
global computing, grids, etc.
Interoperability with imperative programming languages
Novel memory management techniques
Program analysis and transformation techniques
Empirical performance studies
Abstract/virtual machines and compilers for functional languages
(Embedded) domain specific languages
New implementation strategies
Any new emerging trend in the functional programming area
If you are in doubt on whether your article is within the scope of TFP,
please contact the TFP 2014 program chair, Jurriaan Hage at J.Hage@uu.nl.
BEST PAPER AWARDS
To reward excellent contributions, TFP awards a prize for the best paper
accepted for the formal proceedings.
TFP traditionally pays special attention to research students,
acknowledging that students are almost by definition part of new subject
trends. A student paper is one for which the authors state that the paper
is mainly the work of students, the students are listed as first authors,
and a student would present the paper. A prize for the best student paper
is awarded each year.
In both cases, it is the PC of TFP that awards the prize.
In case the best paper happens to be a student paper, that paper will then
receive both prizes.
SPONSORS
TFP is financially supported by NWO (Netherlands Organisation for
Scientific
Research), Well-Typed and Erlang Solutions.
PAPER SUBMISSIONS
Acceptance of articles for presentation at the symposium is based on a
lightweight peer review process of extended abstracts (4 to 10 pages in
length) or full papers (16 pages). The submission must clearly indicate
which category it belongs to: research, position, project, evaluation,
or overview paper. It should also indicate whether the main author or
authors are research students. In the case of a FULL STUDENT paper, the
draft paper will receive additional feedback by one of the PC members
shortly
after the symposium has taken place.
We use EasyChair for the refereeing process.
IMPORTANT DATES
Submission of draft papers: March 17, 2014
Notification: March 24, 2014
Registration: April 7, 2014
TFP Symposium: May 26-28, 2014
Student papers feedback: June 9th, 2014
Submission for formal review: July 1st, 2014
Notification of acceptance: September 8th, 2014
Camera ready paper: October 8th, 2014
PROGRAM COMMITTEE
Peter Achten Radboud University Nijmegen
Emil Axelsson Chalmers
Lucilia Camarao de Figueiredo Universidade Federal de Ouro Preto
Laura Castro University of A Coruna
Frank Huch Christian-Albrechts-University of Kiel
Matthew Fluet Rochester Institute of Technology
Jurriaan Hage (chair) University of Utrecht
Yukiyoshi Kameyama University of Tsukuba
Andrew Kennedy Microsoft Research
Tamas Kozsik Eotvos Lorand University
Ben Lippmeier University of New South Wales
Luc Maranget INRIA
Jay McCarthy (co-chair) Brigham Young University
Marco T. Morazan Seton Hall University
Ricardo Pena Universidad Complutense de Madrid
Alexey Rodriguez LiquidM
Sven-Bodo Scholz Heriot-Watt University
Manuel Serrano INRIA Sophia Antipolis
Simon Thompson University of Kent
Tarmo Uustalu Inst of Cybernetics
David Van Horn University of Maryland
Janis Voigtlaender University of Bonn
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
2014-01-28
[Caml-list] SynCoP 2014: Final call for papers / Call for informal presentations
[We apologize for multiple copies.]
====================================================================
Call for papers
SynCoP 2014
1st International Workshop on the SYNthesis of COntinuous Parameters
(ETAPS satellite event)
http://lipn.univ-paris13.fr/SynCoP2014/
====================================================================
SynCoP aims at bringing together researchers working on parameter
synthesis for systems with continuous variables, where the parameters
consist of a (usually dense) set of constant values. Such problems arise
for real-time, hybrid or probabilistic systems where the goal is to
identify suitable parameters to achieve desired behavior, or to verify
the behavior for a given range of parameter values. A parameter could
be, e.g., a delay in a real-time system, or a reaction rate in a
biological cell model.
The workshop will take place on Sunday the 6th of April 2014, in
Grenoble, France, as a satellite event of ETAPS 2014.
The workshop will be able to (at least partially) support the travel and
the ETAPS workshop registration fees for one or two PhD or Master
student(s).
=================
IMPORTANT DATES
=================
Abstract: February 3rd, 2014 (extended)
Full papers: February 3rd, 2014 (extended)
Notification: February 27th, 2014
Camera ready: March 15th, 2014
Workshop: April 6th, 2014
Informal presentation submission: February 20th, 2014
Notification: February 27th, 2014
=================
TOPICS OF THE WORKSHOP
=================
The scientific subject of the workshop covers (but is not limited to)
the following areas:
* parameter synthesis,
* parametric model checking,
* parametric logics, decidability and complexity issues,
* robustness analysis,
* formalisms such as parametric timed and hybrid automata, parametric
time(d) Petri nets, parametric probabilistic automata, parametric Markov
decision processes,
* applications to major areas of computer science and control engineering.
=================
SUBMISSION AND PUBLICATION
=================
The content of papers should be original and not submitted elsewhere.
All papers will be assigned to at least three reviews.
The page limit is 15 pages in the EPTCS format (http://style.eptcs.org/).
All accepted papers will be published in the Electronic Proceedings in
Theoretical Computer Science (EPTCS) series, that are free and open
access online proceedings.
The papers will be referenced in major databases such as DBLP, and
published under the Creative Commons CC-BY license.
Hereby, the authors retain their copyright.
(Substantial revisions may later be published elsewhere.)
Submission will be made in English in PDF format through Easychair:
https://www.easychair.org/conferences/?conf=syncop2014
=================
INFORMAL PRESENTATIONS
=================
Informal presentations are presentations of ongoing work, or work
already published somewhere. It does not require to be mature nor original.
Submission will be made in the form of a one-page abstract in the EPTCS
format submitted by email to syncop2014@easychair.org.
Informal presentations will not be part of the proceedings.
Informal presentation submission: February 20th, 2014
Notification: February 27th, 2014
=================
INVITED SPEAKERS
=================
* Alexandre Donze, Faculty of Electrical Engineering and Computer
Science, UC Berkeley, USA
* Didier Lime, IRCCyN / Ecole Centrale de Nantes, France
=================
CHAIRS
=================
* Etienne Andre (Universite Paris 13, Sorbonne Paris Cite, France)
* Goran Frehse (Universite Joseph Fourier Grenoble 1 - Verimag, France)
=================
PROGRAM COMMITTEE
=================
* Eugene Asarin, Paris, France
* Alessandro Cimatti, Trento, Italy
* Alexandre Donze, Berkeley, USA
* Georgios Fainekos, Arizona, USA
* Laurent Fribourg, Cachan, France
* Antoine Girard, Grenoble, France
* Kim Larsen, Aalborg, Denmark
* Yang Liu, Singapore
* Olivier H. Roux, Nantes, France
* Sriram Sankaranarayanan, Boulder, USA
* Marielle Stoelinga , Twente, Netherlands
* Ashish Tiwari, USA
* Farn Wang, Taipei, Taiwan
=================
SUPPORT
=================
The workshop is partially supported by VERIMAG, LIPN, Universite Paris
13, and GDR IM.
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
====================================================================
Call for papers
SynCoP 2014
1st International Workshop on the SYNthesis of COntinuous Parameters
(ETAPS satellite event)
http://lipn.univ-paris13.fr/SynCoP2014/
====================================================================
SynCoP aims at bringing together researchers working on parameter
synthesis for systems with continuous variables, where the parameters
consist of a (usually dense) set of constant values. Such problems arise
for real-time, hybrid or probabilistic systems where the goal is to
identify suitable parameters to achieve desired behavior, or to verify
the behavior for a given range of parameter values. A parameter could
be, e.g., a delay in a real-time system, or a reaction rate in a
biological cell model.
The workshop will take place on Sunday the 6th of April 2014, in
Grenoble, France, as a satellite event of ETAPS 2014.
The workshop will be able to (at least partially) support the travel and
the ETAPS workshop registration fees for one or two PhD or Master
student(s).
=================
IMPORTANT DATES
=================
Abstract: February 3rd, 2014 (extended)
Full papers: February 3rd, 2014 (extended)
Notification: February 27th, 2014
Camera ready: March 15th, 2014
Workshop: April 6th, 2014
Informal presentation submission: February 20th, 2014
Notification: February 27th, 2014
=================
TOPICS OF THE WORKSHOP
=================
The scientific subject of the workshop covers (but is not limited to)
the following areas:
* parameter synthesis,
* parametric model checking,
* parametric logics, decidability and complexity issues,
* robustness analysis,
* formalisms such as parametric timed and hybrid automata, parametric
time(d) Petri nets, parametric probabilistic automata, parametric Markov
decision processes,
* applications to major areas of computer science and control engineering.
=================
SUBMISSION AND PUBLICATION
=================
The content of papers should be original and not submitted elsewhere.
All papers will be assigned to at least three reviews.
The page limit is 15 pages in the EPTCS format (http://style.eptcs.org/).
All accepted papers will be published in the Electronic Proceedings in
Theoretical Computer Science (EPTCS) series, that are free and open
access online proceedings.
The papers will be referenced in major databases such as DBLP, and
published under the Creative Commons CC-BY license.
Hereby, the authors retain their copyright.
(Substantial revisions may later be published elsewhere.)
Submission will be made in English in PDF format through Easychair:
https://www.easychair.org/conferences/?conf=syncop2014
=================
INFORMAL PRESENTATIONS
=================
Informal presentations are presentations of ongoing work, or work
already published somewhere. It does not require to be mature nor original.
Submission will be made in the form of a one-page abstract in the EPTCS
format submitted by email to syncop2014@easychair.org.
Informal presentations will not be part of the proceedings.
Informal presentation submission: February 20th, 2014
Notification: February 27th, 2014
=================
INVITED SPEAKERS
=================
* Alexandre Donze, Faculty of Electrical Engineering and Computer
Science, UC Berkeley, USA
* Didier Lime, IRCCyN / Ecole Centrale de Nantes, France
=================
CHAIRS
=================
* Etienne Andre (Universite Paris 13, Sorbonne Paris Cite, France)
* Goran Frehse (Universite Joseph Fourier Grenoble 1 - Verimag, France)
=================
PROGRAM COMMITTEE
=================
* Eugene Asarin, Paris, France
* Alessandro Cimatti, Trento, Italy
* Alexandre Donze, Berkeley, USA
* Georgios Fainekos, Arizona, USA
* Laurent Fribourg, Cachan, France
* Antoine Girard, Grenoble, France
* Kim Larsen, Aalborg, Denmark
* Yang Liu, Singapore
* Olivier H. Roux, Nantes, France
* Sriram Sankaranarayanan, Boulder, USA
* Marielle Stoelinga , Twente, Netherlands
* Ashish Tiwari, USA
* Farn Wang, Taipei, Taiwan
=================
SUPPORT
=================
The workshop is partially supported by VERIMAG, LIPN, Universite Paris
13, and GDR IM.
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
2014-01-27
[Caml-list] 1st Call for Papers: 2nd French Singaporean Workshop in Formal Methods and Applications
====================================================================
Call for papers
FSFMA 2014
2nd French Singaporean Workshop in Formal Methods and Applications
http://lipn.univ-paris13.fr/fsfma2014/
====================================================================
The 2nd French Singaporean Workshop in Formal Methods and Applications (FSFMA 2014) aims at sharing research interests and launching collaborations in the area of formal methods and their applications.
The scientific subject of the workshop covers (but is not limited to) areas such as formal specification, model checking, verification, program analysis/transformation, software engineering, and applications in major areas of computer science, including aeronautics and aerospace.
The workshop will bring together researchers and industry R&D experts from all countries together to exchange their knowledge, discuss their research findings, and explore potential collaborations.
Round tables will focus on French-Singaporean funding and cooperation opportunities.
A PhD session will allow Master and PhD students to present their work.
The workshop will take place on 12th-13th May, 2014, in Singapore as a satellite event of FM 2014.
=================
IMPORTANT DATES
=================
Abstract: March 2nd, 2014
Full papers: March 9th, 2014
Notification: April 15th, 2014
Workshop: May 12th-13th, 2014
Post-proceedings: June 15th, 2014
=================
TOPICS OF THE WORKSHOP
=================
The main theme of the workshop is to establish links between academic and industry scientists interested in methods and techniques for constructing reliable systems using formal methods. The scientific topics of the workshop include, but are not limited to:
- concurrent and distributed systems
- formal specification and semantics
- infinite-state and parameterized systems
- model checking algorithms
- SAT and SMT solvers
- security and privacy
- software engineering and formal methods
- specification and verification (hardware and embedded systems, probabilistic and real-time systems, etc.)
- case studies and experience reports on the use of formal methods
- tools and industrial applications
- applications in aeronautics and aerospace
=================
SUBMISSION AND PUBLICATION
=================
Two kinds of papers are welcome:
- regular papers
- PhD papers (for the doctoral session).
The content of papers should be original and not submitted elsewhere. All papers will be assigned to at least three reviews.
The page limit is 12 pages (regular paper) and 6 pages (PhD paper) in the EPTCS format.
Accepted papers in both categories will be published by the Electronic Proceedings in Theoretical Computer Science (EPTCS), a free open-access and online electronic proceedings series, referenced in major databases such as DBLP.
The proceedings are published under the Creative Commons CC-BY license.
Hereby, the authors retain their copyright.
Submission will be made in English in PDF format through Easychair:
https://www.easychair.org/conferences/?conf=fsfma2014
Additional remarks:
- There are no restrictions on authors' citizenships and working countries.
- For PhD papers, at least one author must be Master or PhD student.
=================
COMMITTEES
=================
General chairs
* Etienne Andre, Universite Paris 13, Sorbonne Paris Cite, France
* Yang Liu, Nanyang Technological University, Singapore
PC chairs
* Shang-Wei Lin, Temasek Lab@NUS, Singapore
* Laure Petrucci, Universite Paris 13, Sorbonne Paris Cite, France
PhD session chairs
* Christine Choppy, Universite Paris 13, Sorbonne Paris Cite, France
* Jin-Song Dong, National University of Singapore, Singapore
Program committee
* Etienne Andre, Universite Paris 13, Sorbonne Paris Cite, France
* Christine Choppy, Universite Paris 13, Sorbonne Paris Cite, France
* Jorg Desel, Fernuniversitat in Hagen, Germany
* Jin-Song Dong, National University of Singapore, Singapore
* Monika Heiner, Brandenburg University of Technology Cottbus, Germany
* Maritta Heisel, University of Duisburg-Essen, Germany
* Romain Kervarc, ONERA, France
* Kais Klai, Universite Paris 13, Sorbonne Paris Cite, France
* Lars M. Kristensen, Bergen University College, Norway
* Ulrich Kuhne, University of Bremen, Germany
* Shang-Wei Lin, Temasek Lab@NUS, Singapore (co-chair)
* Yang Liu, Nanyang Technological University, Singapore
* Laure Petrucci, Universite Paris 13, Sorbonne Paris Cite, France (co-chair)
* Geguang Pu, East China Normal University, China
* Shengchao Qin, University of Teesside, Middlesbrouq, U.K
* Gianna Reggio, DIBRIS, Genova, Italy
* Jun Sun, Singapore University of Technology and Design, Singapore
* Quan Thanh Tho, Hochiminh City University of Technology, Vietnam
* Alwen Tiu, Nanyang Technological University, Singapore
* Bow-Yaw Wang, Academia Sinica, Taiwan
* Naijun Zhang, Chinese Academy of Sciences, China
=================
INVITED SPEAKERS
=================
TBA
--
----------------------------------------------------------------------
Laure Petrucci laure.petrucci@lipn.univ-paris13.fr
Director of LIPN, CNRS UMR 7030
Institut Galilée - Université Paris XIII
99 Avenue Jean-Baptiste Clément, F-93430 Villetaneuse, FRANCE
tel:[+33 1]/[01] 49 40 35 79 (sec: 35 90) fax:[+33 1]/[01] 48 26 07 12
tel (IUT):[+33 1]/[01] 49 40 37 41
----------------------------------------------------------------------
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
Call for papers
FSFMA 2014
2nd French Singaporean Workshop in Formal Methods and Applications
http://lipn.univ-paris13.fr/fsfma2014/
====================================================================
The 2nd French Singaporean Workshop in Formal Methods and Applications (FSFMA 2014) aims at sharing research interests and launching collaborations in the area of formal methods and their applications.
The scientific subject of the workshop covers (but is not limited to) areas such as formal specification, model checking, verification, program analysis/transformation, software engineering, and applications in major areas of computer science, including aeronautics and aerospace.
The workshop will bring together researchers and industry R&D experts from all countries together to exchange their knowledge, discuss their research findings, and explore potential collaborations.
Round tables will focus on French-Singaporean funding and cooperation opportunities.
A PhD session will allow Master and PhD students to present their work.
The workshop will take place on 12th-13th May, 2014, in Singapore as a satellite event of FM 2014.
=================
IMPORTANT DATES
=================
Abstract: March 2nd, 2014
Full papers: March 9th, 2014
Notification: April 15th, 2014
Workshop: May 12th-13th, 2014
Post-proceedings: June 15th, 2014
=================
TOPICS OF THE WORKSHOP
=================
The main theme of the workshop is to establish links between academic and industry scientists interested in methods and techniques for constructing reliable systems using formal methods. The scientific topics of the workshop include, but are not limited to:
- concurrent and distributed systems
- formal specification and semantics
- infinite-state and parameterized systems
- model checking algorithms
- SAT and SMT solvers
- security and privacy
- software engineering and formal methods
- specification and verification (hardware and embedded systems, probabilistic and real-time systems, etc.)
- case studies and experience reports on the use of formal methods
- tools and industrial applications
- applications in aeronautics and aerospace
=================
SUBMISSION AND PUBLICATION
=================
Two kinds of papers are welcome:
- regular papers
- PhD papers (for the doctoral session).
The content of papers should be original and not submitted elsewhere. All papers will be assigned to at least three reviews.
The page limit is 12 pages (regular paper) and 6 pages (PhD paper) in the EPTCS format.
Accepted papers in both categories will be published by the Electronic Proceedings in Theoretical Computer Science (EPTCS), a free open-access and online electronic proceedings series, referenced in major databases such as DBLP.
The proceedings are published under the Creative Commons CC-BY license.
Hereby, the authors retain their copyright.
Submission will be made in English in PDF format through Easychair:
https://www.easychair.org/conferences/?conf=fsfma2014
Additional remarks:
- There are no restrictions on authors' citizenships and working countries.
- For PhD papers, at least one author must be Master or PhD student.
=================
COMMITTEES
=================
General chairs
* Etienne Andre, Universite Paris 13, Sorbonne Paris Cite, France
* Yang Liu, Nanyang Technological University, Singapore
PC chairs
* Shang-Wei Lin, Temasek Lab@NUS, Singapore
* Laure Petrucci, Universite Paris 13, Sorbonne Paris Cite, France
PhD session chairs
* Christine Choppy, Universite Paris 13, Sorbonne Paris Cite, France
* Jin-Song Dong, National University of Singapore, Singapore
Program committee
* Etienne Andre, Universite Paris 13, Sorbonne Paris Cite, France
* Christine Choppy, Universite Paris 13, Sorbonne Paris Cite, France
* Jorg Desel, Fernuniversitat in Hagen, Germany
* Jin-Song Dong, National University of Singapore, Singapore
* Monika Heiner, Brandenburg University of Technology Cottbus, Germany
* Maritta Heisel, University of Duisburg-Essen, Germany
* Romain Kervarc, ONERA, France
* Kais Klai, Universite Paris 13, Sorbonne Paris Cite, France
* Lars M. Kristensen, Bergen University College, Norway
* Ulrich Kuhne, University of Bremen, Germany
* Shang-Wei Lin, Temasek Lab@NUS, Singapore (co-chair)
* Yang Liu, Nanyang Technological University, Singapore
* Laure Petrucci, Universite Paris 13, Sorbonne Paris Cite, France (co-chair)
* Geguang Pu, East China Normal University, China
* Shengchao Qin, University of Teesside, Middlesbrouq, U.K
* Gianna Reggio, DIBRIS, Genova, Italy
* Jun Sun, Singapore University of Technology and Design, Singapore
* Quan Thanh Tho, Hochiminh City University of Technology, Vietnam
* Alwen Tiu, Nanyang Technological University, Singapore
* Bow-Yaw Wang, Academia Sinica, Taiwan
* Naijun Zhang, Chinese Academy of Sciences, China
=================
INVITED SPEAKERS
=================
TBA
--
----------------------------------------------------------------------
Laure Petrucci laure.petrucci@lipn.univ-paris13.fr
Director of LIPN, CNRS UMR 7030
Institut Galilée - Université Paris XIII
99 Avenue Jean-Baptiste Clément, F-93430 Villetaneuse, FRANCE
tel:[+33 1]/[01] 49 40 35 79 (sec: 35 90) fax:[+33 1]/[01] 48 26 07 12
tel (IUT):[+33 1]/[01] 49 40 37 41
----------------------------------------------------------------------
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
2014-01-22
[Caml-list] Call for Papers: SETS 2014
--------------------------------------------------------------------------------
CALL FOR PAPERS -- SETS 2014
********************************************************************************
1st International Workshop about Sets and Tools (SETS 2014)
June 2, 2014, Toulouse, France
Affiliated to ABZ 2014
http://sets2014.cnam.fr/
********************************************************************************
AIM
Sets and constructs built upon them like relations, functions, sequences are
the main modeling ingredients of formalisms such as VDM, Z, B, or Event-B.
Sets also occur in the formalization of mathematics, as evidenced by the large
library of the Mizar proof system for example. In addition, still in the
domain of theorem proving, there is an increasing interest to automate set
theory (which is known to be a difficult problem), with some concrete
realizations, such as mp (the "main prover" of Atelier B) or Muscadet (an
automated theorem prover for natural deduction, which gives some good
performances in set theory). Sets are also the main features of some
programming languages like the former SetL language or the more recent {log}
language (pronounced as setlog).
The workshop aims at bringing together researchers interested in set theory,
especially to design tools for dealing with set theory, such as interactive or
automated theorem provers, proof checkers, theories for general purpose proof
tools, constraint solvers, programming languages etc. These tools may be
dedicated or general purpose tools. Contributions by theoreticians working on
set theories or fragments of set theories in the aim of designing concrete
tools, and by practitioners using set-based tools are both welcome. We are
also interested by contributions providing some comparisons between set
modeling techniques and other formalisms, such as type theory (and variants)
for instance. Finally, regarding the domains of application, we mainly expect
contributions in the framework of formal methods, but not exhaustively, and
contributions reporting formalizations of mathematics using set theory for
example could be of interest for this workshop as well.
TOPICS
Topics of interest for this workshop include all aspects of set theory and
corresponding tools. More specifically, some suggested topics are:
* Proof tools for sets
* Constraint solvers for sets
* Set-based programming languages
* Automated deduction in set theory
* Set theories for SMT solvers
* Encoding of sets in provers
* Use of set-based tools in formal methods
* Use of set-based tools in mathematics
* Comparison of set-based tools
* Comparison between set and type theories
* Experience reports
CONTRIBUTIONS AND PROCEEDINGS
Submitted papers must be 6-15 pages in length, following the Springer LNCS
format. These submissions may be:
* Research papers providing new concepts and results
* Position papers and research perspectives
* Experience reports
* Tool presentations
Proceedings, including all the papers selected for the workshop, will be
available electronically at the workshop. No copyright transfer agreement will
be required from the authors. For this first edition of this workshop, we
would like to put the emphasis on discussions rather than on conventional
publications.
PAPER SUBMISSION
Contributions must be submitted electronically in PDF using the SETS 2014
EasyChair web site at the following address:
https://www.easychair.org/conferences/?conf=sets2014
IMPORTANT DATES
Abstract submission: March 3, 2014
Submission deadline: March 10, 2014
Paper notification: April 7, 2014
Revised/final paper: April 21, 2014
Workshop: June 2, 2014
PROGRAMME CO-CHAIRS
David Delahaye (Cnam, France)
Catherine Dubois (Ensiie, France)
PROGRAMME COMMITTEE
Maximiliano Cristia (CIFASIS, Universidad Nacional de Rosario, Argentina)
David Deharbe (Universidade Federal do Rio Grande do Norte, Brazil)
Michael Leuschel (University of Düsseldorf, Germany)
Stephan Merz (Inria Nancy - Grand Est, Loria, France)
Dominique Pastre (Université Paris Descartes, France)
Gianfranco Rossi (Università di Parma, Italy)
Mark Utting (University of Waikato, New Zealand)
Benjamin Werner (Inria Saclay - Île-de-France, École Polytechnique, France)
Freek Wiedijk (Radboud University Nijmegen, The Netherlands)
Wolfgang Windsteiger (RISC Institute, JKU Linz, Austria)
<To be completed>
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
CALL FOR PAPERS -- SETS 2014
********************************************************************************
1st International Workshop about Sets and Tools (SETS 2014)
June 2, 2014, Toulouse, France
Affiliated to ABZ 2014
http://sets2014.cnam.fr/
********************************************************************************
AIM
Sets and constructs built upon them like relations, functions, sequences are
the main modeling ingredients of formalisms such as VDM, Z, B, or Event-B.
Sets also occur in the formalization of mathematics, as evidenced by the large
library of the Mizar proof system for example. In addition, still in the
domain of theorem proving, there is an increasing interest to automate set
theory (which is known to be a difficult problem), with some concrete
realizations, such as mp (the "main prover" of Atelier B) or Muscadet (an
automated theorem prover for natural deduction, which gives some good
performances in set theory). Sets are also the main features of some
programming languages like the former SetL language or the more recent {log}
language (pronounced as setlog).
The workshop aims at bringing together researchers interested in set theory,
especially to design tools for dealing with set theory, such as interactive or
automated theorem provers, proof checkers, theories for general purpose proof
tools, constraint solvers, programming languages etc. These tools may be
dedicated or general purpose tools. Contributions by theoreticians working on
set theories or fragments of set theories in the aim of designing concrete
tools, and by practitioners using set-based tools are both welcome. We are
also interested by contributions providing some comparisons between set
modeling techniques and other formalisms, such as type theory (and variants)
for instance. Finally, regarding the domains of application, we mainly expect
contributions in the framework of formal methods, but not exhaustively, and
contributions reporting formalizations of mathematics using set theory for
example could be of interest for this workshop as well.
TOPICS
Topics of interest for this workshop include all aspects of set theory and
corresponding tools. More specifically, some suggested topics are:
* Proof tools for sets
* Constraint solvers for sets
* Set-based programming languages
* Automated deduction in set theory
* Set theories for SMT solvers
* Encoding of sets in provers
* Use of set-based tools in formal methods
* Use of set-based tools in mathematics
* Comparison of set-based tools
* Comparison between set and type theories
* Experience reports
CONTRIBUTIONS AND PROCEEDINGS
Submitted papers must be 6-15 pages in length, following the Springer LNCS
format. These submissions may be:
* Research papers providing new concepts and results
* Position papers and research perspectives
* Experience reports
* Tool presentations
Proceedings, including all the papers selected for the workshop, will be
available electronically at the workshop. No copyright transfer agreement will
be required from the authors. For this first edition of this workshop, we
would like to put the emphasis on discussions rather than on conventional
publications.
PAPER SUBMISSION
Contributions must be submitted electronically in PDF using the SETS 2014
EasyChair web site at the following address:
https://www.easychair.org/conferences/?conf=sets2014
IMPORTANT DATES
Abstract submission: March 3, 2014
Submission deadline: March 10, 2014
Paper notification: April 7, 2014
Revised/final paper: April 21, 2014
Workshop: June 2, 2014
PROGRAMME CO-CHAIRS
David Delahaye (Cnam, France)
Catherine Dubois (Ensiie, France)
PROGRAMME COMMITTEE
Maximiliano Cristia (CIFASIS, Universidad Nacional de Rosario, Argentina)
David Deharbe (Universidade Federal do Rio Grande do Norte, Brazil)
Michael Leuschel (University of Düsseldorf, Germany)
Stephan Merz (Inria Nancy - Grand Est, Loria, France)
Dominique Pastre (Université Paris Descartes, France)
Gianfranco Rossi (Università di Parma, Italy)
Mark Utting (University of Waikato, New Zealand)
Benjamin Werner (Inria Saclay - Île-de-France, École Polytechnique, France)
Freek Wiedijk (Radboud University Nijmegen, The Netherlands)
Wolfgang Windsteiger (RISC Institute, JKU Linz, Austria)
<To be completed>
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
Subscribe to:
Posts (Atom)