- Air-L - lists.aoir.org

New sources for evaluation purposes
by Isidro F. Aguillo 05 Sep '16

05 Sep '16

New edition of the **Ranking Web of Universities** with web data for 26000+ Higher Education Institutions collected during July 2016, Scimago Excellence data for the period 2009-2014 and ranks from the Transparent Ranking built with citations figures extracted from Google Scholar institutional profiles are now available: http://www.webometrics.info/en You can check also the updates of several rankings of individual authors: Top researchers with h-index>100 http://www.webometrics.info/en/node/177 China http://www.webometrics.info/en/node/177 Hong Kong http://www.webometrics.info/en/node/174 Macau http://www.webometrics.info/en/node/149 Finally, it has also refreshed the **Ranking Web of Repositories** http://repositories.webometrics.info/ -- ************************************************************** Isidro F. Aguillo Dr. Honoris Causa Universitas Indonesia Dr. Honoris Causa National Research Nuclear University Moscow Editor Rankings Web Cybermetrics Lab - Scimago Group, IPP-CSIC Madrid. SPAIN isidro.aguillo(a)csic.es ORCID 0000-0001-8927-4873 ResearcherID: A-7280-2008 Scholar Citations SaCSbeoAAAAJ Twitter @isidroaguillo Rankings webometrics.info *************************************************************** --- El software de antivirus Avast ha analizado este correo electrónico en busca de virus. https://www.avast.com/antivirus

1 0

FM 2016: 21st International Symposium on Formal Methods -- Call for Participation
by Announce Announcements 04 Sep '16

04 Sep '16

---------------------------------------------------------------------------------- **** CALL FOR PARTICIPATION **** FM 2016: 21st International Symposium on Formal Methods Limassol, Cyprus, 7-11 November 2016 fm2016.cs.ucy.ac.cy Early Registration Deadline: 6 October 2016 ---------------------------------------------------------------------------------- FM 2016, the 21st International Symposium on research and practice in Formal Methods, will be held this year on the ancient and beautiful Mediterranean island of Cyprus. Every 18 months, the FM symposium attracts practitioners and researchers from industry and academia to present and discuss the most recent results and experience in formal methods. Those who join us in Cyprus this year will enjoy a highly selective programme of papers covering the broad range of formal methods, as well as a featured track on industry practice. Workshops will provide an opportunity to work in smaller groups on current challenges; tutorials will allow the acquisition of new skills; and a doctoral symposium will offer advice and encouragement to researchers just beginning their careers in this exciting and rapidly evolving field. The conference will take place in Limassol, Cyprus. Limassol is the second largest city in Cyprus. It is located on the south coast of the island, between the ancient towns of Amathus and Kourion. Limassol is renowned for its extensive cultural traditions, and it offers a wide spectrum of activities and a number of museums and archaeological sites to the interested visitor. Indeed, this richly cultured, cosmopolitan, seaside city has become one of the most important tourism destinations in Cyprus. The venue of the summer school will be the 5-star St. Raphael Resort, located on one of the most renowned and largest beaches, only a short coastal drive from the lively centre of Limassol. REGISTRATION You can register at the FM 2016 website: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=YWlyLUwJCQlhaXItTEBsaXN0c2Vydi… HIGHLIGHTS - 44 regular papers and ten short papers reflecting the current state of research and practice in formal methods, including a track on industry practice - Three world-class keynote speakers - A Doctoral Symposium, six specialist workshops and eight tutorials - Presentation of the first FME Lucas Award for a Highly Influential Publication - Launch of Springer's new LNCS Formal Methods subline KEYNOTE SPEAKERS - Manfred Broy, Technical University of Munich, Germany - Peter O'Hearn, University College London and Facebook, UK - Jan Peleska, University of Bremen and Verified Software International, Germany WORKSHOPS (http://fm2016.cs.ucy.ac.cy/workshops.html) - ESSS 2016: 5th International Workshop on Engineering Safety and Security Systems - F-IDE 2016: 3rd Workshop on Formal Integrated Development Environment - FM-Priv 2016: 1st Workshop on Formal Methods for Privacy - Overture 2016: 14th Overture Workshop - TLA+ 2016: International Workshop on the TLA+ Method and Tools - USE 2016: 2nd Workshop on Usages of Constraint Solving and Symbolic Execution DOCTORAL SYMPOSIUM (http://fm2016.cs.ucy.ac.cy/cfpdoctoralsymposium.html) This symposium aims to provide a helpful environment in which selected PhD students can present and discuss their ongoing work, meet other students working on similar topics, and receive helpful advice and feedback from a panel of researchers and academics. - Keynote Speaker: John S. Fitzgerald, Newcastle University, UK TUTORIALS (http://fm2016.cs.ucy.ac.cy/tutorials.html ) - Abstraction and Rely/Guarantee Thinking Tutors: Cliff Jones, Newcastle University, UK; Ian Hayes, University of Queensland, AU - Compositional Verification using AADL and the Assume Guarantee Reasoning Environment (AGREE) Tutor: Michael Whalen, University of Minnesota, USA - Cyber-Physical Systems Engineering: Next Generation Foundations, Methods and Tools Tutors: John Fitzgerald, Newcastle University, UK; Peter Gorm Larsen, Aarhus University, DK; Jim Woodcock, University of York, UK; Ken Pierce, Newcastle University, UK; Simon Foster, University of York, UK - First-Order Theorem Proving and Vampire Tutors: Laura Kovacs, Chalmers University of Technology, SE; Andrei Voronkov, University of Manchester, UK - KeYmaera X Tutorial - Tactics and Proofs for Cyber-Physical Systems Tutors: Stefan Mitsch, Carnegie Mellon University, USA; Nathan Fulton, Carnegie Mellon University, USA; André Platzer, Carnegie Mellon University, USA - Modelling and Analysis of Collective Adaptive Systems Tutors: Jane Hillston, University of Edinburgh, UK; Michele Loreti, Università di Firenze, IT - Session Types for Concurrent and Distributed Programming: Principles and Practice Tutors: Raymond Hu, Imperial College London, UK; Jorge A. Pérez, University of Groningen, NL; Nobuko Yoshida, Imperial College London, UK - The CProver Suite of Verication Tools Tutors: Daniel Kroening, University of Oxford, UK; Martin Brain, University of Oxford, UK; Peter Schrammel, University of Sussex, UK ACCEPTED PAPERS (Research Track) Li Li, Jun Sun and Jin Song Dong. Automated Verification of Timed Security Protocols with Clock Drift Victor B. F. Gomes and Georg Struth. Modal Kleene Algebra Applied to Program Correctness Artem Khyzha, Alexey Gotsman and Matthew Parkinson. A Generic Logic for Proving Linearizability Antonio E. Flores Montoya. Upper and Lower Amortized Cost Bounds of Programs Expressed as Cost Relations Ian J. Hayes, Robert Colvin, Larissa Meinicke, Kirsten Winter and Andrius Velykis. An algebra of synchronous atomic steps Zhe Hou, David Sanan, Alwen Tiu, Yang Liu and Koh Chuen Hoa. An Executable Formalisation of the SPARCv8 Instruction Set Architecture: A Case Study for The LEON3 Processor Nikola Benes, Lubos Brim, Martin Demko, Samuel Pastva and David ?afránek. A Model Checking Approach to Discrete Bifurcation Analysis Mahieddine Dellabani, Saddek Bensalem, Jacques Combaz and Marius Bozga. Local Planning of Multiparty Interactions with a Bounded Horizon Adel Djoudi, Sébastien Bardin and Éric Goubault. Recovering high-level conditions from binary programs Thomas Letan, Pierre Chifflier, Guillaume Hiet, Benjamin Morin and Ludovic Mé. SpecCert: Verifying Hardware-based Security Enforcement Hanno Becker, Juan Manuel Crespo, Jacek Galowicz, Ulrich Hensel, Yoichi Hirai, César Kunz, Keiko Nakata, Jorge Luis Sacchini, Hendrik Tews and Thomas Tuerk. Combining Mechanized Proofs and Model-Based Testing in the Formal Analysis of a Hypervisor Dimitra Giannakopoulou, Dennis Guck and Johann Schumann. Exploring Model Quality for ACAS X Rajdeep Mukherjee, Saurabh Joshi, Andreas Griesmayer, Daniel Kroening and Tom Melham. Equivalence Checking of a Floating-point Unit Against a High-level C Model Yusuke Kawamoto, Fabrizio Biondi and Axel Legay. Hybrid Statistical Estimation of Mutual Information for Quantifying Information Flow Bat-Chen Rothenberg and Orna Grumberg. Sound and Complete Mutation-Based Program Repair Miran Hasanagic, Peter Gorm Larsen, Peter W. V. Tran-Jørgensen and Kenneth Lausdahl. Formalising and Validating the Interface Description in the FMI standard Zhengfeng Yang, Chao Huang, Xin Chen, Wang Lin and Zhiming Liu. A Linear Programming Relaxation Based Approach for Generating Barrier Certificates of Hybrid Systems Ofer Strichman and Maor Veitsman. Regression Verification for unbalanced recursive functions Cristina David, Pascal Kesseli, Daniel Kroening and Matt Lewis. Danger Invariants Gaogao Yan, Li Jiao, Yangjia Li, Shuling Wang and Naijun Zhan. Approximate Bisimulation and Discretization of Hybrid CSP Tsutomu Kobayashi, Fuyuki Ishikawa and Shinichi Honiden. Refactoring Refinement Structures of Event-B Machines Pingfan Kong, Yi Li, Xiaohong Chen, Jun Sun, Meng Sun and Jingyi Wang. Towards Concolic Testing for Hybrid Systems Mingshuai Chen, Martin Fränzle, Yangjia Li, Peter N. Mosaad and Naijun Zhan. Validated Simulation-Based Verification of Delayed Differential Dynamics Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo and Wei-Ngan Chin. Automated Mutual Explicit Induction Proof in Separation Logic Stanislav Böhm, Ond?ej Meca and Petr Jancar. State-Space Reduction of Non-deterministically Synchronizing Systems Applicable to Deadlock Detection in MPI Christoph-Simon Senjak and Martin Hofmann. An Implementation of Deflate in Coq Gudmund Grov, Yuhui Lin and Vytautas Tumas. Mechanised Verification Patterns for Dafny Heinrich Ody, Martin Fränzle and Michael R. Hansen. Discounted Duration Calculus Lacramioara Astefanoaei, Saddek Bensalem, Marius Bozga, Chih-Hong Cheng and Harald Ruess. Compositional Parameter Synthesis Ori Lahav and Viktor Vafeiadis. Explaining Relaxed Memory Models with Program Transformations Amirhossein Vakili and Nancy Day. Finite Model Finding Using the Logic of Equality with Uninterpreted Functions Saksham Chand, Annie Liu and Scott Stoller. Formal Verification of Multi-Paxos for Distributed Consensus Aleksandar S. Dimovski, Claus Brabrand and Andrzej Wasowski. Finding Suitable Variability Abstractions for Family-Based Analysis Anton Wijs, Thomas Neele and Dragan Bosnacki. GPUexplore 2.0: Unleashing GPU Explicit-State Model Checking Pedro Antonino, Thomas Gibson-Robinson and Bill Roscoe. Tighter Reachability Criteria for Deadlock-Freedom Analysis Yuqi Chen, Christopher M. Poskitt and Jun Sun. Towards Learning and Verifying Invariants of Cyber-Physical Systems by Code Mutation Gilles Nies, Holger Hermanns, Marvin Stenger, Morten Bisgaard, David Gerhardt and Jan Kr?ál. Battery-Aware Scheduling in Low Orbit: The GomX-3 Case Alessandro Cimatti, Sergio Mover and Mirko Sessa. From Electrical Switched Networks to Hybrid Automata Claudio Menghi, Paola Spoletini and Carlo Ghezzi. Dealing with Incompleteness in Automata-based Model Checking Parosh Aziz Abdulla, Mohamed Faouzi Atig and Bui Phi Diep. Counter-Example Guided Program Verification Andrew Sogokon, Khalil Ghorbal and Taylor T Johnson. Decoupled simulating abstractions of non-linear ordinary differential equations Georgios Giantamidis and Stavros Tripakis. Learning Moore Machines from Input-Output Traces Andreas Holzer, Daniel Schwartz-Narbonne, Mitra Tabaei Befrouei, Georg Weissenbacher and Thomas Wies. Error Invariants for Concurrent Traces ACCEPTED PAPERS (Industry Track - http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=YWlyLUwJCQlhaXItTEBsaXN0c2Vydi… Teodor Stoenescu, Alin Stefanescu, Sorina Predut and Florentin Ipate. RIVER: A Binary Analysis Framework using Symbolic Execution and Reversible x86 Instructions Roberto Cavada, Alessandro Cimatti, Luigi Crema, Mattia Roccabruna and Stefano Tonetta. Model-Based Design of an Energy-System Embedded Controller using Taste Bjørnar Luteberget, Christian Johansen, Claus Feyling and Martin Steffen. Rule-based Incremental Verification Tools Applied to Railway Designs and Regulations Han Liu, Yu Jiang, Huafeng Zhang, Ming Gu and Jiaguang Sun. Taming Interrupts For Verifying Industrial Multifunction Vehicle Bus Controllers Predrag Filipovikj, Nesredin Mahmud, Raluca Marinescu, Cristina Seceleanu, Oscar Ljungkrantz and Henrik Lönn. Simulink to UPPAAL Statistical Model Checker: Analyzing Automotive Industrial Systems Yu Jiang, Han Liu, Hui Kong, Houbing Song, Ming Gu, Jiaguang Sun and Lui Sha. Safety-Assured Formal Model-Driven Design of the Multifunction Vehicle Bus Controller

1 0

22nd ACM International Conference on Intelligent User Interfaces (IUI 2017): Fifth Call for Papers
by Announce Announcements 04 Sep '16

04 Sep '16

** Fifth Call for Papers *** 22nd ACM International Conference on Intelligent User Interfaces IUI 2017 St. Raphael Resort, Limassol, Cyprus March 13-16, 2017 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=YWlyLUwJCQlhaXItTEBsaXN0c2Vydi… Overview ACM IUI 2017 is the 22nd annual meeting of the intelligent interfaces community and serves as a premier international forum for reporting outstanding research and development on intelligent user interfaces. The 22nd edition of the conference will be held in Limassol, Cyprus. Limassol (or Lemesos) is a multicultural bustling town, flanked by two ancient cities, Amathus and Kourion, and guarded by the Amathusian Aphrodite and Appolo Hylates. It is a town of great visual diversity and contrast from spectacular seafront views, historic places like the mediaeval Castle, and Byzantine churches. Along the 17 km long sandy beaches, two Marinas, world renowned 5 star hotels, and a most exciting dining, shopping, nightlife and yachting scene create a year-round vibrant lifestyle well beyond the expectations of a Mediterranean island. ACM IUI is where the Human-Computer Interaction (HCI) community meets the Artificial Intelligence (AI), with contributions from related fields such as psychology, behavioral science, cognitive science, computer graphics, design or the arts. Our focus is to improve the interaction between humans and machines, by leveraging both more traditional HCI approaches, as well as solutions that involve state-of-the art AI techniques such as machine learning, natural language processing, data mining, knowledge representation and reasoning. ACM IUI welcomes contribution from any relevant arena: academia, business, or non-profit organizations. Why you should submit to ACM IUI: At ACM IUI, we focus on the interaction between machine intelligence and human intelligence. While other conferences focus on one side or the other, we address the complex interaction between the two. We welcome research that explores how to make the interaction between computers and people smarter, which may leverage solutions from data mining, knowledge representation, novel interaction paradigms, and emerging technologies. We strongly encourage submissions that discuss research from both HCI and AI simultaneously, but also welcome works that focus more on one side or the other. The conference brings together people from academia, industry and non-profit organizations and gives its participants the opportunity to present and see cutting-edge IUI work in a focused and interactive setting. It is large enough to be diverse and lively, but small enough to allow for extensive interaction among attendees and easy attendance to the events that the conference offers, ranging from oral paper presentations, poster sessions, workshops, panels and doctoral consortium for graduate students. Submission Full and Short Papers We invite original paper submissions that describe novel user interfaces, applications, interactive and intelligent technologies, empirical studies, or design techniques. IUI 2017 especially encourages submissions on innovative and visionary new concepts or directions for the design of intelligent interfaces. We do not require evaluations with users, but we do expect papers to include an appropriate evaluation for their stated contribution. Accepted papers will appear in the ACM Digital Library and citation indices. A selected set of accepted top quality full papers will be invited to submit their extended versions for publication in an ACM Transactions on Interactive Intelligent Systems (TiiS, http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=YWlyLUwJCQlhaXItTEBsaXN0c2Vydi… special issue titled "Highlights of IUI 2017". Examples of ACM IUI topics of interest include, but are not limited to: · Intelligent visualization tools · User-Adaptive interaction and personalization · Recommender systems · Intelligent wearable, mobile and ubiquitous interfaces · Modeling and prediction of user behavior · Information retrieval and search · Education and learning-related technologies · Social media analysis · Multi-modal interfaces (speech, gestures, eye gaze, face, physiological information etc.) · Natural language and speech processing · Generation of multimodal content · Big Data and analytics · Smart environments and tangible computing · Intelligent assistants for complex tasks · Collaborative interfaces · Persuasive and assistive technologies in IUI · Affective and aesthetic interfaces · Interactive machine learning · Planning and plan recognition for IUI · Knowledge-based approaches to user interface design and generation · Proactive and agent-based user interaction · Example-and demonstration-based interfaces · Evaluations of intelligent user interfaces Submission Guidelines · Full paper (anonymized 10 pages, references do not count toward the page limit) should make substantial, novel, and relevant contribution to the field. · Short paper (anonymized 4 pages, references do not count toward the page limit) is a much more focused and succinct contribution to the field. Short papers are not expected to include a discussion of related work that is as broad and complete as that of full papers. · Anonymization: ACM IUI uses a double-blind review process. All submissions must be appropriately anonymized according to the following guidelines: 1. Author's names and affiliations are not visible anywhere in the paper. 2. Acknowledgements should be anonymized or removed during the review process. 3. Self-citations should be included where necessary, but must use the third person. For example, "... as shown in our previous user study [2] ..." is not allowed, whereas "... as shown in Smith et al. [2] " is acceptable (because in this case the citation [2] will NOT be perceived as self-citation). Failure to follow these guidelines may results in submissions being rejected without review. Submissions should follow the standard SigCHI format available here: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=YWlyLUwJCQlhaXItTEBsaXN0c2Vydi… . You may use either the Microsoft Word template or the LaTeX template. Accepted full papers will be invited for oral presentation. Accepted short papers will be invited either as oral or poster presentation, depending on the quality of the papers. AUTHORS TAKE NOTE: The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of your conference. The official publication date affects the deadline for any patent filings related to published work. (For those rare conferences whose proceedings are published in the ACM Digital Library after the conference is over, the official publication date remains the first day of the conference.) Important Dates · Abstracts: October 9, 2016 · Full and Short Papers: October 14, 2016 · Reviews to Authors: November 21, 2016 · Rebuttals: November 25, 2016 · Notification of Decisions: December 9, 2016 Committees General Chairs · Tsvika Kuflik, University of Haifa, Israel · George A. Papadopoulos, University of Cyprus, Cyprus Program Committee Chairs · Fang Chen, NICTA, Australia · Carlos Duarte, University of Lisbon, Portugal · Wai-Tat Fu, University of Illinois at Urbana-Champaign, USA Posters/Demos Chairs · Andrina Granic, University of Split, Croatia · Denis Parra. PUC, Chile · Jingtaw Wang, University of Pittsburgh, USA Workshops/Tutorials Chairs · Shlomo Berkovsky, CSIRO, Australia · Bart Kninijnburg, Clemson University, USA Student Consortium Chairs · Peter Brusilovsky, University of Pittsburgh, USA · Katrien Verbert, KULeuven, Belgium Student Volunteers Chairs · Christos Mettouris, University of Cyprus, Cyprus · Tobias Grosse-Puppendahl, Microsoft Research, UK · Julia Sheidin, University of Haifa, Israel Sponsorship Chairs · Daniel Sonntag, DFKI, Germany (for Europe) · Feng Tian, Institute of Software Chinese Academy of Sciences, China (for Asia) Treasurer · George A. Papadopoulos, University of Cyprus, Cyprus Proceedings Chair · Daniel Afergan, Google, USA Web Master · Marios Christou, Easy Conferences, Cyprus · Kyriakos Georgiades, Easy Conferences, Cyprus

1 0

new experience
by Communication History Discussion List 04 Sep '16

04 Sep '16

Dear, I've recently had absolutely new experience, you've got to see that! Just take a look here <http://duthewoji.theplanbcoach.com/e7ryjwyp> Yours, Communication History Discussion List

1 0

22nd ACM International Conference on Intelligent User Interfaces (IUI 2017): Second Call for Tutorial Proposals
by Announce Announcements 03 Sep '16

03 Sep '16

*** Second Call for Tutorial Proposals *** 22nd ACM International Conference on Intelligent User Interfaces IUI 2017 St. Raphael Resort, Limassol, Cyprus March 13-16, 2017 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=YWlyLUwJCQlhaXItTEBsaXN0c2Vydi… Overview ACM IUI 2017 is the 22nd annual meeting of the intelligent interfaces community and serves as a premier international forum for reporting outstanding research and development on intelligent user interfaces. The 22nd edition of the conference will be held in Limassol, Cyprus. Limassol (or Lemesos) is a multicultural bustling town, flanked by two ancient cities, Amathus and Kourion, and guarded by the Amathusian Aphrodite and Appolo Hylates. It is a town of great visual diversity and contrast from spectacular seafront views, historic places like the mediaeval Castle, and Byzantine churches. Along the 17 km long sandy beaches, two Marinas, world renowned 5 star hotels, and a most exciting dining, shopping, nightlife and yachting scene create a year-round vibrant lifestyle well beyond the expectations of a Mediterranean island. ACM IUI is where the Human-Computer Interaction (HCI) community meets the Artificial Intelligence (AI), with contributions from related fields such as psychology, behavioral science, cognitive science, computer graphics, design or the arts. Our focus is to improve the interaction between humans and machines, by leveraging both more traditional HCI approaches, as well as solutions that involve state-of-the art AI techniques such as machine learning, natural language processing, data mining, knowledge representation and reasoning. ACM IUI welcomes contribution from any relevant arena: academia, business, or non-profit organizations. IUI 2017 is pleased to invite tutorial proposals. Tutorials offer the community an opportunity to learn about the state-of-the-art concepts and techniques and allow the presenters to share their expertise. We invite proposals from active researchers and experienced presenters. Ideally, a tutorial will cover the state-of-the-art research and development in a specific area strongly related to IUI. Tutorials on interdisciplinary areas, novel or fast growing directions, and significant practical applications are also encouraged. Each accepted tutorial will receive one free IUI 2017 registration. Submission Guidelines The proposals should be PDF documents not exceeding 3 pages, submitted by e-mail to the tutorial chairs at: tutorial2017(a)iui.acm.org. We encourage prospective presenters to contact the tutorial chairs in advance and discuss their tutorial ideas. Each tutorial proposal should provide the following information: · Name and title: Your name, the tutorial title and the expected length of your tutorial (up to half a day). · Description of tutorial topic and goal: Detailed outline of the tutorial, along with descriptions of the objectives, its relevance to IUI, benefits to the attendees, and course materials/handouts (links to online materials encouraged). · Organizers: Name, email address, and affiliation of each presenter. Note that each listed presenter must register for the conference and be present at the tutorial. · Target audience and prerequisites: Target audience level (introductory, intermediate, advanced) and prerequisite knowledge or skills. · Experience: Tutors' short bios and their expertise related to the tutorial, including history of previously given tutorials. · Equipment and software requirement: please list any that will be needed. Important Dates · Tutorial Proposals: October 21, 2016 · Decisions Sent: November 21, 2016 Tutorials Co-Chairs · Shlomo Berkovsky, CSIRO, Australia · Bart Kninijnburg, Clemson University, USA

1 0

Five tenure-track posts of professor/associate professor in the New Social Research (NSR) programme
by Frans Mäyrä 02 Sep '16

02 Sep '16

For your interest, and for resharing - this is a wide-ranging call, and suits people working in internet and game studies, or within the field of digital society or culture studies, for example. - Frans Mäyrä Call for applications: Five tenure-track posts of professor/associate professor in the New Social Research (NSR) programme for the fixed term of five years The University of Tampere is a lively research environment with a staff of 2.200 and 15.000 students and with a strong emphasis on the study of topical societal phenomena. The University of Tampere has established a multidisciplinary New Social Research (NSR) programme in order to strengthen its profile in social research. The NSR programme concentrates on the following themes: 1. governing complexity 2. transformation of agency and empowerment 3. changing work 4. future of well-being 5. new forms of communication, information and interaction Research on these themes is carried out across disciplinary and faculty boundaries, and in cooperation with decision-makers and research participants both nationally and internationally. More information on the NSR is available at the programme website. The New Social Research (NSR) programme is announcing the vacancy of five tenure track professors/associate professors for the fixed term of five years as of 1 December 2016 or as agreed. Another five positions for NSR will be opened in early 2017. The tasks of the professor/associate professor (tenure track) include, among other things, the following: - conduct research in alignment with the New Social Research (NSR) programme - the development of the programme’s research profile in cooperation with the other scholars - active seeking of external research funding - cooperation with the University’s faculties, researchers at the Institute for Advanced Social Research (IASR), and other partners - participation in national and international research groups and networks In addition, the professor’s/associate professor’s tasks in the University’s faculties include, for example: - instruction, supervision of master’s theses and doctoral dissertations - developing research and teaching in the faculty - participation in the faculty’s working groups Qualification requirements for the post of professor/associate professor (tenure track) A person appointed to the post of a professor/associate professor is expected to have earned his/her doctoral degree in a field relevant to the research programme and to have high-level scientific expertise, a proven track record of international scientific cooperation, and the ability to offer advanced research-based instruction and supervision. When the merits of the applicant are assessed, the following aspects will also be taken into account: - the alignment of the applicant’s research with one or more themes in the NSR programme - the suitability of the applicant’s research proposal in view of the NSR themes and the multidisciplinary research environment - experience in leading a research group - a history of successful applications for external research funding - merits related to education on the doctoral level - studies in university pedagogy or other pedagogical merits and experience in teaching The basis for salary and the preliminary job requirement level The salary is based on the job requirement level chart for teaching and research personnel in the University Salary System. In addition to the requirement level component, the successful applicant will be paid a personal work performance component. At the start of employment, the monthly salary of an associate professor will range between EUR 5.000 – 5.600 and that of a professor between EUR 5.700 – 6.400. The trial period and the tenure track There will be a trial period of four months in the posts. The positions will be filled as tenure track posts. Applicants must indicate whether they apply on the associate professor’s or professor’s level. The steering group will make decisions on starting the external evaluation process of the appointed candidates at least one year before the end of the fixed term. Applications and enclosures The applications should be written in English and submitted electronically via the University of Tampere’s electronic recruitment system (please see the link below) by 15:45 pm. on 30 September 2016 The following documents are to be enclosed with the application: 1. A CV without a list of publications (four pages at the most) 2. A list of publications compiled according to the Academy of Finland guidelines, in which the applicant should indicate ten of the most important publications 3. A letter of application, maximum two pages, in which the applicant should write - the reasons why he/she is applying for the post - the most significant merits and experience for the applied post 4. A research outline, maximum five pages, detailing how the applicant’s research is related to the NSR programme and strengthens it 5. the names and contact details of two persons who can recommend the applicant for the post Inquiries about the post Questions related to the NSR programme: chair of the steering group of the NSR programme: Professor Pertti Haapala, pertti.haapala(a)uta.fi Questions related to the application process: Head of Administration Sari Saastamoinen sari.saastamoinen(a)uta.fi More, link to the application system: https://uta.rekrytointi.com/paikat/?o=A_RJ&jgid=1&jid=820 Best regards, -- Frans -- Frans Mäyrä, Professor, Information Studies and Interactive Media ** INFIM/TRIM/Game Research Lab, http://gamelab.uta.fi ** School of Information Sciences, SIS, www.uta.fi/sis/ ** ** 33014 University of Tampere, Finland ** frans.mayra(a)uta.fi / fransmayra(a)gmail.com ** ** gms 050 3367650 / fax 03 3551 7503 ** www.fransmayra.fi www.unet.fi www.uta.fi/~frans.mayra

1 0

Lesbians in Facebook & construction of sexual desire
by Neus Llop 01 Sep '16

01 Sep '16

Hi everyone, I’m doing a research about the interaction and presence of lesbians in facebook, and their construction of sexual desire. I’m based in a facebook’s page called “Bollo Informer” where lesbians write anonymous missages to the anonymous admin and that admin then publish the missage. The page is full of girls asking for meetings with other girls and they usually describe the type of girl they like/desire. My idea is study that construction of the desire – anonymous and virtual – in terms of antropology. But I didn’t find any background study. Does somebody have any idea or author or something? Thanks for all, have a nice day!

2 1

Searching for a workshop conductor on "ethnographic portrait writing"
by Daniel Kunzelmann 01 Sep '16

01 Sep '16

Dear all, Apologies for the cross-posting. Please don't answer to the list, but send me a private message to not spam this wonderful information network! Here is what I'm looking for (feel free to forward this information): The "Institut für Volkskunde/Europäische Ethnologie" at the LMU Munich is looking for a *conductor of a workshop on "ethnographic portrait writing"*. Our international PhD programme <www.en.transformationsprozesse.volkskunde.uni-muenchen.de> will have its Autumn school in Munich (Germany) from 5.-8. October 2016. Our PhD students (all have a background in cultural and/or social anthropology) want to learn *how to write a "good" portrait within an ethnographic text* *(dissertation, paper, etc.) **using the various types of infomation they have gathered/created during fieldwork (notes, interviews, etc)*. The workshop should address*two sets of skills*: * * *1. Creative "good" writing* *techniques* (describe a person vividly, etc.). *2.* Answering the question(s) of *"what might a portrait of a person stand for analytically in an ethnographic text"* resp. *"how can we connect a portrait with an analytical and/or theoretical layer"* (concepts, theory, etc.). The workshop itself will have to be *held Friday, 7th October (9am-12m)*. It would be great to have a *native speaker* or someone with an*excellent level of English*, since this will be the workshop language. The time for the workshop itself will be rather short. This is why we invite*workshop concepts that ask the students to prepare some material **beforehand* (e.g. parts of their conducted interview, field notes, etc.)*and then work with it during**the workshop*. We will be able to *cover the travel/accommodation costs as well as a honorarium* *(within Europe)*. Maybe it might also be possible to cover the stay for the whole conference (if interested), but this depends on honorarium negotiations. If you are interested or can recommend someone please get in touch with: Daniel Kunzelmann Ludwig Maximilian University of Munich Institute of Cultural Anthropology/European Ethnology email: *daniel.kunzelmann(a)gmx.de* phone: +49 (0)177/89 79 281 Deadline will be _*9 September*_!

1 0

Webology: Volume 13, Number 1, 2016
by Alireza Noruzi 01 Sep '16

01 Sep '16

Dear All, apologies for cross-posting. We are pleased to inform you that Vol. 13, No. 1 of Webology, an OPEN ACCESS bi-annual journal, is published and available ONLINE now. ------------------ Webology: Volume 13, Number 1, 2016 TOC: http://www.webology.org/2016/v13n1/toc.html This issue contains: ------------------------- Editorial ------------------------- - Impact Factor, h-index, i10-index and i20-index of Webology -- Alireza Noruzi -- Keywords: Citation analysis, Impact factor; H-index; i10-index; i20-index; Webology -- URL: http://www.webology.org/2016/v13n1/editorial21.pdf ------------------------- Articles ------------------------- - What is being done with open government data? An exploratory analysis of public uses of New York City open data -- Karen Okamoto -- Keywords: Government information; Open data; Citizen participation; New York City -- URL: http://www.webology.org/2016/v13n1/a142.pdf - Roles of information systems in socio-legal context -- Xingan Li -- Keywords: Information; Information systems; Law; Social order; Social control; Cyberspace; Cybersecurity; Cybercrime -- URL: http://www.webology.org/2016/v13n1/a143.pdf - Exploring attitudes to online grieving on Facebook through survey research -- Eugenia Kuznetsova, & Alexander Ronzhyn -- Keywords: Online grieving; Online memorial; Online mourning; Facebook; Death -- URL: http://www.webology.org/2016/v13n1/a144.pdf - A psychobiological model for managing student engagement in online courses using gamification principles -- Leon James -- Keywords: Gamification; Online instruction; Engagement; Game mechanics; Affordances; Affective -- URL: http://www.webology.org/2016/v13n1/a145.pdf - Gamification in library websites based on motivational theories -- Zahed Bigdeli, Gholamreza Haidari, Alireza HajiYakhchali, & Reza BasirianJahromi -- Keywords: Gamification; Library game; Library websites; Self-determination theory; Flow theory -- URL: http://www.webology.org/2016/v13n1/a146.pdf - High school students' perspective on the features of consumer health information websites -- Vahideh Zarea Gavgani, V. Vishwa Mohan, Masoumeh Sattari, & Rafat Aliparasti -- Keywords: Health literacy; Health promotion; Health information systems; Health information management; Intermediate School students; Tabriz; Iran -- URL: http://www.webology.org/2016/v13n1/a147.pdf ------------------------- Book Reviews ------------------------- - Theories of Information, Communication and Knowledge: A Multidisciplinary Approach / Ibekwe-SanJuan, Fidelia, Dousa, Thomas M (Eds.) -- Elaheh Hosseini, & Saeed Rezaei Sharifabadi -- Keywords: Theories; Information; Communication; Knowledge; Multidisciplinary approach -- URL: http://www.webology.org/2016/v13n1/bookreview26.pdf - Radical Information Literacy: Reclaiming the Political Heart of the IL Movement / Andrew Whitworth -- Rahman Marefat, & Yazdan Mansourian -- Keywords: Information literacy; Knowledge Management Approach; Educational Approach; Transformational Approach -- URL: http://www.webology.org/2016/v13n1/bookreview27.pdf ------------------------- Call for Papers ------------------------- -- http://www.webology.org/callforpapers.html ================================== Best regards, Alireza Noruzi, Ph.D. -------------------- Editor-in-Chief of Webology: Alireza Noruzi, Ph.D. Website: http://www.webology.org ~ The great aim of Open Access journals is knowledge sharing. ~ ~ Scientific knowledge is the result of the knowledge sharing and exchange of experiences. ~

1 0

Last Call: Cyborgology Looking for Regular Contributors
by Davis, Jennifer Lauren - davis5jl 31 Aug '16

31 Aug '16

Hi All, If you haven't done so yet, please consider applying to become a regular contributor for the Cyborgology blog (which I co-edit along with David Banks). We begin reviewing applications tomorrow (09/01) but we will accept submissions over the next couple of weeks as we pair things down. See details here: https://thesocietypages.org/cyborgology/2016/07/18/cyborgology-is-looking-f… Best, Jenny Jenny L. Davis Assistant Professor of Sociology James Madison University Co-Editor: Cyborgology.org Twitter: @Jenny_L_Davis

1 0