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.