- Haskell - Haskell.org

[ANN] Haskell ITA meetup in Milan, Italy (2017-02-25)
by Francesco Ariis 17 Jan '17

17 Jan '17

Good evening -cafe, the italian Haskell Community (http://haskell-ita.it/) is happy to announce its winter Haskell meetup. The event is going to be hosted in Milano, on February 25th (Saturday). It will be kindly hosted by MIKAMAI [1], Via Giulio e Corrado Venini, 42 - 20127 Milano (MI), IT [1] https://www.mikamai.com/ To register, check: https://www.metooo.io/e/incontro-haskell-ita-inverno-2017 Any haskeller (beginner, experienced, curious) is welcome! *** italian follows *** Buonasera a tutti, abbiamo finalmente deciso la data dell'incontro invernale di Haskell-ITA! Ci riuniremo il 25 Febbraio 2017 (un Sabato), presso MIKAMAI [1], che gentilmente mette i locali a disposizione. [1] https://www.mikamai.com/ L'indirizzo è: Via Giulio e Corrado Venini, 42 - 20127 Milano (MI), IT Per registrarvi: https://www.metooo.io/e/incontro-haskell-ita-inverno-2017

1 0

[SEIT 2017] SEIT 2017 final CFPs: The 7th International Conference on Sustainable Energy Information Technology (May 16-19, 2017, Madeira, Portugal)
by Wim Ectors 16 Jan '17

16 Jan '17

-------------- Call for Papers ---------------------- The 7th International Conference on Sustainable Energy Information Technology (SEIT-17) Madeira, Portugal May 16-19, 2017 Conference Website: http://cs-conferences.acadiau.ca/seit-17`/ **************************************************************************** Important Dates =========== - Workshops Proposal Due: November 1, 2016 - Paper Submission Due: January 20, 2017 (FINAL) - Acceptance Notification: February 13, 2017 - Camera-Ready Submission: March 13, 2017 The goal of the SEIT-17 conference is to provide an international forum for scientists, engineers, and managers in academia, industry, and government to address recent research results and to present and discuss their ideas, theories, technologies, systems, tools, applications, work in progress and experiences on all theoretical and practical issues arising in sustainable energy information technology. All SEIT 2017 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Sciences is hosted on www.Elsevier.com and on Elsevier content platform ScienceDirect (www.sciencedirect.com) and will be freely available worldwide. All papers in Procedia will be indexed by Scopus (www.scopus.com) and by Thomson Reuters' Conference Proceeding Citation Index http://thomsonreuters.com/conference-proceedings-citation-index/. The papers will contain linked references, XML versions and citable DOI numbers. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. All accepted papers will also be indexed in DBLP (http://dblp.uni-trier.de/) Selected papers will be invited for publication in an international journal. SEIT 2017 will be held in Madeira, a Portuguese archipelago. Madeira is a popular year-round tourist destination, known for its remarkable mountainous scenery and mild year-long climate. Although, Madeira is part of Europe it is approximately 1,000 km from the continent while being only 520 km from the coast of Africa. It is about an hour and a half flight from the capital of Portugal, Lisbon. Funchal, the picturesque capital of Madeira, is situated on the south coast of the island and one of Atlantic Oceans most popular cruise ship ports. Madeira is a scenic island with many unique destinations such as the Laurisilva forest, a UNESCO World Heritage site. SEIT-2017 will be held in conjunction with the 8th International Conference on Ambient Systems, Networks and Technologies (ANT, http://cs-conferences.acadiau.ca/ant-17/) Conference Main Topics: ================= - Advanced Techniques for Energy Applications - Energy Efficiency - Energy Policy - Environmental - Green Sustainability - Power Quality, Power Electronics and Electric Machines - Power Systems - Renewable Energies - Sensing & Monitoring - Smart Systems Committees ======== General Chair Gerrit Jan Schaeffer, The Flemish Institute of Technological Research, Belgium Bruce Spencer, University of New Brunswick, Canada Program Chairs çlvaro Henrique Rodrigues, University of Porto, Portugal Jesœs Fraile Ardanuy, Universidad PolitŽcnica de Madrid, Spain Ansar-Ul-Haque Yasar, IMOB Ð Hasselt University, Belgium Advisory Committee Bilal A. Akash, Dhofar University, Oman Antonio J. Conejo, Universidad de Castilla - La Mancha, Spain Derek J Croome, University of Reading, UK Geert Deconinck, KU Leuven, Belgium Jatin Nathwani, University of Waterloo, Canada Saffa Riffat, University of Nottingham, UK Ali Sayigh,World Renewable Energy Congress / Network Workshops Chairs Hui Hou, Wuhan University of Technology, China Haroon Malik, Marshall University, USA Publicity Chairs Mohamed Amine Ferrag, Guelma University, Algeria Seonghoon Kim, Georgia Southern University, USA Ilan Stern, Georgia Institute of Technology, USA Technical Program Committee http://cs-conferences.acadiau.ca/seit-17/#programCommittees

1 0

[ANT 2017] ANT 2017 final CFPs: The 8th International Conference on Ambient Systems, Networks and Technologies (May 16-19, 2017, Madeira, Portugal)
by Wim Ectors 16 Jan '17

16 Jan '17

The 8th International Conference on Ambient Systems, Networks and Technologies (ANT-2017) Madeira, Portugal May 16-19, 2017 Conference Website: http://cs-conferences.acadiau.ca/ant-17/ *Important Dates =========== - Workshops Proposal Due: November 1, 2016 - Paper Submission Due: January 20, 2016 (FINAL) - Acceptance Notification: February 13, 2017 - Camera-Ready Submission: March 13, 2017 ANT 2017 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Science is hosted by Elsevier on www.Elsevier.com and on Elsevier content platform ScienceDirect (www.sciencedirect.com) and will be freely available worldwide. All papers in Procedia will be indexed by Scopus ( www.scopus.com) and by Thomson Reuters' Conference Proceeding Citation Index (http://thomsonreuters.com/conference-proceedings-citation-index/) All papers in Procedia will also be indexed by Scopus (www.scopus.com) and Engineering Village (Ei) (www.engineeringvillage.com) This includes EI Compendex (www.ei.org/compendex) Moreover, all accepted papers will be indexed in DBLP (http://dblp.uni-trier.de/) The papers will contain linked references, XML versions and citable DOI numbers. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. Selected papers will be invited for publication, in the special issues of: - Journal of Ambient Intelligence and Humanized Computing (IF: 0.835), by Springer (http://www.springer.com/engineering/journal/12652) - Journal of Future Generation Computer Systems (IF: 2.430), by Elsevier ( http://www.journals.elsevier.com/future-generation-computer-systems/) - IEEE Intelligent Transportation Systems Magazine (IF: 1.547), by IEEE ( http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=5117645) - Journal of Personal and Ubiquitous Computing (IF: 1.498), by Springer ( http://www.springer.com/computer/hci/journal/779) ANT 2017 will be held in Madeira, a Portuguese archipelago. Madeira is a popular year-round tourist destination, known for its remarkable mountainous scenery and mild year-long climate. Although, Madeira is part of Europe it is approximately 1,000 km from the continent while being only 520 km from the coast of Africa. It is about an hour and a half flight from the capital of Portugal, Lisbon. Funchal, the picturesque capital of Madeira, is situated on the south coast of the island and one of Atlantic Oceans most popular cruise ship ports. Madeira is a scenic island with many unique destinations such as the Laurisilva forest, a UNESCO World Heritage site. ANT-2017 will be held in conjunction with the 7th International Conference on Sustainable Energy Information Technology (SEIT, http://cs-conferences.acadiau.ca/seit-17/) Conference Tracks ============== - Agent Systems, Intelligent Computing and Applications - Automatic Networks and Communications - Big Data and Analytics - Cloud Computing - Context-awareness and Multimodal Interfaces - Emerging Networking, Tracking and Sensing Technologies - Internet of Things - Mobile Networks, Protocols and Applications - Modeling and Simulation in Transportation Sciences - Multimedia and Social Computing - Real-time Big Data Stream Mining Architecture - Service Oriented Computing for Systems & Applications - Smart, Sustainable Cities and Climate Change Management - Smart Environments and Applications - Systems Security and Privacy - Systems Software Engineering - Vehicular Networks and Applications - General Track COMMITTEES ========= General Chairs Atta Baddi, University of Reading, UK Hossam Hassanein, Queen's University, Canada Albert Zomaya, The University of Sydney, Australia Program Chairs Ansar-Ul-Haque Yasar, IMOB Ð Hasselt University, Belgium Nuno Varandas, IPN Coimbra, Portugal Advisory Committee Reda Alhajj, University of Calgary, Canada Abdelfettah Belghith, University of Manouba, Tunisia Sajal K. Das, The University of Texas at Arlington, USA Erol Gelenbe, Imperial College, UK Ali Ghorbani, University of New Brunswick, Canada Vincenzo Loia, University of Salerno, Italy Timothy Shih, Tamkang University, Taiwan Peter Sloot, Universiteit van Amsterdam, Netherlands Ralf Steinmetz, Technische Universitaet Darmstadt, Germany Katia Sycara, Carnegie Mellon University, USA Peter Thomas, Manifesto Research, Australia Workshops Chair Stephane Galland, UTBM, France Program Vice Chairs Nik Bessis, Edge Hill University, UK Kechar Bouabdellah, Oran University, Algeria Samia Bouzefrane,CEDRIC Lab Conservatoire National des Arts et MŽtiers, France Lars Braubach, Hamburg University, Germany Amine Dhraief, Manouba University, Tunisia Roberto Di Pietro, Roma Tre University of Rome, Italy Antonio Filieri, Imperial College London, England Chaudhary Muhammad Imran, KSU, Saudi Arabia Nafaa Jabeur, GU Tech, Oman Yaser Jararweh, Jordan University of Science and Technology, Jordan Luk Knapen, IMOB Ð Hasselt University, Belgium Flavio Lombardi, Roma Tre University of Rome, Italy Haroon Malik, Marshall University, USA Nils Masuch, DAI Ð TU Berlin, Germany Ana C. R. Paiva, University of Porto, Portugal Francesco Pilla, Trinity College Dublin, Ireland Manuele Kirsch Pinheiro, University of Paris 1, France Lo'ai Tawalbeh, Umm AlQura University, KSA Yves Vanrompay, Hasselt University, Belgium International Journals Chair Michael Sheng, University of Adelaide, Australia Yongrui Qin, University of Huddersfield, UK Publicity Chairs Rui Din’s, Instituto de Telecomunica ›es, FCT-UNL, Lisbon, Portugal Sarmad Ullah Khan, CECOS University, Pakistan Josep Maria Salanova, CERT, Greece International Liaison Chairs Soumaya Cherkaoui, Sherbrooke University, Canada Paul Davidsson, Malmo University, Sweden Dino Pedreschi, University of Pisa, Italy David Taniar, Monash University, Australia Technical Program Committee http://cs-conferences.acadiau.ca/ant-17/#programCommittees Steering Committee Chair and Founder of ANT Elhadi Shakshuki, Acadia University, Canada

1 0

RV'17 - First call for papers and tutorials
by Klaus Havelund 15 Jan '17

15 Jan '17

*RV 2017* *Call for Papers and Tutorials* The 17th International Conference on Runtime Verification September 13-16, Seattle, WA, USA http://rv2017.cs.manchester.ac.uk Runtime verification is concerned with the monitoring and analysis of the runtime behaviour of software and hardware systems. Runtime verification techniques are crucial for system correctness, reliability, and robustness; they provide an additional level of rigor and effectiveness compared to conventional testing, and are generally more practical than exhaustive formal verification. Runtime verification can be used prior to deployment, for testing, verification, and debugging purposes, and after deployment for ensuring reliability, safety, and security and for providing fault containment and recovery as well as online system repair. Topics of interest to the conference include, but are not limited to: - specification languages - monitor construction techniques - program instrumentation - logging, recording, and replay - combination of static and dynamic analysis - specification mining and machine learning over runtime traces - monitoring techniques for concurrent and distributed systems - runtime checking of privacy and security policies - statistical model checking - metrics and statistical information gathering - program/system execution visualization - fault localization, containment, recovery and repair - integrated vehicle health management (IVHM) Application areas of runtime verification include cyber-physical systems, safety/mission-critical systems, enterprise and systems software, autonomous and reactive control systems, health management and diagnosis systems, and system security and privacy. We welcome contributions exploring the combination of runtime verification techniques with machine learning and static analysis. Whilst these are highlight topics, papers falling into these categories will not be treated differently from other contributions. An overview of previous RV conferences and earlier workshops can be found at: http://www.runtime-verification.org. RV 2017 will be held September 13-16 in Seattle, WA, USA. RV 2017 will feature a tutorial day (September 13), and three conference days (September 14-16). Important Dates *Papers* as well as *tutorial proposals* will follow the following timeline: - Abstract deadline: April 24, 2017 (Anywhere on Earth) - Paper and tutorial deadline: May 1, 2017 (Anywhere on Earth) - Tutorial notification: May 21, 2017 - Paper notification: June 26, 2017 - Conference: September 13-16, 2017 General Information on Submissions All papers and tutorials will appear in the conference proceedings in an LNCS volume. Submitted papers and tutorials must use the LNCS/Springer style detailed here: http://www.springer.de/comp/lncs/authors.html Papers must be original work and not be submitted for publication elsewhere. Papers must be written in English and submitted electronically (in PDF format) using the EasyChair submission page here: https://easychair.org/conferences/?conf=rv17 The page limitations mentioned below include all text and figures, but exclude references. Additional details omitted due to space limitations may be included in a clearly marked appendix, that will be reviewed at the discretion of reviewers, but not included in the proceedings. At least one author of each accepted paper and tutorial must attend RV 2017 to present. Paper Submissions There are three categories of papers which can be submitted: regular, short or tool papers. Papers in each category will be reviewed by at least 3 members of the Program Committee. - *Regular Papers* (up to 15 pages, not including references) should present original unpublished results. We welcome theoretical papers, system papers, papers describing domain-specific variants of RV, and case studies on runtime verification. - *Short Papers* (up to 6 pages, not including references) may present novel but not necessarily thoroughly worked out ideas, for example emerging runtime verification techniques and applications, or techniques and applications that establish relationships between runtime verification and other domains. - *Tool Demonstration Papers* (up to 8 pages, not including references) should present a new tool, a new tool component, or novel extensions to existing tools supporting runtime verification. The paper must include information on tool availability, maturity, selected experimental results and it should provide a link to a website containing the theoretical background and user guide. Furthermore, we strongly encourage authors to make their tools and benchmarks available with their submission. The Program Committee of RV 2017 will give a best paper award, and a selection of accepted regular papers will be invited to appear in a special issue of the Springer Journal on Formal Methods in System Design <http://link.springer.com/journal/10703>. Tutorial Submissions Tutorials are two-to-three-hour presentations on a selected topic. Additionally, tutorial presenters will be offered to publish a paper of up to 20 pages in the LNCS conference proceedings, not including references. A proposal for a tutorial must contain the subject of the tutorial, a proposed timeline, a note on previous similar tutorials (if applicable) and the differences to this incarnation, and a brief biography of the presenter. The proposal should not exceed 2 pages. Organization *General Chair* Klaus Havelund <http://www.havelund.com/>, NASA Jet Propulsion Laboratory, USA *Program Chairs* Giles Reger <http://www.cs.man.ac.uk/~regerg/>, University of Manchester, UK Shuvendu Lahiri <https://www.microsoft.com/en-us/research/people/shuvendu/>, Microsoft Research, USA *Finance Chair* Oleg Sokolsky <http://www.cis.upenn.edu/~sokolsky/>, University of Pennsylvania, USA *Publicity Chair* Ayoub Nour <http://www-verimag.imag.fr/~nouri/>i, University of Grenoble Alpes, France *Local Organisation Chairs* Grigory Fedyukovich <http://homes.cs.washington.edu/~grigory/about.html>, University of Washington, USA Rahul Kumar <http://rahulku.com/>, Microsoft Research, USA *Program Committee* Wolfgang Ahrendt <http://www.cse.chalmers.se/~ahrendt/>, Chalmers Univ. of Technology/Univ. of Gothenburg, Sweden Cyrille Artho <https://people.kth.se/~artho/>, KTH Royal Institute of Technology, Sweden Howard Barringer <http://www.manchester.ac.uk/research/Howard.barringer/>, The University of Manchester, UK Ezio Bartocci <http://www.eziobartocci.com/>, Vienna University of Technology, Austria Andreas Bauer <http://www.immerundewig.at/>, KUKA Systems, Germany Saddek Bensalem <http://www-verimag.imag.fr/~bensalem/>, VERIMAG (University of Grenoble Alpes), France Eric Bodden <http://www.bodden.de/>, Fraunhofer SIT and Technische University Darmstadt, Germany Borzoo Bonakdarpour <http://www.cas.mcmaster.ca/borzoo/>, McMaster University, Canada Christian Colombo <https://www.um.edu.mt/ict/cs/staff/christian_colombo>, University of Malta, Malta Ylies Falcone <http://www.ylies.fr/>, University of Grenoble Alpes, France Grigory Fedyukovich <http://homes.cs.washington.edu/~grigory/about.html>, University of Washington, USA Lu Feng <https://www.cs.virginia.edu/~lufeng/>, University of Virginia, USA Patrice Godefroid <https://patricegodefroid.github.io/>, Microsoft Research, USA Jean Goubault-Larrecq <http://www.lsv.ens-cachan.fr/~goubault/>, CNRS & ENS de Cachan, France Alex Groce <http://eecs.oregonstate.edu/people/groce-alex>, Northern Arizona University, USA Radu Grosu <https://ti.tuwien.ac.at/cps/people/grosu>, Vienna University of Technology, Austria Sylvain Hallé <http://leduotang.ca/sylvain/>, University of Québec at Chicoutimi, Canada Marieke Huisman <http://wwwhome.ewi.utwente.nl/~marieke/>, University of Twente, Netherlands Franjo Ivancic <https://sites.google.com/site/ivancic/>, Google Bengt Jonsson <http://user.it.uu.se/~bengt/>, Uppsala University, Sweden Felix Klaedtke <https://sites.google.com/site/felixklaedtkeshomepage/>, NEC Europe Ltd. Rahul Kumar <http://rahulku.com/>, Microsoft Research, USA Kim Larsen <http://people.cs.aau.dk/~kgl/>, Aalborg University, Denmark Insup Lee <http://www.cis.upenn.edu/~lee/home/home/index.shtml>, University of Pennsylvania, USA Axel Legay <https://people.irisa.fr/Axel.Legay/>, Inria Rennes, France Martin Leucker <https://www.isp.uni-luebeck.de/leucker>, University of Lübeck, Germany Ben Livshits <http://research.microsoft.com/en-us/um/people/livshits/>, Microsoft Research, USA David Lo <http://www.mysmu.edu/faculty/davidlo/>, Singapore Management University, Singapore Francesco Logozzo <https://www.linkedin.com/in/francesco-logozzo-4106386>, Facebook Parthasarathy Madhusudan <http://madhu.cs.illinois.edu/>, University of Illinois at Urbana-Champaign, USA Leonardo Mariani <http://www.lta.disco.unimib.it/lta/personalPages/leonardoMariani/leonardoMa…>, University of Milan Bicocca, Italy Madanlal Musuvathi <https://www.microsoft.com/en-us/research/people/madanm/> , Microsoft Research Ayoub Nouri <http://www-verimag.imag.fr/~nouri/>, University of Grenoble Alpes, France Gordon Pace <http://www.cs.um.edu.mt/gordon.pace/>, University of Malta, Malta Doron Peled <http://u.cs.biu.ac.il/~doronp/>, Bar Ilan University, Israel Grigore Rosu <http://fsl.cs.illinois.edu/index.php/Grigore_Rosu>, University of Illinois at Urbana-Champaign, USA Veselin Raychev <http://www.srl.inf.ethz.ch/raychev.php>, ETH Zurich, Switzerland Cesar Sanchez <http://software.imdea.org/~cesar/>, IMDEA Software Institute, Spain Gerardo Schneider, <http://www.cse.chalmers.se/~gersch/> Chalmers Univ. of Technology/Univ. of Gothenburg, Sweden Rahul Sharma <https://cs.stanford.edu/people/sharmar/>, Microsoft Research, USA Julien Signoles <http://julien.signoles.free.fr/index.en.html>, CEA LIST, France Scott Smolka <http://www3.cs.stonybrook.edu/~sas/>, Stony Brook University, USA Oleg Sokolsky <https://www.cis.upenn.edu/~sokolsky/>, University of Pennsylvania, USA Bernhard Steffen <http://ls5-www.cs.tu-dortmund.de/cms/de/mitarbeiter/prof/Bernhard_Steffen.h…> , University of Dortmund, Germany Scott Stoller <http://www3.cs.stonybrook.edu/~stoller/>, Stony Brook University, USA Volker Stolz <http://www.mn.uio.no/ifi/personer/vit/stolz/>, University of Olso, Norway Frits Vaandrager <http://www.cs.ru.nl/~fvaan/>, Radboud University, Netherlands Neil Walkinshaw <http://www2.le.ac.uk/departments/informatics/people/neil-walkinshaw>, University of Leicester, UK Chao Wang <http://www-bcf.usc.edu/~wang626/>, University of Southern California, USA Eugen Zalinescu <http://www2.in.tum.de/hp/Main?nid=315>, Technische Universitat München, Germany

1 0

SPLASH’17 Call for Contributions: Workshops
by Ronald Garcia 14 Jan '17

14 Jan '17

/************************************************************************************/ ACM Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH'17) Vancouver, Canada October 22-27, 2017 http://2017.splashcon.org <http://2017.splashcon.org/> Sponsored by ACM SIGPLAN /************************************************************************************/ CALL FOR CONTRIBUTIONS: Workshops /************************************************************************************/ ## SPLASH Workshops Following its long-standing tradition, SPLASH 2017 will host a variety of high-quality workshops, allowing their participants to meet and discuss research questions with peers, to mature new and exciting ideas, and to build up communities and start new collaborations. SPLASH workshops complement the main tracks of the conference and provide meetings in a smaller and more specialized setting. Workshops cultivate new ideas and concepts for the future, optionally recorded in formal proceedings. ## Call for Submissions: We encourage proposals for workshops on any topic relevant to SPLASH. If there is a topic relevant to SPLASH that you feel passionate about, and you want to connect with others who have similar interests, you should consider submitting a proposal to organize a workshop! The exact format of the workshop can be defined by the proposal submitters, and we more than welcome new, and unconventional ideas for workshop formats. The following suggestions may serve as a starting point: - Mini-conferences provide their participants the possibility to present their work to other domain experts. The smaller and more specialized setting of the workshop allows for more extensive Q&A sessions and facilitates ample discussions,which may continue after the workshop. Typically, presentations of work-in-progress as well as of completed projects are welcome. The workshop may or may not produce formal proceedings. - Retreats act as a platform for domain experts to gather with the purpose of tackling the issues of a predetermined research agenda. Retreats are highly interactive and goal-oriented, allowing their participants to address open challenges in their domain, to explore new, uncharted ideas, and to (maybe even) uncover new, promising research domains. - Agenda-setting workshops provide a forum for domain experts to determine a research agenda for a sub-field, and may include collaborations on an agenda document that is published after the workshop is over. Other common activities at workshops include poster sessions, hands-on practical work, and focus groups. Proposal submitters should feel free to direct questions about workshop formats to the workshop chairs. Workshops that include presentation of research papers, and that implement a SIGPLAN-approved selection process, may be archived as formal proceedings in the ACM Digital Library; note that this option is available only to submitters to the early phase. ## Workshop Submission Phase: This year, SPLASH provides two options to submit proposals, either Early Phase or Late Phase (but not both): Early Phase Submissions due: 20 January 2017 Late Phase Submissions due: 3 March 2017 ## Information Website: http://2017.splashcon.org/track/splash-2017-Workshops <http://2017.splashcon.org/track/splash-2017-Workshops> Email: workshops(a)splashcon.org <mailto:workshops@splashcon.org> ## Organization: SPLASH General Chair: Gail Murphy (University of British Columbia) OOPSLA Papers Chair: Jonathan Aldrich (Carnegie Mellon University) Workshops Co-Chairs: Craig Anslow (Middlesex University, London) and Alex Potanin (Victoria University of Wellington) /************************************************************************************/

1 0

CFP: DCOSS 2017 *EXTENDED DEALINE* - January 20th, 2017
by RODOLFO IPOLITO MENEGUETTE 13 Jan '17

13 Jan '17

=================================================== Call-For-Papers: 13th DCOSS 2017 Ottawa, Canada, June 5 - 7, 2017 http://www.dcoss.org/ ==================================================== IMPORTANT: Paper Submission (Extended): January 20th, 2017 =================================================== ------ DCOSS 2017 is the 13th International Conference on Distributed Computing in Sensor Systems to be hosted in Ottawa, Canada in June 5-7, 2017. Due to their potential of impacting an entire host of application areas, distributed sensor systems have become a highly visible research area. The focus of DCOSS series of conferences is on distributed computing issues in large scale networked sensor systems, including, but not limited to, algorithms and applications, systems design techniques and tools, and in-network signal and information processing. DCOSS puts together a highly selective program where it primes for quality and innovation on works. Potential authors are invited to submit original unpublished manuscripts that demonstrate current research on computational aspects of distributed sensor systems. Topics of interest include but are not limited to: Social networks and applications Sensors for smart grid systems, green networks and sustainability Computation and programming models Energy models, minimization, awareness Distributed collaborative information processing Detection and tracking Theoretical performance analysis: complexity, correctness, scalability Abstractions for modular design Fault tolerance and security Task allocation, reprogramming and reconfiguration Dynamic resource management Scalable, heterogeneous architectures (node and system-level) Middleware interfaces, communication and processing primitives Design, simulation and optimization tools for deployment and operation Design automation and application synthesis techniques Closed-loop control for sensing and actuation Case studies: lessons from real world deployments Network coding and compression Paper Submission and Publication: High-quality original papers are solicited. Papers must be unpublished and must not be submitted for publication elsewhere. All papers will be reviewed by Technical Program Committee members and other experts active in the field to ensure high quality and relevance to the conference. Please submit your paper through EDAS link ( https://edas.info/N23046 ). More detailed instructions about paper submissions can be fount at the link below. - http://www.dcoss.org/ Important Dates: Paper Submission Deadline (Extended): 20th January, 2017 Organizing Committee: GENERAL CHAIR Azzedine Boukerche, University of Ottawa, Canada PROGRAM CO-CHAIRS Salil Kanhere, University of New South Wales, Australia Soumaya Charkaoui, University of Sherbrooke, Canada

1 0

CFP: DCOSS 2017 *EXTENDED DEALINE* - January 20th, 2017
by Robson De Grande 12 Jan '17

12 Jan '17

=================================================== Call-For-Papers: 13th DCOSS 2017 Ottawa, Canada, June 5 - 7, 2017 http://www.dcoss.org/ ==================================================== IMPORTANT: Paper Submission (Extended): January 20th, 2017 =================================================== ------ DCOSS 2017 is the 13th International Conference on Distributed Computing in Sensor Systems to be hosted in Ottawa, Canada in June 5-7, 2017. Due to their potential of impacting an entire host of application areas, distributed sensor systems have become a highly visible research area. The focus of DCOSS series of conferences is on distributed computing issues in large scale networked sensor systems, including, but not limited to, algorithms and applications, systems design techniques and tools, and in-network signal and information processing. DCOSS puts together a highly selective program where it primes for quality and innovation on works. Potential authors are invited to submit original unpublished manuscripts that demonstrate current research on computational aspects of distributed sensor systems. Topics of interest include but are not limited to: Social networks and applications Sensors for smart grid systems, green networks and sustainability Computation and programming models Energy models, minimization, awareness Distributed collaborative information processing Detection and tracking Theoretical performance analysis: complexity, correctness, scalability Abstractions for modular design Fault tolerance and security Task allocation, reprogramming and reconfiguration Dynamic resource management Scalable, heterogeneous architectures (node and system-level) Middleware interfaces, communication and processing primitives Design, simulation and optimization tools for deployment and operation Design automation and application synthesis techniques Closed-loop control for sensing and actuation Case studies: lessons from real world deployments Network coding and compression Paper Submission and Publication: High-quality original papers are solicited. Papers must be unpublished and must not be submitted for publication elsewhere. All papers will be reviewed by Technical Program Committee members and other experts active in the field to ensure high quality and relevance to the conference. Please submit your paper through EDAS link (https://edas.info/N23046) More detailed instructions about paper submissions can be fount at the link below. - http://www.dcoss.org/ Important Dates: Paper Submission Deadline (Extended): January 20th, 2017 Organizing Committee: GENERAL CHAIR Azzedine Boukerche, University of Ottawa, Canada PROGRAM CO-CHAIRS Salil Kanhere, University of New South Wales, Australia Soumaya Charkaoui, University of Sherbrooke, Canada

1 0

[FNC-Conf] FNC 2017 CFPs: The 12th International Conference on Future Networks and Communications (July 24-26, 2017, Leuven, Belgium)
by Wim Ectors 11 Jan '17

11 Jan '17

------------------------------------------------------------------------ The 12th International Conference on Future Networks and Communications (FNC) July 24-26, 2017 Leuven, Belgium http://cs-conferences.acadiau.ca/fnc-17/ ------------------------------------------------------------------------ Future Networks and Communications (FNC) research effort will help achieving a major promise of the emerging technologies such as, ubiquitous access to broadband, supporting vital applications in our daily lives such as health, energy consumption, environment transport, entertainment or education. The scope of FNC is the development of energy-efficient future network infrastructures that support the convergence and interoperability of heterogeneous mobile, wired and wireless broadband network technologies as enablers of the future Internet. This includes but not limited to ubiquitous fast broadband access and ultra-high speed end-to-end optical connectivity, supporting open services and innovative ambient applications. Scope also embraces novel and evolutionary approaches to tackle network architectures, taking due consideration of users and societal needs for success. Important Dates ---------------- - Workshop Proposal Due: January 20, 2017 - Paper Submission Due: March 8, 2017 - Acceptance Notification: April 28, 2017 - Final Manuscript Due: May 28, 2017 Publication ------------ All FNC 2017 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Science is hosted by Elsevier on www.Elsevier.com and on Elsevier content platform ScienceDirect (www.sciencedirect.com) and will be freely available worldwide. All papers in Procedia will be indexed by Scopus ( www.scopus.com) and by Thomson Reuters' Conference Proceeding Citation Index (http://thomsonreuters.com/conference-proceedings-citation-index/) All papers in Procedia will also be indexed by Scopus (www.scopus.com) and Engineering Village (Ei) (www.engineeringvillage.com) This includes EI Compendex (www.ei.org/compendex) Moreover, all accepted papers will be indexed in DBLP (http://dblp.uni-trier.de/) The papers will contain linked references, XML versions and citable DOI numbers. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. Selected papers will be invited for publication, in the special issues of: - Journal of Ambient Intelligence and Humanized Computing (IF: 0.835), by Springer (http://www.springer.com/engineering/journal/12652) - Journal of Future Generation Computer Systems (IF: 2.430), by Elsevier ( http://www.journals.elsevier.com/future-generation-computer-systems/) FNC 2017 will be held in conjunction with the 14th International Conference on Mobile Systems and Pervasive Computing (MobiSPC http://cs-conferences.acadiau.ca/mobispc-17/) FNC 2017 will be gel in the city of Leuven. Leuven is the capital of the province of Flemish Brabant in Belgium. It is located about 25 kilometres (16 miles) east of Brussels. It is the 10th largest municipality in Belgium and the fourth in Flanders. Leuven is home to the Katholieke Universiteit Leuven, the largest and oldest university of the Low Countries and the oldest Catholic university still in existence. The related university hospital of UZ Leuven, is one of the largest hospitals of Europe. The city is also known for being the headquarters of Anheuser-Busch InBev, the world's largest brewer and one of the five largest consumer-goods companies in the world. COMMITTEES: ----------- General Chairs Atta Badii, University of Reading, UK Soumaya Cherkaoui, Sherbrooke University, Canada Program Chairs Ansar-Ul-Haque Yasar, IMOB Ð Hasselt University, Belgium Haroon Malik, Marshall University, USA Advisory Committee Erol Gelenbe, Imperial College, UK Roch Glitho, Concordia University, Canada Zygmunt J. Haas, Cornell University, USA Philippe Martins, Telecom Paris Tech, France Peter Sloot, Universiteit van Amsterdam, Netherlands Ralf Steinmetz, Technische Universitaet Darmstadt, Germany David Taniar, Monash University, Australia Mohamed Younis, University of Maryland Baltimore County, USA Workshops Chairs Zahoor Khan, Higher Colleges of Technology, UAE International Journals Chair Bin Guo, Northwestern Polytechnical University, China Publicity Chairs Wim Ectors, Hasselt University, Belgium Yaser Jararweh, Jordan University of Science and Technology, Jordan Bjšrn A. Johnsson, Lund University, Sweden Technical Program Committee http://cs-conferences.acadiau.ca/fnc-17/#programCommittees Steering Committee Chair Elhadi Shakshuki, Acadia University, Canada

1 0

First School on Foundations of Programming and Software systems -- Probabilistic programming
by Renato Neves 10 Jan '17

10 Jan '17

It is our greatest pleasure to announce the first edition of the School on Foundations of Programming and Software systems. The school is jointly funded by EATCS, ETAPS, ACM SIGLOG, and ACM SIGPLAN. The topic of the first edition is Probabilistic programming. It will take place in Braga, Portugal, May 29th - June 4th 2017. Probabilistic programming languages are used for modelling and analysis purposes across multiple areas of computer science, including machine learning, security, and quantitative biology. In particular, they provide a rigorous foundation for machine learning where they are used to describe probabilistic models and to perform inference in presence of uncertain information. Probabilistic programs are also used in cryptography and in privacy for modelling and quantifying security. The goal of the school is to introduce attendants to theoretical and practical aspects of programming languages, and will propose courses that cover the following topics: semantics, analysis, verification, applications to machine learning, privacy, and security. The school will have lectures by Andy Gordon, Catuscia Palamidessi, Christel Baier, Dexter Kozen, Frank Wood, Hongseok Yang, Javier Esparza, Michael Carbin, Peter Selinger, Prakash Panangaden, Sriram Sankaranarayanan, and Vitaly Shmatikov. For more information please check the school webpage http://probprogschool2017.di.uminho.pt/ If you have any queries feel free to contact the organisers. Best wishes, Luis Barbosa Gilles Barthe Joost-Pieter Katoen Renato Neves Alexandra Silva

1 0

[MobiSPC-Conf] MobiSPC 2017 CFPs: The 14th International Conference on Mobile Systems and Pervasive Computing (July 24-26, 2017, Leuven, Belgium)
by Wim Ectors 10 Jan '17

10 Jan '17

---------------------------------------------------------------------------- The 14th International Conference on Mobile Systems and Pervasive Computing (MobiSPC) July 24-26, 2017 Leuven, Belgium http://cs-conferences.acadiau.ca/mobispc-17/ ---------------------------------------------------------------------------- Mobile Systems and Pervasive Computing (MobiSPC) have evolved into an active area of research and development. This is due to the tremendous advances in a broad spectrum of technologies and topics, including wireless networking, mobile and distributed computing, sensor systems, RFID technology, and the ubiquitous mobile phone. MobiSPC-2017 solicits papers that focus on the theory, systems, practices and challenges of providing users with a successful mobile or wireless experience. This includes how mobile computing changes how people pervasively use their computers, computing resources and applications, as well the systems, services and technologies enabling those applications. MobiSPC-2017 will provide a leading edge, scholarly forum for researchers, engineers, and students alike to share their state-of-the art research and developmental work in the broad areas of pervasive computing and mobile systems. Important Dates ---------------- - Workshop Proposal Due: January 20, 2017 - Paper Submission Due: March 8, 2017 - Acceptance Notification: April 28, 2017 - Final Manuscript Due: May 28, 2017 Publication ------------ All MobiSPC 2017 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Science is hosted by Elsevier on www.Elsevier.com and on Elsevier content platform ScienceDirect (www.sciencedirect.com) and will be freely available worldwide. All papers in Procedia will be indexed by Scopus ( www.scopus.com) and by Thomson Reuters' Conference Proceeding Citation Index (http://thomsonreuters.com/conference-proceedings-citation-index/) All papers in Procedia will also be indexed by Scopus (www.scopus.com) and Engineering Village (Ei) (www.engineeringvillage.com) This includes EI Compendex (www.ei.org/compendex) Moreover, all accepted papers will be indexed in DBLP (http://dblp.uni-trier.de/) The papers will contain linked references, XML versions and citable DOI numbers. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. Selected papers will be invited for publication, in the special issues of: - Journal of Ambient Intelligence and Humanized Computing (IF: 0.835), by Springer (http://www.springer.com/engineering/journal/12652) - Journal of Future Generation Computer Systems (IF: 2.430), by Elsevier ( http://www.journals.elsevier.com/future-generation-computer-systems/) MobiSPC 2017 will be held in conjunction with the 12th International Conference on Future Networks and Communications (FNC, http://cs-conferences.acadiau.ca/fnc-17/) MobiSPC 2017 will be held in the city of Leuven. Leuven is the capital of the province of Flemish Brabant in Belgium. It is located about 25 kilometres (16 miles) east of Brussels. It is the 10th largest municipality in Belgium and the fourth in Flanders. Leuven is home to the Katholieke Universiteit Leuven, the largest and oldest university of the Low Countries and the oldest Catholic university still in existence. The related university hospital of UZ Leuven, is one of the largest hospitals of Europe. The city is also known for being the headquarters of Anheuser-Busch InBev, the world's largest brewer and one of the five largest consumer-goods companies in the world. Conference Tracks --------------- - Component-based IoT - Enabling Technologies and Emerging Topics - Internet of Things (IoT) - Mobile Cloud Computing - Mobile Data Management - Mobile Social Networking - Pervasive Computing - Smart Cities and Ubiquitous Climate Change Management - Smart Communities and Ubiquitous Systems - Mobile Systems and Applications Committees: ----------- General Chairs Danny Hughes, K. U. Leuven, Belgium Hossam Hassanein, Queen's University, Canada Program Chairs Ansar-Ul-Haque Yasar, IMOB – Hasselt University, Belgium Stéphane Galland, Université de Technologie de Belfort-Montbéliard, France Advisory Committee Nirwan Ansari, New Jersey Institute of Technology, USA Abdelfettah Belghith, University of Manouba, Tunisia Flavien Balbo, Ecole Nationale Superieure des Mines de Saint Etienne, France Erol Gelenbe, Imperial College, UK Noël de Palma, Université de Grenoble, France Ralf Steinmetz, Technische Universitaet Darmstadt, Germany David Taniar, Monash University, Australia Mohamed Younis, University of Maryland Baltimore County, USA Workshops Chairs Zahoor Khan, Higher Colleges of Technology, UAE Tracks Chairs Habib M. Ammari, Norfolk State University, USA Longbiao Chen, Xiamen University, China Danny Hughes, K. U. Leuven, Belgium Nafaa Jabeur, German University of Technology, Oman Jason J. Jung, Chung-Ang University, Korea Marc Körner, TUB Berlin, Germany Prashant Kumar, University of Surrey, UK Nawaz Mohamudally, University of Technology, Mauritius Francesco Piccialli, University of Naples, Federico II, Italy Christian Poellabauer, University of Notre Dame, USA M. Elena Renda, Istituto di Informatica e Telematica - CNR, Italy Michael Sheng, University of Adelaide, Australia Leye Wang, Hong Kong University of Science and Technology, China Publicity Chairs Mikhail Gofman, California State University of Fullerton, USA Pedro E. Lopez-de-Teruel, Spain Mario Henrique Cruz Torres, K.U. Leuven, Belgium Technical Program Committee http://cs-conferences.acadiau.ca/mobispc-17/#programCommittees Steering Committee Chair Elhadi Shakshuki, Acadia University, Canada

1 0