March 2022 - Haskell - Haskell.org

The 19th International Conference on Mobile Systems and Pervasive Computing (MobiSPC)
by Orven Llantos 04 Mar '22

04 Mar '22

-- Apologies for cross-posting. -- ---------------------------------------------------------------------------- The 19th International Conference on Mobile Systems and Pervasive Computing (MobiSPC) Niagara Falls, Canada August 9-11, 2022 http://cs-conferences.acadiau.ca/mobispc-22/ ---------------------------------------------------------------------------- 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-2022 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-2022 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: February 21, 2022 - Paper Submission Due: March 19, 2022 - Acceptance Notification: May 17, 2022 - Final Manuscript Due: June 14, 2022 Publication ------------ All MobiSPC 2022 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: - International Journal of Ambient Intelligence and Humanized Computing (IF: 7.104), by Springer (http://www.springer.com/engineering/journal/12652) - International Journal of Computing and Informatics (IF: 0.524), ( http://www.cai.sk/ojs/index.php/cai/index) - International Journal of Transportation Research Part A: Policy and Practice (IF: 5.594), by Elsevier ( https://www.journals.elsevier.com/transportation-research-part-a-policy-and…) - International Journal of Computer and Telecommunications Networking (IF: 3.030) (Pending), Elsevier ( https://www.journals.elsevier.com/computer-networks) MobiSPC 2022 will be held in conjunction with the 17th International Conference on Future Networks and Communications (FNC, http://cs-conferences.acadiau.ca/fnc-21/) MobiSPC 2022 will be held in Niagara Falls, Ontario, Canada. Known globally for its picturesque waterfalls on the Niagara River situated on the border of New York and Ontario. Niagara Falls is a very popular tourist destination that offers not only breathtaking scenery, but also a range of attractions and activities, many of which are in close proximity to the conference venue. Enjoy a unique culinary experience in restaurants with a view of the falls, visit the Niagara Parks Botanical Gardens, take a journey behind the falls, or experience a cruise tour to get closer than ever to the iconic Horseshoe Falls. Just 130km from Ontario’s capital city of Toronto, experiencing the charm of Niagara Falls makes it a destination you’ll want to visit again and again. Conference Tracks --------------- - Component-based IoT - Enabling Technologies and Emerging Topics - Internet of Things - 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 Chair Hossam Hassanein, Queen's University, Canada Program Chairs Ridha Khedri, McMaster University, Canada Ansar-Ul-Haque Yasar, IMOB – Hasselt University, Belgium Workshops' Chair Stephane Galland, UTBM, France Tracks Chairs Wael Alghamdi, The University of New South Wales, Australia Salimur Choudhury, Lakehead University, Canada Stéphane Galland, Université de Technologie de Belfort-Montbéliard, France Uneb Gazger, University of Bahrain, Bahrain Camille Kamga, The City College of New York, USA Faouzi Kammoun, ESPRIT, Tunisia Witold Maranda, Lodz University of Technology, Poland Hamid Mcheick, UQAC, Canada Wendy Osborn, University of Lethbridge, Canada Aneta Poniszewska-Maranda, Lodz University of Technology, Poland Rahim Rahmani, Stockholm University, Sweden Qussai Yaseen, Jordan University of Science and Technology, Jordan International Journals Chair Atta Badii, Reading University, UK Publicity Chairs Hana Gharrad, Hasselt University, Belgium Orven E. Llantos, MSU-IIT, Philippines Shashank Swarup, Acadia University, Canada Advisory Committee Nirwan Ansari, New Jersey Institute of Technology, USA Flavien Balbo, Ecole Nationale Superieure des Mines de Saint Etienne, France Erol Gelenbe, Imperial College, UK Vincenzo Loia, University of Salerno, Italy Ralf Steinmetz, Technische Universitaet Darmstadt, Germany David Taniar, Monash University, Australia Mohamed Younis, University of Maryland Baltimore County, USA Technical Program Committee http://cs-conferences.acadiau.ca/mobispc-22/#programCommittees Steering Committee Chair Elhadi Shakshuki, Acadia University, Canada -- Orven E. Llantos, PhD Associate Professor School of Computer Studies MSU-IIT -- ---*DISCLAIMER AND CONFIDENTIALITY NOTICE* The Mindanao State University-Iligan Institute of Technology <http://www.iit.edu.ph/> (MSU-IIT) makes no warranties of any kind, whether expressed or implied, with respect to the MSU-IIT e-mail resources it provides. MSU-IIT will not be responsible for damages resulting from the use of MSU-IIT e-mail resources, including, but not limited to, loss of data resulting from delays, non-deliveries, missed deliveries, service interruptions caused by the negligence of a MSU-IIT employee, or by the User's error or omissions. MSU-IIT specifically denies any responsibility for the accuracy or quality of information obtained through MSU-IIT e-mail resources, except material represented as an official MSU-IIT record. Any views expressed in this e-mail are those of the individual sender and may not necessarily reflect the views of MSU-IIT, except where the message states otherwise and the sender is authorized to state them to be the views of MSU-IIT. The information contained in this e-mail, including those in its attachments, is confidential and intended only for the person(s) or entity(ies) to which it is addressed. If you are not an intended recipient, you must not read, copy, store, disclose, distribute this message, or act in reliance upon the information contained in it. If you received this e-mail in error, please contact the sender and delete the material from any computer or system.

1 0

Postdoc and PhD position in homotopy type theory
by Nicolai Kraus 03 Mar '22

03 Mar '22

Dear all, I would like to invite applications for one postdoctoral position and one PhD position in homotopy type theory or related areas at the University of Nottingham, UK. Our group in Nottingham has three academics (Ulrik Buchholtz, Thorsten Altenkirch, myself) and multiple PhD students working in the field. We have regular seminars and discussions, which offer a great environment to learn and collaborate. (1) Postdoc position The starting date for the postdoc position is flexible and it will initially be for 15 months (i.e. 15 months are guaranteed, extensions are likely but will depend on the funder). The position comes without teaching obligations. The current call primarily addresses applicants who have experience in homotopy type theory, but if you are working in a related area and would be interested to switch to the field, please feel free to contact me. As postdoc (officially: "research fellow"), you will be employed by the University of Nottingham with all employment benefits (pension etc). Details on the position are available here: https://www.nottingham.ac.uk/jobs/currentvacancies/ref/SCI022322 The application deadline is the 3rd of April. For any questions or expressions of interest, feel free to contact me (see email address at the end of this message). (2) PhD position The PhD position is for four years, includes all tuition fees, and comes with a stipend at the UKRI standard (currently approx. £15600 annually, increases with inflation). The stipend is free from tax or other deductions. You will not be obliged to teach but there will be opportunities to teach, paid on top of the stipend. I will consider applications until the position is filled. If you are interested, please contact me (see email below). Best wishes, Nicolai nicolai.kraus(a)nottingham.ac.uk or nicolai.kraus(a)gmail.com

1 0

FNC'22 CfPs: The 17th International Conference on Future Networks and Communications (August 9-11, Niagara Falls, Canada)
by Jacob Speiran 02 Mar '22

02 Mar '22

Call for Papers The 17th International Conference on Future Networks and Communications Niagara Falls, Ontario, Canada August 9-11, 2022 http://cs-conferences.acadiau.ca/fnc-22/ ------------------------------------------------------------------------ Future Networks and Communications (FNC) research effort will help achieve a major promise of 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 is not limited to ubiquitous fast broadband access and ultra-high-speed end-to-end optical connectivity, supporting open services and innovative ambient applications. The scope also embraces novel and evolutionary approaches to tackle network architectures, considering users and societal needs for success. Important Dates - Workshop Proposal Due: February 21, 2022 - Paper Submission Due: March 19, 2022 - Acceptance Notification: May 17, 2022 - Final Manuscript Due: June 14, 2022 Publication All FNC 2022 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series online. 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 following special issues: - International Journal of Ambient Intelligence and Humanized Computing (IF: 7.104), by Springer (http://www.springer.com/engineering/journal/12652) - International Journal of Computing and Informatics (IF: 0.524), ( http://www.cai.sk/ojs/index.php/cai/index) - International Journal of Transportation Research Part A: Policy and Practice (IF: 5.594), by Elsevier ( https://www.journals.elsevier.com/transportation-research-part-a-policy-and…) - International Journal of Computer and Telecommunications Networking (IF: 3.030) (Pending), Elsevier ( https://www.journals.elsevier.com/computer-networks) FNC 2022 will be held in conjunction with the 19th International Conference on Mobile Systems and Pervasive Computing (MobiSPC http://cs-conferences.acadiau.ca/mobispc-22/) FNC 2022 will be held in Niagara Falls, Ontario, Canada. Known globally for its picturesque waterfalls on the Niagara River situated on the border of New York and Ontario. Niagara Falls is a very popular tourist destination that offers not only breathtaking scenery, but also a range of attractions and activities, many of which are in close proximity to the conference venue. Enjoy a unique culinary experience in restaurants with a view of the falls, visit the Niagara Parks Botanical Gardens, take a journey behind the falls, or experience a cruise tour to get closer than ever to the iconic Horseshoe Falls. Just 130km from Ontario’s capital city of Toronto, experiencing the charm of Niagara Falls makes it a destination you’ll want to visit again and again. COMMITTEES: General Chair Ladislav Hluchy, Institute of Informatics, Slovak Academy of Sciences, Slovakia Program Chairs Jamal Bentahar, Concordia University, Canada Haroon Malik, Marshall University, USA Local Chairs Maen Artimy, Canada Hassan Raza, Canada Workshops Chair Stéphane Galland, UTBM, France International Journals Chair Atta Badii, Reading University, UK Publicity Chairs Wim Ectors, Hasselt University, Belgium Kanimozhi Kalaichelvan, Palo Alto Networks, USA Jake Speiran, Acadia University, Canada Advisory Committee Soumaya Cherkaoui, Sherbrooke University, Canada 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 David Taniar, Monash University, Australia Technical Program Committee http://cs-conferences.acadiau.ca/fnc-22/#programCommittees

1 0