[TYPES/announce] lecturer in cyber security vacancies -- university of southampton
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear all, we are looking for Cyber Security Lecturers from early career (first employment) onwards. Appointment at Associate Professor level possible for exceptional candidates. Salary: £37,075 to £46,924 per annum Full Time Permanent Closing Date: Sunday 30 October 2016 Reference: 787016FP Applications are invited for two Lecturer positions within the Department of Electronics and Computer Science, either in the specific area of cyber security or more generally in Computer Science. We are looking for highly-motivated and excellent scholars in cyber security, covering science and engineering of cyber security and information assurance or in areas of computer science that complement our existing activities. In terms of cyber security, specific topics of interest include the security and privacy of emerging applications of the internet-of-things and cloud computing, the protection of cyber-physical systems, system and network security, computer forensics, intrusion detection, authentication systems, cyber risk and economics, usability and human aspects of cyber security. More generally in terms of computer science, topics of interest include data analytics, machine learning, web and internet science, interaction, complexity and agent-based systems, computer graphics, biometrics,software verification, formal methods, logics, information systems and concurrent programming. Apply at https://jobs.soton.ac.uk/Vacancy.aspx?ref=787016FP Regards, \vs professor vladimiro sassone Roke/RAEng research chair in cyber security cybersecurity research centre, director university of southampton smime.p7s Description: S/MIME cryptographic signature
[TYPES/announce] cyber security faculty positions at all levels @southampton
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear all, I am glad to announce the following jobs in Cyber Security available at the University of Southampton - Royal Academy of Engineering Research Chair in Cyber Security https://jobs.soton.ac.uk/Vacancy.aspx?ref=702916FP - Lecturer in Cyber Security https://jobs.soton.ac.uk/Vacancy.aspx?ref=715116FP - 2 Lecturers on topics including Web Cyber Security https://jobs.soton.ac.uk/Vacancy.aspx?ref=715016FP - 2 Research Fellowships (Cyber Security Academy) https://jobs.soton.ac.uk/Vacancy.aspx?ref=704416FP - 2 Research Fellowships (SUNFISH project) https://jobs.soton.ac.uk/Vacancy.aspx?ref=708016FP - Several funded PhD positions on topics including Cyber Security https://jobs.soton.ac.uk/Vacancy.aspx?ref=700316FP Regards to all, \vs professor vladimiro sassone cybersecurity research centre, director university of southampton so17 1bj United Kingdom tel: +44 23 8059 9009 fax: 2783 https://blog.soton.ac.uk/cybersecurity facebook and twitter @CybSecSoton
[TYPES/announce] Call for nominations: EATCS Award 2015
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] I would like to encourage members of the types community to submit excellent nominations for this award. All the best, \vs -- The EATCS Award 2015 Call for Nominations Deadline: December 31st, 2014 The European Association for Theoretical Computer Science (EATCS) annually honours a respected scientist from our community with the prestigious EATCS Distinguished Achievement Award. The award is given to acknowledge extensive and widely recognized contributions to theoretical computer science over a life long scientific career. For the EATCS Award 2015, candidates may be nominated to the Award Committee consisting of • Fedor Fomin (University of Bergen), • Kim Guldstrand Larsen (Aalborg University) and • Vladimiro Sassone (University of Southampton). Nominations will be kept strictly confidential. They should include supporting justification and be sent by e-mail to the chair of the EATCS Award Committee: Vladimiro Sassone Email: vsass...@soton.ac.uk The list of previous recipients of the EATCS Award is at http://eatcs.org/index.php/eatcs-award The next award will be presented during ICALP 2015 in Kyoto, Japan. smime.p7s Description: S/MIME cryptographic signature
[TYPES/announce] MFCS 2012: Call for papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PAPERS - MFCS 2012 August 27 - 31, 2012, Bratislava, Slovakia www.mfcs.sk The series of MFCS symposia, organized in rotation by Poland, Slovakia, and the Czech Republic since 1972, has a long and well-established tradition. The MFCS symposia encourage high-quality research in all branches of theoretical computer science. Their broad scope provides an opportunity to bring together researchers who do not usually meet at specialized conferences. == IMPORTANT DATES Submission deadline: April 20, 2012 Acceptance notification: June 5, 2012 Final version: June 17, 2012 Conference: August 27 - 31, 2012 == INVITED SPEAKERS Georg Gottlob (U. Oxford) Rolf Niedermeier (TU Berlin) Antonino Salibra (U. Venice) Nicole Schweikardt (Goethe U. Frankfurt) Esko Ukkonen (U. Helsinki) Igor Walukiewicz (U. Bordeaux) Gerhard J. Woeginger (TU Eindhoven) Mihalis Yannakakis (Columbia U.) MORE INFO at www.mfcs.sk
[TYPES/announce] call for papers: IFIP-TCS 2010
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear colleagues, please consider submitting a paper to the 6th IFIP International Conference on Theoretical Computer Science a part of the IFIP World Computer Congress 2010 Brisbane, Australia 20-23 September 2010 www.wcc2010.com Deadline for abstracts: Feb 12th Deadline for papers: Feb 19th. The CfP is available at http://www.wcc2010.com/migrated/TCS2010/TCS2010_cfp.html Submission at https://www.easychair.org/login.cgi?conf=tcs2010 With best regards, V. Sassone PC chair
[TYPES/announce] About The Computer Journal
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear all, I would like to report to the list that, following a revamping of its Editorial Board, The Computer Journal http://comjnl.oxfordjournals.org welcomes the submission of full papers and the proposal of special issues on types programming languages and cognate areas. Regards to all, \vs == Information concerning The Computer Journal in 2008 The 52 year old The Computer Journal (TCJ) is published by ITEXT, a joint company run by Oxford University Press and the British Computer Society, and its contents are managed by an editor-in-chief and an editorial board which were renewed at the end of 2007 and in early 2008. During 2008 it published as many issues as in 2007, i.e. six, but an expansion of TCJ to 8 issues a year is planned for 2009 in view of the results of 2008, with two sub-series: Computer Science, and Computer Systems and Networks. The submission of papers to the journal has increased by roughly 50% in 2008 over 2007, reaching approximately 300 papers, and the acceptance rate is approximately 25%. The turn-around time is quite reasonable because (a) the authors receive a response after a first round of evaluation and refereeing (which largely determines the outcome of a paper) within 85 days on average, and (b) once a paper is definitely accepted, it is posted on the web for downloading. Note that in 2008 roughly 7% of all papers were submitted by authors based in the UK, with the rest coming from all the continents, so that TCJ is truly an international journal with appeal across the world. Worldwide subscriptions to the journal in 2008 have slightly increased, resulting in a 10% increase in income to ITEXT. We estimate that, including the bundled subscriptions to academic and other libraries, the journal has roughly 6000 subscribers. Most importantly, the number of full paper downloads in 2008 has increased in excess of 20%, over 2007, totalling slightly under 50,000 downloads, which is a very impressive number for the 60 papers that we publish per year, or an annual rate of roughly 800 downloads per paper on average. This should reassure colleagues who may think that archival journals are just write-only media! forwarded for Erol Gelenbe, Editor in Chief The Computer Journal
[TYPES/announce] CfPs: Visions of Computer Science
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] International Academic Research Conference Visions of Computer Science http://www.bcs.org/visions PDF version: http://www.bcs.org/upload/pdf/iarc-flyer.pdf Imperial College London, September 22-24, 2008 Submissions deadline May 13, 2008 www.easychair.org/conferences/?conf=bcs08 The British Computer Society (BCS) is launching its first International Academic Conference, BCS08, intended as a major international venue to take place yearly in the United Kingdom. This year's theme is `Visions of Computer Science.' KEYNOTE SPEAKERSINVITED SPEAKERS Fran Allen (IBM)A. Campbell (Dartmouth) Vint Cerf (Google) S. Furber (Manchester) Tony Hoare (Microsoft) L. Hendren (McGill) Richard Karp (Berkeley) N. Jennings (Southampton) Robin Milner (Cambridge)S. Muggleton (Imperial) Michael Rabin (Harvard) B. Plateau (IMAG) Joseph Sifakis (Verimag)M. Vardi (Rice) PROGRAMME COMMITTEE S. Abramsky (Oxford, co-chair) C. Beckmann (Hammersmith) P. Buneman (Edinburgh) M. Calder (Glasgow) G. Constantinides (Imperial)Y. Demiris (Imperial) A. Finkelstein (UCL)E. Gelenbe (Imperial) W. Hall (Southampton) J. Hallinan (Newcastle) D. Hutchison (Lancaster)M. Pantic (Twente Imperial) A. Rogers (Southampton) V. Sassone (Southampton, co-chair) I. Stewart (Durham) M. Thomas (M. Thomas) F. Turkheimer (Hammersmith) M. Wooldridge (Liverpool) TOPICS The list of topics called for is deliberately broad to reflect the rich texture and intellectual vigor of the discipline. They include but are not limited to: Computer Architectures and Digital Systems; Theoretical Computer Science: Algorithms Complexity, Logic Semantics; Non-standard Models of Computation; Programming Methods and Languages; Software Engineering and System Design Tools; Quantitative Evaluation of Algorithms, Systems, and Networks; Artificial Intelligence, Agents, and Machine Learning; Distributed and Pervasive Systems; Grid Computing and E-Science; Databases, Information Retrieval and Data Mining, Web Based Computation; Human Computer Interaction; Robotics and Computer IMPORTANT DATES - submission: 13 May 2008 - notification: 13 July 2008 - camera-ready: 31 July 2008 SUBMISSION WEBSITE www.easychair.org/conferences/?conf=bcs08
[TYPES/announce] The Royal Society Discussion Meeting From computers to ubiquitous computing, by 2020
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We are delighted to announce: The Royal Society Discussion Meeting From computers to ubiquitous computing, by 2020 17-18th March 2008 The Royal Society, London http://www.royalsoc.ac.uk/event.asp?id=6065month=3,2008 Organisers: Marta Kwiatkowska, Tom Rodden and Vladimiro Sassone The convergence of wireless networks with new sensing technologies and devices has started to embed computers into our everyday life. This meeting will consider this shift to 'Ubiquitous Computing' as an interdisciplinary grand challenge affecting all aspects of computer science that has massive implications for how we might reason about, build and experience computer systems with considerable issues for society. PROGRAMME Computing and software Jeanette Wing, CMU/NSF, Computational thinking Rocco de Nicola, University of Florence, Global computing Tom Henzinger, EPFL, Challenges in embedded systems design Ozalp Babaoglu, University of Bologna, Self-* properties of complex systems Architecture and technology Gaetano Borriello, University of Washington, Invisible computing Andy Hopper FRS, University of Cambridge, Sentient computing Margaret Martonosi, Princeton, Power-efficient architectures Timothy Roscoe, ETH Zurich, Network architectures for ubiquitous computing Can we trust computers? Mogens Nielsen, Aarhus University, Trust specification and analysis Anupam Joshi, University of Maryland, Trust, security and privacy in ubiquitous computing Ronald Rivest, MIT, Cryptography and security, with a focus on E-voting The human viewpoint Gary Marsden, Cape Town, Mobile interaction design for developing nations Adam Greenfield, Consultant, Everyware: Some Social and Ethical Implications of Ubiquitous Computing Jonathan Zittrain and John Palfrey, Harvard/OMII, Legal and ethical issues Sir Ara Darzi, Imperial College, Medical applications of pervasive computing PROCEEDINGS The proceedings of the meeting will be published in the high impact Philosophical Transactions of the Royal Society A, see http://www.pubs.royalsoc.ac.uk/index.cfm?page=1084 which ranks 4th in the ISI Multidisciplinary Sciences category. REGISTRATION See the webpage: http://www.royalsoc.ac.uk/event.asp?id=6065month=3,2008 Best wishes, Vladimiro Sassone, University of Southampton on behalf of: Jon Crowcroft, University of Cambridge, http://www.cl.cam.ac.uk/~jac22 Robin Milner FRS, University of Cambridge, http://www.fairdene.com/ picalculus/robinmilner.html Tom Rodden, University of Nottingham, http://www.cs.nott.ac.uk/~tar Marta Kwiatkowska, University of Oxford http://web.comlab.ox.ac.uk/ oucl/people/marta.kwiatkowska.html Morris Sloman, Imperial College, http://www.doc.ic.ac.uk/~mss UKCRC Grand Challenge in Ubiquitous Computing: Science, Experience and Design http://www-dse.doc.ic.ac.uk/Projects/UbiNet/GC/index.html