- computational.science - lists.iccsa.org

[Mycolleagues] (Extended Deadline Jan 30, 2018) Wiley Software: Practice and Experience: Special Issue on Integration of Cloud, IoT and Big Data Analytics
by Gaurav Somani 02 Jan '18

02 Jan '18

Apologies if you receive multiple copies of the same call. ______________________________________________ Call for Papers for Special Issue on Integration of Cloud, IoT and Big Data Analytics (Submission Deadline (Extended): Jan 30, 2018 Software: Practice and Experience (Wiley Press) A call on SPE website: http://onlinelibrary.wiley.com/store/10.1002/(ISSN)1097-024X /asset/homepages/Special_Issue_Proposal_CFP_SPE_Final_v4.pdf ?v=1&s=42188b687b9e225871c754b6ddffbe0354bc0551&isAguDoi=false ------------------------------------------------------------------- The modern computing edge has envisaged many technological advances which have impacted the livelihood of human being to society at large. Cloud Computing, Internet-of-Things (IoT) and Big Data Analytics are three major innovative paradigms which have changed the way computing is transforming the organizations. Most of the industry sectors are driven by information technology (IT) and all these sectors whether it is government or manufacturing enterprises, health-care or start-ups, each one of them are finding and visualizing unprecedented opportunities and growth in systems driven by these three technologies. At the level of implementation and deployment, these technologies help in preparing a practical “Software System” where the functional aspects are implemented in real software and demonstrated practically. Often, these systems are applied in public sectors such as utility, facility management, smart city projects including transport, health care and power and water distributions. On the other hand, numerous systems are also envisaged along the lines of social networks driven systems, smart homes, smart buildings, smart vehicles, smart industries where cyber physical systems are automated and managed on the basis of these three important technologies. We invite high quality papers either on the use of Cloud, IoT and Big Data Analytics for solving real world or practical problems or the application and assessment of Cloud, IoT and Big Data Analytics for solving well-known societal problems and issues. We focus on submissions that stress software practice studies, and submissions that share a variety of software system development experiences in different domains. Topics of interest include but are not limited to: - Cloud and IoT Systems/platforms for Big Data and Data analytics such as smart cities, e-commerce and cyber physical systems leading to real innovation. - Systems using Data Classification on IoT environments and mining for next generation IoT networking - Practical Software System study and evolution using Cloud Computing, IoT and Big Data Analytics - Software systems implemented for environmental and cyber physical systems sensing and computing, health care, mobile and personalized data-centered services, social networks analytics etc. - Real-time intelligence and control techniques - IoT architecture, tools and applications for Big Data analytics - Scientific Computing, Data Management and Analytics in Cloud - Software Systems for Enterprise, Government and Society, Cloud-assisted, IoT-based Cyber-Physical Systems, Resilient Infrastructures - Automatic Business Process and Workflow Management in Clouds - Research and Project Experience in Biomedical, Energy and Environment Control, Service Systems in Tourism, Transportation and Urban Planning, Vertical Markets – Telecom, Sensors, Social Networking, Smart Cities, Food and Agriculture. - Case Studies of Cloud, IoT and Big Data usage and value formation Special Issue Paper Submission This special issue invites submissions that present novel and innovative ideas. It also welcomes submissions of extended versions of the best selected papers presented in the 4th IEEE/ACM International Conference on Big Data Computing, Applications and Technologies (BDCAT 2017, http://dsr.encs.vancouver.wsu.edu/BDCAT2017/) All submissions including invited papers will undergothe regular peer review process. We seek submission of papers that present new, original and innovative ideas for the "first" time in SPE. Submission of "extended versions" of already published works (conference papers) is not encouraged unless they contain a significant number of "new and original" ideas/contributions along with more than 50% brand "new" material. If you are submitting an extended version of an already published conference paper, you must submit a cover letter/document detailing (1) the "Summary of Differences" between the SPE paper and the earlier paper, (2) a clear list of "new and original" ideas/contributions in the SPE paper (identifying sections where they are proposed/presented), (3) confirmation of the percentage of new material, and (4) the original conference paper. Otherwise, the submission will be "desk" rejected without being reviewed. While submitting paper to this issue, please select “Special Issue – On Integration of Cloud, IoT and Big Data Analytics” in the submission system. Regular Issue Submission If you have a paper on cloud computing or IoT which does not match the requirements of the Special Issue, we encourage you to submit it as a regular paper to Software: Practice and Experience. The journal has expanded its coverage to specifically include cloud computing and IoT. Important Dates Submission: Jan 30, 2018 First Notification: April 1, 2018 Revision due: May 1, 2018 Notification of final acceptance: June 1, 2018 Final revised paper due: June 15, 2018 Guest Editors Gaurav Somani Department of Computer Science and Engineering, Central University of Rajasthan, India, Email: gaurav(a)curaj.ac.in Xinghui Zhao School of Engineering and Computer Science, Washington State University, Vancouver, USA, Email: x.zhao(a)wsu.edu Satish Narayana Srirama Institute of Computer Science, University of Tartu, Estonia, Email: satish.srirama(a)ut.ee Rajkumar Buyya Cloud Computing and Distributed Systems (CLOUDS) Lab, School of Computing and Information Systems, The University of Melbourne, Australia, Email: rbuyya(a)unimelb.edu.au -- =================================================== Gaurav Somani, Assistant Professor, Department of Computer Science and Engineering, School of Engineering and Technology, Central University of Rajasthan, (Established under the Central Universities Act 2009) NH-8, Kishangarh, Ajmer, Rajasthan, India. =================================================== ------------------------------------------------------- We love you. We are sorry. Please forgive us. Thank you. _______________________________________________ Mycolleagues mailing list Mycolleagues(a)mailman.ufsc.br http://mailman.ufsc.br/mailman/listinfo/mycolleagues - Through this links above you can "subscribe", "unsubscribe", or change your settings in the list. OR - Easy unsubscribe: http://mailman.ufsc.br/mailman/options/mycolleagues

1 0

HPCS 2018 - The 16th International Conference on High Performance Computing & Simulation
by Waleed Smari 02 Jan '18

02 Jan '18

*HAPPY NEW YEAR 2018* [Sorry if you get multiple copies of this message] *Call for Papers and Participation** ** **The 2018 High Performance Computing & Simulation Conference** **(HPCS 2018)** ** **July 16 - 20, 2018** **Orléans, France** **http://hpcs2018.cisedu.info/ or http://cisedu.us/rp/hpcs18 ** ** **In Cooperation with the ACM, IEEE, IFIP** ** **(Main Track Paper Submission Deadline: _February 19, 2018_)** **(Other Conference tracks may have different submission deadlines - Please check the specific track of interest.)** * You are cordially invited to participate in this international event through paper submission, a workshop or a special session organization, a tutorial, a demo, a poster, an exhibit, a panel discussion, a doctoral dissertation, whichever sounds more appropriate and convenient to you. The conference will include invited presentations by experts from academia, industry, and government as well as contributed paper presentations describing original work on the current state of research in high performance and large scale computing systems, their design, performance and use, their use in modeling and simulation, and their applications. There will also be tutorial sessions, symposia, workshops, special sessions, demos, posters, panel discussions, doctoral colloquium, and exhibits. Conference sponsorships are welcomed. In addition to the main track, the conference will have many refereed and archived symposia, workshops and special sessions: Please see Symposia: http://hpcs2018.cisedu.info/2-conference/symposia---hpcs2018 , Workshops: http://hpcs2018.cisedu.info/2-conference/workshops---hpcs2018 , Special Sessions: http://hpcs2018.cisedu.info/2-conference/special-sessions---hpcs2018 . *SPECIAL ISSUE* Authors of selected papers will be invited to submit an extended version of their work for a special issue or more in a reputable ISI indexed Journal. HPCS Proceedings are published in IEEEXPLORE and indexed by all major indexing services including SCOPUS, EI, SCI, dblp, etc. ================================================================= *Important Dates:* *Main Track Paper and Poster Paper Submission Deadline ——— February 19, 2018** ** Tutorial/Demo/Panel/Poster Proposal Deadline ———————— February 20, 2018** ** Notification of Acceptance starts —————————————— April 07, 2018** ** Registration & Camera-Ready Manuscripts Due ——————— May 03, 2018** ** Conference Dates ———————————————————— July 16 - 20, 2018** * ================================================================= For further details and updates, please consult the conference web site at URL: http://hpcs2018.cisedu.info or http://cisedu.us/rp/hpcs18 or contact one of the organizers. We look forward to your contributions and seeing you in Orléans in July. Thank you very much. Best Regards. HPCS 2018 Organizers

1 0

15 Academic Positions at the University of Melbourne
by Uwe Aickelin 02 Jan '18

02 Jan '18

[Apologies if you receive multiple copies of this announcement] The University of Melbourne School of Computing and Information Systems is seeking applicants for 15 continuing (i.e. tenure-track / permanent ) Lecturer and Senior Lecturer positions. We seek dynamic academics with expertise in Computer Science or Information Systems who have the potential to build a stellar teaching and research career at Melbourne. The School of Computing and Information Systems is an international research leader in computer science, information systems and software engineering. In this discipline, the School was ranked number 1 in Australia and 13th in the world in the 2016 QS World University Ranking exercise. We are particularly seeking applicants with expertise in the areas of business information systems, health informatics/digital health, software engineering, cybersecurity, or high-performance and distributed systems, but applicants whose work is aligned with any of the research groups in the School are encouraged to apply. Applications close on 15 Jan 2018. The positions are advertised at http://go.unimelb.edu.au/jsp6, where the formal position description and a brochure with more information are available. Contact Karin Verspoor karin.verspoor(a)unimelb.edu.au<mailto:karin.verspoor@unimelb.edu.au> for enquiries and further information.

1 0

Fwd: CFP: J.UCS New trends in Semantic Web-based applications
by Miguel Angel Rodriguez Garcia 27 Dec '17

27 Dec '17

Apologise for duplicated emails Journal of Universal Computer Science (J.UCS) Special Issue *New trends in Semantic Web-based applications* *Description and Scope:* Semantic Web technologies are becoming more relevant to the research community. Such interest has inspired many people to create innovative technologies and applications such as Semantic Searches, Information Integration, Information Interoperability, Bioinformatics, eHealth, eLearning, Software Engineering, eCommerce, eGovernment, Social Networks. In this sense, the application of semantic web has carried out an extensive use of ontologies in such diverse fields. The application of ontologies has supposed an incredible advance in developing techniques to manipulate, share, reuse and integrate information across heterogeneous data sources. In particular, in Big Data to preserve such homogeneous format has become one of the principal problems that these tremendous datasets are facing. To face this difficulty, research areas like Natural Language Processing, Ontology Matching, Ontology Alignment or Ontology population are providing efficient methodologies based on RDF and OWL language technologies to provide standard ways to convert such datasets into Linked Data uniform format. Nowadays, the usage of Linked Data format has been established as a de facto standard; everyone wants to publish their data in such format, Social Networks, Smart cities and Context-aware mobile applications. Thus, according to this demand, the development of certain techniques to enable users to publish, visualize and manipulate their data in an easy way is high-demanded. Also, the standardization of this linked format has completely revolutionized the way of representing and analyzing data demanding new graph-based machine learning and data mining techniques to explore such representation. On the other hand, with the arrival of ontologies, fundamental questions have emerged about which kind of elements should be defined in an ontology model to specify knowledge and how this knowledge should be represented. In response to these questions, Ontological Engineering, Knowledge Representation and Reasoning research areas are working intensively to develop generic models which enable systems to employ reasoning techniques to produce knowledge. Therefore, the main objective of this special issue is to collect and consolidate innovative and high-quality research contributions regarding to semantic Web-based applications applied to different disciplines such as Artificial Intelligence, Database Management, Knowledge Representation and Engineering, Natural Language and Processing, Cloud Computing, Social Web, Web Science, among others. This special issue aims to provide insights on the recent advances in these topics by soliciting original scientific contributions in the form of theoretical foundations, models, experimental research and case studies for developing semantic Web-based applications. *Topics of interest include, but are not restricted to:* • Knowledge Representation and Reasoning • Knowledge Acquisition • Ontological Engineering • Ontology Sharing and Reuse • Ontology Matching and Alignment • Ontology Learning and Population • Semantic Web Semantic Integration of heterogeneous data sources • Natural Language Processing and Information Retrieval using Semantic technologies • Social Semantic Web and Web science • Knowledge-based Decision Support Systems • Linked Data Applications Industrial Applications and Case-studies • Context-aware visualization and interaction technique • Visualizations and user interfaces for ontologies and Linked Data • Consumption and publication of Linked Data • Extraction, linking and integration of Linked Data • Social Networks and Graph Analysis • Web mining and Web search systems • Semantic Data Management technologies for Big Data • Mobile Web, Sensors and Semantic Streams • Services, APIs, Processes and Cloud Computing • Smart Cities, Urban and Geospatial Data • Machine Learning and Data Mining for Web of Data • Solutions for bridging the gap between Web of Data and the Web of Services *Instructions for authors* Authors should submit their paper via email: miguel.rodriguez(a)urjc.es, valencia(a)um.es and galor(a)itorizaba.edu.mx and the subject of the email should be: “J.UCS SI Submission: Semantic Web”. All manuscripts for this special issue should be submitted electronically by December 29th, 2017. Submissions will be reviewed by at least 2 reviewers following a double-blind review process. Invited authors for extended versions of conference papers must include at least 30-50% additional materials relative to conference papers and the title of the extended version must clearly and unmistakably differ from the title of the paper presented at the conference. The length of the manuscript may not exceed 20 pages. Authors’ papers should accord to the J.UCS Style Guide for Authors which can be found at the following URL: http://www.jucs.org/ujs/jucs/ info/submissions/style_guide.html *Important Dates* Working schedule • Submission deadline: February 28th, 2018 • Completion of first‐round reviews: April 1st, 2018 • Revised papers: May 30th, 2018 • Target of the second (last) round of reviews: August, 15th, 2018 • Publication (tentative): 2018 *Guest Editors* • Miguel Ángel Rodríguez-García, Universidad Rey Juan Carlos, Spain ( miguel.rodriguez(a)urjc.es) • Rafael Valencia-García, Universidad de Murcia, Spain (valencia(a)um.es) • Giner Alor-Hernández, Instituto Tecnológico de Orizaba, México ( galor(a)itorizaba.edu.mx)

1 0

2nd Call for papers SS on ICPS Conference extended to January 31, 2018
by Gerardo Beruvides Lopez 26 Dec '17

26 Dec '17

Dear Colleague, We are glad to announce the second Call for Papers for the Special Session on Innovative Computational Intelligence Knowledge-based Solutions for Zero Defect Scenarios on Industrial Cyber-Physical Systems. The Special Session has been included in the 1st IEEE International Conference on Industrial Cyber-Physical Systems (IEEE ICPS 2018) programme, May 15-18, 2018, Saint Petersburg, Russia. All accepted paper will appear in IEEE Xplore Digital Library and the good quality paper may be considered for publication in IEEE Transactions on Industrial Informatics subjects to further rounds of review. Topics of interest include: - Predictive and prescriptive artificial intelligence architectures for ICPS - Real-time machine condition monitoring & diagnostic for global environments - Advance knowledge representation methodologies and ontologies - Pattern recognition and identification based on big data analytics in ICPS - Crowdsourcing and crowd cloud computing methodologies - Self-adaptive & self-reconfiguration system development methods - Virtual modelling and simulators for zero defect ICPS scenarios - Connected ICPS network sensors for smart manufacturing environments - Innovative deep learning topologies for ICPS applications Important Dates Paper submission deadline extended to: January 31, 2018 Paper acceptance: February 28, 2018 Final paper submission: March 31, 2018 Information on the IEEE ICPS 2018 will be regularly updated in the Conference website: http://icps2018.net/ I should be very grateful if you could publicize this event among your colleagues. For more information, please do not hesitate to contact me. Merry Christmas and Happy New Year, Best regards, Gerardo Beruvides SS-Chairman -- Gerardo Beruvides López, PhD Centro de Automática y Robótica, CSIC - UPM Ctra. de Campo Real Km. 0.200 La Poveda, Arganda del Rey C.P. 28500 Madrid - Spain gerardo.beruvides(a)car.upm-csic.es - http://www.gamhe.eu personal email: beruvides85(a)gmail.com Phone: (+34) 91 871 19 00 Ext. 244 Fax: (+34) 91 871 70 50

1 0

IEEE ISORC 2018 CALL FOR PAPERS
by sidharta andalam 26 Dec '17

26 Dec '17

The 21st IEEE INTERNATIONAL SYMPOSIUM ON REAL-TIME COMPUTING (ISORC) Nanyang Technological University, Singapore Dates: 29th - 31st May 2018. https://cps-research-group.github.io/ISORC2018/index.html Important dates: -------------------------- Submission deadline: February 2, 2018 Acceptance notification: March 16, 2018 Camera-ready papers: March 22, 2018 Main theme and topics: -------------------------- ISORC has become established as the leading event devoted to state-of-the-art research in the field of object/component/service-oriented real-time distributed computing (ORC) technology. The conference theme for 2018 will be decentralized time-sensitive computing and enabling software infrastructures. This theme will focus on both: (1) Cloud infrastructures and platforms for time-sensitive computation and real-time computing (2) Algorithms and Computational Infrastructure to support complex social cyber-physical systems combining edge, fog, and cloud. We solicit high-quality papers pertaining to all aspects of ORC technology and especially those that are well aligned with the 2018 theme. Authors are encouraged to consider submissions with a practical orientation and validation related to case studies & applications in this area. The specific ORC focus areas include, but are not limited to: * Programming and system engineering: real-time programming challenges, ORC paradigms, object/component models, languages and synchronous languages. * Embedded distribution middleware middleware such as .NET, RT RMI, RT Java, UML, model-maintenance, system of systems, time-predictable systems and hardware. * Distributed computing and communication infrastructures: real-time communication, networked platforms, protocols, Internet QoS, peer-to-peer computing, sensor networks, VANETS and V2V and V2I communication, trusted and dependable systems. * Algorithms for Real Time Analytics: clustering and classification approaches, stream processing algorithms, real time decision tree generation and update, real time machine learning, statistical approaches. Approaches related to stream correlation and sampling. * System software: real-time kernels and OS, middleware support for ORC, QoS management, extensibility, synchronization, resource allocation, scheduling, fault tolerance, security. * Real-time algorithms and infrastructure support for decentralized architectures including distributed ledgers with a focus on scalability and resilience. * Applications: Medical devices, intelligent transportation systems, Industrial automation systems and Industry 4.0, Internet of Things and Smart Grids, Embedded systems (automotive, avionics, consumer electronics, building systems, sensors, etc.), multimedia processing, RT Web-based applications. * System evaluation: performance analysis, monitoring & timing, dependability, end-to-end QoS, overhead, fault detection and recovery time. * Cyber-physical and Cyber-social systems (e.g. social media analytics) Submission guidelines: -------------------------- IEEE ISORC 2018 invites papers in three categories. 1) Regular Research Papers: Papers should describe original work and be maximum 8 pages in length using the IEEE paper format. A maximum of two extra pages may be purchased. 2) Industrial Papers and Practitioner Reports: Papers describing experiences of using ORC technology in application or tool development projects, are an integral part of the technical program of ISORC. A majority of these papers are expected to be shorter and less formal than research papers. They should clearly identify and discuss in detail the issues that represent notable industrial advances. Reports with project metrics supporting their claims are particularly sought, as well as those that show both benefits and drawbacks of the approaches used in the given project. 3) Short Papers: Short research papers, 4 pages or less using the IEEE format, on real-time analytics are also invited, and should contain enough information for the program committee to understand the scope of the project and evaluate the novelty of the problem or approach. Best papers from ISORC 2018 will be invited for submission to a Special Issue of Journal of Systems Architecture. The special issue will be open to general submissions as well. The call for paper is available at https://www.journals.elsevier.com/journal-of-systems-architecture/call-for-… . All accepted submissions will appear in the proceedings published by IEEE. Each accepted paper shall be accompanied by at least one non student conference registration. Organizing Committee --------------------- Arvind Easwaran, Nanyang Technological University, Singapore Paul Townend, University of Leeds, UK Joel Sherill, OAR Corporation, USA Marisol Garcia-Valls, Universidad Carlos III de Madrid, Spain Abhishek Dubey, Vanderbilt University, USA Qixin Wang, The Hong Kong Polytechnic University, Hong Kong SAR, China Rui Tan, Nanyang Technological University, Singapore Sidharta Andalam, Nanyang Technological University, Singapore Uwe Brinkschulte, Goethe University Frankfurt am Main, Germany Rob Pettit, The Aerospace Corporation, USA

1 0

Research Fellow Position in IoT Networks
by Tan Rui (Asst Prof) 26 Dec '17

26 Dec '17

A Research Fellow position is immediately available at Nanyang Technological University (NTU), Singapore. This position is part of a corporate lab initiative involving NTU and Delta Electronics, a leading electronics manufacturing company. The successful candidate will conduct research to improve the resilience of industrial IoT networks against dynamic environment conditions and cyber-attacks. The candidate should have obtained a Ph.D. degree in computer science or computer engineering (or relevant disciplines) and demonstrated strong research ability by publications on prestigious venues in networking. Knowledge and experiences on software-defined networking (SDN) are strong pluses. The candidate will work with a research team including multiple NTU faculty members and Delta engineers. The position will provide an excellent opportunity to perform both basic and translational research in close collaboration with industry. Other advantages of the position include (1) stable multi-year fund subject to satisfactory performance, (2) various opportunities in Singapore's strategic cyber resilience research cluster, e.g., Temasek Fellowship (http://www3.ntu.edu.sg/trf/index_trf.html) and (3) high-quality living and low tax rates in Singapore. Interested candidates can send CV with full publication list to Dr. Rui Tan at tanrui(a)ntu.edu.sg ~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Rui Tan Assistant Professor School of Computer Science and Engineering Nanyang Technological University ~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ________________________________ CONFIDENTIALITY: This email is intended solely for the person(s) named and may be confidential and/or privileged. If you are not the intended recipient, please delete it, notify us and do not copy, use, or disclose its contents. Towards a sustainable earth: Print only when necessary. Thank you.

1 0

Reminder: Special Issue on Dynamic Geometry and Automated Reasoning Journal Symbolic Computation
by Prof. Tomas Recio 25 Dec '17

25 Dec '17

Please help us disseminating this announcement. Sorry for duplicates. Please notice the submission deadline of February 2018! Further details follow: *** CALL FOR PAPERS *** Call for contributions to the JSC Special Issue on Dynamic Geometry and Automated Reasoning https://sites.google.com/site/kovzol/jsc-si-dg-ar <https://sites.google.com/site/kovzol/jsc-si-dg-ar> JSC=Journal of Symbolic Computation* https://www.journals <https://www.journals/>. elsevier.com/journal-of-symbolic-computation <http://elsevier.com/journal-of-symbolic-computation> GUEST EDITORS: Francisco Botana, University of Vigo, Spain Zoltán Kovács, The Private University College of Education of the Diocese of Linz, Austria Tomas Recio, University of Cantabria, Spain IMPORTANT DATES submission deadline: February 1, 2018 notification of acceptance / rejection: July 1, 2018 final versions: September 15, 2018 SCOPE: Since the last half century, automated deduction in elementary geometry has become one of the most successful achievements in the field of automated reasoning. Along these decades various methods and techniques have been studied and developed for automated proving and discovering of elementary geometry statements. On the other hand, dynamic geometry software systems have emerged, such as Cabri Geometry, C.a.R., Cinderella, DrGeo, GeoGebra, The Geometer's Sketchpad, Geometry Expert, Geometry Expressions or Kig with an ever-increasing presence in mathematics education. Some of them possess a large number of users (over thirty million) all around the world. The merging of these two tools (automatic proving and dynamic geometry) is, thus, a very natural, challenging and promising issue, currently involving logic, symbolic computation, software development, algebraic geometry and mathematics education experts all from over the world. The Special Issue intends to be an opportunity for - presenting the current state of the art concerning the development of automatic proving features on dynamic geometry systems, - discussing the current and potential applications of such features in different contexts, such as CAGD or mathematics education. TOPICS (not restricted to): - Algorithmic aspects: formal, logic and algebraic geometry approaches, constraint solving, invariant and coordinate-free methods, real and complex geometry issues, probabilistic, synthetic approaches, techniques from discrete mathematics, combinatorics, and numerics. - Software aspects: Implementation of automated proving methods in dynamic geometry programs, design of packages and systems, data representation. Parallel and distributed computing, considerations for modern hardware and new devices. User-interface issues, use with systems for digital libraries, courseware, ... - Application aspects: applications to mechanics, geometric modeling, CAGD/CAD, computer vision, robotics and education. Papers must not duplicate work already published or submitted for publication elsewhere. All the papers will be refereed according to the JSC standards. Papers should follow the guidelines for JSC submissions (see https://www.elsevier.com/journals/journal-of-symbolic-computation/0747-7171… <https://www.elsevier.com/journals/journal-of-symbolic-computation/0747-7171…>), and should be submitted through Easychair (https://easychair.org/conferences/?conf=jscdgarsi2018 <https://easychair.org/conferences/?conf=jscdgarsi2018>). The introduction of the paper must explicitly address the following questions in succinct and informal manner: - What is the problem? - Why is the problem important? - What has been done so far on the problem? - What is the main contribution of the paper on the problem? - Why is the contribution original? (see below for clarification) - Why is the contribution non-trivial? Make the paper complete (since there is no page limit): - All the related works and issues must be completely and carefully discussed. - All the previous relevant JSC papers must be properly cited and discussed. - All the theorems must be rigorously proved (no sketch allowed). - All the important definitions/theorems/algorithms must be illustrated by well-chosen examples. * An international journal, the Journal of Symbolic Computation, founded by Bruno Buchberger in 1985, is directed to mathematicians and computer scientists who have a particular interest in symbolic computation. Automated theorem proving is one of the research areas of interest highlighted in the Journal’s description. The Journal of Symbolic Computation has a 1.274 Impact Factor, according to the last Thompson Reuters Journal Citation Reports (Clarivate Analytics, 2017).

1 0

Call for Participation: COMSNETS 2018, 3 - 7 January 2018, Bangalore, India (www.comsnets.org)
by Vinayak Naik 24 Dec '17

24 Dec '17

*COMSNETS 2018, 3 - 7 January 2018, Bangalore, India* * www.comsnets.org <http://www.comsnets.org/>* Technical Co-Sponsors: *IEEE, IEEE COMSOC* In Co-operation With: *ACM, ACM SIGCOMM, ACM SIGMOBILE*, *Ministry of Electronics & Information Technology (MeitY), Government of India* Conference Patrons: *CISCO, Qualcomm, TCS, Microsoft, Google, IBM Research, Bosch, **Singapore Management University, InnAccel, Adobe, VMware, Phimetrics, LG, ICANN* The Tenth International Conference on COMmunication Systems and NETworkS (COMSNETS) will be held in Bangalore, India, during January 3-7, 2018. COMSNETS is a premier international conference dedicated to advances in Networking and Communications Systems. The conference is a yearly event for a world-class gathering of researchers from academia and industry, practitioners, and business leaders, providing a forum for discussing cutting edge research, and directions for new innovative business and technology. The conference will include a highly selective technical program consisting of submitted papers, a small set of invited papers on important and timely topics from well-known leaders in the field, and poster session of work in progress. Focused workshops and panel discussions will be held on emerging topics to allow for a lively exchange of ideas. International business and government leaders will be invited to share their perspectives, and will complement the technical program. The conference will recognize one or more papers, demos, posters, and Graduate Student forum presentations with awards. *Conference Highlights* The main conference, including keynote and invited talks, will be held from *January 4-6 2018*. The workshops will be held on the first and the last day of the conference *- January 3 and January 7* *2018.* ASSET will be held on *January 8 and January 9* *2018.* - Keynote Talks - Invited Talks - Paper Sessions - Poster Sessions - Mentoring Sessions - Panel Discussions - Graduate Student Forum - Demo & Exhibits - Mobile India 2018 - *Co-located COMSNETS Workshops* - *WACI* - *Intelligent Transportation Systems* - *Social Networking* - *NetHealth* - ASSET *2018 Banquet Speaker* - VC Gopalratnam, Cisco, India (https://www.cisco.com/c/en_in /about/executive-profiles/vc-gopalratnam.html <https://www.cisco.com/c/en_in/about/executive-profiles/vc-gopalratnam.html> ) *2018 Keynote Speakers* - Lixia Zhang, UCLA, USA (http://web.cs.ucla.edu/~lixia/) - Krishna Gummadi, Max Planck Institute for Software Systems, Germany ( https://people.mpi-sws.org/~gummadi/ <https://people.mpi-sws.org/~gummadi/>) - Dhananjay Gore, Qualcomm R&D, India (https://www.linkedin.com/in/d hananjay-gore-b2b19b1/?ppe=1) *2018 Invited Speakers* - Kirill Kogan, IMDEA Labs, Spain (http://people.networks.imdea. org/~kirill_kogan/) - Binbin Chen, ADSC, Singapore (https://adsc.illinois.edu/peo ple/binbin-chen) - Venu Veeravalli, UIUC, USA (http://vvv.ece.illinois.edu/) - Kaushik Roy Chowdhury, Norhteastern University, USA ( http://krc.coe.neu.edu/) - Mahesh K Marina, University of Edinburgh, USA ( http://homepages.inf.ed.ac.uk/mmarina/ <http://homepages.inf.ed.ac.uk/mmarina/>) - Biplab Sikdar, NUS, Singapore (https://www.ece.nus.edu.sg/st aff/bio/biplab.html) - Prasenjit Dey, IBM, IRL (https://www.linkedin.com/in/p rasenjit-dey-4082763/?ppe=1) - Georg Carle, TU Munich, Germany (https://www.net.in.tum.de/mem bers/carle/) - Raghunath Nambiar, Cisco Systems, USA (https://blogs.cisco.com/autho r/raghunathnambiar) - Lipika Dey, TCS Innovation Labs (https://www.linkedin.com/in/l ipika-dey-3381713/?ppe=1) - Josef Noll, Univ. of Oslo., Norway (https://www.mn.uio.no/its/eng lish/people/aca/jnoll/) - Ajit Rao, Qualcomm, India (https://www.linkedin.com/in/ajitvrao/) *COMSNETS 2018 General Co-Chairs* Bhaskar Krishnamachari, USC, USA Archan Misra, SMU, Singapore Ram Ramjee, Microsoft Research, India *COMSNETS 2018 Technical Program Committee Co-Chairs* Subir Biswas, MSU, USA Mun Choon Chan, NUS, Singapore Animesh Mukherjee, IIT Kharagpur, India *COMSNETS 2018 Publicity Co-Chairs* Aswhin Rao, University of Helsinki Ashutosh Nayyar, USC, USA Arash Asadi, Technical University of Darmstadt, Germany Vinayak Naik, IIIT Delhi, India

1 0

Call for Workshop & Special Session Proposals: The 3rd IEEE Cyber Science and Technology Congress (CyberSciTech 2018) - Athens, Greece, 12-15 August 2018
by Xiaokang Zhou 23 Dec '17

23 Dec '17

[Our apologies if you receive multiple copies of this CFP] ------------------------------------------------------------------------------------------------------------------------------------ CyberSciTech 2018 Call for Workshop/Special Session Proposals http://cyber-science.org/2018/workshops-special-sessions.html CyberSciTech 2018 invites Workshops and Special Sessions (SS) to enrich and broaden the research focus of the main conference ( http://cyber-science.org/2018/) The purpose is to provide a comprehensive forum on topics that will not be fully explored during the main event as well as to encourage in-depth discussion of technical and application issues related to Cyber Science and Technology. This is a unique opportunity for researchers and industry practitioners to shape the future research directions and share their original research results and practical development experiences on specific topics related to cyber science and technology. The proposals should contain the following information: • The title of the Workshop/SS, including both full name and abbreviation. • The scope and objectives (up to 1 page). • Short bios of the key organizers. • Brief plans for dissemination (e.g., how to advertise the Workshop/SS or possible submissions to special issues of journals), procedures for selecting papers (including the expected number of accepted papers), and the expected number of participants. • A tentative website/URL of the proposed Workshop/SS (optional). • If the proposed Workshop/SS has been previously organized, please also briefly describe its history (e.g., number of submissions and accepted papers, attendance, etc.) Please email your proposals in PDF format as early as possible and not later than February 10, 2018 to the Workshop Chairs at cyberscitechcongress(a)gmail.com. Please use “CyberSciTech 2018 Workshop/SS Proposal” as the email subject. Once we receive a proposal, a decision will be made in a week. Accepted proposals should follow strictly the important dates, particularly paper notification and camera-ready dates listed below. Important Dates for CyberSciTech 2018 Workshops/SS Proposal Submission Due Feb. 10, 2018 Proposal Decision Due Feb. 17, 2018 Paper Submission Due Apr. 30, 2018 Author Notification Due May 20, 2018 Camera-ready Papers Due June 15, 2018 For accepted proposals, organizers are responsible for composing the corresponding Workshop/SS program committees, advertising call for papers, reviewing submissions and planning the final program. CyberSciTech 2018 Workshop/SS Chairs will assist the organization and ensure their quality and success. The CyberSciTech 2018 organizer will provide facilities including the paper submission systems, working notes printing, meeting rooms, coffee breaks, lunches, proceedings preparation, etc. -- Xiaokang Zhou (周暁康), Ph.D. Faculty of Data Science The Center for Data Science Education and Research, Shiga University 1-1-1 Banba, Hikone, Shiga 522-8522, Japan Email: zhou(a)biwako.shiga-u.ac.jp Phone: +81-749-27-1290

1 0