October 2016 - Air-L - lists.aoir.org

Tenure Track Position, Michigan State University Dept. of Media and Information
by Keith Hampton 20 Oct '16

20 Oct '16

Job Opening: Tenure System Position in Human-Centered Technology Tenure System Assistant or Associate Professor in Human-Centered Technology Department of Media and Information Michigan State University The Department of Media and Information (M&I) at Michigan State University (MSU) invites applications for a tenure-track faculty position at the rank of Assistant Professor or Associate Professor in the area of Human-Centered Technology. We seek an emerging scholar and teacher with an innovative research program that can complement our efforts to expand the boundaries of our field. While we are open to candidates with a wide range of backgrounds and interests, we are particularly interested in candidates with a strong interest in human-computer interaction (HCI), including social computing, crowdsourcing, collective intelligence, social media, computer-supported collaborative work, interaction design, and the multi-disciplinary study of the design, use and effects of information and communication technologies (ICTs). Expected start date is August 16, 2017. To apply, please visit the Michigan State University Employment Opportunities website (https://jobs.msu.edu) refer to Posting #4276, and complete an electronic submission. Applicants should submit the following materials electronically: (1) a cover letter indicating the position you are interested in and summarizing your qualifications for it, (2) a current vita, (3) if appropriate, the URL to an existing individual or collaborative website that conveys your current scholarship, and (4) the names and contact information for three individuals willing to serve as your recommenders to the search committee. Review of applications will begin on November 28, 2016, and continue until the position is filled. Please direct any questions to Professor Rick Wash, Search Committee Chair, Department of Media and Information at Michigan State University, at < wash(a)msu.edu>. MSU is an affirmative action, equal opportunity employer. MSU is committed to achieving excellence through cultural diversity. The university actively encourages applications and/or nominations of women, persons of color, veterans and persons with disabilities. -- ______________________________________________________________ *Keith N. Hampton, Ph.D.* *Professor* College of Communication Arts and Sciences Department of Media and Information <http://tism.msu.edu/> www.mysocialnetwork.net www.twitter.com/mysocnet

1 0

news imagery metadata and iphones as news cameras
by kalev leetaru 20 Oct '16

20 Oct '16

Apologies for cross-posting. Thought many on this list that look at online news imagery would find of great interest my latest that looks at a 48 hour period last week of over 1.3 million news images from news outlets worldwide and ran them all through Image::ExifTool to pull all of the available metadata fields out of each image. In total there were more than 5,000 distinct metadata fields found across the collection. Various statistics on the average age of news images (just over a third of news images that contain date information are from the last 24 hours, while more than a quarter of news images are more than a year old, reflecting file and stock photos), while mobile phones are found to account for a growing fraction of news imagery: http://www.forbes.com/sites/kalevleetaru/2016/10/19/the-hidden-world-of-new… For those interested in deep diving, here is a special extract of just the metadata in JSON format: http://blog.gdeltproject.org/vgkg-2-0-metadata-stats-at-2-weeks/ ~Kalev http://kalevleetaru.com/ http://blog.gdeltproject.org/

1 0

advice on course readings - hiltz & turoff
by Barry Wellman 19 Oct '16

19 Oct '16

Roxanne Hiltz & Murray Turoff were creating the Internet before there was an Internet. See their engaged but scholarly account in Hiltz, S. R., & Turoff, M. (1978). The Network Nation: Human Communication via Computer. Reading: Addison-Wesley Publishing Company, Inc. and their 1993 updated version Barry Wellman A vision is just a vision if it's only in your head Step by step, link by link, putting it together Streisand/Sondheim _______________________________________________________________________ NetLab Network FRSC INSNA Founder http://www.chass.utoronto.ca/~wellman twitter: @barrywellman NETWORKED: The New Social Operating System Lee Rainie & Barry Wellman http://amzn.to/zXZg39 _______________________________________________________________________

1 0

WEBCAST TODAY: What’s the Big Deal with Big Data?
by Joly MacFie 19 Oct '16

19 Oct '16

If tweeting, please include @CUBE_bk <https://twitter.com/CUBE_bk> handle. joly posted: "Today Wednesday October 19 2016 Brooklyn Law School’s Center for Urban Business Entrepreneurship (CUBE) presents What’s the Big Deal with Big Data?. A panel will address questions: Do the benefits of data collection and usage outweigh the privacy intrusio" [image: Livestream] <https://livestream.com/internetsociety/bigdata>Today *Wednesday October 19 2016* Brooklyn Law School’s *Center for Urban Business Entrepreneurship <http://www.brooklaw.edu/en/intellectuallife/CUBE/Overview.aspx>* (CUBE) presents *What’s the Big Deal with Big Data?* <https://www.brooklaw.edu/intellectuallife/CUBE/Events/2015>. A panel will address questions: Do the benefits of data collection and usage outweigh the privacy intrusions? Does the Blockchain, or other emerging technologies, somehow save us and our data from control by (un)trusted intermediaries while advancing the value of a data-driven world? How do lawyers wrestle with these questions in a real-world context? Speakers: *Solon Barocas*, Postdoc Researcher, New York City Lab, Microsoft Research; *Dimitri Nemirovsky*, Co-Founder of Reyhani Nemirovsky LLP and Vida Identity; *Rachel F. Strom*, Partner, Levine Sullivan Koch & Schulz, LLP; *Dana V. Syracuse*, Counsel, BuckleySandler LLP. Moderator: *Christina Mulligan*, Associate Professor of Law, Brooklyn Law School. The event will be webcast live on the *Internet Society Livestream Channel <https://livestream.com/internetsociety/bigdata>*. *What: What’s the Big Deal with Big Data? <https://www.brooklaw.edu/intellectuallife/CUBE/Events/2015>* * Where: Brooklyn Law School* * When: Wednesday October 19 2016 6:45-8:15pm ET | 22:45-00:15 UTC* * Webcast: https://livestream.com/internetsociety/bigdata <https://livestream.com/internetsociety/bigdata>* * Twitter: #bigdata + @brooklynlaw http://bit.ly/2dllTrE <http://bit.ly/2dllTrE>* Comment <http://isoc-ny.org/p2/8728#respond> See all comments <http://isoc-ny.org/p2/8728#comments> *Permalink* http://isoc-ny.org/p2/8728 <http://isoc-ny.org/p2/8728> <http://isoc-ny.org/p2/8728> Joly MacFie President - Internet Society New York Chapter (ISOC-NY) http://isoc-ny.org 218 565 9365 -- --------------------------------------------------------------- Joly MacFie 218 565 9365 Skype:punkcast -------------------------------------------------------------- -

1 0

course readings
by Barry Wellman 19 Oct '16

19 Oct '16

Reminder that Lee Rainie & my Networked book is not only available online and in pb, but either Lee or I will skype lecture if your class orders 15+ copies. With a 100 copies you get both of us! http://amzn.to/zXZg39 Barry Wellman A vision is just a vision if it's only in your head Step by step, link by link, putting it together Streisand/Sondheim _______________________________________________________________________ NetLab Network FRSC INSNA Founder http://www.chass.utoronto.ca/~wellman twitter: @barrywellman NETWORKED: The New Social Operating System Lee Rainie & Barry Wellman http://amzn.to/zXZg39 _______________________________________________________________________

1 0

Re: [Air-L] advice on course readings
by Gabriella "Biella" Coleman 19 Oct '16

19 Oct '16

Hi, So here are some recommendations: Amazing piece on Usenet and early battles that led to establishment of a free speech ethic is "If I Want It, It's OK": Usenet and the (Outer) Limits of Free Speech http://www.tandfonline.com/doi/abs/10.1080/019722496129350 Early history of the Internet that juxtaposes 4 books on the internet to come up with some more convincing arguments about the internet than each book = http://www.pne.people.si.umich.edu/PDF/ahrcwreview.pdf Wizards, Bureaucrats, Warriors, and Hackers: Writing the History of the Internet Roy Rosenzweig Kevin Driscoll has also done some great work on early networking http://kevindriscoll.info/ And there is an 8 part documentary on the BBS by Jason Scott that is quite good http://bbsdocumentary.com/ Big fan of Bruce Sterling's chapter on the BBS and hackers in the Hacker Crackdown as well. Maxigas is working on a huge history of IRC (but I don't think he has yet to publish anything and yes, he publishes with only his first name). Lucas Grave's piece on blogs is quite good https://scholar.google.com/citations?view_op=view_citation&hl=en&user=zYci-… The Affordances of Blogging A Case Study in Culture and Technological Effects <http://jci.sagepub.com/content/31/4/331.short> Finally Julian Dibbells piece on Muds, and a rape in cyberspace = classic. All best, Gabriella On 2016-10-19 12:22 PM, air-l-request(a)listserv.aoir.org wrote: > Re: [Air-L] advice on course readings m teaching a graduate seminar for MS and PhD students called “internet and society” next spring. I’m looking for good readings (book chapters and/or journal articles) on two subjects: - history of asynchronous communication platforms (USENET, BBS, blogs, wikis, etc.) - history of synchronous communication platforms (MUDs, chat environments, etc.) -- Gabriella Coleman Wolfe Chair in Scientific and Technological Literacy Department of Art History & Communication Studies McGill University 853 Sherbrooke Street West Montreal, PQ H3A 0G5 http://gabriellacoleman.org/ 514-398-8572

1 0

Connected migrants: KNAW colloquium and phd masterclass, 14-16 December, Amsterdam
by Leurs, K.H.A. (Koen) 19 Oct '16

19 Oct '16

-- Dear colleagues, Apologies for cross-posting. We have several spots left for the masterclass and colloquium on connected migrants: encapsulation and cosmopolitanism in Amsterdam 14-16 December 2016. The registration deadline has been extended. Kindly register before November 28. If you have questions, do get in touch! Best wishes, Koen. “Today, every society is just a collection of diasporas. People join the societies to which they are loyal and pay their taxes, but at the same time, they do not want to give up their identity. The connection between where you live and identity has been broken” – Zygmunt Bauman (http://elpais.com/elpais/2016/01/19/inenglish/1453208692_424660.html) “Most people use social media not to open their horizons wider, but to lock themselves in a comfort zone” – Zygmunt Bauman (http://elpais.com/elpais/2016/01/19/inenglish/1453208692_424660.html) World renown emeritus professor Zygmunt Bauman will assess contemporary formations of the internet, diaspora, migration and multiculturalism on a public lecture on Friday 16, from 15.00-16.30. The KNAW (The Royal Netherlands Academy of Arts and Sciences) has granted funding to Prof. Sandra Ponzanesi and Dr Koen Leurs. In December 2016, they will organise a KNAW Academy Colloquium entitled ‘Connected migrants: encapsulation or cosmopolitanism?’ with 16 international experts. Koen Leurs & Sandra Ponzanesi will organise a two-day seminar and a one-day masterclass for advanced PhD students and emerging scholars. ENCAPSULATION AND COSMOPOLITANISM In our contemporary world, migrants should be considered as 'connected migrants'. More than ever before, migrants can chose between different technologies to be in contact with loved ones living in their country of origin. This colloquium will innovatively address how digital practices of migrants revolves around the dialectic of 'encapsulation' and 'cosmopolitanism'. Previously, scholars singled out one or another of these processes. 'Homophily', the assumption that 'birds of a feather flock together', is popular among those who argue that transnational communication hinders integration and leads to segregation and radicalisation. Scholars however also contend that migrants can be present in both their host society and their homeland . Seen this way, migrants can connect with their homeland and diaspora, forming bonding capital and developing bridging, cosmopolitan capital by connecting with their host society. Although contested, cosmopolitanism is indispensable as a 'grounded category' to capture everyday reflexive imaginations of openness between self, other and world among elite and subaltern subjects. This colloquium innovatively brings experts in the field together to acknowledge how boundary making and cosmopolitanisation operate simultaneously and grasps social, cultural and political implications of migrant digital practices as grounded in everyday practices. Confirmed speakers include Prof. Zygmunt Bauman Prof. Miyase Christensen Dr. Dana Diminescu Dr. Alexander Dhoest Prof Godfried Engbersen Prof. Radhika Gajjala Dr. Myria Georgiou Prof. Cees Hamelink Dr. Gavan Titley Dr. Nishant Shah Dr. Sanjay Sharma Dr. Kevin Smets Prof. Huub Dijsselbloem Dr. Farida Vis Dr. Roopika Risam Dr Saskia Witteborn Dr. Kishonna Gray We also welcome PhD students, early career researchers and advanced students interested in the topic to apply for this exciting masterclass preceding the colloquium on December 14, 2016 in Amsterdam. International experts Farida Vis, Kishonna Gray & Roopika Risam will equip participants with a solid theoretical grounding and methodological skillset to analyse migrant connectivity practices. See https://www.sheffield.ac.uk/is/staff/vis, http://www.kishonnagray.com<http://www.kishonnagray.com/> and http://roopikarisam.com<http://roopikarisam.com/>. Sign up before October 15, 2016! – deadline extended to November 28. Questions? Email Koen Leurs @ k.h.a.leurs(a)uu.nl<mailto:k.h.a.leurs@uu.nl> There is no fee for participating in the masterclass. This is the open call for colloquium participants (150 euro’s fee): http://www.knaw.nl/en/news/calendar/academy-colloquium-connected-migrants?s… This is the open call for masterclass participants (free of charge): http://www.knaw.nl/en/news/calendar/connected-migrants-encapsulation-or-cos… Thanks for your kind assistance! Best wishes, Koen.

1 0

Re: [Air-L] advice on course readings
by Stephen Rea 19 Oct '16

19 Oct '16

In addition to the already excellent list, I would suggest Pavel Curtis's "Mudding: Social Phenomena in Text-based Virtual Realities" and Fred Turner's "Where the Counterculture Met the New Economy: The WELL and the Origins of Virtual Community" (the latter pairs really well with Rheingold, for obvious reasons). Also, Morningstar and Farmer's "The Lesson's of Lucasfilm's *Habitat*," which also had its own trailer: https://www.youtube.com/watch?v=VVpulhO3jyc Cheers, Stephen -- Stephen C. Rea, Ph.D. Visiting Assistant Professor Department of Sociology & Anthropology Bucknell University

1 0

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

19 Oct '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

Job: Senior Lecturer in social media and communications, level C, full-time, continuing, Macquarie University, Sydney Australia
by Margie Borschke 19 Oct '16

19 Oct '16

Senior Lecturer in social media and communications<http://jobs.mq.edu.au/cw/en/job/499806/senior-lecturer-in-social-media-and-…><https://secure.dc2.pageuppeople.com/apply/553/gateway/?c=apply&lJobID=49980…> Macquarie University, Department of Media, Music, Communication and Cultural Studies Job no: 499806 Work type: Full Time Vacancy type: Internal Vacancy, External Vacancy Categories: Academic - Teaching and Research · Innovative and supportive academic environment · Attractive salary package including 17% superannuation · Collegial and dynamic workplace Within the Faculty of Arts, the Department of Media, Music, Communication and Cultural Studies (MMCCS) comprises of a number of disciplines dedicated to understanding contemporary media, and to developing valuable practical skills. It is the largest department within the Faculty of Arts and offers students flexibility with their degrees to ensure a well-rounded, customised study program. The Role The Department currently has an opportunity for a Senior Lecturer with scholarly expertise in social media and communications (including knowledge around mobile technologies, digital culture, convergence, media innovation and networked communication). This position will teach across a number of key media-communications units and produce high quality research in this field, and come with a national and international research profile. This position is crucial to ensuring graduates are appropriately skilled to be successful in a fast evolving media environment. Selection Criteria To be considered for this position, you will demonstrate the requirements below in your CV and a 1-2 page cover letter: · A PhD in Media and Communications or a relevant discipline. · A national and international research profile in social media and/or communications, evidenced by a strong publication record. · Demonstrated curriculum development and teaching experience and evidence of high quality teaching contributions at an undergraduate and postgraduate level, including the ability to develop scholarly and innovative approaches to teaching and learning, particularly in an online environment. · Demonstrated ability to supervise higher degree research students. · Good interpersonal and communication skills and the ability to work as part of a collegial team. · Demonstrated experience in community and industry engagement and ability to attract funding. · Demonstrated experience to make a contribution to the academic life and administrative tasks of the Department. Salary Package: From $118,401 to $136,161 p.a. (Level C), plus 17% employer's superannuation and annual leave loading. Appointment Type: Full-time, continuing position Specific Role Enquiries: Professor Nicole Anderson at nicole.anderson(a)mq.edu.au General Recruitment Enquiries: Alyssa Hayes, HR Consultant on (02) 9850 9765 or email alyssa.hayes(a)mq.edu.au Applications Close: Sunday 6th November 2016 at 11.55pm Macquarie University is an EO Employer committed to diversity and social inclusion. Applications are encouraged from people with disability; women (particularly for senior and non-traditional roles); Indigenous Australians, people who identify as GLBTIQ; and those from culturally and linguistically diverse backgrounds. Applications need to be submitted through the Macquarie University online recruitment system. Where circumstances such as disability or remote location prohibit your access to our online system please contact the enquiries person listed in this advertisement for assistance. Advertised: 14 Oct 2016 AUS Eastern Daylight Time Applications close: 06 Nov 2016 AUS Eastern Daylight Time Full job ad and selection criteria at: <http://jobs.mq.edu.au/cw/en/job/499806/senior-lecturer-in-social-media-and-…> http://jobs.mq.edu.au/cw/en/job/499806/senior-lecturer-in-social-media-and-… Margie Borschke Senior Lecturer, Journalism and Media Postgraduate Coursework Director Department of Media, Music, Communication and Cultural Studies Room 159, Y3A Building Macquarie University, NSW 2109, Australia T: +61 (2) 9850 2159 | M: + 61 425 226 705 E: margie.borschke(a)mq.edu.au | mq.edu.au<http://mq.edu.au> [Macquarie University]<http://mq.edu.au> CRICOS Provider 00002J. Think before you print. Please consider the environment before printing this email. This message is intended for the addressee named and may contain confidential information. If you are not the intended recipient, please delete the message and notify the sender. Views expressed in this message are those of the individual sender and are not necessarily the views of Macquarie University and its controlled entities.

1 0