[TYPES/announce] CFP (extension): Special Issue on Programming Language Approaches to Concurrency and Communication-cE…
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] JLAMP https://www.journals.elsevier.com/journal-of-logical-and-algebraic-methods-in-programming/call-for-papers/special-issue-on-programming-language-approaches-to-concurre <https://www.journals.elsevier.com/journal-of-logical-and-algebraic-methods-in-programming/call-for-papers/special-issue-on-programming-language-approaches-to-concurre> Important Dates Submission of papers: August 15, 2017 First review decision: October 31, 2017 Revision due: December 1, 2017 Acceptance notification: January 31, 2018 Final manuscript due: February 28, 2018 Expected publication: Spring 2018 Aims and Scope This special issue is devoted to the topics of the 10th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2017, http://places17.di.fc.ul.pt/), which took place on April 29, 2017, in Uppsala, Sweden, as part of the European Joint Conferences on Theory and Practice of Software (ETAPS). This is however an open call for papers; therefore, both participants of the workshop and other authors are encouraged to submit their contributions. Submissions are invited in the general area of programming language approaches to concurrency, communication and distribution, ranging from foundational issues, through language implementations, to applications and case studies. Specific topics include, but are not limited to: * Design and implementation of programming languages with first class support for concurrency and communication * Behavioural types, including session types * Concurrent data types, objects and actors * Verification and program analysis methods for concurrent and distributed software * Runtime systems for scalable management of concurrency and resource allocation * High-level programming abstractions addressing security concerns in concurrent and distributed programming * Multi- and many-core programming models, including methods for harnessing GPUs and other accelerators * Memory models for concurrent programming on relaxed-memory architectures * Integration of sequential and concurrent programming techniques * Use of message passing in systems software * Interface languages for communication and distribution * Novel programming methodologies for sensor networks * Programming language approaches to web services * Concurrency and communication in event processing and business process management Submission We expect original articles (20-30 pages) that present high-quality contributions that have not been previously published in another journal and that must not be simultaneously submitted for publication elsewhere. Longer papers will be considered if there is a clear justification for additional pages; authors should contact the guest editors to discuss this. Each paper will undergo a thorough evaluation by at least two reviewers. The authors will have about one month to incorporate the comments of the reviewers and submit a revised version of their papers, which will be evaluated again by the reviewers to make a final decision. Contributions should be typeset in PDF format and must comply with JLAMP’s author guidelines, which can be retrieved from the Elsevier website, https://www.elsevier.com/journals/journal-of-logical-and-algebraic-methods-in-programming/2352-2208/guide-for-authors Submissions are handled by the Elsevier Editorial System:https://www.evise.com/evise/jrnl/jlamp Please select “SI: PLACES 2017″ when selecting the article type name during submission process. Guest Editors Philipp Haller, KTH Royal Institute of Technology, SE, phal...@kth.se Vasco T. Vasconcelos, University of Lisbon, PT, v...@di.fc.ul.pt
[TYPES/announce] Postdoc position at the University of Lisbon
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We welcome applications for a fulltime postdoctoral research position at the University of Lisbon. The position is funded by the research project "CONFIDENT - Communication Contracts for Distributed Systems Development", http://gloss.di.fc.ul.pt/content/confident <http://gloss.di.fc.ul.pt/content/confident>, a three year collaborative project between a team at the Faculty of Sciences (including Vasco T. Vasconcelos and Antónia Lopes) and another at Técnico (Paulo Mateus and Pedro Adão). The objective of the project is the development of tools and technology for describing, testing, statically verifying, and inferring communication contracts for the effective construction and evolution of complex distributed systems, notably RESTful applications. Particular attention will be given to the validation of security requirements of APIs. We plan to integrate the theory of behavioural type systems into a notion of communication contracts, effective in driving the software development life cycle of RESTful applications. We seek applicants with strong interest in some of the following topics: programming language design and implementation, programming logics and types, language-based security, verification and testing, concurrency and distribution. The contract is for one year, extensible for a second year. Applicable administrative rules may be found at the FCT site, http://www.fct.pt/apoios/bolsas/index.phtml.en <http://www.fct.pt/apoios/bolsas/index.phtml.en>. Applications should include a curriculum vitae in pdf format, contact details for three referees, and should be sent to LaSIGE - Large-Scale Informatics Systems Laboratory http://www.lasige.di.fc.ul.pt <http://www.lasige.di.fc.ul.pt/> Email: Pedro Gonçalves, pgoncal...@di.fc.ul.pt <mailto:pgoncal...@di.fc.ul.pt> Phone: +351 21 750 05 32 Interested applicants are encouraged to contact Professor Vasco T. Vasconcelos directly. Application deadline: 30th June 2017.
[TYPES/announce] Postdoc position at the University of Lisbon
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] *** Post-doc opening on Communication Contracts for Distributed Systems Development *** We welcome applications for a fulltime postdoctoral research position at the University of Lisbon. The position is funded by the research project "CONFIDENT - Communication Contracts for Distributed Systems Development", http://gloss.di.fc.ul.pt/content/confident <http://gloss.di.fc.ul.pt/content/confident>, a three year collaborative project between a team at the Faculty of Sciences (including Vasco T. Vasconcelos and Antónia Lopes) and another at Técnico (Paulo Mateus and Pedro Adão). The objective of the project is the development of tools and technology for describing, testing, statically verifying, and inferring communication contracts for the effective construction and evolution of complex distributed systems, notably RESTful applications. Particular attention will be given to the validation of security requirements of APIs. We plan to integrate the theory of behavioural type systems into a notion of communication contracts, effective in driving the software development life cycle of RESTful applications. We seek applicants with strong interest in some of the following topics: programming language design and implementation, programming logics and types, language-based security, verification and testing, concurrency and distribution. The contract is for one year, extensible for a second year. Applicable administrative rules may be found at the FCT site, http://www.fct.pt/apoios/bolsas/index.phtml.en <http://www.fct.pt/apoios/bolsas/index.phtml.en>. Applications should include a curriculum vitae in pdf format, contact details for three referees, and should be sent to LaSIGE - Large-Scale Informatics Systems Laboratory http://www.lasige.di.fc.ul.pt <http://www.lasige.di.fc.ul.pt/> Email: Pedro Gonçalves, pgoncal...@di.fc.ul.pt <mailto:pgoncal...@di.fc.ul.pt> Phone: +351 21 750 05 32 Interested applicants are encouraged to contact Vasco T. Vasconcelos directly. Application deadline: 28th February 2017.
[TYPES/announce] CFP: PLACES 2017
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] PLACES 2017 – Call for papers http://places17.by.di.fc.ul.pt/ <http://places17.by.di.fc.ul.pt/> 10th Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software Co-located with ETAPS 2017, Uppsala, Sweden *** Modern hardware platforms, from the very small to the very large, increasingly provide parallel computing resources which software may use to maximise performance. Many applications therefore need to make effective use of tens, hundreds, and even thousands of compute nodes. Computation in such systems is thus inherently concurrent and communication-centric. Effectively programming such applications is challenging; performance, correctness, and scalability are difficult to achieve. Various programming paradigms and methods have emerged to aid this task, including structured imperative concurrent programming, stream-based programming, concurrent functions with asynchronous message passing, automatic parallelisation, and the use of types to describe communications and data structures (such as session and linear types), to name but a few. To fully exploit a (possibly heterogeneous) parallel computing environment often requires these approaches to be combined, depending on the shape of the data and control flow. All the while, the underlying runtime environment must ensure seamless execution without relying on differences in available resources such as the number of cores. The development of effective programming methodologies for this increasingly parallel landscape therefore demands exploration and understanding of a wide variety of foundational and practical ideas. This workshop offers a forum where researchers from different fields can exchange new ideas on this key challenge to modern and future programming– where concurrency and distribution are the norm rather than a marginal concern. Submissions are invited in the general area of programming language approaches to concurrency, communication and distribution, ranging from foundational issues, through language implementations, to applications (such as scientific computing) and case studies. Specific topics include, but are not limited to: * Design and implementation of programming languages with first class support for concurrency and communication * Behavioural types, including session types * Concurrent data types, objects and actors * Verification and program analysis methods for concurrent and distributed software * Runtime systems for scalable management of concurrency and resource allocation * High-level programming abstractions addressing security concerns in concurrent and distributed programming * Multi- and many-core programming models, including methods for harnessing GPUs and other accelerators * Memory models for concurrent programming on relaxed-memory architectures * Integration of sequential and concurrent programming techniques * Use of message passing in systems software * Interface languages for communication and distribution * Novel programming methodologies for sensor networks * Programming language approaches to web services * Concurrency and communication in event processing and business process management Papers are welcome which present novel and valuable ideas as well as experiences. Submissions should be (at most) 6-page extended abstracts in EPTCS format and may include an appendix of up to 4 pages. An abstract should be registered via the EasyChair submission site (https://easychair.org/conferences/?conf=places17 <https://easychair.org/conferences/?conf=places17>) by January 29th (anywhere-on-Earth) with the paper submitted by February 5th (anywhere-on-Earth). There will be a post-proceedings special issue in JLAMP (Journal of Logic and Algebraic Methods) after the workshop which will be open to anyone (with a further round of reviewing). Abstract submission:29 January 2017 Paper submission: 5 February 2017 Notification: 5 March 2017 Camera-ready copy: 17 March 2017 PLACES workshop:29 April 2017 Submission deadlines are "anywhere on Earth". COMMITTEES Programme chairs: Philipp Haller and Vasco T. Vasconcelos Programme committee: * Sebastian Burckhardt, Microsoft Research * Ilaria Castelani, INRIA Sophia Antipolis * Marco Carbone, ITU * Silvia Crafa, University of Padova * Patrick Eugster, TU Darmstadt * Ganesh L Gopalakrishnan, University of Utah * Philipp Haller, KTH * Dimitrios Kouzapas, University of Glasgow * Sam Lindley, University of Edinburgh * Luca Padovani, Univ Torino * Aleksandar Prokopec, Oracle Labs * Peter Thiemann, University of Freiburg * Vasco T. Vasconcelos, University of Lisbon Organising committee: Simon Gay, Alan
[TYPES/announce] Final call for papers: JLAMP special issue on Programming Language Approaches to Concurrency and Communication-cEntric Software
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Apologies for multiple copies] Please note that the deadline has been extended to August 31. Call for Papers JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING Special Issue on Programming Language Approaches to Concurrency and Communication-cEntric Software http://places14.di.fc.ul.pt/jlamp-call-for-papers _ IMPORTANT DATES Submission of papers: August 31, 2014 First review decision: November 31, 2014 Revision due: January 1, 2014 Acceptance notification: February 31, 2015 Final manuscript due: March 28, 2015 Expected publication: Late Spring 2015 _ AIMS AND SCOPE This special issue of the Journal of Logical and Algebraic Methods in Programming (JLAMP, http://www.journals.elsevier.com/journal-of-logical-and-algebraic-methods-in-programming) is devoted to the topics of the 7th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2014, http://places14.di.fc.ul.pt), which took place on April 2014 in Grenoble, as part of the European Joint Conferences on Theory and Practice of Software (ETAPS). This is however an open call for papers, therefore both participants of the workshop and other authors are encouraged to submit their contributions. Submissions are invited in the general area of programming language approaches to concurrency, communication and distribution, ranging from foundational issues, through language implementations, to applications and case studies. Specific topics include, but are not limited to: - Design and implementation of programming languages with first class support for concurrency and communication - Behavioural types, including session types - Concurrent data types, objects and actors - Verification and program analysis methods for concurrent and distributed software - Runtime systems for scalable management of concurrency and resource allocation - High-level programming abstractions addressing security concerns in concurrent and distributed programming - Multi- and many-core programming models, including methods for harnessing GPUs and other accelerators - Memory models for concurrent programming on relaxed-memory architectures - Integration of sequential and concurrent programming techniques - Use of message passing in systems software - Interface languages for communication and distribution - Novel programming methodologies for sensor networks - Programming language approaches to web services - Concurrency and communication in event processing and business process management _ SUBMISSION We expect original articles (20-30 pages) that present high-quality contributions that have not been previously published in another journal and that must not be simultaneously submitted for publication elsewhere. Longer papers will be considered if there is a clear justification for why additional pages are necessary; authors should contact the guest editors to discuss this. Each paper will undergo a thorough evaluation by at least two reviewers. The authors will have about one month to incorporate the comments of the reviewers and submit a revised version of their papers, which will be evaluated again by the reviewers to make a final decision. Contributions should be typeset in PDF format and must comply with JLAMP's author guidelines, which can be retrieved from http://www.elsevier.com/journals/journal-of-logical-and-algebraic-methods-in-programming/2352-2208/guide-for-authors. Submissions are handled by the Elsevier Editorial System and can be uploaded from the JLAMP web page. _ GUEST EDITORS Alastair Donaldson, Imperial College London, UK,alastair.donald...@imperial.ac.uk Vasco T. Vasconcelos, University of Lisbon, PT,v...@di.fc.ul.pt
[TYPES/announce] JLAMP special issue on Programming Language Approaches to Concurrency and Communication-cEntric Software
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Papers JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING Special Issue on Programming Language Approaches to Concurrency and Communication-cEntric Software _ IMPORTANT DATES Submission of papers: August 1, 2014 First review decision: October 31, 2014 Revision due: December 1, 2014 Acceptance notification: January 31, 2015 Final manuscript due: February 28, 2015 Expected publication: Spring 2015 _ AIMS AND SCOPE This special issue of the Journal of Logical and Algebraic Methods in Programming (JLAMP, http://www.journals.elsevier.com/journal-of-logical-and-algebraic-methods-in-programming) is devoted to the topics of the 7th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2014, http://places14.di.fc.ul.pt), which took place on April 2014 in Grenoble, as part of the European Joint Conferences on Theory and Practice of Software (ETAPS). This is however an open call for papers, therefore both participants of the workshop and other authors are encouraged to submit their contributions. Submissions are invited in the general area of programming language approaches to concurrency, communication and distribution, ranging from foundational issues, through language implementations, to applications and case studies. Specific topics include, but are not limited to: - Design and implementation of programming languages with first class support for concurrency and communication - Behavioural types, including session types - Concurrent data types, objects and actors - Verification and program analysis methods for concurrent and distributed software - Runtime systems for scalable management of concurrency and resource allocation - High-level programming abstractions addressing security concerns in concurrent and distributed programming - Multi- and many-core programming models, including methods for harnessing GPUs and other accelerators - Memory models for concurrent programming on relaxed-memory architectures - Integration of sequential and concurrent programming techniques - Use of message passing in systems software - Interface languages for communication and distribution - Novel programming methodologies for sensor networks - Programming language approaches to web services - Concurrency and communication in event processing and business process management _ SUBMISSION We expect original articles (20-30 pages) that present high-quality contributions that have not been previously published in another journal and that must not be simultaneously submitted for publication elsewhere. Longer papers will be considered if there is a clear justification for why additional pages are necessary; authors should contact the guest editors to discuss this. Each paper will undergo a thorough evaluation by at least two reviewers. The authors will have about one month to incorporate the comments of the reviewers and submit a revised version of their papers, which will be evaluated again by the reviewers to make a final decision. Contributions should be typeset in PDF format and must comply with JLAMP's author guidelines, which can be retrieved from http://www.elsevier.com/journals/journal-of-logical-and-algebraic-methods-in-programming/2352-2208/guide-for-authors. Submissions are handled by the Elsevier Editorial System and can be uploaded from the JLAMP web page. _ GUEST EDITORS Alastair Donaldson, Imperial College London, UK, alastair.donald...@imperial.ac.uk Vasco T. Vasconcelos, University of Lisbon, PT, v...@di.fc.ul.pt
[TYPES/announce] PLACES 2014 _ Call for Participation
, Università Ca' Foscari Venezia, IT Alastair Donaldson, Imperial College London, UK (co-chair) Benedict Gaster, Qualcomm, USA Simon Gay, University of Glasgow, UK Thomas Hildebrandt, IT University of Copenhagen, DK Jeroen Ketema, Imperial College London, UK Hans-Wolfgang Loidl, Heriot-Watt University, UK Etienne Lozes, ENS Cachan University of Kassel, FR DE Francisco Martins, University of Lisbon, PT Alan Mycroft, University of Cambridge, UK Luca Padovani, Università di Torino, IT Shaz Qadeer, MSR Redmond, USA Vasco T. Vasconcelos, University of Lisbon, PT (co-chair) ** Organizing Committee ** Alastair Beresford, University of Cambridge, UK Simon Gay, University of Glasgow, UK Alan Mycroft, University of Cambridge, UK Vasco Vasconcelos, University of Lisbon, Portugal Nobuko Yoshida, Imperial College London, UK
[TYPES/announce] PLACES 2014: deadline extended until 3rd January 2014
Loidl, Heriot-Watt University, UK Etienne Lozes, ENS Cachan University of Kassel, FR DE Francisco Martins, University of Lisbon, PT Alan Mycroft, University of Cambridge, UK Luca Padovani, Università di Torino, IT Shaz Qadeer, MSR Redmond, USA Vasco T. Vasconcelos, University of Lisbon, PT (co-chair) Organizing Committee Alastair Beresford, University of Cambridge, UK Simon Gay, University of Glasgow, UK Alan Mycroft, University of Cambridge, UK Vasco Vasconcelos, University of Lisbon, Portugal Nobuko Yoshida, Imperial College London, UK
[TYPES/announce] Second call for papers: PLACES'14 - Programming Language Approaches to Concurrency and communication-cEntric Software
, UK Luca Padovani, Università di Torino, IT Shaz Qadeer, MSR Redmond, USA Vasco T. Vasconcelos, University of Lisbon, PT (co-chair) Organizing Committee Alastair Beresford, University of Cambridge, UK Simon Gay, University of Glasgow, UK Alan Mycroft, University of Cambridge, UK Vasco Vasconcelos, University of Lisbon, Portugal Nobuko Yoshida, Imperial College London, UK
[TYPES/announce] Postdoc position at the University of Lisbon
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
We welcome applications for a post-doctoral scholarship.
The position is funded by the research project Advanced Type Systems
for Multicore Programming. The objective of the project is the
development of new concurrency abstractions, together with the
associated static analysis methods for multicore programming (see
http://gloss.di.fc.ul.pt/types-multicore).
We seek applicants with strong interest in some of the following
topics: programming language design and implementation, programming
logics and types, verification, and concurrency. The successful
candidates will in work closely with Prof Vasco T. Vasconcelos, in the
{Lasige} Group of Software Systems, http://gloss.di.fc.ul.pt and the
Department of Computer Science, Faculty of Sciences, University of
Lisbon.
Applicants must hold a PhD in Computer Science, Mathematics or related
discipline, and must produce evidence of expertise on the topics of
the project.
For full details and how to apply see http://lasige.di.fc.ul.pt/Open_Positions.
[TYPES/announce] Post-doc position on Advanced Type Systems for Multicore Programming
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Lasige, Large-Scale Informatics Systems Laboratory
http://lasige.di.fc.ul.pt/, is looking for a post-doc to join the
Advanced Type Systems for Multicore Programming project.
Objective of the project: development of new concurrency abstractions,
together with the associated static analysis methods for multicore and
cluster programming, http://gloss.di.fc.ul.pt/types-multicore.
We seek applicants with strong interest in some of the following
topics: programming language design and implementation, programming
logics and types, verification, and concurrency. The successful
candidates will in work closely with Prof Vasco T. Vasconcelos, in the
{Lasige} Group of Software Systems, http://gloss.di.fc.ul.pt and the
Department of Computer Science, Faculty of Sciences, University of
Lisbon.
Applicants must hold a PhD in Computer Science, Mathematics or related
discipline, and must produce evidence of expertise on the topics of
the project. The call is open until June 27.
For full details and how to apply see
http://lasige.di.fc.ul.pt/Open_Positions.
Further inquires may be made to Vasco T. Vasconcelos, v...@di.fc.ul.pt.
---
Vasco Thudichum Vasconcelos http://www.di.fc.ul.pt/~vv
Dep. of Informatics,Faculty of Sciences,University of Lisbon
Phone/Fax: +351 217 500 608/084 v...@di.fc.ul.pt
Bloco C6 - Piso 3, Campo Grande, 1749-016 Lisboa , Portugal
[TYPES/announce] PLACES 2011 Call For Participation
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PARTICIPATION PLACES'11 Programming Language Approaches to Concurrency and communication-cEntric Software 2nd April 2011, Saarbrücken, Germany Affiliated with ETAPS 2011 http://places11.di.fc.ul.pt/ PROGRAMME The programme for the workshop is available from: http://places11.di.fc.ul.pt/programme REGISTRATION Registration is through the ETAPS registration page: http://www.etaps.org/registration Details on the venue, local information and accommodation are also available through the ETAPS site: http://www.etaps.org INVITED SPEAKER Charting the course to a many core future: HW, SW and the parallel programming problem. Timothy G Mattson, Intel Corporation THEME AND GOALS Applications on the web today are built using numerous interacting services; soon off-the-shelf CPUs will host hundreds of cores; and sensor networks will be composed from a large number of processing units. Much normal software, including applications and system-level services, will soon need to make effective use of thousands of computing nodes. At some level of granularity, computation in such systems will be inherently concurrent and communication-centred. To exploit and harness the richness of this computing environment, designers and programmers will utilise a rich variety of programming paradigms, depending on the shape of the data and control flow. Plausible candidates for such paradigms include structured imperative concurrent programming, stream-based programming, concurrent functions with asynchronous message passing, higher-order types for events, and the use of types for communications and data structures (such as session types and linear types), to name but a few. Combinations of these abstractions will be used even in a single application, and the runtime environment needs to ensure seamless execution without relying on differences in available resources such as the number of cores. The development of effective programming methodologies for the coming computing paradigm demands exploration and understanding of a wide variety of ideas and techniques. This workshop aims to offer a forum where researchers from different fields exchange new ideas on one of fithe central challenges for programming in the near future, the development of programming methodologies and infrastructures where concurrency and distribution are the norm rather than a marginal concern. Topics of Interest Submissions are invited in the general area of foundations of programming languages for concurrency, communication and distribution. Specific topics include: language design and implementations for communications and/or concurrency, program analysis, session types, multicore programming, use of message passing in systems software, interface languages for communication and distribution, concurrent data types, concurrent objects and actors, web services, novel programming methodologies for sensor networks, integration of sequential and concurrent programming, high-level programming abstractions for security concerns in concurrent, distributed programming, and runtime architectures for concurrency, scalability and/or resource allocations. Papers are welcome which present novel and valuable ideas as well as experiences. PROGRAM COMMITTEE Marco Carbone, IT University of Copenhagen Swarat Chaudhuri, Pennsylvania State University Alastair Donaldson, Oxford University Tim Harris, Microsoft Research Cambridge Alan Mycroft, University of Cambridge Jens Palsberg, University of California, Los Angeles Vijay A. Saraswat, IBM Research Vivek Sarkar, Rice University (co-chair) Vasco T. Vasconcelos, University of Lisbon (co chair) Jan Vitek, Purdue University Nobuko Yoshida, Imperial College London
[TYPES/announce] POSTDOC Position in Lisbon (Carnegie Mellon | Portugal Research Project)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We welcome applications for a post-doctoral scholarship. *** DEADLINE 30 FEBRUARY 2011 The position is funded by the research project Certified Interfaces for Integrity and Security in Extensible Web-based Applications, CMU-PT/NGN/0044/2008, in the context of the Carnegie Mellon-Portugal partnership, an international research / educational initiative launched by FCT, the portuguese national science foundation (see www.cmuportugal.org). Project partners are CITI FCT UNL (L. Caires), LASIGE FC UL (V. Vasconcelos), Carnegie Mellon CSD (F. Pfenning), and industrial partner OutSystems SA. The hosting environment will be the GLOSS Group at LASIGE, with extended visits to Carnegie Mellon Department of Computer Science. More information about the research environment may be found at websites of the hosting institutions. The objective of the project is the development of techniques for enforcing security, integrity, and correctness requirements on distributed extensible web-based applications by introducing novel, semantically rich notions of interface description languages, based on advanced type systems and logics, such as resource / epistemic logics and behavioral / session types. We seek applicants with strong interest in some of the following topics: programming language design and implementation, programming logics and types, verification, and concurrency. The contract is for one year, extensible until the end of 2012. Administrative rules applicable may be found in the FCT/MCTES site in http://alfa.fct.mctes.pt/apoios/bolsas/. Applications should include a curriculum vitae in pdf format, contact details for three referees, and should be sent to LaSIGE - Laboratório de Sistemas Informáticos de Grande-Escala Faculdade de Ciências da Universidade de Lisboa Departamento de Informática Edifício C6, Piso 3, Sala 30 Campo Grande 1749-016 Lisboa Portugal Phone: +351 21 750 05 32 Fax: +351 21 750 05 33 Email: Pedro Gonçalves, pgoncal...@di.fc.ul.pt Please email us for any further questions about the positions and the related research project, Best regards, Luis Caires, luis.caires(at)di.fct.unl.pt Frank Pfenning, fp(at)cs.cmu.edu Vasco Vasconcelos, vv(at)di.fc.ul.pt
[TYPES/announce] PLACES'11 _ Deadline extended to Jan 16th
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] SECOND CALL FOR PAPERS (deadline extended) PLACES'11 Programming Language Approaches to Concurrency and communication-cEntric Software 2nd April 2011, Saarbrücken, Germany Affiliated with ETAPS 2011 http://places11.di.fc.ul.pt/ Theme and Goals Applications on the web today are built using numerous interacting services; soon off-the-shelf CPUs will host hundreds of cores; and sensor networks will be composed from a large number of processing units. Much normal software, including applications and system-level services, will soon need to make effective use of thousands of computing nodes. At some level of granularity, computation in such systems will be inherently concurrent and communication-centred. To exploit and harness the richness of this computing environment, designers and programmers will utilise a rich variety of programming paradigms, depending on the shape of the data and control flow. Plausible candidates for such paradigms include structured imperative concurrent programming, stream-based programming, concurrent functions with asynchronous message passing, higher-order types for events, and the use of types for communications and data structures (such as session types and linear types), to name but a few. Combinations of these abstractions will be used even in a single application, and the runtime environment needs to ensure seamless execution without relying on differences in available resources such as the number of cores. The development of effective programming methodologies for the coming computing paradigm demands exploration and understanding of a wide variety of ideas and techniques. This workshop aims to offer a forum where researchers from different fields exchange new ideas on one of fithe central challenges for programming in the near future, the development of programming methodologies and infrastructures where concurrency and distribution are the norm rather than a marginal concern. Topics of Interest Submissions are invited in the general area of foundations of programming languages for concurrency, communication and distribution. Specific topics include: language design and implementations for communications and/or concurrency, program analysis, session types, multicore programming, use of message passing in systems software, interface languages for communication and distribution, concurrent data types, concurrent objects and actors, web services, novel programming methodologies for sensor networks, integration of sequential and concurrent programming, high-level programming abstractions for security concerns in concurrent, distributed programming, and runtime architectures for concurrency, scalability and/or resource allocations. Papers are welcome which present novel and valuable ideas as well as experiences. Submission Guidelines Authors are invited to submit a five-page abstract in PDF format using the EasyChair proceedings template available at http://www.easychair.org/easychair.zip. Abstracts and full papers should be submitted using EasyChair, http://www.easychair.org/conferences/?conf=places11. Preliminary proceedings will be available at the workshop. Post-proceedings will be published in a journal (the past post-proceedings were published in ENTCS and EPTCS). Important Dates Deadline of 5-page abstracts: Wednesday 16th Jan 2011 Notification: Wednesday 2nd Feb 2011 Camera Ready for pre-proceedings: Wednesday 9th Feb 2011 Program Committee Marco Carbone, IT University of Copenhagen Swarat Chaudhuri, Pennsylvania State University Alastair Donaldson, Oxford University Tim Harris, Microsoft Research Cambridge Alan Mycroft, University of Cambridge Jens Palsberg, University of California, Los Angeles Vijay A. Saraswat, IBM Research Vivek Sarkar, Rice University (co-chair) Vasco T. Vasconcelos, University of Lisbon (co chair) Jan Vitek, Purdue University Nobuko Yoshida, Imperial College London
[TYPES/announce] AITO Dahl-Nygaard Awards for 2010
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] AITO is very proud to announce the Dahl-Nygaard Prizes for 2010. The Senior Prize will be given to Doug Lea, State University of New York at Oswego, for his tireless advocacy of object-oriented techniques, his contributions to concurrent programming in Java, and his contributions to the practice of computing as well as to education. The Junior Prize will be given to Erik Ernst, University of Aarhus, Denmark, for his recent contributions to object-oriented programming. The Dahl-Nygaard Prizes 2010 will be presented in July during ECOOP 2010, in Maribor, Slovenia. More information about the Dahl-Nygaard prizes can be found at http://www.aito.org/Dahl-Nygaard/ and about the 2010 awards at http://www.aito.org/Dahl-Nygaard/2010.html Vasco T. Vasconcelos AITO Vice-President
[TYPES/announce] Postdoc position in Lisbon
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Software Engineering for Service-
Oriented Overlay Computers
The Department of Informatics at the Faculty of Sciences, University of
Lisbon is seeking candidates for one post-doc position. The position
is funded by Sensoria, Software Engineering for Service-Oriented
Overlay Computers (http://www.sensoria-ist.eu/), an IST project
funded by the European Union as an Integrated Project under the 6th
framework program, and part of the Global Computing Initiative.
We seek candidates with a strong background in some of the
following areas: service-oriented computing, software architectures,
foundations and analysis of concurrent and distributed systems. The
position is available from May 2009 to February 2010. Monthly salary
is euro 2.775.
Applicants should hold a PhD degree in Computer Science or
equivalent, and justified expertise on the project themes. Applicants
should send a detailed CV, together with a contact telephone number,
address, and e-mail to the address below. Further informations can be
obtained by contacting the researchers on the right.
LASIGE
A/C PEDRO GONÇALVES
DEPARTMENTO DE INFORMÁTICA
FACULDADE DE CIÊNCIAS DA UNIVERSIDADE DE LISBOA
BLOCO C6, PISO 3, SALA 30
CAMPO GRANDE, 1749–016 LISBOA
PORTUGAL
Research Institutes
•{Lasige} Group of Software Systems
•{CITI} Programming Languages and Systems Group
•{IT} Security and Quantum Information Group
Key Researchers
•Luís Caires
•Carla Ferreira
•Luís Cruz-Filipe
•Antónia Lopes
•Francisco Martins
•António Ravara
•João Seco
•Vasco T. Vasconcelos
Flyer at http://gloss.di.fc.ul.pt/positions/call-sensoria-2009.pdf
[TYPES/announce] PLACES'08 - 2nd Call For Papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 2nd CALL FOR PAPERS PLACES'08 Programming Language Approaches to Concurrency and Communication-cEntric Software June 7, 2008, Oslo, Norway (a post-workshop of DisCoTec'08) http://places08.di.fc.ul.pt/ Applications on the web today are built using numerous interacting services; soon an off-the-shelf CPUs will host thousands of cores, and sensor networks will be composed from a large number of processing units. Many normal applications will soon need to make effective use of thousands of computing nodes. At some level of granularity, computation in such systems will be inherently concurrent and communication-centred. To exploit and harness the richness of this computing environment, designers and programmers will utilise a rich variety of programming paradigms, depending on the shape of the data and control flow. Plausible candidates for such paradigms include structured imperative concurrent programming, stream-based programming, concurrent functions with queues, and the use of types for communication and data structures (such as session types and linear types), to name but a few. Combinations of these abstractions will be used even in a single application, and the runtime environment needs to ensure seamless execution without relying on differences in available resources such as the number of cores. The development of effective programming methodologies for the coming computing paradigm demands exploration and understanding of a wide variety of ideas and methodologies. This workshop aims to offer a forum where researchers from different fields exchange new ideas on one of the central challenges in programming in near future, the development of programming methodologies and infrastructures where concurrency and distribution are a norm rather than a marginal concern. This workshop aims providing a forum for the focused exchange of new ideas to support our quest for a unifying picture of programming in this new area. Topics of Interest Submissions are invited in the general area of foundations of programming languages for concurrency and distribution. Specific topics include: programming methodologies for sensor nets and ubiquitous computing, multicore and network-on-chip programming, integration of sequential and concurrent programming, program analysis, session types, concurrent data types, web services, and runtime architectures, including resource allocation. Papers which present novel and valuable ideas are welcome, together with those which provide experience or practical insight. Submission Guidelines Authors are invited to submit an abstract (max. 5 pages) in PDF format by e-mail to [EMAIL PROTECTED] Preliminary proceedings will be available at the workshop. Invited Talk by Jan Vitek _ Purdue University Post-Workshop Proceedings in ENTCS After the workshop authors will be invited to submit a full paper of their presentation to be published in ENTCS, http://www.entcs.org. Important Dates Paper Submission: April 15, 2008 Paper Notification: May 1, 2008 Camera Ready: May 15, 2008 Program Committee _ Alastair Beresford _ University of Cambridge _ Manuel Fahndrich _ Microsoft Research _ Simon Gay _ University of Glasgow _ Kohei Honda _ Queen Mary University of London _ Andrew Meyers _ Cornell University _ Greg Morrisett _ Harvard University _ Alan Mycroft _ University of Cambridge _ Vijay A. Saraswat _ IBM Research _ Vasco T. Vasconcelos (chair) _ University of Lisbon _ Nobuko Yoshida (chair) _ Imperial College London
[TYPES/announce] Two post-doc/PhD positions in Lisbon
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Department of Informatics at the Faculty of Sciences, University of Lisbon is seeking candidates for two Ph.D. or post-doc positions, starting January 2007. The position is funded by Sensoria, Software Engineering for Service- Oriented Overlay Computers, (http:/sensoria.fast.de/), an IST project funded by the European Union as an Integrated Project under the 6th framework programme, and part of the Global Computing Initiative. Researchers in the Lisbon site include Lu´ıs Caires, Ant´onia Lopes, Francisco Martins, Ant´onio Ravara, Jo˜ao Seco, and Vasco T. Vasconcelos. We seek candidates with a strong background in some of the following areas: service-oriented computing, software architectures, foundations and analysis of concurrent and distributed system. Monthly salary in the range euro 2.200–3.300. Post-doc applicants should hold a Ph.D. degree in Computer Science or equivalent, and justified expertise on the project themes. Ph.D. candidates should be eligible for a Ph.D programme at a Portuguese university. Applications are open until December 28, 2006. Applicants should send a detailed CV, together with a contact phone number, address, and e-mail address to: Prof. Vasco Thudichum Vasconcelos Secretaria do Departmento de Inform´atica Faculdade de Ciˆencias da Universidade de Lisboa Bloco C6, piso 3, sala 38 Campo Grande, 1749–016 Lisboa Portugal
