Re: [Caml-list] Ocaml compiler documentation

I think it depends on how much feedback I get on any particular question. By default, I would like comments to go in the code. Additionally, there's the ocaml-internals wiki at https://github.com/ocamllabs/ocaml-internals which will be useful for any concepts that span multiple files, or that are too beginner-oriented. I'm guessing that for many things, it will just have to be decided on a case-by-case basis.

Of course, the most important ingredient for the success of this 'project' is the willing, patient participation of the core team, as well as the other experts on this list.

-Yotam

On Mon, Mar 31, 2014 at 1:06 PM, Milan Stanojević <milanst@gmail.com> wrote:

Thank you for doing this, I'm interested in learning more about how
compiler works.

Are you creating a separate file(s) to document the compiler or you
are adding comments to ml files?

On Mon, Mar 31, 2014 at 11:39 AM, Yotam Barnoy <yotambarnoy@gmail.com> wrote:
> Hi everybody
>
> It's been mentioned before that the OCaml compiler's documentation is
> somewhat lacking. I've been going over the compiler code gradually (both the
> frontend and the backend) and while some parts are understandable enough,
> others are missing some basic explanations. Some explanations are also
> spread out throughout the codebase, making it hard to know what something
> means unless you've read another part of the codebase that relates to it.
>
> Since the call to submit documentation commits has gone mostly unanswered,
> I'd like to suggest a method of making both my own progress through the code
> easier and hopefully making it easier for others who will follow.
>
> What I'm going to do is, focusing on more or less one file at a time, I'll
> post newbie questions to the list about the code. Once I'm satisfied that I
> have a good enough understanding, I'll add comments to the aforementioned
> files and submit pull requests for them. I also encourage others to do the
> same.
>
> What I need from the list, and especially from the more knowledgeable
> members (who already know the compiler code) is the willingness to explain
> the concepts and answer my questions, annoying as they may be. I have a
> pretty decent background in compilers, ASTs, code generation, etc, but not
> so much in type inference.
>
> I'm not suggesting a particular timeframe for this process -- I'm doing this
> on the side while working on a research project and TAing, but I really
> would like to get to the point where I can make significant contributions to
> the toolchain, and if I can help others who follow in my footsteps, then
> that's a nice bonus.
>
> While I could have skipped this introduction and just proceeded with
> inundating the list with questions, I felt that this (hopefully) gives a
> purpose and perhaps motivation for those who have the answers to answer my
> questions even if they get annoying. In particular, I may often miss some
> parts that may seem obvious because I don't necessarily have the time to
> read all the connected code in depth. Hopefully you'll bear with me.
>
> Does this sound reasonable to the fine folks on the list?
>
> Yotam

[Caml-list] Types Meeting 2014 in Paris, 12 - 15 May: call for participation

Types Meeting 2014
Paris, 12-15 May 2014

http://www.pps.univ-paris-diderot.fr/types2014

CALL FOR PARTICIPATION

The 20th Conference "Types for Proofs and Programs" will take place at
the Institut Henri Poincaré (IHP) in Paris, France, from 12 to 15 May
2014, continued by the post-conference workshop "Proof, Computation,
Complexity" overlapping TYPES on May 15 afternoon and on May 16. Types
is this year an event associated to the special IHP trimester on
Semantics of proofs and certified mathematics
(https://ihp2014.pps.univ-paris-diderot.fr).

Invited speakers are

* Thierry Coquand, University of Gothenburg, Sweden
A cubical set model of type theory

* Xavier Leroy, INRIA Paris-Rocquencourt, France
Formal verification of a static analyzer: abstract interpretation in type theory

* Andy Pitts, University of Cambridge, UK
Nominal sets in dependent type theory

The Types Meeting is a forum to present new and on-going work in all
aspects of type theory and its applications, especially in formalized
and computer assisted reasoning and computer programming. It works as
a conference in our traditional workshop style and, this year, close
to 40 contributed talks are in the process of being selected by the
program committee on the basis of abstracts of up to two pages
(see http://www.pps.univ-paris-diderot.fr/types2014/Program).

Registration is open, with early rate until April 19.

--
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

[Caml-list] AI4FM 2014: Call for Participation

-------------------------------------------------
 AI4FM 2014 - the 5th International Workshop on
   the use of AI in Formal Methods
      http://www.ai4fm.org/ai4fm-2014/

   Singapore, 13th May, 2014
   In association with FM 2014
-------------------------------------------------
    --- Call For Participation ---

Workshop information

---------------
Workshop: May 13th, 2014
Registration: http://www.comp.nus.edu.sg/~pat/FM2014/registration.html

Confirmed Speakers
---------------

Gerwin Klein, NICTA

Rustan Leino, Microsoft Research
Chin Wei Ngan, National University of Singapore
Dominique Méry, LORIA and Université de Lorraine

Andrius Velykis, Newcastle University
Ligia Nistor and Jonathan Aldrich, CMU
Cliff Jones, Newcastle University
Gudmund Grov, Heriot-Watt University

About the workshop

---------------
This workshop will bring together researchers from formal methods, 
automated reasoning and AI; it will address the issue of how AI can 
be used to support the formal software development process, including 
requirement analysis, modelling and proof. Previous AI4FM workshops 
have included a mix of industrial and academic participants and we 
anticipate attracting a similarly diverse audience. 

Rigorous software development using formal methods allows the construction 
of an accurate characterisation of a problem domain that is firmly based 
on mathematics; by applying standard mathematical analyses, these methods 
can be used to prove that systems satisfy formal specifications. Research 
has shown that with tools backed by mature theory, formal methods are 
becoming cost effective and their use is easier to justify, not as an 
academic exercise, legal requirement or niche markets -- but as part of 
a business case. However, while industrial use of formal methods is 
increasing, in order to make it more mainstream, the cost of applying 
formal methods, in terms of mathematical skill level and development 

time, must still be reduced. A desirable outcome of the workshop is to 

identify key areas where AI can help with such issues as well as 

discussions about how it can be utilised.

Organisers
---------------
* Leo Freitas (Newcastle University, UK)
* Gudmund Grov (Heriot-Watt University, UK)
* Iain Whiteside (Newcastle University, UK)


Contact Details
----------------
If you have any queries, please email the organisers at the following 
email address:

 ai4fm2014@ai4fm.org

[Caml-list] ICTAI 2014: Second Call for Papers

*** SECOND CALL FOR PAPERS *** 26th IEEE International Conference on Tools with Artificial Intelligence ICTAI 2014 (pending IEEE approval) November 10-12, 2014, Limassol, Cyprus http://ictai2014.cs.ucy.ac.cy Aim & Scope The annual IEEE International Conference on Tools with Artificial Intelligence (ICTAI) provides a major international forum where the creation and exchange of ideas related to artificial intelligence are fostered among academia, industry, and government agencies. The conference facilitates the cross-fertilization of these ideas and promotes their transfer into practical tools, for developing intelligent systems and pursuing artificial intelligence applications. The ICTAI encompasses all technical aspects of specifying, developing and evaluating the theoretical underpinnings and applied mechanisms of the AI-based components of computer tools such as algorithms, architectures and languages. Topics (not limited to) AI Foundations - Evolutionary computing, Bayesian and Neural Networks - Decision/Utility Theory and Decision Optimization - Search, SAT, and CSP - Description Logic and Ontologies AI in Domain Specific Applications - AI in Natural Language Processing and Understanding - AI in Computational Biology, Medicine and Biomedical Applications - AI in WWW, Communication, Social Networking, Recommender Systems, Games and E-Commerce - AI in Finance and Risk Management AI in Computer Systems - AI in Robotics, Computer Vision and Games - AI in Software Engineering, Real-Time and Embedded Applications, and Sensor Networks - AI in Cloud Computing, Data-Intensive Applications and Online/Streaming and Multimedia Systems - AI in Web search and Information Retrieval - AI in Computer Security, Data Privacy, and Information Assurance AI in Data Analytics and Big Data - Visualization Analytics for Big Data - Computational Modeling for Big Data - Large-scale Recommendation and Social Media Systems - Cloud/Grid/Stream Data Mining for Big Velocity Data - Semantic-based Big Data Mining Machine Learning and Data Mining - Data pre-processing, reduction and feature selection - Learning Graphical Models and Complex Networks - Active, Cost-Sensitive, Semi-Supervised, Multi-Instance, Multi-Label and Multi-Task Learning - Transfer/Adaptive, Rational and Structured Learning - Preference/Ranking, Ensemble, and Reinforcement Learning Knowledge Representation, Reasoning and Cognitive Modelling - Knowledge Representation, Reasoning - Knowledge Extraction, Management and Sharing - Case-Based Reasoning and Knowledge-based Systems - Cognitive Modelling and Semantic Web AI and Decision Systems - Decision Guidance and Support Systems - Optimization-based recommender systems - Group, distributed, and collaborative decisions - Crowd-sourcing and collective intelligence decision making - Strategic, tactical and operational level decisions - Decision making in social and mobile networks Uncertainty in AI - Uncertainty and Fuzziness Representation and Reasoning - Approximate/Exact Probabilistic Inference - Knowledge Discovery and Data Mining for Uncertain Data Paper Submission The submissions should contain original, high quality, not submitted or published elsewhere work. Papers should be submitted electronically through the EasyChair system in pdf format and should conform to IEEE specifications (single-spaced, double-column, 10-point font size, up to 8 pages). Paper Presentation Each accepted paper should be presented by one of the authors and accompanied by at least one full registration fee payment, to guarantee publication in the proceedings. All accepted papers will be included in proceedings of ICTAI 2014 that will be published by the IEEE Computer Society. IJAIT special issue Extended versions of the best papers of the conference will be invited for publication in a special issue of the International Journal on Artificial Intelligence Tools (IJAIT) (SCI Indexed). Important Dates Paper submission: June 30, 2014 Paper notification: July 30, 2014 Camera-ready paper: August 30, 2014 Point of Contact George A. Papadopoulos Department of Computer Science University of Cyprus george-at-cs-dot-ucy-dot-ac-dot-cy

-------------------------------------------------------------------- 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.

[Caml-list] Haskell Symposium 2014: Call for papers

===================================================================
ACM SIGPLAN
HASKELL SYMPOSIUM 2014
CALL FOR SUBMISSIONS

Gothenburg, Sweden, 4-5 September 2014, directly after ICFP
http://www.haskell.org/haskell-symposium/2014
haskell2014@easychair.org
===================================================================


The ACM SIGPLAN Haskell Symposium 2014 will be colocated with the 2014
International Conference on Functional Programming (ICFP) in
Gothenburg, Sweden. Like last year, the symposium will last 2 days.
Thanks to broader participation from a growing community, we will be
able to include more regular papers as well as system demonstrations,
while upholding the scientific quality of the symposium.

The Haskell Symposium seeks to present original research on Haskell,
to discuss practical experience and future development of the
language, as well as to promote other forms of denotative programming.
Topics of interest include

* Language Design, with a focus on possible extensions and
modifications of Haskell as well as critical discussions of the
status quo;

* Theory, such as formal semantics of the present language or future
extensions, type systems, effects, metatheory, and foundations for
program analysis and transformation;

* Implementations, including program analysis and transformation,
static and dynamic compilation for sequential, parallel, and
distributed architectures, memory management, as well as foreign
function and component interfaces;

* Tools, such as profilers, tracers, debuggers, preprocessors, and
testing tools;

* Applications, to scientific and symbolic computing, databases,
multimedia, telecommunication, the web, and so forth;

* Functional Pearls, being elegant and instructive programming
examples;

* Experience Reports, to document general practice and experience in
education, industry, or other contexts. Such reports are shorter
than regular papers; they are limited to six pages.

Papers in the latter two categories need not necessarily report
original research results. They may report instead, for example,
reusable programming idioms, elegant ways to approach a problem, or
practical experience that will be useful to other users, implementors,
or researchers. The key criterion for such a paper is that it makes a
contribution from which other Haskellers can benefit. It is not
enough simply to describe a program!

Regular papers should explain their research contributions in both
general and technical terms, identifying what has been accomplished,
explaining why it is significant, and relating it to previous work
(also for other languages where appropriate).

In addition, we solicit proposals for

* System Demonstrations (no longer than a regular paper talk), based
on running (perhaps prototype) software rather than necessarily on
novel research results.

These proposals should summarize the system capabilities that would be
demonstrated. The proposals should explain (and will be judged on)
whether the ensuing session is likely to be important and interesting
to the Haskell community at large, whether on grounds academic or
industrial, theoretical or practical, technical or social. Please
contact the program chair with any questions about the relevance of a
proposal.


Travel Support:
===============

Student attendees with accepted papers can apply for a SIGPLAN PAC
grant to help cover travel expenses. PAC also offers other support,
such as for child-care expenses during the meeting or for travel costs
for companions of SIGPLAN members with physical disabilities, as well
as for travel from locations outside of North America and Europe. For
details on the PAC programme, see its web page
(http://www.sigplan.org/PAC.htm).


Proceedings:
============

ACM Press will publish formal proceedings. Accepted papers will be
included in the ACM Digital Library. Authors must grant ACM
publication rights upon acceptance (http://authors.acm.org/main.html),
but may retain copyright if they wish. Authors are encouraged to
publish auxiliary material with their paper (source code, test data,
and so forth). The proceedings will be freely available for download
from the ACM Digital Library from one week before the start of the
conference until two weeks after the conference.

Accepted proposals for system demonstrations will be posted on the
symposium web page, but not formally published in the proceedings.

Submission Details:
===================

Submitted papers should be in portable document format (PDF),
formatted using the ACM SIGPLAN style guidelines
(http://www.acm.org/sigs/sigplan/authorInformation.htm). The text
should be in a 9-point font in two columns. The length is restricted
to 12 pages, except for "Experience Report" papers, which are
restricted to 6 pages. Papers need not fill the page limit. Each
paper submission must adhere to SIGPLAN's republication policy, as
explained on the web.

Proposals for system demonstrations are limited to 2-page abstracts,
in the same ACM format as papers.

"Functional Pearls", "Experience Reports", and "Demo Proposals" should
be marked as such with those words in the title at time of submission.

The paper submission deadline and length limitations are firm. There
will be no extensions, and papers violating the length limitations
will be summarily rejected.

Submission is via EasyChair:

https://www.easychair.org/conferences/?conf=haskell14

* Abstract submission: Fri 09 May 2014
* Paper submission : Mon 12 May 2014
* Demo submission : Fri 30 May 2014
(prior abstract submission unnecessary)
* Author notification: Wed 11 June 2014
* Final papers due : Sun 22 June 2014

All deadlines, except the final papers deadline, are in Standard
Samoan Time.

Programme Committee:
====================

George Giorgidze - Standard Chartered Bank
Mauro Jaskelioff - Universidad Nacional de Rosario
Mark Jones - Portland State University
Lindsey Kuper - Indiana University
José Pedro Magalhães - University of Oxford
Geoffrey Mainland - Drexel University
Simon Marlow - Facebook
Shin Cheng Mu - Academia Sinica
Keiko Nakata - Institute of Cybernetics, Tallinn University of Technology
Bruno Oliveira - University of Hong Kong
Lee Pike - Galois
Josef Svenningsson - Chalmers University of Technology
Wouter Swierstra - University of Utrecht (chair)
Simon Thompson - University of Kent

--
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

[Caml-list] [TFP2014] Final Call For Papers

---------------------------------
F I N A L 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.

FINANCIAL SUPPORT

TFP is financially supported by the Department of Information and
Computing Sciences of Utrecht University, 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. For the preproceedings, papers
can be in any format (inclduing LNCS, IEEE and ACM style), but papers
submitted to the postrefereeing process must be in LNCS style, and
are bound by the limitations on paper length.

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

[Caml-list] ICEIRD 2014: Final Call for Papers

*** Final Call for Papers *** Note: Due to many requests, we are now allowing submission of the full paper by the indicated (hard!) deadline, even though an abstract has not been submitted before. The 7th International Conference for Entrepreneurship, Innovation and Regional Development (ICEIRD 2014) 5-6 June 2014, Hilton Hotel | Nicosia, Cyprus https://iceird2014.cs.ucy.ac.cy DEADLINES: Paper submission: March 28, 2014 Notification of paper submission: April 11, 2014 Camera-ready paper submission: April 28, 2014 Author registration: April 28, 2014 Conference Themes: Igniting Regional Economies - Knowledge, Innovation and Entrepreneurship in South East Europe Energy Enabled: The Innovation and Cooperation Hotbed of South Eastern Europe In the face of fragile economic recovery following the economic and financial crisis of 2008, many firms all around the world continue to invest in growth-enhancing activities to achieve a sustainable development. While the crisis has heavily hit all aspects of business vested interests, investments in innovation, entrepreneurship and regional partnership have been the key priority to ensuring a strong and stable economic growth. The objective of the conference is to gather decision makers (government, ministries and state agencies), innovation experts (universities, research and development centres, technology transfer centres, start-up centres) and practitioners (smes, business incubators and business support organisations) to generate discussion and exchange on the potential of entrepreneurship promotion and innovation to national and regional competitiveness. CONFERENCE TOPICS OF INTEREST Creativity, Complexity and Competitiveness Issues for Small and Medium Enterprises (SMEs) in SEE vs. other regions (EU and other) * Leveraging e-skills for innovation in the knowledge society * Managing and Leveraging Complexity, Creativity and Innovation in SMEs * Trust, Respect, Culture and Collaboration Issues for SMEs in SEE vs. other regions (EU and other) * Leadership and Management practices that can be applied to SMEs * SME Knowledge management and technology transfer * SME Business process modeling * New Technology Ventures Financing * Business incubation management and leadership * Human Resources Practices for promoting innovation for SMEs South East European Entrepreneurial Innovation Clusters * SMEs' Entrepreneurship as an Innovation Driver * Opportunities and barriers for closer cooperation between South East European SMEs in Innovation & Entrepreneurship: Strategic Integration vs. Flexibility and SME Competitiveness * Innovation Clusters, Technology Transfer and Social Entrepreneurship * Social Networking as Driver of EICs formation * Science & Technology Parks and EICs * Young and Women Entrepreneurs development via EICs * Benchmarking of Entrepreneurship and Innovation Best Practices in the region * Innovation policy in SMEs Technology Innovation, Transfer and Commercialization across Governement, University, Industry domains * The role of the State and Public Policy with regards to SME Innovation and Entrepreneurship * Governmental and regional policies on entrepreneurship and innovation * Entrepreneurial Universities and Entrepreneurial Innovation Clusters * Entrepreneurship education * University - Industry collaboration * ICT and SME Regional competitiveness * SMEs and the role of the Innovation Zone (business centers and incubators) * Intangibles Valuation and Intellectual Property Rights * Innovative Supply Chain Management practices in SEE * Innovative Supply Chains * Information Technology proliferation in SEE SMEs ICEIRD 2014 invites submissions of papers related to all the topics of interest of the conference. Papers that address collaborations between industry and academia, case studies as well as experience reports on any of the conference themes are welcome. For more information on the conference topics, visit the ICEIRD 2014 webpage (https://iceird2014.cs.ucy.ac.cy). SUBMISSIONS * Paper Submission (for review) Authors are requested to submit a full paper of 6-10 pages in either Microsoft Word or Adobe PDF format using the template found on the ICEIRD 2014 webpage (https://iceird2014.cs.ucy.ac.cy). The template has all the styles required for formatting the text. The easiest way to prepare the camera ready is to download the template, delete all exixting text, add your unformatted text and use the styles (top-left drop down menu) to format it. Only papers in this format will be published. Submitted papers, which will go under blind review by at least two referees, must be submitted electronically through the EasyChair Conference System: https://www.easychair.org/conferences/?conf=iceird2014. * Camera Ready Papers (after acceptance) Following acceptance, authors are requested to sumbit a camera-ready paper using the template found on the website (https://iceird2014.cs.ucy.ac.cy) to the secretariat of ICEIRD2014 by email (iceird2014@cs.ucy.ac.cy) in both Microsoft Word or PDF format. * Guidelines for Presentations Each presentation will last 20 minutes (15 + 5 minutes for questions). All rooms are fully equiped. Presenters will be requested to upload their presentation at least 15 minutes before the start of their session. Presenters could also use their own laptop. Techinal support will be provided. * Proceedings The Conference Proceedings, including all papers presented, will be published as a SEERC book edited by the Conference Chairs. * Post-Conference Special Journal Issues Selected high quality papers from the conference will be recommended for publication in the special issues of international journals. For more information please visit the ICEIRD 2014 webpage (https://iceird2014.cs.ucy.ac.cy) The official language of the conference is English. Publication is dependent on at least one author registering to attend ICEIRD 2014. Submissions should be submitted to the easychair account on or before the deadline: https://www.easychair.org/conferences/?conf=iceird2014 IMPORTANT DATES Paper submission: 28th March 2014 (hard deadline!) Notification of paper acceptance: 11th April 2014 Camera ready paper submission: 28th April 2014 Author registration: 28th April 2014 CONFERENCE CHAIRS Prof. George A. Papadopoulos, University of Cyprus, Cyprus - General Chair Prof. Panos H. Ketikidis, CITY College - International Faculty of the University of Sheffield, Greece - Co-Chair Stavriana A. Kofteros, Special Entrepreneurship & RDI Adviser, Democratic Rally (DISY), Cyprus - Co-Chair

-------------------------------------------------------------------- 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.

[Caml-list] ICECCS 2014: final 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: March 7th, 2014 (extended)
* Paper submission deadline: March 14th, 2014 (extended)
* Notification of acceptance: April 22, 2014
* Camera-ready material for publication: May 4, 2014
* Checking for Production: May 14, 2014

* Workshop proposal submission: February 28, 2014

* Tutorial proposal submission: April 22, 2014
* Tutorial proposal notification: May 15, 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



CALL FOR TUTORIALS
---------------------------

The organizing committee of ICECCS 2014 invites proposals for half- or
full-day tutorials in all areas related to complex
computer-based systems, including the causes of complexity and means of
avoiding, controlling, or coping with complexity.
Proposals from industry practitioners or academics are very welcome.

TUTORIAL PROPOSALS

A tutorial proposal (max. 2 pages of A4) should include the following
details.

- tutorial title and brief description of its scope and aims
- one paragraph explaining what attendees will learn from the tutorial
- one paragraph "advertising" the tutorial: what makes it exciting and
unique, written in a reasonably non-technical style that could reasonably
be understood by a knowledgeable undergraduate CS student
names and affiliations of the tutors
- format of the tutorial (e.g., problem/exercise-based, lecture-based)
Tutorials that make use of novel teaching formats (including delivery
methods, use of unusual exercises, gamification, etc) are particularly
welcome, and proposers should draw attention to this in their proposal.

TUTORIAL SUBMISSION
Proposals in PDF format should be sent to the Tutorial Chair:
Sun Jun: sunjun@sutd.edu.sg
Deadline for submission: 22 April 2014

TUTORIAL EVALUATION
Proposals will be evaluated by a small committee of experts, led by the
tutorial chair.

Evaluation criteria will be importance, relevance, timeliness, audience
appeal, and past experience/qualifications of the proposers.

TUTORIAL NOTIFICATION
Notification will be sent no later than 15 May 2014.


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, National 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

[Caml-list] SFM-14:ESM last call for participation

***********************************************************
* *
* SFM-14:ESM *
* *
* 14th International School on *
* Formal Methods for the Design of *
* Computer, Communication and Software Systems: *
* Executable Software Models *
* *
* Bertinoro (Italy), 16-20 June 2014 *
* *
* http://www.sti.uniurb.it/events/sfm14esm/ *
* *
***********************************************************
* CALL FOR PARTICIPATION *
* (deadline: 21 March 2014) *
***********************************************************


GENERAL INFORMATION ABOUT SFM
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

Formal methods are emerging in computer science as a prominent
approach to the rigorous design of computer, communication and
software systems.

The aim of the SFM series is to offer a good spectrum of
current research in foundations as well as applications of
formal methods, which can be of interest for graduate students
and young researchers who intend to approach the field.

This year SFM is devoted to executable software models and covers
topics such as variability models, automated analysis techniques,
deductive verification, and run-time assessment and testing.


COURSES AND LECTURERS
^^^^^^^^^^^^^^^^^^^^^

The school features the following lectures:

"Design and Analysis of Executable Software Models: an Introduction and
Overview"
Reiner Haehnle (TU Darmstadt, DE)

"Variability Models"
Dave Clarke (KU Leuven, BE)

"Deadlock Analysis"
Cosimo Laneve (U Bologna, IT)

"Probabilistic Modeling and Model Checking"
Erika Abraham (RWTH Aachen, DE)

"Model Checking of Fault-Tolerant Distributed Algorithms"
Helmuth Veith (TU Vienna, AT)

"Reasoning about Recursive Predicates in Specifications"
Sophia Drossopoulou (Imperial College London, UK)

"Verification of Concurrent Systems"
Marieke Huisman (U Twente, NL)

"Run-Time Analysis"
Frank de Boer (CWI Amsterdam, NL)

"Test-Case Generation"
Elvira Albert (U Complutense Madrid, ES)

"Model-Based Testing"
Ina Schaefer (TU Braunschweig, DE)

All participants will receive a copy of a tutorial book published by
Springer as a volume in the Lecture Notes in Computer Science series.


LOCATION
^^^^^^^^

SFM-14:ESM will be held in the medieval hilltop town of Bertinoro.

This place is in Emilia Romagna, about 70 km south-east of Bologna,
at an elevation of about 230 m. It can be reached in a couple of
hours from the international airport "G. Marconi" of Bologna by
shuttle (from the airport to the railway station) + train (from
Bologna to Forli`) + bus/taxi (from the railway station to Bertinoro).

Bertinoro is close to many splendid locations such as Urbino,
Gradara, San Leo, and the Republic of San Marino, as well as some
less well-known locations like the thermal springs of Fratta Terme.
Bertinoro can also be a base for visiting some of the better-known
Italian locations such as Bologna, Parma, Rimini, Ravenna, Ferrara,
Padova, Venezia, Verona, Firenze, Pisa, Lucca, and Siena.

Bertinoro itself is picturesque, with its narrow streets and
walkways winding around the central peak. The school will be held
at the Centro Residenziale Universitario (CRU), an ex-episcopal
fortress that has been converted into a modern conference center.
From the fortress, it is possible to enjoy a beautiful vista stretching
from the Apennines to the Adriatic Coast and the Alps over the Po Valley.


ORGANIZATION
^^^^^^^^^^^^

Scientific directors:
* Marco Bernardo (U Urbino, IT)
* Ferruccio Damiani (U Torino, IT)
* Reiner Haehnle (TU Darmstadt, DE)
* Einar Broch Johnsen (U Oslo, NO)
* Ina Schaefer (TU Braunschweig, DE)

Secretary:
* Monica Michelacci (CRU Bertinoro, IT)


APPLICATION
^^^^^^^^^^^

Prospective participants should send by 21 March 2014
the application form, available on the school website,
to the two e-mail addresses below:

Marco Bernardo
marco.bernardo AT uniurb.it

Monica Michelacci
mmichelacci AT ceub.it

The registration fee is 300 euros and includes the school material.

The accommodation fee is 350 euros and covers the period June 15-21
(6 nights), double room (to share with another participant),
half board (breakfast and lunch, dinner of June 15 included,
lunch of June 21 excluded).

The reduced accommodation fee for the participants who do not
need a room is 100 euros and covers the period June 16-20
(5 lunches).

A very limited number of grants is available to cover part
of the registration fee (no grant can be requested to cover
the accommodation fee or the travel expenses).

Notification of accepted/rejected applications and grant requests
will be communicated by April 10.

Registration to the school is due by April 20.

No refund is possible for cancellation after May 15.

--
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

[Caml-list] CiE 2014: Language, Life, Limits - Grants, and Call for Presentations

-------------------------------------------------------------------
COMPUTABILITY IN EUROPE 2014: Language, Life, Limits
Budapest, Hungary
June 23 - 27, 2014
http://cie2014.inf.elte.hu
-------------------------------------------------------------------


------------------------------------------------------
FUNDING DEADLINES
- ASL STUDENT TRAVEL GRANTS: 23 March 2014
- WOMEN IN COMPUTING GRANTS: 1 April 2014
- EACTS STUDENT GRANTS: 1 April 2014
------------------------------------------------------


CALL FOR INFORMAL PRESENTATIONS

There is a remarkable difference in conference style between computer
science and mathematics conferences. Mathematics conferences allow for
informal presentations that are prepared very shortly before the conference
and inform the participants about current research and work in progress. The
format of computer science conferences with pre-conference proceedings is
not able to accommodate this form of scientific communication.

Continuing the tradition of past CiE conferences, also this year's CiE
conference endeavours to get the best of both worlds. In addition to the
formal presentations based on our LNCS proceedings volume, we invite
researchers to present informal presentations. For this, please send us a
brief description of your talk (between one paragraph and one page) by the
DEADLINE:

------------------------------------------------------
APRIL 14, 2014
------------------------------------------------------

Please submit your abstract electronically, via EasyChair
<https://www.easychair.org/login.cgi?conf=cie2014>, selecting the category
"Informal Presentation".

You will be notified whether your talk has been accepted for informal
presentation usually within a week or two after your submission.

If you intend to apply for the ASL Student Travel Award, you might need us
to confirm that your are going to give a presentation at CiE 2014
(applications of students who are presenting get higher priority).
Therefore, we would like to ask you to submit your informal presentations by
20 March so that we can send you the notification before the ASL deadline of
23 March 2014.


GRANTS:

Grants for students, members of the ASL:

The Association for Symbolic Logic <http://www.aslonline.org has decided
to sponsor some students that are ASL members and willing to attend CiE2014.
The eligible students may apply for ASL travel funds that are available for
sponsored meetings, see http://www.aslonline.org/studenttravelawards.html
for detailed instructions on the application process. Applications should be
received at least three months prior to the conference.

Elsevier:

Under the name Elsevier Women in Computability (WiC), the publisher Elsevier
(more precisely, the journals 'Annals of Pure and Applied Logic' and
'Theoretical Computer Science') is continuing the programme 'Increasing
representation of female researchers in the computability community'
originally funded by the Elsevier Foundation (2008-2010).

This programme will fund the WiC workshop at CiE 2014, with the traditional
WiC dinner for workshop participants afterwards, and offer up to four grants
with modest support (up to 200 EUR) for junior female researchers to attend
CiE 2014. Every registered junior female researcher is eligible to apply.
Preference will be given to researchers who present a paper (contributed
paper or informal talk).

Applications should contain a short CV (max 1 page) and contact information
for an academic reference. The application should be sent to Liesbeth De Mol
<elizabeth.demol@ugent.be> before the deadline of April 1, 2014.

EACTS Students

The European Association for Theoretical Computer Science is providing
limited funds for student participation. Again, preference is given to
student presenting at the conference. Please contact the PC chairs if
you are interested before the deadline of April 1, 2014.

__________________________________________________
ASSOCIATION COMPUTABILITY IN EUROPE http://www.computability.org.uk
CiE Conference Series http://www.illc.uva.nl/CiE
CiE 2014: Language, Life, Limits http://cie2014.inf.elte.hu
CiE Membership Application Form http://www.lix.polytechnique.fr/CIE
AssociationCiE on Twitter http://twitter.com/AssociationCiE
__________________________________________________________________________


--
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

[Caml-list] ETAPS 2014 2nd call for participation

To notice:

- Normal-rate registration is until Monday, 10 March 2014.


******************************************************************

CALL FOR PARTICIPATION

ETAPS 2014

17th European Joint Conferences on Theory And Practice of Software

Grenoble, France, 5-13 April 2014

http://www.etaps.org/2014

******************************************************************

-- ABOUT ETAPS --

The European Joint Conferences on Theory And Practice of Software
(ETAPS) is the primary European forum for academic and industrial
researchers working on topics relating to software science. ETAPS,
established in 1998, is a confederation of six main annual
conferences, accompanied by satellite workshops. ETAPS 2014 is already
the seventeenth event in the series.


-- MAIN CONFERENCES (7-11 April) --

* CC: Compiler Construction
* ESOP: European Symposium on Programming
* FASE: Fundamental Approaches to Software Engineering
* FOSSACS: Foundations of Software Science and Computation
Structures
* POST: Principles of Security and Trust
* TACAS: Tools and Algorithms for the Construction and Analysis of
Systems


-- INVITED TALKS --

* Unifying speakers:
John Launchbury (Galois, US)
Geoffrey Smith (Florida International University, US)


* CC invited speaker:
Benoit Dupont de Dinechin (Kalray, France)
* ESOP invited speaker:
Maurice Herlihy (Brown University, US)
* FASE invited speaker:
Christel Baier (Technical University of Dresden, Germany)
* FoSSaCS invited speaker:
Petr Jancar (Technical Univ of Ostrava, Czech Republic)
* POST invited speaker:
David Mazières (Stanford University, US)
* TACAS invited speaker:
Orna Kupferman (Hebrew University Jerusalem, Israel)


-- TUTORIALS

* Andy Gordon (Microsoft Research, Cambridge, UK)
* Bernd Finkbeiner (Univ des Saarlandes, Germany)


-- CONTRIBUTED PAPERS

See the accepted paper lists and the programme of the main conferences
at the conference website.


-- SATELLITE EVENTS (5-6 and 12-13 April) --

23 satellite workshops will take place before or after ETAPS 2014.

CMCS, DICE, F-IDE, Graphite, GT-VMT, MBT, MEALS, RePP, Sifakis event,
SR, SynCop, VSSE, WRLA will be held 5-6 April 2014.

AiSOS, Cassting, FESCA, GALOP, GramSec, HAS, HotSpot, MSFP, PLACES,
QAPL have been scheduled for 12-13 April 2014.


-- REGISTRATION

Normal-rate registration is until Monday, 10 March 2014.

After that date, late rates apply.


-- ACCOMMODATION

We request that participants arrange their accommodation on their own.
See our recommendations on the website.


-- HOST CITY --

Located in the southeastern part of France, Grenoble is considered as
the capital of the Alps. Grenoble is surrounded by nature and high
mountains: down the Alps, Grenoble is the meeting point of two
important rivers, Drac and Isere. Grenoble has important historical
and gastronomic heritages. Leisure activities in breathtaking nature
are easily organizable and within short-distance. Grenoble is also a
major scientific center in Europe dedicated to high-tech technologies,
e.g., nano, micro, bio, and information technologies.


-- ORGANIZERS

* General chair: Saddek Bensalem
* Conferences chair: Alain Girault
* Workshops chair: Axel Legay
* Publicity chair: Ylies Falcone
* Finance chair: Nicolas Halbwachs
* Website chair: Marius Bozga

Host institution: VERIMAG, U Joseph Fourier / CNRS / Grenoble INP


-- FURTHER INFORMATION --

Please do not hesitate to contact the organizers at
etaps2014.organization@imag.fr.

--
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

[Caml-list] WiMob 2014: Second CFP and Last Call for Workshop Proposals

*** Second Call for Papers *** *** Last Call for Workshop Proposals *** The 10th IEEE International Conference on Wireless and Mobile Computing, Networking and Communications WiMob 2014 Golden Bay Hotel, Larnaca, Cyprus October 8-10, 2014 http://conferences.computer.org/WiMob2014/ Deadline for Workshop Proposals: March 31, 2014 Deadline for Paper Submissions: May 1, 2014 (Proceedings will be published by IEEE) The IEEE WiMob conference is an international forum for the exchange of experience and knowledge among researchers and developers concerned with wireless and mobile technology. For nine years, the International IEEE WiMob conference has provided unique opportunities for researchers to interact, share new results, show live demonstrations, and discuss emerging directions in Wireless Communications, Mobile Networking and Ubiquitous Computing. IEEE WiMob 2014 will take place at Larnaca, Cyprus, between October 8 to 10th, 2014. It will be held at the Golden Bay Beach Hotel, a luxurious 5 star hotel situated in the favored south eastern region of Cyprus at the heart of the Bay of Larnaca. IEEE WiMob 2014 is soliciting high quality technical papers addressing research challenges in the areas of wireless communications, wireless networking, mobility, nomadicity, ubiquitous computing, services and applications. Papers should present original work validated via analysis, simulation or experimentation. Practical experiences and Testbed trials also are welcome. IEEE WiMob 2014 will host three parallel symposiums, including but not limited to the following topics: 1. Wireless Communications Broadband Wireless Communication Systems Signal Separation and Interference Rejection Wireless Personal Communications Multimedia Communications over Wireless Advances in Satellite Communication DSP Applications to Wireless Systems Adaptive Antennas for Wireless Systems Modulation and Coding Multiple Access Techniques Multiuser Detection Femtocells Channel Measurement and Characterization Location Estimation and Tracking OFDM and CDMA Technologies and Systems Resource Allocation and Interference Management MIMO Channels Multirate and Multicarrier Communications Link and System Capacity Spectrum Usage and Cognitive radio systems Cognitive and cooperative MAC Cognitive Radio Applications and Spectrum Management 2. Wireless Networking, Mobility and Nomadicity Mobile IP Networks Inter-working of 2G, 3G and 4G Wireless Networks Security, Privacy and Authentication in Mobile Environments Cellular Systems, PCS Modeling and Configuration Wireless Sensor Networks Cross-layer Design and Optimization Cross-layer security Congestion and Admission Control Mobility patterns, Location and Handoff Management Design and Analysis of Wireless LAN/WAN Wireless multicasting, broadcasting and geocasting Wireless Sensors and Actuators/Robots networks Energy-efficient protocols for wireless networks Green wireless network architectures and communication protocols Opportunistic networks Vehicular wireless networks Wireless Mesh networks Delay Tolerant Networks Integration of ad hoc networks with wireless access networks QoS support for mobile networks RFID networks and protocols B3G/4G Systems, WiMAX, WLAN, WPAN Optimization models and algorithms 3. Ubiquitous Computing, Services and Applications Emerging Wireless/Mobile applications System prototypes, real deployments and experimentation Cognitive Radio applications and spectrum management Resource and service discovery Mobile Social Wireless Networks Opportunistic Applications Gaming Applications in Ubiquitous Computing Environments Operating system and middleware support for mobile computing Multimedia over Wireless Networks Network Coding in wireless networks Security, Privacy and Infrastructure for Ubiquitous Computing Green computing in wireless networks Smart Grid Portable Devices and Wearable Computers Passive, Active and Smart Tags for Ubiquitous Computing Context and Location aware applications Data replication and dissemination in mobile networks Mobile Urban Sensing and Crowd-sensing Data gathering, fusion, and dissemination in WSNs Intelligent Transport Systems applications Wireless communications to vehicle-to-grid applications Wireless telemedicine and e-health services Content distribution in wireless home environment Service oriented architectures, service portability, P2P Smart Cities and smart environment Workshop Proposals As part of the program of WiMob 2014, a limited number of workshops are planned to be held in conjunction with the main conference. The main aim of the workshops is to provide an international forum for researchers to present their early research results and share experiences focused on specific research areas related to the main conference topics. Workshop proposals are solicited in all areas and topics related to wireless networking, mobile computing, mobile and wireless communications, pervasive computing and networking, and its services and applications. All papers accepted by the workshops will be included in the WiMob 2014 Proceedings published by IEEE. All proposals and questions should be submitted to the workshop chairs: * Ebrahim Bagheri, Ryerson University, bagheri@ryerson.ca * Joaquin Garcia-Alfaro, Telecom SudParis, garcia_a@telecom-sudparis.eu * Joan Garcia Haro, Universidad Politecnica de Cartagena, joang.haro@upct.es * Luis Orozco Barbosa, Universidad de Castilla-La Mancha, luis.orozco@uclm.es Acceptance/rejection notification will be sent to workshop organizers. Proposals for workshops should be no more than 2 pages in length and should contain the following information: 1) A draft of the CFP of the workshop (includes title, description, topics and dates) 2) Proposed duration of the workshop 3) Why is the topic area important? 4) Likely contributors and target audience 5) Organizing committee 6) Plan for workshop advertising and publicity 7) Biography of the main organizer(s) (100-200 words) 8) Can be submitted in PDF or plain text 9) Extended abstract to be presented in the conference proceedings Responsibilities for Workshop Organizers Workshop chair(s) will be responsible for the following: (1) Web page of the workshop and dissemination of "Call for Papers/Participation" for their workshop (2) Paper constraints, such as quality, originality, format and length constraints (3) Description of the workshop to be associated to the conference web page and program (4) Acceptance notification and selection of participants (5) Advertising the workshop beyond the conference web page (6) Assistance in producing a camera-ready version of the workshop proceedings Important Dates Workshop Proposals Deadline: March 31, 2014 Workshops Proposals Acceptance Notification: April 15, 2014 Paper Submission Deadline: May 1, 2014 Notification of Acceptance: July 25, 2014 Camera Ready: August 25, 2014 Organization Committees General Chair Abderrahim Benslimane, University of Avignon, France General Co-Chairs George Angelos Papadopoulos, University of Cyprus, Cyprus Ali Miri, Ryerson University, Canada Steering Committee Chair Samuel Pierre, École Polytechnique de Montréal, Canada Steering Committee Abderrahim Benslimane, University of Avignon, France Dovan Thanh, Telenor & Norwegian Univ. of Science& Technology, Norway Hussein Mouftah, University of Ottawa, Canada Ibrahim Habib, City University of New York, USA Khaled Ben Letaief, Hong Kong University of Sci. & Tech. Pierre Boucher, Ericsson Research Canada Samuel Pierre, École Polytechnique de Montréal, Canada TPC Co-Chairs Li CHEN, Sun Yat-Sen University, China - wireless communication track Milena Radenkovic, University of Nottingham, UK - ubiquitous, service and application track Lin Xiaodong, University of Ontario Institute of Technology, Canada- wireless networking, mobility and nomadicity track Workshop Co-Chairs Ebrahim Bagheri, Ryerson University, Canada Joaquin Garcia-Alfaro, Telecom SudParis, France Joan Garcia Haro, Universidad Politecnica dede Cartagena, Spain Luis Orozco Barbosa, Universidad de Castilla-La Mancha, Spain Technical Program Committee http://conferences.computer.org/wimob2014/tpc.html

-------------------------------------------------------------------- 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.