Ricardo Rocha | 22 May 2013 16:07
Picon

CICLOPS 2013 - Last Call For Papers


                   CICLOPS 2013 - Call for Papers
                   ==============================

                  13th International Colloquium on
     Implementation of Constraint and LOgic Programming Systems

                 http://akira.ruc.dk/~cth/ciclops13

                Istanbul, Turkey, August 24/25, 2013
                      Co-located with ICLP 2013

Important Dates
===============

Abstract Submission: June 1, 2013
Paper Submission:    June 8, 2013
Notification:        July 1, 2013
Camera-ready:       July 13, 2013
Workshop:      August 24/25, 2013

Topics of Interest
==================

CICLOPS is a well established line of workshops. This will be the 13th
edition in a successful series of workshops which is traditionally
co-located with ICLP. The CICLOPS workshop aims at discussing and
exchanging experience on the design, implementation, and optimization
of constraint and logic programming systems, and other systems based
on logic as a means of expressing computations. Preference will be
(Continue reading)

cpscom2013 | 22 May 2013 05:06
Picon

Call for Internet of Things/CPS Demo and Exhibition (Aug.20-23, Beijing)

xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">

Dear colleague:

 

We apologize if you receive multiple copies of this cfp.

 

==================================================

 

Call for Demos and Exhibitions

http://www.china-iot.net/Main_IoT_CPSCom_demo.htm

 

Call for Cybermatics Creative Video Contest

http://www.china-iot.net/Main_CCVC.htm

 

Deadline: June 10, 2013

==================================================

 

Please take notice to the following submissions.

Paper authors are welcome to submit their work to these as well.

 

1. Call for Demos and Exhibitions

 

The IoT/CPSCom demo and exhibition program provides researchers 

and engineers with opportunities to show their cutting-edge work 

presented in an interactive fashion. The live demonstrations and 

exhibitions may include implementations of techniques presented 

in the main conference, workshops, other conferences and venues, 

as well as systems and video. We encourage companies or other 

commercial entities or laboratories to participate in showcasing 

their products. Prospective applicants should submit a 2-page paper 

of the demonstration/exhibition in the IEEE CS format 

(http://www.computer.org/portal/web/cscps/formatting) via email

(cpscom2013demo-EMRzualFZlQ@public.gmane.org). Video demonstrations are also welcome. 

The main selection criteria will be the expected general interest 

of the demonstration to the cyber physical system and social computing 

community. The accepted demo/exhibition will be included in the IoT/CPSCom 

conference proceedings. As a condition for acceptance, at least one of 

the people must be registered for the main conference, and present 

the demo in the conference with a poster and optional video. We will 

print out the poster in the conference if the demonstrator sends it 

beforehand in electronic format. All demos will compete for the Best 

Demo Award. 

 

 

The conference will at minimum provide a space for your demo, a poster 

stand, a table and chairs, and a power connection (220V). If you need 

any special equipment you should provide that by yourself, including power 

converters, projectors, audio amplification, wireless LAN routers/access 

points, etc. Please specify your demo requirements on a separate page 

so that we can plan the demo area accordingly.

 

Demo/Exhibition Chairs: 

Dr. Pin Tao, Tsinghua University, China (taopin-jHAB1AVR1ZqPQbnJrJN+5g@public.gmane.org) 

Dr. Kongqiao Wang, Nokia Research Center, China (kongqiao.wang-xNZwKgViW5gAvxtiuMwx3w@public.gmane.org) 

 

Submission e-mail: cpscom2013demo-EMRzualFZlQ@public.gmane.org

 

Important Dates 

 - Submission deadline: June 10, 2013 

 - Notification of acceptance: June 30, 2013 

 - Camera-ready demo paper: July 10, 2013 

 

 

 

2. Call for Cybermatics Creative Video Contest

 

It is believed that the frontier of information science is increasingly 

characterized by not only catching up with the human intelligence (e.g. 

intelligent sensing, and making decision and control), but also learning 

much from the nature-inspired attributes (e.g., dynamics, self-adaptability, 

and energy saving). Among such research areas, a newly-emerged interdisciplinary, 

Cybermatics (i.e., cyber technology) as we call here, includes three main aspects: 

Internet of Things (IoT), cyber, physical and social computing, and green computing 

and communications. 

 

 

The Cybermatics Creative Video Contest is a call for works from academia and industry 

for digital videos that involve any video work, information design and digital animation 

work about the concept of cyber technology. The content within the video must be related 

to cyber technology, IoT and big data, and demonstrate how it can produce a great impact 

on the future of human life. 

 

We welcome video submissions from at home and abroad, and from any academic, business, 

education and government circles to take part in the "Cybermatics Creative Video Contest". 

Please submit your video that conforms to the following specifications to 

cpscom2013video-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org: 

 

- Video size: HD (1920×1280), or SD (1280×720). 

- Video format: AVI, WMV, MOV, MP4 

- Video time: Up to 5 minutes. 

- Deadline: June 10, 2013 

- Notification of Acceptance: June 30, 2013 

 

Please also include the title of your video, the team members and affiliation, and an 

abstract of up to 150 words that explains your video, what makes it is applicable to cybermatics, 

and how it can help improve human life. 

 

For inspiration, see an example of a cybermatics video called "A Day Made of Glass" from Corning: 

http://v.youku.com/v_show/id_XMjQ0NzA0MjMy.html

 

The contest will happen in two phases: 

1) The videos are evaluated according to creativity, relevance and impact, and choose the 

top 5 videos. 

2) The selected 5 videos will be exhibited in the conference, where each author will give 

a 30 second pitch as to why his/her video should be the winner. The conference attendees will 

then vote for the winner. 

 

Cybermatics Video Chairs: 

Ning Wang, Beihang University, China 

Jun Fei, Chinese Academy of Fine Arts, China 

 

Submission e-mail: cpscom2013video-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org

 

Important Dates 

 - Submission deadline: June 10, 2013 

 - Notification of acceptance: June 30, 2013 

 

==================================================
IEEE iThings 2013/CPSCom 2013/GreenCom 2013
August 20-22, 2013
Beijing, China

Call for Demos and Exhibitions
http://www.china-iot.net/Main_IoT_CPSCom_demo.htm

Call for Cybermatics Creative Video Contest
http://www.china-iot.net/Main_CCVC.htm

Deadline: June 10, 2013
==================================================

Please take notice to the following submissions.
Paper authors are welcome to submit their work to
these as well.

1. Call for Demos and Exhibitions

The IoT/CPSCom demo and exhibition program provides researchers 
and engineers with opportunities to show their cutting-edge work 
presented in an interactive fashion. The live demonstrations and 
exhibitions may include implementations of techniques presented 
in the main conference, workshops, other conferences and venues, 
as well as systems and video. We encourage companies or other 
commercial entities or laboratories to participate in showcasing 
their products. Prospective applicants should submit a 2-page paper 
of the demonstration/exhibition in the IEEE CS format 
(http://www.computer.org/portal/web/cscps/formatting) via email 
(cpscom2013demo@...). Video demonstrations are also welcome. 
The main selection criteria will be the expected general interest 
of the demonstration to the cyber physical system and social computing 
community. The accepted demo/exhibition will be included in the IoT/CPSCom 
conference proceedings. As a condition for acceptance, at least one of 
the people must be registered for the main conference, and present 
the demo in the conference with a poster and optional video. We will 
print out the poster in the conference if the demonstrator sends it 
beforehand in electronic format. All demos will compete for the Best 
Demo Award. 

 
The conference will at minimum provide a space for your demo, a poster 
stand, a table and chairs, and a power connection (220V). If you need 
any special equipment you should provide that by yourself, including power 
converters, projectors, audio amplification, wireless LAN routers/access 
points, etc. Please specify your demo requirements on a separate page 
so that we can plan the demo area accordingly.

Demo/Exhibition Chairs: 
Dr. Pin Tao, Tsinghua University, China (taopin@...) 
Dr. Kongqiao Wang, Nokia Research Center, China
(kongqiao.wang@...) 

Submission e-mail: cpscom2013demo@...

Important Dates 
 - Submission deadline: June 10, 2013 
 - Notification of acceptance: June 30, 2013 
 - Camera-ready demo paper: July 10, 2013 

2. Call for Cybermatics Creative Video Contest

It is believed that the frontier of information science is increasingly 
characterized by not only catching up with the human intelligence (e.g. 
intelligent sensing, and making decision and control), but also learning 
much from the nature-inspired attributes (e.g., dynamics, self-adaptability, 
and energy saving). Among such research areas, a newly-emerged interdisciplinary, 
Cybermatics (i.e., cyber technology) as we call here, includes three main aspects: 
Internet of Things (IoT), cyber, physical and social computing, and green computing 
and communications. 

 
The Cybermatics Creative Video Contest is a call for works from academia and industry 
for digital videos that involve any video work, information design and digital animation 
work about the concept of cyber technology. The content within the video must be related 
to cyber technology, IoT and big data, and demonstrate how it can produce a great impact 
on the future of human life. 

We welcome video submissions from at home and abroad, and from any academic, business, 
education and government circles to take part in the "Cybermatics Creative Video Contest". 
Please submit your video that conforms to the following specifications to 
cpscom2013video@...: 

- Video size: HD (1920×1280), or SD (1280×720). 
- Video format: AVI, WMV, MOV, MP4 
- Video time: Up to 5 minutes. 
- Deadline: June 10, 2013 
- Notification of Acceptance: June 30, 2013 

Please also include the title of your video, the team members and affiliation, and an 
abstract of up to 150 words that explains your video, what makes it is applicable to cybermatics, 
and how it can help improve human life. 

For inspiration, see an example of a cybermatics video called "A Day Made of Glass" from Corning: 
http://v.youku.com/v_show/id_XMjQ0NzA0MjMy.html 

The contest will happen in two phases: 
1) The videos are evaluated according to creativity, relevance and impact, and choose the 
top 5 videos. 
2) The selected 5 videos will be exhibited in the conference, where each author will give 
a 30 second pitch as to why his/her video should be the winner. The conference attendees will 
then vote for the winner. 

Cybermatics Video Chairs: 
Ning Wang, Beihang University, China 
Jun Fei, Chinese Academy of Fine Arts, China 

Submission e-mail: cpscom2013video@...

Important Dates 
 - Submission deadline: June 10, 2013 
 - Notification of acceptance: June 30, 2013 

_______________________________________________
Om-announce mailing list
Om-announce@...
http://openmath.org/mailman/listinfo/om-announce
Picon

[DBSec 2013] Call for Participation (Early Registration Deadline May 31)

      [Apologies if you receive multiple copies of this message]


                        CALL FOR PARTICIPATION

***********************************************************************
      27th Annual IFIP WG 11.3 Working Conference on Data and
          Applications Security and Privacy (DBSec '13)
      July 15-17, 2013, Rutgers University, Newark, NJ, USA
              http://dbsec2013.business.rutgers.edu/
***********************************************************************


ABOUT THE CONFERENCE

DBSec is an annual international conference covering research in data and
applications security and privacy. The conference seeks submissions from
academia, industry, and government presenting novel research on all theoretical
and practical aspects of data protection, privacy, and applications security.
The conference will be a 3-day event featuring technical
presentations of 16 full papers and 6 short papers. It also includes
two keynote speeches.

The 27th Annual IFIP WG 11.3 Working Conference on Data and Applications
Security and Privacy (DBSec 2013) will be held in Newark, NJ, USA.


REGISTRATION

Registration information is available at
http://dbsec2013.business.rutgers.edu/registration.htm


PROGRAM

Monday, July 15, 2013
---------------------

8:00         Registration

8:00 -  9:00 Breakfast

9:00 -  9.30 Welcome

9:30 - 10:30 Keynote speaker: H. Vincent Poor, Princeton University
             "Privacy-Utility Tradeoffs for Data Sources, with
               Applications in Smart Grid"
             Chair: Jaideep Vaidya

10:30 - 11:00 Coffee break

11:00 - 12:30 PRIVACY I (Chair: Basit Shafiq)

- Extending Loose Associations to Multiple Fragments
  (Sabrina De Capitani Di Vimercati, Sara Foresti, Sushil Jajodia,
   Giovanni Livraga, Stefano Paraboschi and Pierangela Samarati)

- Database Fragmentation with Encryption: Under Which Semantic
    Constraints and A Priori Knowledge Can Two Keep a Secret?
  (Joachim Biskup and Marcel Preuß)

- Real-Time Publication of Multi-Dimensional Time-Series with
    Differential Privacy
  (Liyue Fan, Li Xiong and Vaidy Sunderam)

12:30 - 13:30 Lunch

13:30 - 15:00 ACCESS CONTROL (Chair: Joachim Biskup)

- Policy Analysis for Administrative Role Based Access Control
    without Separate Administration
  (Ping Yang, Mikhail Gofman and Zijiang Yang)

- Toward Mining of Temporal Roles
  (Barsha Mitra, Shamik Sural, Vijay Atluri and Jaideep Vaidya)

- Towards User-Oriented RBAC Model
  (Haibing Lu, Yuan Hong, Yanjiang Yang, Lian Duan and Nazia Badar)

15:00 - 15:30 Coffee break

15:30 - 16:30 CLOUD COMPUTING (Chair: Meng Yu)

- Hypervisor Event Logs as a Source of Consistent Virtual
     Machine Evidence for Forensic Cloud Investigations
  (Sean Thorpe)

- TerraCheck: Verification of Dedicated Cloud Storage
  (Zhan Wang, Kun Sun, Sushil Jajodia and Jiwu Jing)

______________________________________________________________________

Tuesday, July 16, 2013
----------------------

8:00         Registration

8:00 -  9:00 Breakfast

9:00 - 10:00 Keynote speaker: Johannes Gehrke, Cornell University
             "Research Questions in Data Privacy and Security for
               App Ecosystems"
             Chair: Soon Ae Chun

10:00 - 10:30 Coffee break

10:30 - 12:00 PRIVACY II (Chair: Florian Kerschbaum)

- Fair Private Set Intersection with a Semi-trusted Arbiter
  (Changyu Dong, Liqun Chen, Jan Camenisch and Giovanni Russello)

- Bloom Filter Bootstrap: Privacy-Preserving Estimation of the Size
    of an Intersection
  (Hiroaki Kikuchi and Jun Sakuma)

- Using Safety Constraint for Transactional Dataset Anonymization
  (Bechara Al Bouna, Chris Clifton and Qutaibah Malluhi)

12:00 - 13:00 Lunch

13:00 - 14:30 DATA OUTSOURCING (Chair: Sabrina De Capitani di Vimercati)

- Practical Immutable Signature Bouquets (PISB) for Authentication
    and Integrity in Outsourced Databases
  (Attila Yavuz)

- Optimal Re-Encryption Strategy for Joins in Encrypted Databases
  (Florian Kerschbaum, Martin Härterich, Patrick Grofig,
    Mathias Kohler, Andreas Schaad, Axel Schröpfer and
    Walter Tighzert)

- Access Control and Query Verification for Untrusted Databases
  (Rohit Jain and Sunil Prabhakar)

14:30 - 15:00 Coffee Break

15:00 - 16:00 MOBILE COMPUTING (Chair: Lingyu Wang)

- Quantitative Security Risk Assessment of Android Permissions
    and Applications
  (Yang Wang, Jun Zheng, Chen Sun and Srinivas Mukkamala)

- A Model for Trust-based Access Control and Delegation in
    Mobile Clouds
  (Indrajit Ray, Dieudonne Mulamba, Indrakshi Ray and Keesook J. Han)

16:00 - 17:00 IFIP 11.3 Business Meeting

______________________________________________________________________

Wednesday, July 17, 2013
------------------------

8:00         Registration

8:00 -  9:00 Breakfast

9:00 - 10:00 SHORT PAPER I (Chair: Indrajit Ray)

- Result Integrity Verification of Outsourced Frequent Itemset
    Mining
  (Boxiang Dong, Ruilin Liu and Hui Wendy Wang)

- An Approach to Select Cost-Effective Risk Countermeasures
    Exemplified in CORAS
  (Le Minh Sang Tran, Bjørnar Solhaug and Ketil Stølen)

- Enhance Biometric Database Privacy: Defining Privacy-Preserving
    Drawer Size Standard for the Setbase
  (Benjamin Justus, Frédéric Cuppens, Nora Cuppens, Julien Bringer,
    Hervé Chabanne and Olivier Cipiere)

10:00 - 10:30 Coffee break

10:30 - 11:30 SHORT PAPER II (Chair: Shamik Sural)

- Rule Enforcement with Third Parties in Secure Cooperative
    Data Access
  (Meixing Le, Krishna Kant and Sushil Jajodia)

- Unlinkable Content Playbacks in a Multiparty DRM System
  (Ronald Petrlic and Stephan Sekula)

-  Analysis of TRBAC with Dynamic Temporal Role Hierarchies
  (Emre Uzun, Vijayalakshmi Atluri, Jaideep Vaidya
    and Shamik Sural)


MORE INFORMATION

Additional information about the conference can be found at
http://dbsec2013.business.rutgers.edu


Il 5 x mille alla nostra Università è un investimento sui giovani,
sui loro migliori progetti.

Sostiene la libera ricerca.
Alimenta le loro speranze nel futuro.

Investi il tuo 5 x mille sui giovani.

_______________________________________________
Om-announce mailing list
Om-announce@...
http://openmath.org/mailman/listinfo/om-announce
Shui Yu | 19 May 2013 07:28
Picon

CFP - BigSecurity 2013 workshop (joint with Globecom 2013)

Our apologies for cross posting

The First International Workshop on Security and Privacy in Big Data

(BigSecurity 2013, conjunct with Globecom 2013)

http://www.nsp.org.au/CFP/BigSecurity/

Scope and Topics of Interest

As we are deep into the Information Age, we also witness the explosive growth of data available on the Internet. For example, human beings create about 2.5 quintillion bytes of data every day in 2012, which come from sensors, individual archives, social networks, Internet of Things, enterprise and Internet in all scales and formats. We face one of the most challenging issues, i.e., how to effectively manage such a large amount of data and identify new ways to analyze large amounts of data and unlock information. The issue is also known as Big Data, which has been emerging as a hot topic in Information and Communication Technologies (ICT) research.

 

Security and privacy issue is critical for Big Data. Many works have been carried out focusing on business, application and information processing level from big data, such as data mining and analysis.  However, security and privacy issues in Big Data are seldom mentioned to date. Due to its extraordinary scale, security and privacy in Big Data faces many challenges, such as efficient encryption and decryption algorithms, encrypted information retrieval, attribute based encryption, attacks on availability, reliability and integrity of Big Data.

 

The purpose of this workshop is to offer a timely venue for researchers and industry partners to present and discuss their latest results in security and privacy related work of Big Data. 

The topics of interest include, but are not limited to:  

·         Threat and Vulnerability Analysis in Big Data

·         Architecture for Security and Privacy in Big Data

·         Encrypted Information Retrieval in Big Data

·         Cryptanalysis and Applications in Big Data

·         Lightweight Cryptographic Algorithms in Big Data

·         Trust in Big Data

·         Network Security, Privacy in Big Data

·         Network Forensics in Big Data

·         Anonymous Communication in Big Data

·         Physical Layer Security in Big Data

·         Privacy and Security in Cloud Data

·         Privacy and Security in Data Center Networks

·         Application Level Security and Privacy in Big Data

·         Attacks and Counter Measures in Big Data

·         Information Forensics in Big Data

·         Secure Cross-layer Design in Big Data

·         Identity Management and Key Management in Big Data

·         Intrusion Detection and Response in Big Data

·         Security and Privacy in Complex Networks

·         Malware and Virus Detection in Big Data

·         Biometric Security and Forensics in Big Data

·         Reliability and Availability in Big Data

·         Network Security in Big Data

·         Network Privacy in Big Data

·         Security and Privacy Theories in Big Data

 

Organizing Committee

 

General Co-chairs

Professor Wanlei Zhou, Deakin University, Australia

Professor Peter Muller, IBM Research, Switzerland

 

Technical Program Co-chairs

Dr Shui Yu, Deakin University, Australia.

Professor Honggang Hu, University of Science and Technology of China, China

Professor Prasant Mohapatra, University of California, Davis, USA

 

Important Dates

Paper submission:        10 June, 2013

Acceptance:                 1 September, 2013

Camera-ready              1 October, 2013

 

Submission Guidelines

Prospective authors are invited to submit original technical papers by the deadline of 10 June 2013 for publication in the IEEE Globecom 2013 Conference Proceedings and for presentation at the conference. Submissions will be accepted through EDAS. All submissions must be written in English and be at most six (6) printed pages in length, including figures. For full details, please visit the following website:  (To be completed once approved).

 

For further queries, please contact Dr Shui Yu (syu-s/yHM3Pchp9WG/WdbR7gnQ@public.gmane.org) and Professor Honggang Hu (hghu2005 <at> ustc.edu.cn).


--

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

Shui YU, PhD, Senior Lecturer

School of Information Technology, Deakin University,

221 Burwood Highway, Burwood, VIC 3125,  Australia.

Telephone:0061 3 9251 7744

http://www.deakin.edu.au/~syu

_______________________________________________
Om-announce mailing list
Om-announce@...
http://openmath.org/mailman/listinfo/om-announce
Shui Yu | 20 May 2013 01:39
Picon

SKG2013 Beijing special issues confirmed

==========================================================

The 9th International Conference on Semantics, Knowledge and Grids (SKG2013)

Website: http://www.knowledgegrid.net/SKG2013

Beijing, Oct 3-4, 2013

The International Conference on Semantics, Knowledge and Grids (SKG) is a cross-area international forum on semantic computing, knowledge networking, and grids (Grid, Cloud, Web X.0, CPS, Internet of Things, complex interconnection environment, etc). SKG is to promote cross-area research and accelerate the development of relevant areas. SKG has built its reputation through eight years' professional organization. The conference invites well-known experts in diverse areas to present keynotes every year. Submissions come from all over the world. The acceptance rate of regular papers is usually lower than 20%. In addition to regular papers, the conference will also accept short papers reporting latest research progress or applications. SKG2013 will feature keynote, workshop, and journal special issues.

Submission due:

June 3, 2013

Keynote: The Cognitive Packet Network: Self-Aware Routing in Networks
Speaker: Prof Erol Gelenbe, Imperial College London
Abstract: This talk will describe CPN, a smart routing protocol for networks using "smart packets" that constantly monitor the network on behalf of end users, and selects paths that optimise an objective function that can depend on the network administrator or on the individual users. the objective function can include QoS, Energy Savings and Security. We will also present experimental results from our large network test-bed.

Special Issues:

Concurrency and Computation: Practice and Experience

Future Generation Computer Systems

Co-Chairs

Yi Pan, Georgia State University, USA
Wanlei Zhou, Deakin University, Australia
Hai Zhuge, Chinese Academy of Sciences, China

Program Co-Chairs

Walid Gaaloul, Institut Mines Télécom, France
Jun Shen, Wollongang University, Australia
Luo Si, Purdue University, USA
Xiaoping Sun, Chinese Academy of Sciences, China

====================================================


--

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

Shui YU, PhD, Senior Lecturer

School of Information Technology, Deakin University,

221 Burwood Highway, Burwood, VIC 3125,  Australia.

Telephone:0061 3 9251 7744

http://www.deakin.edu.au/~syu

_______________________________________________
Om-announce mailing list
Om-announce@...
http://openmath.org/mailman/listinfo/om-announce
Shui Yu | 19 May 2013 07:18
Picon

IEEE HPCC-13 CFPs with 8 workshops and 10 journal special issues.

Apologies if you received multiple copies of this IEEE HPCC-13 CFPs with 8 workshops & 10 journal special issues.

-------------------------------------------------------------------------------
Call for Papers for the 15th IEEE International Conference on
High Performance Computing and Communications (HPCC 2013)
 
-------------------------------------------------------------------------------
Highlight 1: 
------------

The 8 symposiums/workshops (TSP-13/FHC-13/EMCA-13/ESCAPE-13/HPTC-13/IntelNet-13/NOPE-13/HNCC-13)
will be held in conjunction with HPCC-13.
------------

Highlight 2: 
------------
Distinguished papers, after further revisions, will be published in the following 10 SCI & EI indexed special issues:

(1) International Journal of Ad Hoc and Ubiquitous Computing (IJAHUC) - INDERSCIENCE (SCI&EI Indexed, Impact Factor: 0.848)

(2) Wireless Communications and Mobile Computing - Wiley (SCI&EI Indexed, Impact Factor: 0.884)

(3) Concurrency and Computation: Practice and Experience - Wiley (SCI&EI Indexed, Impact Factor: 0.636)

(4) Journal of Internet Technology (SCI&EI Indexed, Impact Factor: 0.508)

(5) Journal of Systems Architecture - Elsevier (SCI&EI Indexed, Impact Factor: 0.444)

(6) IEICE Transactions on Information and Systems (SCI&EI Indexed, Impact Factor: 0.178)

(7) IEEE Transactions on Cloud Computing

(8) *International Journal of Computational Science and Engineering (IJCSE) - INDERSCIENCE (EI Indexed)

(9) *International Journal of Autonomous and Adaptive Communications Systems (IJAACS) - INDERSCIENCE (EI Indexed)

(10) *International Journal of Embedded Systems (IJES) - INDERSCIENCE (EI Indexed)

*Selected papers from this conference will be published directly in those journal special issues (they will NOT appear in the conference proceedings).
------------
-------------------------------------------------------------------------------


Sponsors: 
Institute of Electrical and Electronics Engineers (IEEE) 
IEEE Computer Society

Organizers: 
Central South University, China 
National University of Defense Technology, China 
Hunan University, China 
Jishou University, China

Technical Co-Sponsorship: 
IEEE Technical Committee on Scalable Computing (TCSC) 
CCF Technical Committee on High Performance Computing (TCHPC) 
National Natural Science Foundation of China (NSFC) 
School of Information Science and Engineering, Central South University, China 
School of Software, Central South University, China 
School of Software and Service Outsourcing, Jishou University, China

Venue & Dates:
Zhangjiajie, China, November 13-15, 2013


Introduction

With the rapid growth in computing and communications technology, the past decade has witnessed a proliferation of powerful parallel and distributed systems and an ever-increasing demand for practice of high performance computing and communications (HPCC). HPCC has moved into the mainstream of computing and has become a key technology in determining future research and development activities in many academic and industrial branches, especially when the solution of large and complex problems must cope with very tight timing schedules. 

The HPCC-2013 conference is the 15th IEEE International Conference on High Performance and Communications. It will provide a forum for engineers and scientists in academia, industry, and government to address the resulting profound challenges and to present and discuss their new ideas, research results, applications and experience on all aspects of high performance computing and communications. HPCC-2013 is sponsored by IEEE, IEEE Computer Society, and IEEE Technical Committee on Scalable Computing (TCSC).

HPCC-2013 is the next event in a series of highly successful international conferences on high performance computing and communications (HPCC), previously held as HPCC-12 (Liverpool, UK, June 2012), HPCC-11 (Banff, Canada, September 2011), HPCC-10 (Melbourne, Australia, September 2010), HPCC-09 (Seoul, Korea, June 2009), HPCC-08 (Dalian, China, September 2008), HPCC-07 (Houston, USA, September 2007), HPCC-06 (Munich, Germany, September 2006), HPCC-05 (Naples, Italy, September 2005), HPCN-04 (Tokyo, Japan, December 2004), PACT-SHPSEC03 (New Orleans, USA, September 2003), PACT-SHPSEC02 (Charlottesville, USA, September 2002), HPCA-01 (Nova Scotia, Canada, November 2001), HPNCA-00(Delft, The Netherlands, May 2000), HPNCA-99 (Amsterdam, The Netherlands, April 1999). 


Scope and Interests

Topics of particular interests include the following tracks, but are not limited to:

1. Parallel and distributed system architectures
2. Languages and compilers for high performance computing
3. Parallel and distributed software technologies
4. Parallel and distributed algorithms
5. Embedded systems
6. Peer-to-peer computing
7. Grid and cluster computing
8. Web services and Internet computing
9. Cloud computing
10. Utility computing
11. Performance evaluation and measurement
12. Tools and environments for software development
13. Distributed systems and applications
14. High-performance scientific and engineering computing
15. Database applications and data mining
16. Biological/molecular computing
17. Collaborative and cooperative environments
18. Mobile computing and wireless communications
19. Computer Networks
20. Telecommunications
21. Pervasive/ubiquitous computing and intelligence
22. Autonomic, reliability and fault-tolerance
23. Trust, security and privacy
 

Submission and Publication Information

The accepted papers from this conference will be published by IEEE Computer Society in IEEE proceedings (indexed by EI Compendex). Papers should be written in English conforming to the IEEE conference proceedings format (8.5" x 11", Two-Column). Papers should be submitted through the paper submission system at the conference website. Each paper is limited to 8 pages (or 12 pages with the over length charge). Distinguished papers, after further revisions, will be considered for possible publication in several SCI & EI indexed special issues of prestigious international journals. The program committee will select and award two "Best Paper Awards" for this conference. By submitting a paper to the conference, authors assure that if the paper is accepted, at least one author will attend the conference and present the paper. For no-show authors, their papers will be removed from the digital library after the conference and their affiliations will be notified.


Important Dates

(1) Paper Submission Due:      June 15, 2013 
(2) Notification of Decision:  August 15, 2013
(3) Camera-ready Papers Due:   September 15, 2013

 
Steering Co-Chairs

Laurence T. Yang, St. Francis Xavier University, Canada
Beniamino Di Martino, Second University of Naples, Italy

 
General Co-Chairs

Erol Gelenbe, Imperial College, UK
Guojun Wang, Central South University, China
Qingping Zhou, Jishou University, China

 
Program Co-Chairs

Albert Zomaya, University of Sydney, Australia
Carlos Becker Westphall, Federal University of Santa Catarina, Brazil
Yunquan Zhang, Institute of Software, Chinese Academy of Sciences, China


Program Vice Co-Chairs

1. Parallel and distributed system architectures
Julio Sahuquillo, Polytechnic University of Valencia, Spain
Mohammad Mehedi Hassan, King Saud University, Saudi Arabia

2. Languages and compilers for high performance computing
Chen Ding, Rochester University, USA 

3. Parallel and distributed software technologies
Kenli Li, Hunan University, China

4. Parallel and distributed algorithms
Frederic Magoules, Ecole Centrale Paris, France

5. Embedded systems
Bernardi Pranggono, Glasgow Caledonian University, UK
Luis Gomes, Universidade Nova de Lisboa, Portugal 

6. Peer-to-peer computing
Lu Liu, University of Derby, UK 

7. Grid and cluster computing
Hai Jin, Huazhong University of Science and Technology, China
Avinash Srinivasan, George Mason University, USA

8. Web services and Internet computing
Weisong Shi, Wayne State University, USA

9. Cloud computing
Ricardo Lent, Imperial College London, UK

10. Utility computing
Jianfeng Zhan, ICT of Chinese Academy of Sciences, China

11. Performance evaluation and measurement
Tadeusz Czachorski, Institute of Theoretical and Applied Informatics, Polish Academy of Sciences, Poland

12. Tools and environments for software development
Wenguang Chen, Tsinghua University, China

13. Distributed systems and applications
Fang-Jing Wu, Nanyang Technological University, Singapore

14. High-performance scientific and engineering computing
Joanna Kolodziej, Cracow University of Technology, Poland
Kuan-Ching Li, Providence University, Taiwan

15. Database applications and data mining
Wang Liu, Central South University, China 

16. Biological/molecular computing
Haseong Kim, Korea Research Institute of Bioscience and Biotechnology, Korea 

17. Collaborative and cooperative environments
Massimo Ficco, Second University of Naples, Italy 
Syed Obaid Amin, University of Memphis, USA

18. Mobile computing and wireless communications
Gaocai Wang, Guangxi University, China
Yulei Wu, Chinese Academy of Sciences, China

19. Computer networks
Xiangjian He, University of Technology, Sydney, Australia
Wang Yang, Central South University, China

20. Telecommunications
Muhammad Mostafa Monowar, King AbdulAziz University, Kingdom of Saudi Arabia 
Eugen Dedu, University of Franche-Comte, France

21. Pervasive/ubiquitous computing and intelligence
Julien Bourgeois, UFC/FEMTO-ST Institute, France

22. Autonomic, reliability and fault-tolerance
Beihong Jin, IS of Chinese Academy of Sciences, China 
Xinjun Mao, National University of Defense Technology, China

23. Trust, security and privacy
Yan Bai, University of Washington Tacoma, USA
Jun Zhang, Deakin University, Australia 


Workshop Co-Chairs

Ryan K. L. Ko, The University of Waikato, New Zealand
Hai Jiang, Arkansas State University, USA 
Felix Gomez Marmol, NEC Laboratories Europe, Germany 
Gaocai Wang, Guangxi University, China


Symposiums/Workshops in conjunction with IEEE HPCC 2013

(1) The Fourth IEEE International Symposium on Trust, Security and Privacy for Emerging Applications (TSP 2013)

(2) The Fourth International Workshop on Intelligent Communication and Social Networks (IntelNet 2013)

(3) The Fourth International Workshop on Frontiers of Heterogeneous Computing (FHC 2013)

(4) The Third International Workshop on Embedded Multi-Core computing and Applications (EMCA 2013)

(5) The Third International Workshop on Extreme Scale Computing APplication Enablement - Modeling and Tools (ESCAPE 2013)

(6) The 2013 International Workshop on High Performance and Transparent Computing (HPTC 2013)

(7) The 2013 International Workshop on Network Optimization and Performance Evaluation (NOPE 2013)

(8) Special Sessions on High Performance Computing and Communications of the 2013 HCF Hunan Computer Conference (HNCC 2013)

 
Organizing Co-Chairs

Zhigang Chen, Central South University, China
Zhiying Wang, National University of Defense Technology, China
Keqin Li, Hunan University, China
Bin Hu, Jishou University, China

 
Publicity Co-Chairs

Gregorio Martinez, University of Murcia, Spain
Shui Yu, Deakin University, Australia
Al-Sakib Khan Pathan, International Islamic University Malaysia, Malaysia

 
Publication Co-Chairs

Wang Yang, Central South University, China
Zhe Tang, Central South University, China

 
Finance Co-Chairs

Guihua Duan, Central South University, China
Jin Zheng, Central South University, China

 
Local Arrangement Chair

Guomin Cai, Jishou University, China


Secretariats

Pin Liu, Central South University, China
Xiangyong Liu, Central South University, China

 
Webmaster

Zhaoyang Wang, Central South University, China 

 
Contact

Please email inquiries concerning HPCC 2013 to: 
Prof. Guojun Wang: csgjwang AT gmail DOT com and the conference organizers (hpcc2013 AT gmail DOT com).


Copyright <at> Trusted Computing Institute, Central South University (CSU)
-------------------------------------------------------------------------------


--

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

Shui YU, PhD, Senior Lecturer

School of Information Technology, Deakin University,

221 Burwood Highway, Burwood, VIC 3125,  Australia.

Telephone:0061 3 9251 7744

http://www.deakin.edu.au/~syu

_______________________________________________
Om-announce mailing list
Om-announce@...
http://openmath.org/mailman/listinfo/om-announce
GRLMC | 20 May 2013 16:04
Favicon

SSTiC 2013: next registration deadline 26 May

*To be removed from our mailing list, please respond to this message with
UNSUBSCRIBE in the subject line*

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

2013 INTERNATIONAL SUMMER SCHOOL ON TRENDS IN COMPUTING

SSTiC 2013

Tarragona, Spain

July 22-26, 2013

Organized by
Rovira i Virgili University

http://grammars.grlmc.com/SSTiC2013/

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

+++ next registration deadline: May 26 +++

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

AIM:

SSTiC 2013 will be an open forum for the convergence of top class well
recognized computer scientists and people at the beginning of their research
career (typically PhD students) as well as consolidated researchers.

SSTiC 2013 will cover the whole spectrum of computer science by means of 63
six-hour courses dealing with hot topics at the frontiers of the field. By
actively participating, lecturers and attendees will share the idea of
scientific excellence as the main motto of their research work.

ADDRESSED TO:

Graduate students from around the world. There are no pre-requisites in
terms of the academic degree the attendee must hold. However, since there
will be several levels among the courses, in the description of some of them
reference may be made to specific knowledge background.

SSTiC 2013 is appropriate also for people more advanced in their career who
want to keep themselves updated on developments in the field.

Finally, senior researchers will find it fruitful to listen and discuss with
people who are main references of the diverse branches of computing
nowadays.

REGIME:

7 parallel sessions will be held during the whole event. Participants will
be able to freely choose the courses they will be willing to attend as well
as to move from one to another.

VENUE:

Palau Firal i de Congressos de Tarragona
Arquitecte Rovira, 2
43001 Tarragona
http://www.palaucongrestgna.com

COURSES AND PROFESSORS:

Divyakant Agrawal (Santa Barbara) [intermediate] Scalable Data Management in
Enterprise and Cloud Computing Infrastructures

Shun-ichi Amari (Riken) [introductory] Information Geometry and Its
Applications

James Anderson (Chapel Hill) [intermediate] Scheduling and Synchronization
in Real-Time Multicore Systems

Pierre Baldi (Irvine) [intermediate] Big Data Informatics Challenges and
Opportunities in the Life Sciences

Yoshua Bengio (Montréal) [introductory/intermediate] Deep Learning of
Representations

Stephen Brewster (Glasgow) [advanced] Multimodal Human-Computer Interaction

Bruno Buchberger (Linz) [introductory] Groebner Bases: An Algorithmic Method
for Multivariate Polynomial Systems. Foundations and Applications

Rajkumar Buyya (Melbourne) [intermediate] Cloud Computing

Jan Camenisch (IBM Zurich) [intermediate] Cryptography for Privacy

Jeffrey S. Chase (Duke) [intermediate] Trust Logic as an Enabler for Secure
Federated Systems

Larry S. Davis (College Park) [intermediate] Video Analysis of Human
Activities

Paul De Bra (Eindhoven) [intermediate] Adaptive Systems

Marco Dorigo (Brussels) [introductory] An Introduction to Swarm Intelligence
and Swarm Robotics

Paul Dourish (Irvine) [introductory] Ubiquitous Computing in a Social
Context

Max J. Egenhofer (Maine) [introductory/intermediate] Qualitative Spatial
Relations: Formalizations and Inferences

Richard M. Fujimoto (Georgia Tech) [introductory] Parallel and Distributed
Simulation

David Garlan (Carnegie Mellon) [advanced] Software Architecture: Past,
Present and Future

Mario Gerla (Los Angeles) [intermediate] Vehicle Cloud Computing

Georgios B. Giannakis (Minnesota) [advanced] Sparsity and Low Rank for
Robust Data Analytics and Networking

Ralph Grishman (New York) [intermediate] Information Extraction from Natural
Language

Francisco Herrera (Granada) [intermediate] Imbalanced Classification:
Current Approaches and Open Problems

Paul Hudak (Yale) [introductory] Euterpea: From Signals to Symphonies Using
Haskell

Niraj K. Jha (Princeton) [intermediate] FinFET Circuit Design

George Karypis (Minnesota) [introductory] Introduction to Parallel
Computing: Architectures, Algorithms, and Programming

Aggelos K. Katsaggelos (Northwestern) [intermediate/advanced] Sparsity-based
Advances in Image Processing

Arie E. Kaufman (Stony Brook) [advanced] Advances in Visualization

Carl Kesselman (Southern California) [intermediate] Biomedical Informatics
and Big Data

Hugo Krawczyk (IBM Research) [intermediate] An Introduction to the Design
and Analysis of Authenticated Key Exchange Protocols

Pierre L'Ecuyer (Montréal) [intermediate] Quasi-Monte Carlo Methods in
Simulation: Theory and Practice

Laks Lakshmanan (British Columbia) [intermediate/advanced] Information and
Influence Spread in Social Networks

Wenke Lee (Georgia Tech) [introductory] DNS-based Monitoring of Malware
Activities

Maurizio Lenzerini (Roma La Sapienza) [intermediate] Ontology-based Data
Integration

Ming C. Lin (Chapel Hill) [introductory/intermediate] Physically-based
Modeling and Simulation

Jane W.S. Liu (Academia Sinica) [intermediate] Critical Information and
Communication Technologies for Disaster Preparedness and Response

Satoru Miyano (Tokyo) [intermediate] How to Hack Cancer Systems with
Computational Methods

Aloysius K. Mok (Austin) [intermediate] From Real-time Systems to
Cyber-physical Systems

Hermann Ney (Aachen) [intermediate/advanced] Probabilistic Modelling for
Natural Language Processing - with Applications to Speech Recognition,
Handwriting Recognition and Machine Translation

Cathleen A. Norris (North Texas) & Elliot Soloway (Ann Arbor) [introductory]
Primary & Secondary Educational Computing in the Age of Mobilism

Jeff Offutt (George Mason) [intermediate] Cutting Edge Research in
Engineering of Web Applications

David Padua (Urbana) [intermediate] Parallel Programming with Abstractions

Bijan Parsia (Manchester) [introductory] The Semantic Web: Conceptual and
Technical Foundations

Massoud Pedram (Southern California) [intermediate] Energy Efficient
Architectures and Information Processing Systems

Charles E. Perkins (FutureWei) [intermediate/advanced] Beyond 4G

Prabhakar Raghavan (Google) [introductory/intermediate] Web Search and
Advertising

Sudhakar M. Reddy (Iowa) [introductory] Design for Test and Test of Digital
VLSI Circuits

Phillip Rogaway (Davis) [introductory/intermediate] Provably Secure
Symmetric Encryption

Gustavo Rossi (La Plata) [intermediate] Topics in Model Driven Web
Engineering

Kaushik Roy (Purdue) [introductory/intermediate] Low-energy Computing

Robert Sargent (Syracuse) [introductory] Validating Models

Douglas C. Schmidt (Vanderbilt) [intermediate] Patterns and Frameworks for
Concurrent and Networked Software

Bart Selman (Cornell) [intermediate] Fast Large-scale Probabilistic and
Logical Inference Methods

Mubarak Shah (Central Florida) [intermediate/advanced] Visual Crowd
Surveillance

Ron Shamir (Tel Aviv) [introductory] Revealing Structure in Disease
Regulation and Networks

Satinder Singh (Ann Arbor) [introductory/advanced] Reinforcement Learning:
On Machines Learning to Act from Experience

Dawn Xiaodong Song (Berkeley) [introductory] Selected Topics in Computer
Security

Mike Thelwall (Wolverhampton) [introductory] Sentiment Strength Detection
for the Social Web

Julita Vassileva (Saskatchewan) [introductory/intermediate] Engaging Users
in Social Computing Systems

Philip Wadler (Edinburgh) [introductory] Topics in Lambda Calculus and Life

Yao Wang (Polytechnic New York) [introductory/advanced] Video Compression:
Fundamentals and Recent Development

Gio Wiederhold (Stanford) [introductory] Software Economics: How Do the
Results of the Intellectual Efforts Enter the Global Market Place

Limsoon Wong (National Singapore) [introductory/intermediate] The Use of
Context in Gene Expression and Proteomic Profile Analysis

Michael Wooldridge (Oxford) [introductory] Autonomous Agents and Multi-Agent
Systems

Ronald R. Yager (Iona) [introductory/intermediate] Fuzzy Sets and Soft
Computing

Philip S. Yu (Illinois Chicago) [advanced] Mining Big Data

REGISTRATION:

It has to be done at

http://grammars.grlmc.com/SSTiC2013/Registration.php 

Since the capacity of the venue is limited, registration requests will be
processed on a first come first served basis. The registration period will
be closed when the capacity of the venue will be complete.

FEES:

They are the same (a flat rate) for all people by the corresponding
deadline. They give the right to attend all courses.

ACCOMMODATION:

Information about accommodation is available on the website of the School.

CERTIFICATE:

Participants will be delivered a certificate of attendance.

IMPORTANT DATES:

Announcement of the programme: January 26, 2013

Six registration deadlines: February 26, March 26, April 26, May 26, June
26, July 26, 2013

QUESTIONS AND FURTHER INFORMATION:

Lilica Voicu:
florentinalilica.voicu@... 

POSTAL ADDRESS:

SSTiC 2013
Research Group on Mathematical Linguistics (GRLMC)
Rovira i Virgili University
Av. Catalunya, 35
43002 Tarragona, Spain

Phone: +34-977-559543
Fax: +34-977-558386

ACKNOWLEDGEMENTS:

Ajuntament de Tarragona
Diputació de Tarragona
Universitat Rovira i Virgili
SYNASC 2013 | 19 May 2013 21:13
Picon

Synasc 2013 CFP [Extended deadline]

[Please post - apologies for multiple copies.]

Call for Papers
---------------

                       SYNASC 2013

              15th International Symposium on
   Symbolic and Numeric Algorithms for Scientific Computing
         September 23-26, 2013, Timisoara, Romania
                   http://www.synasc.ro/

Aim
---

SYNASC aims to stimulate the interaction between the two 
scientific communities of symbolic and numeric computing 
and to exhibit interesting applications of the areas both 
in theory and in practice. The choice of the topic is motivated 
by the belief of the organizers that the dialogue between 
the two communities is very necessary for accelerating the 
progress in making the computer a truly intelligent aid for 
mathematicians and engineers.

Important Dates
---------------

23 June 2013 (EXTENDED) :  Abstract submission   
30 June 2013 (EXTENDED) :  Paper submission  
04 August 2013          :  Notification of acceptance
01 September 2013       :  Registration
08 September 2013       :  Revised papers according to the reviews
23-26 September 2013    :  Symposium
30 November 2013        :  Final papers for post-proceedings

Tracks
------

    * Symbolic Computation
        + computer algebra
        + symbolic techniques applied to numerics
        + hybrid symbolic and numeric algorithms
        + numerics and symbolics for geometry
        + programming with constraints, narrowing

    * Logic and Programming
        + automatic reasoning
        + formal system verification
        + formal verification and synthesis
        + software quality assessment
        + static analysis
        + timing analysis

    * Artificial Intelligence
        + methods for hard computational problems
        + intelligent systems for scientific computing
        + agent-based complex systems modeling and development
        + scientific knowledge management
        + computational intelligence 
        + machine learning 
        + recommender and expert systems for scientific computing
        + data mining and web mining
        + natural language processing  
        + uncertain reasoning in scientific computing       
        + intelligent hybrid systems

    * Numerical Computing
        + iterative approximation of fixed points
        + solving systems of nonlinear equations
        + numerical and symbolic algorithms for differential equations
        + numerical and symbolic algorithms for optimization
        + parallel algorithms for numerical computing
        + scientific visualization and image processing

    * Distributed Computing
        + parallel and distributed algorithms for clouds, GPUs, HPC, P2P systems, 

autonomous systems. Work should focus on scheduling, scaling, load balancing, networks, 

fault-tolerance, gossip algorithms, energy saving
        + applications for parallel and distributed systems, including work on cross 

disciplinary (scientific) applications for grids/clouds, web applications, workflow 

platforms, network measurement tools, programming environments
        + architectures for parallel and distributed systems, including self-managing and 

autonomous systems, negotiation protocols, HPC on clouds, GPU processing, PaaS for 

(inter)cloud, brokering platforms, mobile computing
        + modelling of parallel and distributed systems including models on resources and 

networks, semantic representation, negotiation, social networks, trace management, 

simulators
        + any other topic deemed relevant to the field

    * Advances in the Theory of Computing
       + Data structures and algorithms
       + Combinatorial Optimization
       + Formal languages and Combinatorics on Words
       + Graph-theoretic and Combinatorial methods in Computer Science
       + Algorithmic paradigms, including distributed, online, 
         approximation, probabilistic, game-theoretic algorithms
       + Computational Complexity Theory, including structural complexity, 
         boolean complexity, communication complexity, average-case complexity, 
         derandomization and property testing
       + Logical approaches to complexity, including finite model theory
       + Algorithmic and computational learning theory
       + Aspects of computability theory, including computability in 
         analysis and algorithmic information theory
       + Proof complexity
       + Computational social choice and game theory
       + New computational paradigms: CNN computing, quantum, 
         holographic and other non-standard approaches to Computability
       + Randomized methods, random graphs, threshold phenomena and 
         typical-case complexity
       + Automata theory and other formal models, particularly in
         relation to formal verification methods such as model 
         checking and runtime verification
       + Applications of theory, including wireless and sensor networks, 
         computational biology and computational economics
       + Experimental algorithmics

Workshops
---------
    * Workshop on Agents for Complex Systems (ACSys) 
           http://www.synasc.ro/workshops/acsys-2013/
    * Workshop of HPC for scientific problems (HPCS)
           http://host.hpc.uvt.ro/events/hpcs/ 
    * Workshop on Iterative Approximation of Fixed Points (IAFP)
           http://www.synasc.ro/workshops/iafp-2013/
    * Workshop on Management of Resources and Services in Cloud and Sky Computing (MICAS)
           http://amicas.hpc.uvt.ro/micas-2013/
    * Workshop on Natural Computing and Applications (NCA)
           http://www.synasc.ro/workshops/nca-2013/

    Workshops deadlines:  please visit each workshop webpage

Tutorials
---------

    * Tutorial HPC http://host.hpc.uvt.ro/hpcs#HPC-Tutorial
    * Tutorial Multi-Cloud http://amicas.hpc.uvt.ro/micas-2013#MultiCloud-Tutorial

     
Publication
-----------
Research papers that are accepted and presented at the 
symposium will be collected as post-proceedings published 
by Conference Publishing Service (CPS) (indexed in ISI Web 
of Science, DBLP, SCOPUS).

Invited Speakers 
----------------
    * Ivona Brandic,     Vienna University of Technology, Austria
    * Gabriel Ciobanu,   Romanian Academy, Institute of Computer Science, Iasi, Romania
    * Leonardo de Moura, Microsoft Research, USA
    * Grigore Rosu,      University of Illinois at Urbana-Champaign, USA
    * Dan A. Simovici,   University of Massachusetts Boston, USA

   
Honorary Chairs
---------------
    * Bruno Buchberger, Johannes Kepler University, Austria
    * Stefan Maruster, West University of Timisoara, Romania

Steering Committee
------------------
    * Tetsuo Ida, University of Tsukuba, Japan
    * Tudor Jebelean, Johannes Kepler University, Austria
    * Viorel Negru, West University of Timisoara, Romania
    * Dana Petcu, West University of Timisoara, Romania
    * Stephen Watt, University of Western Ontario, Canada
    * Daniela Zaharie, West University of Timisoara, Romania

General Chair
-------------
    * Viorel Negru, West University of Timisoara, Romania

Program Chair
-------------
    * Nikolaj Bjorner, Microsoft Research, US

Track Chairs
------------
    * Symbolic Computation
        + Tetsuo Ida, University of Tsukuba, Japan
        + Stephen Watt, University of Western Ontario, Canada

    * Logic and Programming
        + Tudor Jebelean, Johannes Kepler University, Austria
        + Laura Kovacs, Vienna University of Technology, Austria

    * Artificial Intelligence
        + Andrei Petrovski, Robert Gordon University, UK        
        + Daniela Zaharie, West University of Timisoara, Romania

    * Numerical Computing
        + Yonghong Yao, Tianjin Polytechnic University, China
        + Ioan A. Rus, "Babes-Bolyai" University of Cluj-Napoca, Romania

    * Distributed Computing
        + Marc Frincu, West University of Timisoara, Romania
        + Karoly Bosa, Johannes Kepler University, Austria

    * Advances in the Theory of Computing
        + Mircea Marin, West University of Timisoara, Romania
        + Gabriel Istrate, Research Institute e-Austria Timisoara, Romania

Special sessions and workshops chair
------------------------------------
    * Dana Petcu, West University of Timisoara, Romania

Tutorial chair
--------------
    * Adrian Craciun, West University of Timisoara, Romania

Proceedings Chairs
------------------
    * Nikolaj Bjorner, Microsoft Research, US
    * Daniela Zaharie, West University of Timisoara, Romania

Local Committee Chairs
----------------------
    * Isabela Dramnesc, West University of Timisoara, Romania
    * Silviu Panica, Institute e-Austria Timisoara, Romania

Submission
-----------

Submissions of research papers are invited. The papers must contain 
original research results not submitted and not published elsewhere. 

The submission process consists of two steps.  

    * In the first step the authors are invited to express their 
      intention to participate at the conference by submitting a 
      short abstract (1/2 page, at maximum) where it is clearly 
      stated the main contribution(s) of the paper.

    * In the second step the authors should submit the full paper
      (up to 8 pages in the two-columns IEEE conference style).

Both the abstract and the full paper should be submitted electronically 
through http://www.easychair.org/conferences/?conf=synasc2013 (for the main tracks)
and through http://www.easychair.org/conferences/?conf=synasc2013workshops (for the 

workshops).

Proposals are also invited for:

    * special sessions

Special sessions
----------------

Proposals are invited for special sessions on any topic relevant to the 
conference. Special sessions are intended to stimulate in-depth  
discussions in special areas and they are fully integrated into the 
main conference. The research papers and the informal presentations 
submitted and accepted for the special sessions follow the same rules 
as the papers submitted to the regular sessions. It is expected that 
the organizers of the special sessions appoint their own chair and 
program committee, which will be integrated in the conference program 
committee and will be supervised by the conference programme chair 
and by the general chair.

-----------
SYNASC 2013
West University of Timisoara
Department of Computer Science
Bd. V. Parvan 4, 300223 Timisoara, Romania
tel: + (40) 256 592155, +(40) 256 592195
fax: + (40) 256 592316, +(40) 256 592380
e-mail: synasc13@...
Jose A Martin | 17 May 2013 13:03
Picon

CFP FOCLASA 2013: The 13th International Workshop on Foundations of Coordination Languages and Self Adaptive Systems

-- Second Call for Papers -- FOCLASA 2013: The 13th International Workshop on Foundations of Coordination Languages and Self Adaptive Systems http://foclasa.lcc.uma.es/ September 11, 2013, Malaga (Spain) In conjunction with ESOCC 2013 -- http://esocc2013.lcc.uma.es/ ================================================================= FOCLASA 2013 is a workshop co-located with the European Conference on Service-Oriented and Cloud Computing (ESOCC 2013). The goal of the FOCLASA workshop is to put together researchers and practitioners to identify common problems, and to devise general solutions in the context of coordination languages and self-adaptive systems. == IMPORTANT DATES == Abstract submission: June 9th, 2013 Paper submission: June 14th, 2013 Notification: July 16th, 2013 Final version: July 25th, 2013 == TOPICS OF INTEREST == * Theoretical models and frameworks for component and service coordination, service composition, service adaptation and concurrent system modeling. * Applications and usability studies for the aforementioned theoretical models, interaction and coordination challenges in various application domains. * Languages and specification protocols for component and service interaction, their semantics, expressiveness, validation and verification, type checking, static and dynamic analysis. * "Software as a service" models (e.g., cloud computing) and dynamic software architectures, such as self-adaptive and self-organizing systems. * Tools and environments for the development of concurrent and customizable self- monitoring, self-adaptive and self-organizing applications. * Algorithms, mathematical models and realization frameworks for quality-of-service observation, storage, history-based analysis in self-adaptive systems (queuing models, load balancing, fault-tolerance analysis, machine learning systems). In particular, practice, experience and methodologies from the following areas are solicited as well: * Business process modeling Cloud computing Service-oriented computing * Component-based systems Grid computing Large-scale distributed systems * Multi-agent systems Peer-to-peer systems Survey works analysing and comparing literature on the topics of FOCLASA are also welcome. == PAPER SUBMISSION == Submissions must describe authors' original research work and their results. Description of work-in- progress with concrete results is also encouraged. The contributions should not exceed 15 pages and should be submitted as Portable Document Format (PDF) files using the EasyChair submission site: http://www.easychair.org/conferences/?conf=foclasa2013 Submitting an abstract does not put any obligation on the authors to submit a full paper. Abstracts without an accompanying full paper by the paper submission deadline are automatically considered withdrawn. The authors are, however, encouraged to explicitly withdraw their abstract, if they decide not to submit a full paper. All submissions will be reviewed by an international program committee who will make a selection among the submissions based on the novelty, soundness and applicability of the presented ideas and results. Concurrent submission to other venues (conferences, workshops or journal) and submission of papers under consideration elsewhere are not allowed. A printed version of the proceedings will be distributed among participants during the workshop. The proceedings of the workshop will be published as a separate volume or as part of joint ESSOC workshop proceedings. Participants will give a presentation of their papers in twenty minutes, followed by a ten-minute round of questions and discussion on participants' work. Following the tradition of the past editions, we plan to have a special issue of an international scientific journal devoted to FOCLASA 2013. Selected participants will be invited to submit an extended version of their papers after the workshop. These extended versions will be reviewed by an international program committee, which will decide on their final publication on the special issue. In the last few editions of FOCLASA, a special issue of Science of Computer Programming has been dedicated to this workshop. == PROGRAM COMMITTEE CHAIRS == * Natallia Kokash, Leiden University, The Netherlands natallia.kokash-rh8NL+sEX9E@public.gmane.org * Javier Cámara Moreno, Carnegie Mellon University, USA jcmoreno-ETDLCGt7PQU3uPMLIKxrzw@public.gmane.org == PUBLICITY CHAIR == * José Antonio Martín, University of Málaga, Spain == PROGRAM COMMITTEE == * Carlos Cuesta, Rey Juan Carlos University, Spain * Holger Giese, University of Potsdam, Germany * Ludovic Henrio, INRIA Sophia Antipolis, France * Rogério de Lemos, University of Kent, UK * Antónia Lopes, University of Lisbon, Portugal * António Ravara, New University of Lisbon, Portugal * Liliana Pasquale, University of Limerick, Ireland * Pascal Poizat, University of Evry, France * José Proença, Katholieke Universiteit Leuven, Belgium * Bradley Schmerl, Carnegie Mellon University, USA * Marjan Sirjani, Reykjavik University, Iceland * Carolyn Talcott, SRI International, USA * Francesco Tiezzi, IMT Lucca Institute for Advanced Studies, Italy * Mirko Viroli, University of Bologna, Italy * Uwe Zdun, University of Vienna, Austria * Huibiao Zhu, East China Normal University, China * Keijo Heljanko, Aalto University, Finland == STEERING COMMITTEE == * Farhad Arbab, CWI, The Netherlands * Antonio Brogi, University of Pisa, Italy * Carlos Canal, University of Málaga, Spain * Jean-Marie Jacquet, University of Namur, Belgium * Ernesto Pimentel, University of Málaga, Spain * Gwen Salaün, Grenoble INP - INRIA Grenoble - LIG, France -- José Antonio Martín Universidad de Málaga SPAIN Linkedin: http://linkd.in/jamartin Academia: http://bit.ly/jamartin_edu
_______________________________________________
Om-announce mailing list
Om-announce@...
http://openmath.org/mailman/listinfo/om-announce
SYNASC 2013 | 18 May 2013 10:24
Picon

CFP Synasc 2013, Timisoara, Romania [1 day left for abstract submission]


[Please post - apologies for multiple copies.]

Call for Papers
---------------

                       SYNASC 2013

              15th International Symposium on
   Symbolic and Numeric Algorithms for Scientific Computing
         September 23-26, 2013, Timisoara, Romania
                   http://www.synasc.ro/

Aim
---

SYNASC aims to stimulate the interaction between the two 
scientific communities of symbolic and numeric computing 
and to exhibit interesting applications of the areas both 
in theory and in practice. The choice of the topic is motivated 
by the belief of the organizers that the dialogue between 
the two communities is very necessary for accelerating the 
progress in making the computer a truly intelligent aid for 
mathematicians and engineers.

Important Dates
---------------

19 May 2013            :  Abstract submission  
26 May 2013            :  Paper submission 
22 July 2013           :  Notification of acceptance
01 September 2013      :  Registration
08 September 2013      :  Revised papers according to the reviews
23-26 September 2013   :  Symposium
30 November 2013       :  Final papers for post-proceedings

Tracks
------

    * Symbolic Computation
        + computer algebra
        + symbolic techniques applied to numerics
        + hybrid symbolic and numeric algorithms
        + numerics and symbolics for geometry
        + programming with constraints, narrowing

    * Logic and Programming
        + automatic reasoning
        + formal system verification
        + formal verification and synthesis
        + software quality assessment
        + static analysis
        + timing analysis

    * Artificial Intelligence
        + methods for hard computational problems
        + intelligent systems for scientific computing
        + agent-based complex systems modeling and development
        + scientific knowledge management
        + computational intelligence 
        + machine learning 
        + recommender and expert systems for scientific computing
        + data mining and web mining
        + natural language processing  
        + uncertain reasoning in scientific computing       
        + intelligent hybrid systems

    * Numerical Computing
        + iterative approximation of fixed points
        + solving systems of nonlinear equations
        + numerical and symbolic algorithms for differential equations
        + numerical and symbolic algorithms for optimization
        + parallel algorithms for numerical computing
        + scientific visualization and image processing

    * Distributed Computing
        + parallel and distributed algorithms for clouds, GPUs, HPC, P2P systems, autonomous systems. Work
should focus on scheduling, scaling, load balancing, networks, fault-tolerance, gossip algorithms,
energy saving
        + applications for parallel and distributed systems, including work on cross disciplinary (scientific)
applications for grids/clouds, web applications, workflow platforms, network measurement tools,
programming environments
        + architectures for parallel and distributed systems, including self-managing and autonomous systems,
negotiation protocols, HPC on clouds, GPU processing, PaaS for (inter)cloud, brokering platforms,
mobile computing
        + modelling of parallel and distributed systems including models on resources and networks, semantic
representation, negotiation, social networks, trace management, simulators
        + any other topic deemed relevant to the field

    * Advances in the Theory of Computing
       + Data structures and algorithms
       + Combinatorial Optimization
       + Formal languages and Combinatorics on Words
       + Graph-theoretic and Combinatorial methods in Computer Science
       + Algorithmic paradigms, including distributed, online, 
         approximation, probabilistic, game-theoretic algorithms
       + Computational Complexity Theory, including structural complexity, 
         boolean complexity, communication complexity, average-case complexity, 
         derandomization and property testing
       + Logical approaches to complexity, including finite model theory
       + Algorithmic and computational learning theory
       + Aspects of computability theory, including computability in 
         analysis and algorithmic information theory
       + Proof complexity
       + Computational social choice and game theory
       + New computational paradigms: CNN computing, quantum, 
         holographic and other non-standard approaches to Computability
       + Randomized methods, random graphs, threshold phenomena and 
         typical-case complexity
       + Automata theory and other formal models, particularly in
         relation to formal verification methods such as model 
         checking and runtime verification
       + Applications of theory, including wireless and sensor networks, 
         computational biology and computational economics
       + Experimental algorithmics

Workshops
---------
    * Workshop on Agents for Complex Systems (ACSys) 
           http://www.synasc.ro/workshops/acsys-2013/
    * Workshop of HPC for scientific problems (HPCS)
           http://host.hpc.uvt.ro/events/hpcs/ 
    * Workshop on Iterative Approximation of Fixed Points (IAFP)
           http://www.synasc.ro/workshops/iafp-2013/
    * Workshop on Management of Resources and Services in Cloud and Sky Computing (MICAS)
           http://amicas.hpc.uvt.ro/micas-2013/
    * Workshop on Natural Computing and Applications (NCA)
           http://www.synasc.ro/workshops/nca-2013/

    Workshops deadlines:  please visit each workshop webpage

Tutorials
---------

    * Tutorial HPC http://host.hpc.uvt.ro/hpcs#HPC-Tutorial
    * Tutorial Multi-Cloud http://amicas.hpc.uvt.ro/micas-2013#MultiCloud-Tutorial

     
Publication
-----------
Research papers that are accepted and presented at the 
symposium will be collected as post-proceedings published 
by Conference Publishing Service (CPS) (indexed in ISI Web 
of Science, DBLP, SCOPUS).

Invited Speakers 
----------------
    * Ivona Brandic,     Vienna University of Technology, Austria
    * Gabriel Ciobanu,   Romanian Academy, Institute of Computer Science, Iasi, Romania
    * Leonardo de Moura, Microsoft Research, USA
    * Grigore Rosu,      University of Illinois at Urbana-Champaign, USA
    * Dan A. Simovici,   University of Massachusetts Boston, USA

   
Honorary Chairs
---------------
    * Bruno Buchberger, Johannes Kepler University, Austria
    * Stefan Maruster, West University of Timisoara, Romania

Steering Committee
------------------
    * Tetsuo Ida, University of Tsukuba, Japan
    * Tudor Jebelean, Johannes Kepler University, Austria
    * Viorel Negru, West University of Timisoara, Romania
    * Dana Petcu, West University of Timisoara, Romania
    * Stephen Watt, University of Western Ontario, Canada
    * Daniela Zaharie, West University of Timisoara, Romania

General Chair
-------------
    * Viorel Negru, West University of Timisoara, Romania

Program Chair
-------------
    * Nikolaj Bjorner, Microsoft Research, US

Track Chairs
------------
    * Symbolic Computation
        + Tetsuo Ida, University of Tsukuba, Japan
        + Stephen Watt, University of Western Ontario, Canada

    * Logic and Programming
        + Tudor Jebelean, Johannes Kepler University, Austria
        + Laura Kovacs, Vienna University of Technology, Austria

    * Artificial Intelligence
        + Andrei Petrovski, Robert Gordon University, UK        
        + Daniela Zaharie, West University of Timisoara, Romania

    * Numerical Computing
        + Yonghong Yao, Tianjin Polytechnic University, China
        + Ioan A. Rus, "Babes-Bolyai" University of Cluj-Napoca, Romania

    * Distributed Computing
        + Marc Frincu, West University of Timisoara, Romania
        + Karoly Bosa, Johannes Kepler University, Austria

    * Advances in the Theory of Computing
        + Mircea Marin, West University of Timisoara, Romania
        + Gabriel Istrate, Research Institute e-Austria Timisoara, Romania

Special sessions and workshops chair
------------------------------------
    * Dana Petcu, West University of Timisoara, Romania

Tutorial chair
--------------
    * Adrian Craciun, West University of Timisoara, Romania

Proceedings Chairs
------------------
    * Nikolaj Bjorner, Microsoft Research, US
    * Daniela Zaharie, West University of Timisoara, Romania

Local Committee Chairs
----------------------
    * Isabela Dramnesc, West University of Timisoara, Romania
    * Silviu Panica, Institute e-Austria Timisoara, Romania

Submission
-----------

Submissions of research papers are invited. The papers must contain 
original research results not submitted and not published elsewhere. 

The submission process consists of two steps.  

    * In the first step the authors are invited to express their 
      intention to participate at the conference by submitting a 
      short abstract (1/2 page, at maximum) where it is clearly 
      stated the main contribution(s) of the paper.

    * In the second step the authors should submit the full paper
      (up to 8 pages in the two-columns IEEE conference style).

Both the abstract and the full paper should be submitted electronically 
through http://www.easychair.org/conferences/?conf=synasc2013 (for the main tracks)
and through http://www.easychair.org/conferences/?conf=synasc2013workshops (for the workshops).

Proposals are also invited for:

    * special sessions

Special sessions
----------------

Proposals are invited for special sessions on any topic relevant to the 
conference. Special sessions are intended to stimulate in-depth  
discussions in special areas and they are fully integrated into the 
main conference. The research papers and the informal presentations 
submitted and accepted for the special sessions follow the same rules 
as the papers submitted to the regular sessions. It is expected that 
the organizers of the special sessions appoint their own chair and 
program committee, which will be integrated in the conference program 
committee and will be supervised by the conference programme chair 
and by the general chair.

-----------
SYNASC 2013
West University of Timisoara
Department of Computer Science
Bd. V. Parvan 4, 300223 Timisoara, Romania
tel: + (40) 256 592155, +(40) 256 592195
fax: + (40) 256 592316, +(40) 256 592380
e-mail: synasc13@...
Ricardo Rocha | 17 May 2013 15:59
Picon

INAP 2013 - Call for Papers

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

      20th International Conference on 
      Applications of Declarative Programming
      and Knowledge Management (INAP 2013)

      colocated with

      27th Workshop on Logic Programming (WLP 2013)

      part of the Kiel Declarative Programming Days 2013

      Kiel, Germany, September 11-13, 2013

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

Declarative programming is an advanced paradigm for the modeling and
solving of complex problems. This specification method attracted
increased attention over the last decades, e.g., in the domains of
databases and natural language processing, for the modeling and the
processing of combinatorial problems, and for establishing systems for
the Web.

INAP 2013
=========

INAP is a communicative and dense conference for intensive discussion of
applications of important technologies around logic programming,
constraint problem solving, and closely related computing paradigms. It
comprehensively covers the impact of programmable logic solvers in the
internet society, its underlying technologies, and leading edge
applications in industry, commerce, government, and societal services.

We invite high quality contributions on different aspects of declarative
programming, constraint processing and knowledge management, as well as
their use for distributed systems and the Web, including, but not
limited to the following areas (the order does not reflect any
priorities): 

 * knowledge management, e.g., data mining, decision support,
   deductive databases;
 * distributed systems and the Web, e.g., agents and concurrent
   engineering, Semantic Web;
 * constraints, e.g., constraint systems, extensions of constraint
   (logic) programming;
 * theoretical foundations, e.g., deductive databases, nonmonotonic
   reasoning, knowledge representation;
 * systems and tools for academic and industrial use;
 * knowledge-based Web services - logic solvers and applications.

This year, INAP consists of the following four tracks, covering relevant
subareas of declarative methods:

 * non-monotonic reasoning;
 * applications and system implementations;
 * extensions of logic programming;
 * databases, deductive databases, and data mining.

WLP 2013
========

The workshops on (constraint) logic programming serve as the scientific
forum of the annual meeting of the Society of Logic Programming (GLP,
Gesellschaft fuer Logische Programmierung e.V.). They bring together
researchers interested in logic programming, constraint programming, and
related areas like databases, artificial intelligence, and operations
research. Previous workshops have been held in Germany, Austria,
Switzerland, and Egypt.

The joint INAP and WLP event aims to promote the cross-fertilizing
exchange of ideas and experiences among researches and students from the
different communities interested in the foundations, applications, and
combinations of high-level, declarative programming languages and
related areas.

The technical program of the event will include invited talks,
presentations of refereed papers, and system demonstrations.

Important Dates
===============

 * Submission of papers:       July 07, 2013
 * Notification of acceptance: July 28, 2013
 * Camera-ready papers:        August 18, 2013
 * Conference and Workshop:    September 11-13, 2013

Submissions
===========

Authors are invited to submit long papers (no longer than 15 pages) or
short papers (no longer than 6 pages) in the following categories:

 * technical papers;
 * application papers;
 * system descriptions.

Submissions must be unpublished original work and not submitted for
publication elsewhere. However, work that already appeared in informally
published workshop proceedings may be submitted too. All submissions
must be in PDF format using LaTeX2e and the Springer llncs.cls class
file. Paper submission is electronic via the Easychair submission
system, available at

http://www.easychair.org/conferences/?conf=inap2013

All accepted papers will be published in a technical report.
As for previous joint INAP/WLP events, it is planned to publish selected
papers in a post-conference proceedings volume in the Springer Lecture
Notes in Artificial Intelligence (LNAI) series.

Conference Chair (INAP)
=======================

Ricardo Rocha (University of Porto, Portugal)

Track Chairs (INAP)
===================

Salvador Abreu (Universidade de Evora, Portugal):
   Extensions of Logic Programming
Dietmar Seipel (University of Wuerzburg, Germany):
   Databases, Deductive Databases, and Data Mining
Hans Tompits (Vienna University of Technology, Austria):
   Nonmonotonic Reasoning
Masanobu Umeda (Kyushu Institute of Technology, Japan):
   Applications and System Implementations

Program Committee (INAP)
========================

Salvador Abreu, University of Evora, Portugal
Sergio Alvarez, Boston College, USA
Christoph Beierle, FernUniversit�t in Hagen, Germany
Philippe Codognet, JFLI/CNRS at University of Tokyo, Japan
Daniel Diaz, University of Paris I, France
Ulrich Geske, University of Potsdam, Germany
Petra Hofstedt, Brandenburg University of Technology at Cottbus, Germany
Katsumi Inoue, National Institute of Informatics, Japan
Gabriele Kern-Isberner, University of Dortmund, Germany
Vitor Nogueira, Univesity of Evora, Portugal
Enrico Pontelli, New Mexico State University, USA
Ricardo Rocha, University of Porto, Portugal
Irene Rodrigues, University of Evora, Portugal
Carolina Ruiz, Worcester Polytechnic Institute, USA
Dietmar Seipel, University of Wuerzburg, Germany
Terrance Swift, Universidade Nova de Lisboa, Portugal
Hans Tompits, Technical University of Vienna, Austria
Masanobu Umeda, Kyushu Institute of Technology, Japan
Marina De Vos, University of Bath, United Kingdom
Armin Wolf, Fraunhofer FIRST, Berlin, Germany

_______________________________________________
Om-announce mailing list
Om-announce <at> openmath.org
http://openmath.org/mailman/listinfo/om-announce

Gmane