2011-03-31

[Caml-list] Call For Papers: Extended Deadline: April 10, 2011 - WORLDCOMP 2011 (July 18-21, 2011, USA)

Dear friends and Colleagues:

A number of authors have asked for an extension to the paper
submission deadline; we have granted all such requests.
To be fair, we have decided to offer this extension to everyone.

Please share the announcement below with those who may be interested.
We anticipate having about 2,100 attendees.
With kind regards, Organizing Committee
------------

CALL FOR PAPERS
===========================================================
Extended Paper Submission Deadline: April 10, 2011

WORLDCOMP'11
The 2011 World Congress in Computer Science,
Computer Engineering, and Applied Computing
July 18-21, 2011, Las Vegas, USA

http://www.world-academy-of-science.org/
===========================================================

You are invited to submit a full paper for consideration. All accepted
papers will be published in the respective conference proceedings. The
proceedings will be indexed in Inspec / IET / The Institute for
Engineering & Technology, DBLP / Computer Science Bibliography, and
others.) In the past, all tracks of WORLDCOMP have also been included
in EI Compendex/Elsevier. Like prior years, extended versions of selected
papers will appear in journals and edited research books (a large number
of book projects and journal special issues are in the pipeline:
Springer, Elsevier, BMC journals, ...)

WORLDCOMP'11 is composed of the following main tracks (each includes,
research paper presentations, invited presentations, keynote lectures,
tutorials, workshops, and panel discussions); all tracks will be held
simultaneously, same location and dates: July 18-21, 2011:

o Bioinformatics and Computational Biology (BIOCOMP'11)
o Computer Design (CDES'11)
o Computer Graphics and Virtual Reality (CGVR'11)
o Scientific Computing (CSC'11)
o Data Mining (DMIN'11)
o e-Learning, e-Business, EIS, & e-Government (EEE'11)
o Engineering of Reconfigurable Systems and Algorithms (ERSA'11)
o Embedded Systems and Applications (ESA'11)
o Foundations of Computer Science (FCS'11)
o Frontiers in Education: Computer Science & Computer Engineering (FECS'11)
o Grid Computing and Applications (GCA'11)
o Genetic and Evolutionary Methods (GEM'11)
o Artificial Intelligence (ICAI'11)
o Internet Computing (ICOMP'11)
o Wireless Networks (ICWN'11)
o Information and Knowledge Engineering (IKE'11)
o Image Processing, Computer Vision, & Pattern Recognition (IPCV'11)
o Modeling, Simulation and Visualization Methods (MSV'11)
o Parallel and Distributed Processing Techniques & Applications (PDPTA'11)
o Security and Management (SAM'11)
o Software Engineering Research and Practice (SERP'11)
o Semantic Web and Web Services (SWWS'11)

A link to each of the above can be found at:
http://www.world-academy-of-science.org


IMPORTANT DATES:

April 10, 2011: Submission of papers (about 5 to 7 pages)
April 25, 2011: Notification of acceptance (+/- 6 days)
May 7, 2011: Final papers + Copyright/Consent + Registration
July 18-21, 2011: WORLDCOMP 2011 and all its affiliated conferences

Those who have submitted papers during the month of February will
receive the decision on their papers within the next few days.


ACADEMIC CO-SPONSORS:

Currently being prepared - The Academic sponsors of the last offering
of WORLDCOMP (2010) included research labs and centers affiliated
with (a partial list): University of California, Berkeley; University
of Southern California; University of Texas at Austin; Harvard
University, Cambridge, Massachusetts; Georgia Institute of Technology,
Georgia; Emory University, Georgia; University of Minnesota;
University of Iowa; University of North Dakota; NDSU-CIIT Green
Computing & Comm. Lab.; University of Siegen, Germany; UMIT, Austria;
SECLAB (University of Naples Federico II + University of Naples
Parthenope + Second University of Naples, Italy); National Institute
for Health Research; World Academy of Biomedical Sciences and
Technologies; Russian Academy of Sciences, Russia; International
Society of Intelligent Biological Medicine (ISIBM:123926); The
International Council on Medical and Care Compunetics; Eastern
Virginia Medical School & the American College of Surgeons, USA.


SUBMISSION OF PAPERS:

Prospective authors are invited to submit their papers by uploading
them to the evaluation web site at: http://world-comp.org
Submissions must be uploaded by April 10, 2011 and they must be
in either MS doc (but not docx) or pdf formats (about 5 to 7
pages - single space, font size of 10 to 12). All reasonable
typesetting formats are acceptable (later, the authors of accepted
papers will be asked to follow a particular typesetting format to
prepare their final papers for publication.) Papers must not have
been previously published or currently submitted for publication
elsewhere.
The first page of the paper should include: title of the paper,
name, affiliation, postal address, and email address for each
author. The first page should also identify the name of the Contact
Author and a maximum of 5 topical keywords that would best
represent the content of the paper. Finally, the name of the
conference that the paper is being submitted for consideration
must be stated on the first page.

The length of the final/Camera-Ready papers (if accepted) will be
limited to 7 (two-column IEEE style) pages.

Each paper will be peer-reviewed by two experts in the field for
originality, significance, clarity, impact, and soundness. In cases
of contradictory recommendations, a member of the conference
program committee will be charged to make the final decision
(accept/reject) - often, this would involve seeking help from
additional referees by using a double-blinded review process. In
addition, all papers whose authors included a member of the
conference program committee will be evaluated using the
double-blinded review process. (Essay/philosophical papers will
not be refereed but may be considered for discussion/panels).

All proceedings of WORLDCOMP will be published and indexed in:
Inspec / IET / The Institute for Engineering & Technology,
DBLP / CS Bibliography, and others. In the past, all tracks of
WORLDCOMP have also been included in EI Compendex/Elsevier.
Like prior years, extended versions of selected papers will appear
in journals and edited research books (a large number of book
projects and journal special issues are in the pipeline: Springer,
Elsevier, BMC journals, ...)


MEMBERS OF PROGRAM AND ORGANIZING COMMITTEES:

The members of the Steering Committee of the 2011 congress is currently
being prepared. Last year's (ie, 2010's) members included:
Dr. Selim Aissi (Chief Strategist, Intel Corporation, USA);
Prof. Hamid Arabnia (ISIBM Fellow & Professor, University of Georgia;
Associate Editor, IEEE Transactions on Information Technology in
Biomedicine; Editor-in-Chief, Journal of Supercomputing, Springer;
Advisory Board, IEEE TC on Scalable Computing); Prof. Ruzena Bajcsy
(Member, National Academy of Engineering, IEEE Fellow, ACM Fellow,
Professor; University of California, Berkeley, USA); Prof. Hyunseung
Choo (ITRC Director of Ministry of Information & Communication;
Director, ITRC; Director, Korea Information Processing Society;
Assoc. Editor, ACM Transactions on Internet Technology; Professor,
Sungkyunkwan University, Korea); Prof. Winston Wai-Chi Fang (IEEE
Fellow, TSMC Distinguished Chair Professor, National ChiaoTung
University, Hsinchu, Taiwan, ROC); Prof. Andy Marsh (Director HoIP,
Secretary-General WABT; Vice-president ICET and ICMCC, Visiting
Professor, University of Westminster, UK); Dr. Rahman Tashakkori
(Director, S-STEM NSF Supported Scholarship Program and NSF Supported
AUAS, Appalachian State U., USA); Prof. Layne T. Watson (IEEE Fellow,
NIA Fellow, ISIBM Fellow, Fellow of The National Institute of Aerospace,
Virginia Polytechnic Institute & State University, USA); and
Prof. Lotfi A. Zadeh (Member, National Academy of Engineering; IEEE
Fellow, ACM Fellow, AAAS Fellow, AAAI Fellow, IFSA Fellow; Director,
BISC; Professor, University of California, Berkeley, USA).

The 2011 Program Committees for individual tracks and conferences are
currently being compiled. Many who have already joined the committees
are renowned leaders, scholars, researchers, scientists and
practitioners of the highest ranks; many are directors of research
labs., members of National Academy of Engineering, fellows of
various societies, heads/chairs of departments, program directors
of research funding agencies, deans and provosts as well as members
of chapters of World Academy of Science (chapters: supercomputing;
scientific computing; AI; imaging science; databases; simulation;
software eng.; embedded systems; internet and web technologies;
communications; computer security; and computational biology/bioinformatics.)


2011 PUBLICITY CHAIR:

Ashu M. G. Solo
BCS Fellow (British Computer Society)
Principal/R&D Engineer, Maverick Technologies America Inc.
Intelligent Systems Instructor, Trailblazer Intelligent Systems, Inc.


GENERAL INFORMATION:

WORLDCOMP 2011 will be composed of research presentations, keynote
lectures, invited presentations, tutorials, panel discussions,
and poster presentations. In recent past, keynote/tutorial/panel
speakers have included: Prof. David A. Patterson (pioneer/
architecture, U. of California, Berkeley), Dr. K. Eric Drexler
(known as Father of Nanotechnology), Prof. John H. Holland (known
as Father of Genetic Algorithms; U. of Michigan), Prof. Ian Foster
(known as Father of Grid Computing; U. of Chicago & ANL),
Prof. Ruzena Bajcsy (pioneer/VR, U. of California, Berkeley),
Prof. Barry Vercoe (Founding member of MIT Media Lab, MIT),
Dr. Jim Gettys (known as X-man, developer of X Window System,
xhost; OLPC), Prof. John Koza (known as Father of Genetic
Programming, Stanford U.), Prof. Brian D. Athey (NIH Program
Director, U. of Michigan), Prof. Viktor K. Prasanna (pioneer,
U. of Southern California), Dr. Jose L. Munoz (NSF Program Director
and Consultant), Prof. Jun Liu (Broad Institute of MIT & Harvard U.),
Prof. Lotfi A. Zadeh (Father of Fuzzy Logic), Dr. Firouz Naderi
(Head, NASA Mars Exploration Program/2000-2005 and Associate
Director, Project Formulation & Strategy, Jet Propulsion Lab,
CalTech/NASA), and many other distinguished speakers. To get a
feeling about the conferences' atmosphere, see the 2010 delegates
photos available at: www.pixagogo.com/1676934789

An important mission of WORLDCOMP is "Providing a unique
platform for a diverse community of constituents composed of
scholars, researchers, developers, educators, and practitioners.
The Congress makes concerted effort to reach out to participants
affiliated with diverse entities (such as: universities,
institutions, corporations, government agencies, and research
centers/labs) from all over the world. The congress also attempts
to connect participants from institutions that have teaching as
their main mission with those who are affiliated with institutions
that have research as their main mission. The congress uses a
quota system to achieve its institution and geography diversity
objectives."

One main goal of the congress is to assemble a spectrum of
affiliated research conferences, workshops, and symposiums into
a coordinated research meeting held in a common place at a
common time. This model facilitates communication among
researchers in different fields of computer science, computer
engineering, and applied computing. The Congress also encourages
multi-disciplinary and inter-disciplinary research initiatives;
ie, facilitating increased opportunities for cross-fertilization
across sub-disciplines.

According to "Microsoft Academic Search" (a Microsoft initiative)
all tracks of WORLDCOMP are listed as worldwide "Top-ranked
Conferences" (based on various metrics but mainly based on the
number of citations). You can access "Microsoft Academic Search" to
extract citation data for each individual track of worldcomp using
the following link: http://academic.research.microsoft.com/
As of March 4, 2011, the papers published in the proceeedings have
received 14,385 citations which is a higher citation than many
reputable journals in computer science.

=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=

This email was sent to: caml-list@inria.fr

To opt out of this email list:
http://world-comp.org/cgi-bin/rm/full.cgi?e4f1387c-76bb-4321-b374-0a9fb983203c


--
Caml-list mailing list. Subscription management and archives:
https://sympa-roc.inria.fr/wws/info/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

2011-03-26

[Caml-list] Call for Papers: Conference on Domain-Specific Languages (DSL 2011)

============================ Call for Papers ============================


DSL 2011: Conference on Domain-Specific Languages
(IFIP sponsorship pending approval)


6-8 September 2011, Bordeaux, France


http://dsl2011.bordeaux.inria.fr/


CALL FOR PAPERS


Domain-specific languages have long been a popular way to shorten
the distance from ideas to products in software engineering. On one
hand, the interface of a DSL lets domain experts express high-level
concepts succinctly in familiar notation, such as grammars for text or
scripts for animation, and often provides guarantees and tools that take
advantage of the specifics of the domain to help write and maintain
these particular programs. On the other hand, the implementation of a
DSL can automate many tasks traditionally performed by a few experts
to turn a specification into an executable, thus making this expertise
available widely. Overall, a DSL thus mediates a collaboration between
its users and implementers that results in software that is more usable,
more portable, more reliable, and more understandable.


These benefits of DSLs have been delivered in domains old and new, such
as signal processing, data mining, and Web scripting. Widely known
examples of DSLs include Matlab, Verilog, SQL, LINQ, HTML, OpenGL,
Macromedia Director, Mathematica, Maple, AutoLisp/AutoCAD, XSLT, RPM,
Make, lex/yacc, LaTeX, PostScript, and Excel. Despite these successes,
the adoption of DSLs have been stunted by the lack of general tools and
principles for developing, compiling, and verifying domain-specific
programs. General support for building and using DSLs is thus urgently
needed. Languages that straddle the line between the domain-specific
and the general-purpose, such as Perl, Tcl/Tk, and JavaScript, suggest
that such support be based on modern notions of language design and
software engineering. The goal of this conference, following the last
one in 2009, is to explore how present and future DSLs can fruitfully
draw from and potentially enrich these notions.


We seek research papers on the theory and practice of DSLs, including
but not limited to the following topics.


* Foundations, including semantics, formal methods, type theory, and
complexity theory
* Language design, including concrete syntax, semantics, and types
* Software engineering, including domain analysis, software design,
and round-trip engineering
* Modularity and composability of DSLs
* Software processes, including metrics for software and language
evaluation
* Implementation, including parsing, compiling, program generation,
program analysis, transformation, optimization, and parallelization
* Reverse engineering, re-engineering, design discovery, automated
refactoring
* Hardware/software codesign
* Programming environments and tools, including visual languages,
debuggers, testing, and verification
* Teaching DSLs and the use of DSLs in teaching
* Case studies in any domain, especially the general lessons they
provide for DSL design and implementation


The conference will include a visit to the city of Bordeaux, a tour
and tasting at the wine museum and cellar, and a banquet at La Belle
Époque.


INSTRUCTIONS FOR AUTHORS


Papers will be judged on the depth of their insight and the extent
to which they translate specific experience into general lessons
for software engineers and DSL designers and implementers. Where
appropriate, papers should refer to actual languages, tools, and
techniques, provide pointers to full definitions, proofs, and
implementations, and include empirical results.


Proceedings will be published in Electronic Proceedings in Theoretical
Computer Science (http://info.eptcs.org/). Submissions and final
manuscripts should be at most 25 pages in EPTCS format.


IMPORTANT DATES


* 2011-04-18: Abstracts due
* 2011-04-25: Submissions due
* 2011-06-10: Authors notified of decisions
* 2011-07-11: Final manuscripts due
* 2011-09-05: Distilled tutorials
* 2011-09-06/2011-09-08: Main conference


PROGRAM COMMITTEE


* Emilie Balland (INRIA)
* Olaf Chitil (University of Kent)
* Zoé Drey (IRIT)
* Nate Foster (Cornell University)
* Mayer Goldberg (Ben-Gurion University)
* Shan Shan Huang (LogicBlox)
* Sam Kamin (University of Illinois at Urbana-Champaign)
* Jerzy Karczmarczuk (University of Caen)
* Jan Midtgaard (Aarhus University)
* Keiko Nakata (Tallinn University of Technology)
* Klaus Ostermann (University of Marburg)
* Jeremy Siek (University of Colorado at Boulder)
* Tony Sloane (Macquarie University)
* Josef Svenningsson (Chalmers University of Technology)
* Paul Tarau (University of North Texas)
* Dana N. Xu (INRIA)


ORGANIZERS


Local chair: Emilie Balland (INRIA)
Program chairs: Olivier Danvy (Aarhus University),
Chung-chieh Shan (Rutgers University)


------------------------------------------------------------------------


--
Caml-list mailing list. Subscription management and archives:
https://sympa-roc.inria.fr/wws/info/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs