Special issue on Empirical Evidence on Software Product Line Engineering
2013-11-29 19:50:21 GMT
Last days for the submission to IIKI2013.
The submission deadline to IIKI2013 is Aug. 25, 2013. Please kindly check the attached CFP and your circulation are really welcome and appreciated.
Looking forward to meeting you in the most beautiful Fall of Beijing.
Note that this event is co-sponsored by the IEEE ComSoc Internet of Things Emerging Technical Committee, and some special issues will be edited from the top papers of the event.
If you have any question, please send an email to: Yunchuan Sun yunch <at> bnu.edu.cn
<div><div dir="ltr"> <div class="gmail_quote"> <div dir="ltr"> <div class="gmail_quote"> <p>Dear colleagues,</p> <p>Last days for the submission to IIKI2013. </p> <p>The submission deadline to IIKI2013 is Aug. 25, 2013. Please kindly check the attached <span>CFP</span> and your circulation are really welcome and appreciated.</p> <p>Looking forward to meeting you in the most beautiful Fall of Beijing.</p> <p>Note that this event is co-sponsored by the <span>IEEE</span> <span>ComSoc</span> Internet of Things Emerging Technical Committee, and some special issues will be edited from the top papers of the event.</p> <p>If you have any question, please send an email to: <span>Yunchuan</span> Sun <span>yunch</span> <at> <span>bnu</span>.<span>edu</span>.<span>cn</span></p> <p>Best wishes,</p> <span></span> </div> <span>IIKI</span> 2013 Organization Committee</div> </div> <br> </div></div>
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ================================================== 29th Annual ACM Symposium on Applied Computing Software Verification and Testing Track March 24 - 28, 2014, Gyeongju, Korea More information: http://fmt.cs.utwente.nl/conferences/sac-svt2014/ and http://www.acm.org/conferences/sac/sac2014/ =================================================== Important dates --------------- * September 13, 2013: Submission deadline * November 15, 2013: Notification of acceptance/rejection * December 6, 2013: Camera-ready versions due ACM Symposium on Applied Computing ---------------------------------- The ACM Symposium on Applied Computing (SAC) has gathered scientists from different areas of computing over the past twenty-eight years. The forum represents an opportunity to interact with different communities sharing an interest in applied computing. SAC 2014 is sponsored by SIGAPP and will be held at the he historic city of Gyeongju (knows as the Museum without Walls) in Korea. Software Verification and Testing Track --------------------------------------- We invite authors to submit new results in formal verification and testing, as well as development of technologies to improve the usability of formal methods in software engineering. Also welcome are detailed descriptions of applications of mechanical verification to large scale software. Possible topics include, but are not limited to: - model checking - theorem proving - correct by construction development - model-based testing - verification-based testing - symbolic execution - static and run-time analysis - abstract interpretation - analysis methods for dependable systems - software certification and proof carrying code - fault diagnosis and debugging - verification of large scale software systems - real world applications and case studies applying software verification Submissions Guidelines ---------------------- Paper submissions must be original, unpublished work. Submissions should be in electronic format, via the START site: https://www.softconf.com/d/sac2014/. Author(s) name(s) and address(es) must not appear in the body of the paper, and self-reference should be avoided and made in the third person. Submitted paper will undergo a blind review process. Authors of accepted papers should submit an editorial revision of their papers that fits within six two-column pages (an extra two pages, to a total of eight pages, may be available at a charge). Please comply to this page limitation already at submission time. Accepted papers will be published in the ACM SAC 2014 proceedings. Paper registration is required, allowing the inclusion of the paper/poster in the conference proceedings. An author or a proxy attending SAC MUST present the paper. This is a requirement for the paper/poster to be included in the ACM/IEEE digital library. No-show of scheduled papers and posters will result in excluding them from the ACM/IEEE digital library. A special issue of Science of Computer Programming has been confirmed. Selected papers will be invited for submission, and will be peer-reviewed according to the standard policy of Science of Computer Programming. Student Research Competition ---------------------------- As before, SAC 2013 organises a Student Research Competition (SRC) Program to provide graduate students the opportunity to meet and exchange ideas with researchers and practitioners in their areas of interest. Guidelines and information about the SRC program can be found at http://www.acm.org/conferences/sac/sac2014/. Submission to the SRC program should be in electronic form via the following website https://www.softconf.com/d/sac-src2014. Program Committee ----------------- Marco Faella, University of Naples, Italy Thierry Jeron, IRISA/INRIA Rennes, France Yves Le Traon, University of Luxembourg, Luxembourg Keqin Li, SAP Product Security Research, France Yang Liu, Nanyang Technological University, Singapore Annabelle McIver, Macquarie University, Australi Mercedes Merayo, Universidad Complutense de Madrid, Spain Stephan Merz, INRIA Nancy, France MohammadReza Mousavi, Halmstad University, Sweden Brian Nielsen, Aalborg University, Denmark Jun Pang (co-chair), University of Luxembourg, Luxembourg Hongyang Qu, University of Sheffield, UK Hasan Sözer, Özyeğin University, Turkey Marielle Stoelinga (co-chair), University of Twente, Netherlands Lijun Zhang, Chinese Academy of Sciences, China
CFP: MR.BDI2013 - The 2013 International Symposium on MapReduce and Big Data Infrastructure, 03-05 December 2013, Sydney, Australia. Website: http://www.swinflow.org/confs/mrbdi2013/ Key dates: Deadline for Paper Submission: August 25, 2013 Notification of Acceptance: September 22, 2013 Camera Ready Copies: October 15, 2013 Registration Due: October 15, 2013 Submission website: https://www.easychair.org/conferences/?conf=mrbdi2013 Proceedings Publication: Proceedings will be published by IEEE CS Press (EI index). Special issues: Distinguished papers will be recommended to special issues in Concurrency and Computation: Practice and Experience; Journal of Network and Computer Applications, Personal and Ubiquitous Computing, Journal of Systems and Software, Journal of Computer and System Sciences, and IEEE Transactions on Emerging Topics in Computing. Topics (not limited to): · Challenges and Opportunities in MapReduce based Big Data Tools and Applications · Recent Development in MapReduce and Big Data Infrastructure · Developping, Debugging and Testing Issues of MapReduce based Big Data Tools · Performace Tuning and Optimization for MapReduce and Big Data Infrastructure · Benchmarking, Evaluation, Simulation for MapReduce based Big Data Tools · Iterative / Recursive MapReduce Systems · Computational Theory for MapReduce based Systems · Extension of the MapReduce Programming Paradigm · Distributed File Systems for MapReduce and Emerging Big Data Tools · Algorithm Analysis and Design with MapReduce Paradigm · Resource Scheduling and SLA of MapReduce for Multiple Users · Heterogeneity and Fault-tolerance in MapReduce based Systems and Big Data Infrastructure · Privacy, Security, Trust and Risk in MapReduce and Big Data Infrastructure · Integration of MapReduce and Emerging Big Data Tools with Cloud / Grid Systems · MapReduce in Hybrid / Fabricated / Federated Cloud Systems · Social Networks Analyses with MapReduce · Data Mining, Analytics, and Visualization using MapReduce · Big Stream / Incremental Data Processing using MapReduce · Big Scientific, Genomic and Healthcare Data Processing with MapReduce · Industrial Experience and Use Cases of MapReduce based Applications · Recent Development Open Source Big Data Infrastructure Submission Guidelines Submit your paper(s) in PDF file at the MR.BDI2013 submission site: https://www.easychair.org/conferences/?conf=mrbdi2013. Papers should be limited up to 8 pages in IEEE CS format. The template files for LATEX or WORD can be downloaded from http://www.swinflow.org/confs/mrbdi2013/. All papers will be peer reviewed by two or three PC members. Submitting a paper to the symposium means that if the paper is accepted, at least one author should register to BDSE2013 and attend the conference to present the paper. General Chairs Albert Y. Zomaya, Sydney University, Australia Geoffrey Charles Fox, Indiana University, USA Jinjun Chen, University of Technology, Sydney, Australia Program Chairs Xuyun Zhang, University of Technology Sydney, Australia (xyzhanggz@... ) Suraj Pandey, IBM Australia Research Lab, Australia (suraj.pandey@... ) Surya Nepal, CSIRO, Australia (surya.nepal@...)
Dear Colleagues, Due to numerous requests, we have extended the submission deadline of the 2nd International Conference on Context-Aware Systems and Applications(ICCASA 2013) (http://www.iccasa.org/2013) which is going to take place in Phu Quoc, Vietnam from 25-26 November 2013 to *07 August 2013*. Please encourage your colleagues and students to submit their papers. As usual, in addition to ICCASA 2013 proceedings being published by Springer, we have organized a number of special issues in reputable international journals. Hope to see you in Phu Quoc, Vietnam in November. Best wishes, -- Dr. Phan Cong Vinh ICCASA General Chair
Apologies for cross-postings. Please send it to interested colleagues and students. Thanks! CALL FOR PAPERS, EXTENDED ABSTRACTS, POSTERS, WORKSHOPS AND TUTORIALS ****************************************************** World Congress on Sustainable Technologies (WCST-2013) Technical Co-Sponsored by IEEE UK/RI Computer Chapter 9-12 December, 2013 London, UK www.wcst.org ****************************************************** The World Congress on Sustainable Technologies (WCST-2013) is a multidisciplinary congress, bridging efforts across the natural, social and engineering sciences, the environment and development of communities. The congress covers a wide spectrum of topics that relate to sustainability, which includes technical and non-technical research areas. It also encourages sharing new knowledge in the field of sustainable technologies and the environmental impacts. The mission of WCST-2013 is to provide the opportunities for collaboration and reflection that have the potential to greatly enhance the infrastructure and capacity for conducting and applying art, science and technology for sustainability. The WCST bridges the gap between academia and industry by creating awareness of current development in sustainable technologies. The topics in WCST-2013 include but are not confined to the following areas: Sustainable Energy Technologies: * Bio-energy and Geo-energy * Energy * Energy in Transportation Systems * Energy Efficiency in Utilization * Environmental Issues * Energy Harvesting * Energy Storage Systems * Energy Storage Systems * Energy Market, Management and Economics * Energy Resources for Portable Electronics * Energy Efficiency in Utilization * Geothermal energy * Intelligent Energy, Power Transmission Distribution, Interconnects and Protection * Materials for Energy Resources * Nanotechnology in Energy * New Enabling Technologies * New Materials for Energy Resources and RF and Magnetic Field Energy Devices * Off-grid Isolated Energy Systems * Policy Issues on Renewable Energy * Power Electronics and Energy Conversion * Renewable Energy and Biofuels Renewable Energy Managements, Economics and Environmental Impact: * Climate Change * Energy from waste * Environmental assessments * Environmental issues * Environmental policies and planning * Hazardous Chemical * Innovative use of Renewable Raw Materials * Offshore pollution and oil spills * Pollution prevention * Sustainable waste management technologies * Sustainability impact assessments and tools Education: * Environmental Education * Education and Training * E-Society (e-Learning, e-Health, e-Medicine, e-Governance, e-Business, e-Art, e-Science) Green Computing: * Advanced IT energy-aware technologies * Green Computing Geo-energy * E-Cycling * E-Inclusion * Electronic waste * Energy Efficient Ethernet * IT energy management * Power-aware software * Power-efficient architectures and chip designs * Component level power management, e.g., memory, disk. * Power aware networking * Smart Grids applications * Technology as Green Enablers (Grid, Cloud, Data Centers, Virtualization) Sustainable Building Design: * Building Design and System * Creative Industries * Industrial Developments * Low and zero energy houses and buildings * New Insulation materials and techniques * New building materials and recycling * Photovoltaics and Solar Thermal Sustainability and Policy: * Sustainable Applications * Sustainable Development Policy * Sustainable Innovations * Sustainable Technology Programme Waste Management: * Agricultural wastes * Industrial waste management * Medical wastes * Mining and mineral wastes * Nuclear and hazardous waste * Waste from electronic and electrical equipment (WEEE) * Waste water treatment All the accepted papers will appear in the proceedings and modified version of selected papers will be published in special issues peer reviewed journals. **Paper/Extended Abstract Submission: - To submit a paper/extended absract, please visit http://www.wcst.org/Paper%20Submission.html or email your paper/extended paper to papers@... or extendedabstract@... **Workshop/Tutorial Submission: - Please email your Workshop/Tutorial proposal to stw@... **Poster/Demo Submission: - Please email your poster to poster@... and demo@... Important Dates: *Full Paper Submission Date: September 15, 2013 *Notification of Paper Acceptance/Rejection: September 30, 2013 *Extended Abstract (Work in Progress) Submission Date: September 01, 2013 *Notification of Extended Abstract Acceptance/Rejection: September 15, 2013 *Proposal for Workshops and Tutorials: September 01, 2013 *Notification of Workshop and Tutorial Acceptance: September 25, 2013 *Poster/Demo Submission Date: August 31, 2013 *Notification of Poster/Demo Acceptance: September 15, 2013 *Camera Ready Extended Abstract Due: October 15, 2013 *Camera Ready Paper Due: October 25, 2013 *Early Registration Deadline: June 01, 2013 - September 30, 2013 *Late Registration Deadline: October 01, 2013 - November 30, 2013 *Conference Dates: December 09-12, 2013 For further details, please visit www.wcst.org
I want to add that we prefer students from the US for reason of simpler logistics. From: Seetharaman, Srinivasan Sent: Tuesday, July 30, 2013 10:09 AM To: tccc@... Subject: Internship position at Deutsche Telekom Innovation Center for Fall 2013 Hi Deutsche Telekom Innovation Center (in Mountain View, CA) has an internship opening in the area of Software-defined Networking for Fall 2013. We work on quite a few exploratory projects in the topics of cloud network virtualization, L4-L7 services, workload migration, and software-defined wide-area networking. We are looking for a PhD student, with a proven record of scholarly output, to conduct systems' research within the context of our ongoing project on L4-L7 network functions. If you are interested and believe you're a fit, please send your CV to sdnjobs@...<mailto:sdnjobs@...> Thanks Srini. -- Technical Lead, Software-defined Networking Deutsche Telekom Silicon Valley Innovation Center Mountain View CA 94043, USA
Hi Deutsche Telekom Innovation Center (in Mountain View, CA) has an internship opening in the area of Software-defined Networking for Fall 2013. We work on quite a few exploratory projects in the topics of cloud network virtualization, L4-L7 services, workload migration, and software-defined wide-area networking. We are looking for a PhD student, with a proven record of scholarly output, to conduct systems' research within the context of our ongoing project on L4-L7 network functions. If you are interested and believe you're a fit, please send your CV to sdnjobs@... Thanks Srini. -- Technical Lead, Software-defined Networking Deutsche Telekom Silicon Valley Innovation Center Mountain View CA 94043, USA
8th International Symposium on Wireless Pervasive Computing 2013 Taipei, Taiwan, 20-22 November 2013, www.iswpc.org/2013/<http://www.iswpc.org/2013/> **** TECHNICALLY CO-SPONSORED BY IEEE COMMUNICATIONS SOCIETY********* **** PROCEEDINGS IN IEEEXPLORER****** Selected papers will be published in 1. Journal of Ad-hoc and Wireless Sensor Networks (Impact Factor 0.3) 2. Journal of Information Science (Elesevier) IF = 3.64 3. Journal of Wireless Networks and Broadband Technologies ****** CALL FOR PAPERS Wireless pervasive computing is a rapidly growing area that has attracted significant attention due to its potential impact on the quality of life. To enable wireless pervasive computing, it is necessary to integrate technologies from the fields of distributed computing, networking, communications and signal processing. The aim of this symposium is to provide a platform for researchers in the area of wireless pervasive computing and related areas to showcase their results, launch new ideas, as well as to interact with other researchers. The scope of this symposium covers concepts and all enabling technologies of wireless pervasive computing. This includes a huge variety of topics ranging from wireless communications and networking to services and applications of pervasive computing. A series of panel and tutorials will also seek to inform and invoke interaction among researchers. Prospective authors are invited to submit original technical papers for presentation at the conference. Full papers have to be submitted via EDAS (http://edas.info/N14639). The maximum number of pages allowed is six. Proposals for tutorials are also solicited, addressing emerging topics that relate to technical issues in wireless communications and applications. Contributions are sought in (but not limited to) the following areas: * Wireless peer-to-peer * Wireless mesh networks * Inter and intra vehicular communications * Wireless sensor networks * Green pervasive computing * Advanced localization and tracking techniques * Wireless video and multimedia * Pervasive computing applications * QoE in wireless systems * Wireless security * Cross-layer design * Wireless routing * Wireless network coding * Ad-hoc networks * Emergency networks * Relay assisted and cooperative communications * UWB * Propagation and channel characterization * MIMO and multi-antenna communications * Smart antennas * CDMA, TDMA and FDMA air interface * Wireless access techniques * WPANs and WLANs * OFDM, OFDMA * Wi-MaX * UMTS and LTE * Game theory in wireless networks Mobile Social Networking * White-space Wi-Fi * Cognitive Radio Networks Important Deadlines Submission of full papers and proposals: 4th August 2013 Acceptance notification: 24th August 2013 Final camera ready copy: 14th September 2013 Dr. Naveen Chilamkurti SMIEEE Director of Academic Studies and Senior Lecturer Department of Computer Science and Computer Engineering La Trobe University, Melbourne Campus Room BG 138, Ph: 9479 1269, Fax 9479 3060 Web: http://homepage.cs.latrobe.edu.au/naveen/ _______________________________________________ IEEE Communications Society Tech. Committee on Computer Communications (TCCC) - for discussions on computer networking and communication. Tccc@... https://lists.cs.columbia.edu/cucslists/listinfo/tccc