From rjmh at chalmers.se Mon Oct 2 14:23:32 2017 From: rjmh at chalmers.se (John Hughes) Date: Mon, 2 Oct 2017 16:23:32 +0200 Subject: [Haskell] CFP: Lambda Days, Krakow, 22-23 February 2018 Message-ID: <0ba001d33b8a$06aaaa50$13fffef0$@chalmers.se> Lambda Days is a joint industry/academic conference on functional programming, held annually at the Jagiellonian University in Krakow. Lambda Days is calling both for proposed presentations, and for research papers, the latter to be published after the event in Concurrency and Computation: Practice and Experience or in Science of Computer Programming. The deadline for both kinds of submission is October 31st. See the full call for papers here: http://www.lambdadays.org/lambdadays2018#call-for-papers -------------- next part -------------- An HTML attachment was scrubbed... URL: From wolfgang-it at jeltsch.info Wed Oct 4 22:41:00 2017 From: wolfgang-it at jeltsch.info (Wolfgang Jeltsch) Date: Thu, 05 Oct 2017 01:41:00 +0300 Subject: [Haskell] Haskell in Leipzig 2017: 2nd call for participation Message-ID: <1507156860.28222.44.camel@jeltsch.info> Event:    Haskell in Leipzig 2017 Time:     October 26–28, 2017 Place:    HTWK Leipzig, Germany Homepage: https://hal2017.softbase.org/ About ===== Haskell is a modern functional programming language that allows rapid development of robust and correct software. It is renowned for its expressive type system, its unique approaches to concurrency and parallelism, and its excellent refactoring capabilities. Haskell is both the playing field of cutting-edge programming language research and a reliable base for commercial software development. The workshop series Haskell in Leipzig (HaL), now in its 12th year, brings together Haskell developers, Haskell researchers, Haskell enthusiasts, and Haskell beginners to listen to talks, take part in tutorials, join in interesting conversations, and hack together. To support the latter, HaL will include a one-day hackathon this year. The workshop will have a focus on functional reactive programming (FRP) this time, while continuing to be open to all aspects of Haskell. As in the previous year, the workshop will be in English. Invited Speaker ===============   * Ivan Perez, University of Nottingham, UK Invited Performer =================   * Lennart Melzer, Robert-Schumann-Hochschule Düsseldorf, Germany Registration ============ Registration information is available on the web page of the local organizers at http://nfa.imn.htwk-leipzig.de/HAL2017/. Program Committee =================   * Edward Amsden, Plow Technologies, USA   * Heinrich Apfelmus, Germany   * Jurriaan Hage, Utrecht University, The Netherlands   * Petra Hofstedt, BTU Cottbus-Senftenberg, Germany   * Wolfgang Jeltsch, Tallinn University of Technology, Estonia (chair)   * Andres Löh, Well-Typed LLP, Germany   * Keiko Nakata, SAP SE, Germany   * Henrik Nilsson, University of Nottingham, UK   * Ertuğrul Söylemez, Intelego GmbH, Germany   * Henning Thielemann, Germany   * Niki Vazou, University of Maryland, USA   * Johannes Waldmann, HTWK Leipzig, Germany Questions ========= If you have any questions, please do not hesitate to contact Wolfgang Jeltsch at wolfgang-it at jeltsch.info. From mihai.maruseac at gmail.com Fri Oct 6 02:17:10 2017 From: mihai.maruseac at gmail.com (Mihai Maruseac) Date: Thu, 5 Oct 2017 19:17:10 -0700 Subject: [Haskell] [Call for Contributions] Haskell Communities and Activities Report, November 2017 edition (33rd edition) Message-ID: Dear all, We would like to collect contributions for the 33rd edition of the ============================================================ Haskell Communities & Activities Report http://www.haskell.org/haskellwiki/Haskell_Communities_and_Activities_Report Submission deadline: 5 November 2017 (please send your contributions to hcar at haskell.org, in plain text or LaTeX format, both are equally accepted) ============================================================ This is the short story: * If you are working on any project that is in some way related to Haskell, please write a short entry and submit it. Even if the project is very small or unfinished or you think it is not important enough --- please reconsider and submit an entry anyway! * If you are interested in an existing project related to Haskell that has not previously been mentioned in the HCAR, please tell us, so that we can contact the project leaders and ask them to submit an entry. * If you are working on a project that is looking for contributors, please write a short entry and submit it, mentioning that your are looking for contributors. * Feel free to pass on this call for contributions to others that might be interested. More detailed information: The Haskell Communities & Activities Report is a bi-annual overview of the state of Haskell as well as Haskell-related projects over the last, and possibly the upcoming six months. If you have only recently been exposed to Haskell, it might be a good idea to browse the previous edition --- you will find interesting projects described as well as several starting points and links that may provide answers to many questions. Contributions will be collected until the submission deadline. They will then be compiled into a coherent report that is published online as soon as it is ready. As always, this is a great opportunity to update your webpages, make new releases, announce or even start new projects, or to talk about developments you want every Haskeller to know about! Looking forward to your contributions, Mihai Maruseac FAQ: Q: What format should I write in? A: The usual format is a LaTeX source file, adhering to the template that is available at: http://haskell.org/communities/11-2017/template.tex There is also a LaTeX style file at http://haskell.org/communities/11-2017/hcar.sty that you can use to preview your entry. If you do not know LaTeX or don't want to use it or don't have time to translate your entry into it, then please use plain text, it is better to have an entry in plain-text which we will translate than not have it at all. If you modify an old entry that you have written for an earlier edition of the report, you should soon receive your old entry as a template (provided we have your valid email address). Please modify that template, rather than using your own version of the old entry as a template. Q: Can I include Haskell code? A: Yes. Please use lhs2tex syntax (http://www.andres-loeh.de/lhs2tex/). The report is compiled in mode polycode.fmt. Q: Can I include images? A: Yes, you are even encouraged to do so. Please use .jpg or .png format, then. PNG is preferred for simplicity. Q: Should I send files in .zip archives or similar? A: No, plain file attachments are the way. Q: How much should I write? A: Authors are asked to limit entries to about one column of text. A general introduction is helpful. Apart from that, you should focus on recent or upcoming developments. Pointers to online content can be given for more comprehensive or "historic" overviews of a project. Images do not count towards the length limit, so you may want to use this opportunity to pep up entries. There is no minimum length of an entry! The report aims for being as complete as possible, so please consider writing an entry, even if it is only a few lines long. Q: Which topics are relevant? A: All topics which are related to Haskell in some way are relevant. We usually had reports from users of Haskell (private, academic, or commercial), from authors or contributors to projects related to Haskell, from people working on the Haskell language, libraries, on language extensions or variants. We also like reports about distributions of Haskell software, Haskell infrastructure, books and tutorials on Haskell. Reports on past and upcoming events related to Haskell are also relevant. Finally, there might be new topics we do not even think about. As a rule of thumb: if in doubt, then it probably is relevant and has a place in the HCAR. You can also simply ask us. Q: Is unfinished work relevant? Are ideas for projects relevant? A: Yes! You can use the HCAR to talk about projects you are currently working on. You can use it to look for other developers that might help you. You can use HCAR to ask for more contributors to your project, it is a good way to gain visibility and traction. Q: If I do not update my entry, but want to keep it in the report, what should I do? A: Tell us that there are no changes. The old entry will typically be reused in this case, but it might be dropped if it is older than a year, to give more room and more attention to projects that change a lot. Do not resend complete entries if you have not changed them. Q: Will I get confirmation if I send an entry? How do I know whether my email has even reached its destination, and not ended up in a spam folder? A: Prior to publication of the final report, we will send a draft to all contributors, for possible corrections. So if you do not hear from us within two weeks after the deadline, it is safer to send another mail and check whether your first one was received. -- Mihai Maruseac (MM) "If you can't solve a problem, then there's an easier problem you can solve: find it." -- George Polya From gershomb at gmail.com Fri Oct 6 06:14:24 2017 From: gershomb at gmail.com (Gershom B) Date: Fri, 6 Oct 2017 02:14:24 -0400 Subject: [Haskell] ANN: New Full Platform Build of Haskell Platform 8.2.1 for Mac Message-ID: Thanks to some intrepid sleuthing by Albert Y. C. Lai, we realized there was a serious problem in the full (not core) builds of HP for Mac and Linux (not Windows). If you've seen lots of "unusable due to shadowed dependencies" errors on packages that came with full 8.2.1 platform installs on those systems, this is likely why. We should have tested better and caught this, and I'm sorry for the trouble it has caused. I've released a new build of the full mac installer, and updated the hash on the site. A new generic-linux build should follow soon. Regards, Gershom P.s. For those interested, the technical details are at https://github.com/haskell/haskell-platform/issues/285 -- in brief, the platform had done builds using inplace conf files but deployed using proper target package-conf files. This worked just fine until the new abi-depends machinery was introduced for better computing dependency mismatches (https://phabricator.haskell.org/D2846 is one place to start reading about that). That new machinery then recognized that different abis were generated for the inplace conf than the target conf, and things went screwy. But the problem here isn't with those changes -- it's with our inadequate testing that should have caught when things went wrong and alerted us that we needed to step back and fix things earlier, and the responsibility for that is all on me. From Graham.Hutton at nottingham.ac.uk Mon Oct 9 07:33:16 2017 From: Graham.Hutton at nottingham.ac.uk (Graham Hutton) Date: Mon, 9 Oct 2017 07:33:16 +0000 Subject: [Haskell] Journal of Functional Programming - Call for PhD Abstracts Message-ID: <0AE16494-24A8-4615-9F0F-FD648C97C4F4@exmail.nottingham.ac.uk> Dear all, If you or one of your students recently completed a PhD in the area of functional programming, please submit the dissertation abstract for publication in JFP: simple process, no refereeing, open access, deadline 31st October 2017. Please share! Best wishes, Graham ============================================================ CALL FOR PHD ABSTRACTS Journal of Functional Programming Deadline: 31st October 2017 http://tinyurl.com/jfp-phd-abstracts ============================================================ PREAMBLE: Many students complete PhDs in functional programming each year. As a service to the community, the Journal of Functional Programming publishes the abstracts from PhD dissertations completed during the previous year. The abstracts are made freely available on the JFP website, i.e. not behind any paywall. They do not require any transfer of copyright, merely a license from the author. A dissertation is eligible for inclusion if parts of it have or could have appeared in JFP, that is, if it is in the general area of functional programming. The abstracts are not reviewed. Please submit dissertation abstracts according to the instructions below. We welcome submissions from both the PhD student and PhD advisor/supervisor although we encourage them to coordinate. ============================================================ SUBMISSION: Please submit the following information to Graham Hutton by 31st October 2017. o Dissertation title: (including any subtitle) o Student: (full name) o Awarding institution: (full name and country) o Date of PhD award: (month and year; depending on the institution, this may be the date of the viva, corrections being approved, graduation ceremony, or otherwise) o Advisor/supervisor: (full names) o Dissertation URL: (please provide a permanently accessible link to the dissertation if you have one, such as to an institutional repository or other public archive; links to personal web pages should be considered a last resort) o Dissertation abstract: (plain text, maximum 1000 words; you may use \emph{...} for emphasis, but we prefer no other markup or formatting in the abstract, but do get in touch if this causes significant problems) Please do not submit a copy of the dissertation itself, as this is not required. JFP reserves the right to decline to publish abstracts that are not deemed appropriate. ============================================================ PHD ABSTRACT EDITOR: Graham Hutton School of Computer Science University of Nottingham Nottingham NG8 1BB United Kingdom ============================================================ This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please send it back to me, and immediately delete it. Please do not use, copy or disclose the information contained in this message or in any attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. This message has been checked for viruses but the contents of an attachment may still contain software viruses which could damage your computer system, you are advised to perform your own checks. Email communications with the University of Nottingham may be monitored as permitted by UK legislation. From kaposi.ambrus at gmail.com Tue Oct 10 14:58:14 2017 From: kaposi.ambrus at gmail.com (Ambrus Kaposi) Date: Tue, 10 Oct 2017 16:58:14 +0200 Subject: [Haskell] TYPES 2017 post-proceedings call for papers Message-ID: Abstract deadline in 6 days! Open call for papers Post-proceedings of the 23rd International Conference on Types for Proofs and Programs TYPES 2017 TYPES is a major forum for the presentation of research on all aspects of type theory and its applications. TYPES 2017 was held between 29 May and 1 June in Budapest, Hungary. The post-proceedings volume will be published in LIPIcs, Leibniz International Proceedings in Informatics, an open-access series of conference proceedings (http://www.dagstuhl.de/en/publications/lipics). Submission to this post-proceedings volume is open to everyone, also to those who did not participate in the conference. We would like to invite all researchers that study and apply type systems to share their results. In particular, we welcome submissions on the following topics: * Foundations of type theory and constructive mathematics; * Homotopy type theory; * Applications of type theory; * Dependently typed programming; * Industrial uses of type theory technology; * Meta-theoretic studies of type systems; * Proof assistants and proof technology; * Automation in computer-assisted reasoning; * Links between type theory and functional programming; * Formalizing mathematics using type theory; * Type theory in linguistics. IMPORTANT DATES * Abstract submission: 16 October 2017 * Paper submission: 23 October 2017 * Author notification: 26 March 2018 DETAILS * Papers have to be formatted with lipics.cls and adhere to the style requirements of LIPIcs. http://www.dagstuhl.de/en/publications/lipics/instructions-for-authors/ * The recommended length of a paper is 15-25 pages. Submissions significantly longer than 25 pages will not be considered. * Papers have to be submitted in pdf through EasyChair: https://easychair.org/conferences/?conf=types2017postproceed * Authors have the option to attach to their submission a zip or tgz file containing code (formalized proofs or programs), but reviewers are not obliged to take those attachments into account and they will not be published. * More information is available on http://types2017.elte.hu/#postproc * In case of questions, please contact one of the editors. EDITORS Andreas Abel andreas.abel at gu.se Gothenburg University, Sweden Fredrik Nordvall Forsberg fredrik.nordvall-forsberg at strath.ac.uk University of Strathclyde, United Kingdom Ambrus Kaposi akaposi at inf.elte.hu Eötvös Loránd University, Hungary From dominique.devriese at cs.kuleuven.be Mon Oct 16 07:12:42 2017 From: dominique.devriese at cs.kuleuven.be (Dominique Devriese) Date: Mon, 16 Oct 2017 07:12:42 +0000 Subject: [Haskell] Final call for Secure Compilation presentations (PriSC Workshop @ POPL'18) Message-ID: ======================================================================= Call for Presentations on Secure Compilation (PriSC Workshop @ POPL'18) ======================================================================= Secure compilation is an emerging field that puts together advances in programming languages, security, verification, systems, compilers, and hardware architectures in order to devise secure compiler chains that eliminate many of today's low-level vulnerabilities. Secure compilation aims to protect high-level language abstractions in compiled code, even against adversarial low-level contexts, and to allow sound reasoning about security in the source language. The emerging secure compilation community aims to achieve this by: identifying and formalizing properties that secure compilers must possess; devising efficient enforcement mechanisms; and developing effective verification and proof techniques. ====================================================================== 2nd Workshop on Principles of Secure Compilation (PriSC 2018) ====================================================================== The Workshop on Principles of Secure Compilation (PriSC) is a new informal 1-day workshop without any proceedings. The goal is to identify interesting research directions and open challenges and to bring together researchers interested in secure compilation. The 2nd PriSC edition will be held on Saturday, 13 January 2018, in Los Angeles, together with the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL). More information at http://popl18.sigplan.org/track/prisc-2018 ====================================================================== Important Dates ====================================================================== Presentation proposal submission deadline: 18 October 2017, AoE Presentation proposal notification: 8 November 2017 PriSC Workshop takes place: 13 January 2018 ====================================================================== Scope of the Workshop ====================================================================== Anyone interested in presenting at the workshop should submit an extended abstract (up to 2 pages, details below). This can cover past, ongoing, or future work. Any topic that could be of interest to the emerging secure compilation community is in scope. Talks that provide a useful outside view or challenge the community are also welcome. Topics of interest include but are **not** limited to: - attacker models for secure compiler chains - secure compilation properties: full abstraction, memory safety, control-flow integrity, preserving non-interference or (hyper-)properties against adversarial contexts, secure multi-language interoperability - enforcement mechanisms: static checking, program verification, reference monitoring, program rewriting, software fault isolation, system-level protection, secure hardware, crypto, randomization - experimental evaluation and applications of secure compilation - proof methods: (bi)simulation, logical relations, game semantics, multi-language semantics, embedded interpreters - formal verification of secure compilation chain (protection mechanisms, compilers, linkers, loaders), machine-checked proofs, translation validation, property-based testing ====================================================================== Guidelines for Submitting Extended Abstracts ====================================================================== Extended abstracts should be submitted in PDF format and not exceed 2 pages. They should be formatted in two-column layout, 10pt font, and be printable on A4 and US Letter sized paper. We recommend using the new `acmart` LaTeX style in `sigplan` mode: http://www.sigplan.org/sites/default/files/acmart/current/acmart-sigplanproc.zip Submissions are not anonymous and should provide sufficient detail to be assessed by the program committee. Presentation at the workshop does not preclude publication elsewhere. Please submit your extended abstracts at https://prisc18.hotcrp.com/ ====================================================================== Short Talks Session ====================================================================== We will also run a short talks session, where participants get five minutes to present intriguing ideas, advertise ongoing work, etc. You can expect a call for short talks closer to the event. ====================================================================== Program Committee ====================================================================== Program Chair Catalin Hritcu Inria Paris Members Amal Ahmed Inria Paris and Northeastern University Lars Birkedal Aarhus University Dominique Devriese KU Leuven Cédric Fournet Microsoft Research Deepak Garg MPI-SWS Xavier Leroy Inria Paris David Naumann Stevens Institute of Technology Marco Patrignani MPI-SWS Frank Piessens KU Leuven Tamara Rezk Inria Sophia Antipolis Nikhil Swamy Microsoft Research ====================================================================== Organizing Committee ====================================================================== Amal Ahmed Inria Paris and Northeastern University Dominique Devriese KU Leuven Deepak Garg MPI-SWS Catalin Hritcu Inria Paris Marco Patrignani MPI-SWS Tamara Rezk Inria Sophia Antipolis ====================================================================== Contact and More Information ===================================================================== More information about PriSC 2018 can be found on the website: http://popl18.sigplan.org/track/prisc-2018 For questions please contact Catalin Hritcu (Program Chair). To make sure you receive such announcements in the future please subscribe to the following low-traffic mailing list: https://lists.gforge.inria.fr/mailman/listinfo/prisc-announce -------------- next part -------------- An HTML attachment was scrubbed... URL: From jaspervdj at gmail.com Tue Oct 17 16:49:42 2017 From: jaspervdj at gmail.com (Jasper Van der Jeugt) Date: Tue, 17 Oct 2017 18:49:42 +0200 Subject: [Haskell] [Announce] ZuriHac 2018 - 8-10 June in Zurich, Switzerland Message-ID: <20171017164942.GA2451@colony6.localdomain> It is our pleasure to announce that, like in previous years, ZuriHac will also take place in 2018 -- from Friday June 8th to Sunday the 10th. It will be hosted at the Hochschule Rapperswil right besides the beautiful lake Zurich, like last year. The Zurich Haskell Hackathon is a free (as in beer), international, grassroots collaborative coding festival whose goal is to expand the community and to build and improve Haskell libraries, tools, and infrastructure. This is already the 7th Haskell Hackathon in Zurich! This year, we will enjoy keynotes from: - Niki Vazou - Edward Kmett - Stephen Diehl More keynote speakers will be announced. This event is open to any experience level, from beginners to gurus. This year, Julie Moronuki, co-author of Haskell Programming from first principles [1], has kindly agreed to teach a beginners course in one of the classrooms we have available. Additionally, there will be mentors on site whom you can directly approach during the whole event with any Haskell-related question you have. This is a great opportunity to meet your fellow Haskellers in real life, find new contributors for your project, improve existing libraries and tools or even start new ones! We will have space for 300 attendees. Registration will open on 6th of December. You can find more information on our website [2]. We would also like to thank our sponsors Digital Asset [3] and HSR [4] for supporting this great event! Looking forward to see you there, the Zurich HaskellerZ meetup group [1]: https://www.goodreads.com/book/show/25587599-haskell-programming [2]: https://zurihac.info/ [3]: https://digitalasset.com/careers.html [4]: https://www.hsr.ch/ From gints.dreimanis at serokell.io Wed Oct 18 15:49:57 2017 From: gints.dreimanis at serokell.io (Gints Dreimanis) Date: Wed, 18 Oct 2017 18:49:57 +0300 Subject: [Haskell] =?utf-8?b?SGFjayDigJxJbXBvcnRpZnnigJ0gYnkgU2Vyb2tlbGwg?= =?utf-8?q?During_=23Hacktoberfest!?= Message-ID: All of us love to read explicit import lists (especially in an unknown module), but we all hate to write and maintain them. >From our point of view, it is obligatory for any code that goes into production to have only explicit imports. That way, the code is easier to comprehend – no one is confused about the location of a stray type or identifier, even when reading from GitHub or a simple editor. There are, however, usability and maintainability issues with explicit imports, which make enforcing explicit imports in style guides a topic for discussion. To enjoy the benefits of explicit imports while keeping the drawbacks in check, we have implemented *Importify*. *Importify* is a tool developed by Serokell tooling team led by Dmitry Kovalnikov. It is a refactoring tool that helps import management in Haskell code. We’re getting close to releasing it on Hackage, but it requires some polishing. You can contribute to Importify and Serokell’s own custom Prelude Universum during Hacktoberfest . *Importify* is all about decluttering the import blocks. It can remove: - unused symbols in explicit import lists - unused qualified imports - unused implicit imports - unnecessarily hidden symbols Highlights of the functionality of *Importify* are that it works deeply with explicit import lists (it can, for instance, remove unused constructors), and it works with hiding imports. The latter feature isn’t present in any open-source refactoring tool that is known to us. It is also compatible with autoexporter . *Importify *works extremely well with large Haskell projects — we use it to great success to clean up Cardano SL . Importify only parses source code instead of building projects. For a project of the size of Cardano SL it takes only two minutes to build Importify cache while building it would take forty minutes on the same machine. In the future, we plan for *Importify *to be able to add used symbols to imports automatically. To speed up *Importify *runs, we will implement a cache server that caches each Hackage package. You will be able to upload caches for your projects there as well. Next on the roadmap is functionality to convert imports between *implicit* and *explicit*, and between *qualified* and *unqualified* forms. Finally, we will be adding functionality to resolve merge conflicts in import section automatically. If you notice that managing imports becomes a slog, feel free to try this tool out yourself. Spotted a bug? Contact us. To those, who are in the mood for some hacking this Autumn, we’re looking forward to your #Hacktoberfest contributions! -------------- next part -------------- An HTML attachment was scrubbed... URL: From dominique.devriese at cs.kuleuven.be Fri Oct 20 09:21:00 2017 From: dominique.devriese at cs.kuleuven.be (Dominique Devriese) Date: Fri, 20 Oct 2017 09:21:00 +0000 Subject: [Haskell] PriSC'18 deadline extended by 1 week Message-ID: ======================================================================= Call for Presentations on Secure Compilation (PriSC Workshop @ POPL'18) ======================================================================= Secure compilation is an emerging field that puts together advances in programming languages, security, verification, systems, compilers, and hardware architectures in order to devise secure compiler chains that eliminate many of today's low-level vulnerabilities. Secure compilation aims to protect high-level language abstractions in compiled code, even against adversarial low-level contexts, and to allow sound reasoning about security in the source language. The emerging secure compilation community aims to achieve this by: identifying and formalizing properties that secure compilers must possess; devising efficient enforcement mechanisms; and developing effective verification and proof techniques. ====================================================================== 2nd Workshop on Principles of Secure Compilation (PriSC 2018) ====================================================================== The Workshop on Principles of Secure Compilation (PriSC) is a new informal 1-day workshop without any proceedings. The goal is to identify interesting research directions and open challenges and to bring together researchers interested in secure compilation. The 2nd PriSC edition will be held on Saturday, 13 January 2018, in Los Angeles, together with the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL). More information at http://popl18.sigplan.org/track/prisc-2018 ====================================================================== Important Dates ====================================================================== Presentation proposal submission deadline: 25 October 2017, AoE Presentation proposal notification: 15 November 2017 PriSC Workshop takes place: 13 January 2018 ====================================================================== Scope of the Workshop ====================================================================== Anyone interested in presenting at the workshop should submit an extended abstract (up to 2 pages, details below). This can cover past, ongoing, or future work. Any topic that could be of interest to the emerging secure compilation community is in scope. Talks that provide a useful outside view or challenge the community are also welcome. Topics of interest include but are **not** limited to: - attacker models for secure compiler chains - secure compilation properties: full abstraction, memory safety, control-flow integrity, preserving non-interference or (hyper-)properties against adversarial contexts, secure multi-language interoperability - enforcement mechanisms: static checking, program verification, reference monitoring, program rewriting, software fault isolation, system-level protection, secure hardware, crypto, randomization - experimental evaluation and applications of secure compilation - proof methods: (bi)simulation, logical relations, game semantics, multi-language semantics, embedded interpreters - formal verification of secure compilation chain (protection mechanisms, compilers, linkers, loaders), machine-checked proofs, translation validation, property-based testing ====================================================================== Guidelines for Submitting Extended Abstracts ====================================================================== Extended abstracts should be submitted in PDF format and not exceed 2 pages. They should be formatted in two-column layout, 10pt font, and be printable on A4 and US Letter sized paper. We recommend using the new `acmart` LaTeX style in `sigplan` mode: http://www.sigplan.org/sites/default/files/acmart/current/acmart-sigplanproc.zip Submissions are not anonymous and should provide sufficient detail to be assessed by the program committee. Presentation at the workshop does not preclude publication elsewhere. Please submit your extended abstracts at https://prisc18.hotcrp.com/ ====================================================================== Short Talks Session ====================================================================== We will also run a short talks session, where participants get five minutes to present intriguing ideas, advertise ongoing work, etc. You can expect a call for short talks closer to the event. ====================================================================== Program Committee ====================================================================== Program Chair Catalin Hritcu Inria Paris Members Amal Ahmed Inria Paris and Northeastern University Lars Birkedal Aarhus University Dominique Devriese KU Leuven Cédric Fournet Microsoft Research Deepak Garg MPI-SWS Xavier Leroy Inria Paris David Naumann Stevens Institute of Technology Marco Patrignani MPI-SWS Frank Piessens KU Leuven Tamara Rezk Inria Sophia Antipolis Nikhil Swamy Microsoft Research ====================================================================== Organizing Committee ====================================================================== Amal Ahmed Inria Paris and Northeastern University Dominique Devriese KU Leuven Deepak Garg MPI-SWS Catalin Hritcu Inria Paris Marco Patrignani MPI-SWS Tamara Rezk Inria Sophia Antipolis ====================================================================== Contact and More Information ===================================================================== More information about PriSC 2018 can be found on the website: http://popl18.sigplan.org/track/prisc-2018 For questions please contact Catalin Hritcu (Program Chair). To make sure you receive such announcements in the future please subscribe to the following low-traffic mailing list: https://lists.gforge.inria.fr/mailman/listinfo/prisc-announce -------------- next part -------------- An HTML attachment was scrubbed... URL: From kaposi.ambrus at gmail.com Fri Oct 20 12:04:01 2017 From: kaposi.ambrus at gmail.com (Ambrus Kaposi) Date: Fri, 20 Oct 2017 14:04:01 +0200 Subject: [Haskell] TYPES 2017 post-proceedings DEADLINE EXTENDED Message-ID: DEADLINES EXTENDED by 2 weeks: * abstract deadline: 30 October * paper deadline: 6 November --------------------------------------- Open call for papers Post-proceedings of the 23rd International Conference on Types for Proofs and Programs TYPES 2017 TYPES is a major forum for the presentation of research on all aspects of type theory and its applications. TYPES 2017 was held between 29 May and 1 June in Budapest, Hungary. The post-proceedings volume will be published in LIPIcs, Leibniz International Proceedings in Informatics, an open-access series of conference proceedings (http://www.dagstuhl.de/en/publications/lipics). Submission to this post-proceedings volume is open to everyone, also to those who did not participate in the conference. We would like to invite all researchers that study and apply type systems to share their results. In particular, we welcome submissions on the following topics: * Foundations of type theory and constructive mathematics; * Homotopy type theory; * Applications of type theory; * Dependently typed programming; * Industrial uses of type theory technology; * Meta-theoretic studies of type systems; * Proof assistants and proof technology; * Automation in computer-assisted reasoning; * Links between type theory and functional programming; * Formalizing mathematics using type theory; * Type theory in linguistics. IMPORTANT DATES * Abstract submission: 30 October 2017 (was: 16 Oct) * Paper submission: 6 November (was: 23 Oct) * Author notification: 26 March 2018 DETAILS * Papers have to be formatted with lipics.cls and adhere to the style requirements of LIPIcs. http://www.dagstuhl.de/en/publications/lipics/instructions-for-authors/ * The recommended length of a paper is 15-25 pages. Submissions significantly longer than 25 pages will not be considered. * Papers have to be submitted in pdf through EasyChair: https://easychair.org/conferences/?conf=types2017postproceed * Authors have the option to attach to their submission a zip or tgz file containing code (formalized proofs or programs), but reviewers are not obliged to take those attachments into account and they will not be published. * More information is available on http://types2017.elte.hu/#postproc * In case of questions, please contact one of the editors. EDITORS Andreas Abel andreas.abel at gu.se Gothenburg University, Sweden Fredrik Nordvall Forsberg fredrik.nordvall-forsberg at strath.ac.uk University of Strathclyde, United Kingdom Ambrus Kaposi akaposi at inf.elte.hu Eötvös Loránd University, Hungary From abela at chalmers.se Fri Oct 20 12:59:22 2017 From: abela at chalmers.se (Andreas Abel) Date: Fri, 20 Oct 2017 14:59:22 +0200 Subject: [Haskell] TYPES 2017 post-proceedings DEADLINE EXTENDED Message-ID: <7d1f451d-98d9-a987-0d97-da7eb0516b23@chalmers.se> DEADLINES EXTENDED by 2 weeks: * abstract deadline: 30 October * paper deadline: 6 November -------------------------------- Open call for papers Post-proceedings of the 23rd International Conference on Types for Proofs and Programs TYPES 2017 TYPES is a major forum for the presentation of research on all aspects of type theory and its applications. TYPES 2017 was held between 29 May and 1 June in Budapest, Hungary. The post-proceedings volume will be published in LIPIcs, Leibniz International Proceedings in Informatics, an open-access series of conference proceedings (http://www.dagstuhl.de/en/publications/lipics). Submission to this post-proceedings volume is open to everyone, also to those who did not participate in the conference. We would like to invite all researchers that study and apply type systems to share their results. In particular, we welcome submissions on the following topics: * Foundations of type theory and constructive mathematics; * Homotopy type theory; * Applications of type theory; * Dependently typed programming; * Industrial uses of type theory technology; * Meta-theoretic studies of type systems; * Proof assistants and proof technology; * Automation in computer-assisted reasoning; * Links between type theory and functional programming; * Formalizing mathematics using type theory; * Type theory in linguistics. IMPORTANT DATES * Abstract submission: 30 October 2017 (was: 16 Oct) * Paper submission: 6 November (was: 23 Oct) * Author notification: 26 March 2018 DETAILS * Papers have to be formatted with lipics.cls and adhere to the style requirements of LIPIcs. http://www.dagstuhl.de/en/publications/lipics/instructions-for-authors/ * The recommended length of a paper is 15-25 pages. Submissions significantly longer than 25 pages will not be considered. * Papers have to be submitted in pdf through EasyChair: https://easychair.org/conferences/?conf=types2017postproceed * Authors have the option to attach to their submission a zip or tgz file containing code (formalized proofs or programs), but reviewers are not obliged to take those attachments into account and they will not be published. * More information is available on http://types2017.elte.hu/#postproc * In case of questions, please contact one of the editors. EDITORS Andreas Abel andreas.abel at gu.se Gothenburg University, Sweden Fredrik Nordvall Forsberg fredrik.nordvall-forsberg at strath.ac.uk University of Strathclyde, United Kingdom Ambrus Kaposi akaposi at inf.elte.hu Eötvös Loránd University, Hungary _______________________________________________ Eutypes mailing list Eutypes at cs.ru.nl https://mailman.science.ru.nl/mailman/listinfo/eutypes From grewe at st.informatik.tu-darmstadt.de Fri Oct 20 16:30:30 2017 From: grewe at st.informatik.tu-darmstadt.de (Sylvia Grewe) Date: Fri, 20 Oct 2017 18:30:30 +0200 Subject: [Haskell] CfP 2018: Research Papers Third Submission Deadline Message-ID: <1a84089d-ddca-49ff-9fb0-a0d323420ad8@st.informatik.tu-darmstadt.de> 2018 : The Art, Science, and Engineering of Programming Mon 9 - Thu 12 April 2018 Nice, France http://2018.programming-conference.org/ In 2017, we started a new conference and journal focused on everything to do with programming, including the experience of programming, called for short. The first edition of was a great success (see http://twitter.com/programmingconf for testimonies). Paper submissions and publications are handled by the affiliated journal (http://programming-journal.org/). Accepted papers must be presented at the conference. ******************************************************** CALL FOR PAPERS ******************************************************** 2018 accepts papers that advance knowledge of programming. Almost anything about programming is in scope, but in each case there should be a clear relevance to the act and experience of programming. UPCOMING SUBMISSION DEADLINES: December 1 2017 (Research Papers Third Submission Deadline, for journal Vol. 2, Issue 3) We accept submissions covering several areas of expertise. These areas include, but are not limited to: • General-purpose programming • Distributed systems programming • Parallel and multi-core programming • Graphics and GPU programming • Security programming • User interface programming • Database programming • Visual and live programming • Data mining and machine learning programming • Interpreters, virtual machines and compilers • Modularity and separation of concerns • Model-based development • Metaprogramming and reflection • Testing and debugging • Program verification • Programming education • Programming environments • Social coding ******************************************************** IMPORTANT UPCOMING DATES ******************************************************** Research paper submissions: December 1 2017 (Research Papers Third Submission Deadline, for journal Vol. 2, Issue 3) Research paper first notification (for third submission deadline): February 1 2018 Research paper revised submission (for third submission deadline): March 1 2018 Research paper final notification (for third submission deadline): March 7 2018 Camera-ready copy (for third submission deadline): March 15 2018 Student Research Competition Abstracts Submission: January 22 2018 All important dates of the journal throughout the year can also be found at http://programming-journal.org/timeline/ ******************************************************** ORGANIZATION ******************************************************** General Chair: Manuel Serrano, INRIA France Local Organizing Chair: Tamara Rezk, INRIA France Organizing Committee: Stefan Marr (workshops co-chair), University of Kent, United Kingdom Jennifer B. Sartor (workshops co-chair), Software Languages Lab, Vrije Universiteit Brussel Belgium Philipp Haller (student research competition chair), KTH Royal Institute of Technology, Sweden Tobias Pape (web technology), HPI - University of Potsdam Sylvia Grewe (publicity), Technische Universität Darmstadt Germany Minh Ngo (volunteers chair), INRIA France Etienne Lozes (grants committee chair), Université de Nice Sophia-Antipolis, France Yves Roudier (poster chair), Université de Nice Sophia-Antipolis, France Program Committee: Guido Salvaneschi (program chair), Technische Universität Darmstadt, Germany Davide Ancona, University of Genova, Italy Alberto Bacchelli, Delft University of Technology, Netherlands Shigeru Chiba, University of Tokyo, Japan Yvonne Coady, University of Victoria, Canada Susan Eisenbach, Imperial College London, UK Patrick Eugster, TU Darmstadt, Germany & Purdue University, United States Antonio Filieri, Imperial College London, UK Matthew Flatt, University of Utah, United States Lidia Fuentes, Universidad de Málaga, Spain Richard P. Gabriel, Dream Songs, Inc. & HPI, California Jeremy Gibbons, University of Oxford, UK Yossi Gil, Israel Institute of Technology Elisa Gonzalez Boix, Vrije Universiteit Brussel, Belgium Phlipp Haller, KTH Royal Institute of Technology, Sweden Matthew Hammer, University of Colorado, Boulder, United States Felienne Hermans, Delft University of Technology, Netherlands Robert Hirschfeld, Hasso Plattner Institute (HPI), Germany Roberto Ierusalimschy, Pontifical Catholic University of Rio de Janeiro, Brazil Jun Kato, National Institute of Advanced Industrial Science and Technology, Japan Jörg Kienzle, McGill University, Canada Neelakantan R. Krishnaswami, University of Cambridge, UK Ralf Lämmel, University of Koblenz-Landau, Germany Hidehiko Masuhara, Tokyo Institute of Technology, Japan Mira Mezini, Technische Universität Darmstadt, Germany Emerson Murphy-Hill, North Carolina State University, United States Mario Südholt, IMT Atlantique, Nantes, France Sam Tobin-Hochstadt, Indiana University, United States Eelco Visser, Delft University of Technology, Netherlands Tijs van der Storm, CWI & University of Groningen, Netherlands ******************************************************** 2018 is kindly supported by: ACM In-Cooperation SIGPLAN (In-cooperation) SIGSOFT (In-cooperation) INRIA France AOSA ******************************************************** -------------- next part -------------- An HTML attachment was scrubbed... URL: From fa-ml at ariis.it Mon Oct 23 08:49:24 2017 From: fa-ml at ariis.it (Francesco Ariis) Date: Mon, 23 Oct 2017 10:49:24 +0200 Subject: [Haskell] [ANN] Haskell ITA meetup in Rome, Italy (2017-11-18) Message-ID: <20171023084924.wrbzs247ycbig6xf@x60s.casa> Dear -cafe, the Italian Haskell Community (http://haskell-ita.it/) is happy to announce its autumn Haskell meetup! The event is going to be hosted in Rome, on November 18th. The meeting will be in Italian; we are going to form small groups/projects, to see Haskell in action and to share knowledge and opinions on functional programming. Everyone, experienced or not, is welcome, just make sure to have a laptop and a working Haskell environment! For a more detailed description of the event and to register, check: https://www.eventbrite.it/e/biglietti-haskell-day-roma-aperitech-38962491862 From mail at stefanwehr.de Tue Oct 24 08:16:28 2017 From: mail at stefanwehr.de (Stefan Wehr) Date: Tue, 24 Oct 2017 10:16:28 +0200 Subject: [Haskell] [ANN] Call for Contributions: BOB 2018 - Berlin, Feb 23, 2018 Message-ID: Call for Contributions BOB Conference 2018 "What happens when we use what's best for a change?" http://bobkonf.de/2018/en/cfp.html Berlin, February 23 Deadline: October 29, 2017 You are actively engaged in advanced software engineering methods, implement ambitious architectures and are open to cutting-edge innovation? Attend this conference, meet people that share your goals, and get to know the best software tools and technologies available today. We strive to offer a day full of new experiences and impressions that you can use to immediately improve your daily life as a software developer. If you share our vision and want to contribute, submit a proposal for a talk or tutorial! Topics ------ We are looking for talks about best-of-breed software technology, e.g.: - functional programming - persistent data structures and databases - types - formal methods for correctness and robustness - abstractions for concurrency and parallelism - metaprogramming - probabilistic programming - math and programming - controlled side effects - beyond REST and SOAP - effective abstractions for data analytics - ... everything really that isn’t mainstream, but you think should be. Presenters should provide the audience with information that is practically useful for software developers. We’re especially interested in experience reports. But this could also take other forms, e.g.: - introductory talks on technical background - overviews of a given field - demos and how-tos Requirements ------------ We accept proposals for presentations of 45 minutes (40 minutes talk + 5 minutes questions), as well as 90 minute tutorials for beginners. The language of presentation should be either English or German. Your proposal should include (in your presentation language of choice): - an abstract of max. 1500 characters. - a short bio/cv - contact information (including at least email address) - a list of 3-5 concrete ideas of how your work can be applied in a developer’s daily life - additional material (websites, blogs, slides, videos of past presentations, ...) Submit here: https://docs.google.com/forms/d/e/1FAIpQLSdjgwulSMpaITJ6q6cK_ndrfR1FlEs_HQlZy04LnUKC-ArCaQ/viewform?usp=sf_link Organisation - direct questions to contact at bobkonf dot de - proposal deadline: October 29, 2017 - notification: November 13, 2017 - program: December 1, 2017 NOTE: The conference fee will be waived for presenters, but travel expenses will not be covered. Speaker Grants -------------- BOB has Speaker Grants available to support speakers from groups under-represented in technology. We specifically seek women speakers and speakers who are not be able to attend the conference for financial reasons. Details are here: http://bobkonf.de/2018/en/speaker-grants.html Shepherding ----------- The program committee offers shepherding to all speakers. Shepherding provides speakers assistance with preparing their sessions, as well as a review of the talk slides. Program Committee ----------------- (more information here: http://bobkonf.de/2018/en/programmkomitee.html) - Matthias Fischmann, zerobuzz UG - Matthias Neubauer, SICK AG - Nicole Rauch, Softwareentwicklung und Entwicklungscoaching - Michael Sperber, Active Group - Stefan Wehr, factis research Scientific Advisory Board - Annette Bieniusa, TU Kaiserslautern - Torsten Grust, Uni Tübingen - Peter Thiemann, Uni Freiburg From alan.zimm at gmail.com Wed Oct 25 19:26:13 2017 From: alan.zimm at gmail.com (Alan & Kim Zimmerman) Date: Wed, 25 Oct 2017 21:26:13 +0200 Subject: [Haskell] Call for Haskell.org Committee Nominations Message-ID: Dear Haskellers, It is time to put out a call for new nominations (typically but not necessarily self-nominations) to the haskell.org committee. We have three members of our committee due for retirement -- Ryan Trinkle, John Wiegley and Alan Zimmerman. To nominate yourself, please send an email to committee at haskell.org by December 1, 2017. The retiring members are eligible to re-nominate themselves. Please feel free to include any information about yourself that you think will help us to make a decision. The Haskell.org committee serves as a board of directors for Haskell.org, a 501(c)3 nonprofit which oversees technical and financial resources related to Haskell community infrastructure. Being a member of the committee does not necessarily require a significant amount of time, but committee members should aim to be responsive during discussions when the committee is called upon to make a decision. Strong leadership, communication, and judgement are very important characteristics for committee members. The role is about setting policy, providing direction/guidance for Haskell.org infrastructure, planning for the long term, and being fiscally responsible with the Haskell.org funds (and donations). As overseers for policy regarding the open source side of Haskell, committee members must also be able to set aside personal or business related bias and make decisions with the good of the open source Haskell community in mind. We seek a broad representation from different segments of the Haskell world -- including but not limited to those focused on education, those focused on industrial applications, those with background in organizing users-groups, and those focused directly on our technical infrastructure. More details about the committee's roles and responsibilities are on https://wiki.haskell.org/Haskell.org_committee If you have any questions about the process, please feel free to e-mail us at committee at haskell.org, or contact one of us individually. Best, Alan Zimmerman -------------- next part -------------- An HTML attachment was scrubbed... URL: From icfp.publicity at googlemail.com Fri Oct 27 01:37:28 2017 From: icfp.publicity at googlemail.com (Lindsey Kuper) Date: Thu, 26 Oct 2017 18:37:28 -0700 Subject: [Haskell] Call for Participation: ICFP 2017 Message-ID: <59f28dd836ba3_59703fcb06059be4753c3@landin.local.mail> CALL FOR WORKSHOP AND CO-LOCATED EVENT PROPOSALS ICFP 2018 23rd ACM SIGPLAN International Conference on Functional Programming September 23-29, 2018 St. Louis, Missouri, United States http://conf.researchr.org/home/icfp-2018 The 23rd ACM SIGPLAN International Conference on Functional Programming will be held in St. Louis, Missouri, United States on September 23-29, 2018. ICFP provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. Proposals are invited for workshops (and other co-located events, such as tutorials) to be affiliated with ICFP 2018 and sponsored by SIGPLAN. These events should be less formal and more focused than ICFP itself, include sessions that enable interaction among the attendees, and foster the exchange of new ideas. The preference is for one-day events, but other schedules can also be considered. The workshops are scheduled to occur on September 23 (the day before ICFP) and September 27-29 (the three days after ICFP). ---------------------------------------------------------------------- Submission details Deadline for submission: November 20, 2017 Notification of acceptance: December 18, 2017 Prospective organizers of workshops or other co-located events are invited to submit a completed workshop proposal form in plain text format to the ICFP 2017 workshop co-chairs (Christophe Scholliers and David Christiansen), via email to icfp-workshops-2018 at googlegroups.com by November 20, 2017. (For proposals of co-located events other than workshops, please fill in the workshop proposal form and just leave blank any sections that do not apply.) Please note that this is a firm deadline. Organizers will be notified if their event proposal is accepted by December 18, 2017, and if successful, depending on the event, they will be asked to produce a final report after the event has taken place that is suitable for publication in SIGPLAN Notices. The proposal form is available at: http://www.icfpconference.org/icfp2018-files/icfp18-workshops-form.txt Further information about SIGPLAN sponsorship is available at: http://www.sigplan.org/Resources/Proposals/Sponsored/ ---------------------------------------------------------------------- Selection committee The proposals will be evaluated by a committee comprising the following members of the ICFP 2018 organizing committee, together with the members of the SIGPLAN executive committee. Workshop Co-Chair: Christophe Scholliers (University of Ghent) Workshop Co-Chair: David Christiansen (Indiana University) General Chair: Robby Findler (Northwestern University) Program Chair: Matthew Flatt (University of Utah) ---------------------------------------------------------------------- Further information Any queries should be addressed to the workshop co-chairs (Christophe Scholliers and David Christiansen), via email to icfp-workshops-2018 at googlegroups.com From icfp.publicity at googlemail.com Fri Oct 27 01:40:30 2017 From: icfp.publicity at googlemail.com (Lindsey Kuper) Date: Thu, 26 Oct 2017 18:40:30 -0700 Subject: [Haskell] Call for Workshop Proposals: ICFP 2018 Message-ID: <59f28e8e51f19_59753fc3c5457be45202e@landin.local.mail> [ Please disregard previous version sent with the wrong subject line. ] CALL FOR WORKSHOP AND CO-LOCATED EVENT PROPOSALS ICFP 2018 23rd ACM SIGPLAN International Conference on Functional Programming September 23-29, 2018 St. Louis, Missouri, United States http://conf.researchr.org/home/icfp-2018 The 23rd ACM SIGPLAN International Conference on Functional Programming will be held in St. Louis, Missouri, United States on September 23-29, 2018. ICFP provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. Proposals are invited for workshops (and other co-located events, such as tutorials) to be affiliated with ICFP 2018 and sponsored by SIGPLAN. These events should be less formal and more focused than ICFP itself, include sessions that enable interaction among the attendees, and foster the exchange of new ideas. The preference is for one-day events, but other schedules can also be considered. The workshops are scheduled to occur on September 23 (the day before ICFP) and September 27-29 (the three days after ICFP). ---------------------------------------------------------------------- Submission details Deadline for submission: November 20, 2017 Notification of acceptance: December 18, 2017 Prospective organizers of workshops or other co-located events are invited to submit a completed workshop proposal form in plain text format to the ICFP 2017 workshop co-chairs (Christophe Scholliers and David Christiansen), via email to icfp-workshops-2018 at googlegroups.com by November 20, 2017. (For proposals of co-located events other than workshops, please fill in the workshop proposal form and just leave blank any sections that do not apply.) Please note that this is a firm deadline. Organizers will be notified if their event proposal is accepted by December 18, 2017, and if successful, depending on the event, they will be asked to produce a final report after the event has taken place that is suitable for publication in SIGPLAN Notices. The proposal form is available at: http://www.icfpconference.org/icfp2018-files/icfp18-workshops-form.txt Further information about SIGPLAN sponsorship is available at: http://www.sigplan.org/Resources/Proposals/Sponsored/ ---------------------------------------------------------------------- Selection committee The proposals will be evaluated by a committee comprising the following members of the ICFP 2018 organizing committee, together with the members of the SIGPLAN executive committee. Workshop Co-Chair: Christophe Scholliers (University of Ghent) Workshop Co-Chair: David Christiansen (Indiana University) General Chair: Robby Findler (Northwestern University) Program Chair: Matthew Flatt (University of Utah) ---------------------------------------------------------------------- Further information Any queries should be addressed to the workshop co-chairs (Christophe Scholliers and David Christiansen), via email to icfp-workshops-2018 at googlegroups.com From wim.ectors at uhasselt.be Mon Oct 30 15:24:18 2017 From: wim.ectors at uhasselt.be (Wim Ectors) Date: Mon, 30 Oct 2017 08:24:18 -0700 Subject: [Haskell] [MobiSPC-2018] 15th International Conference on Mobile Systems and Pervasive Computing. Gran Canaria, Spain (July 13-15, 2018) Message-ID: ------------------------------------------------------------------------ The 15th International Conference on Mobile Systems and Pervasive Computing July 13-15, 2018 Gran Canaria, Spain http://cs-conferences.acadiau.ca/mobispc-18/ ------------------------------------------------------------------------ Mobile Systems and Pervasive Computing (MobiSPC) have evolved into an active area of research and development. This is due to the tremendous advances in a broad spectrum of technologies and topics, including wireless networking, mobile and distributed computing, sensor systems, RFID technology, and the ubiquitous mobile phone. MobiSPC-2017 solicits papers that focus on the theory, systems, practices and challenges of providing users with a successful mobile or wireless experience. This includes how mobile computing changes how people pervasively use their computers, computing resources and applications, as well the systems, services and technologies enabling those applications. MobiSPC-2017 will provide a leading edge, scholarly forum for researchers, engineers, and students alike to share their state-of-the art research and developmental work in the broad areas of pervasive computing and mobile systems. Important Dates ---------------- - Workshop Proposal Due: February 10, 2018 - Paper Submission Due: March 22, 2018 - Acceptance Notification: May 15, 2018 - Final Manuscript Due: June 15, 2018 Publication ------------ All MobiSPC 2018 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Science is hosted by Elsevier on www.Elsevier.com and on Elsevier content platform ScienceDirect (www.sciencedirect.com), and will be freely available worldwide. All papers in Procedia will be indexed by Scopus ( www.scopus.com) and by Thomson Reuters' Conference Proceeding Citation Index (http://thomsonreuters.com/conference-proceedings-citation-index/). All papers in Procedia will also be indexed by Scopus (www.scopus.com) and Engineering Village (Ei) (www.engineeringvillage.com). This includes EI Compendex (www.ei.org/compendex). Moreover, all accepted papers will be indexed in DBLP (http://dblp.uni-trier.de/). The papers will contain linked references, XML versions and citable DOI numbers. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. Selected papers will be invited for publication, in the following special issues: - International Journal of Ambient Intelligence and Humanized Computing (IF: 1.588), by Springer (http://www.springer.com/engineering/journal/12652) - International Journal of Computing and Informatics (IF: 0.504), ( http://www.cai.sk/ojs/index.php/cai/index) - IEEE Intelligent Transportation Systems Magazine (IF: 3.654), by IEEE ( http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=5117645) MobiSPC 2018 will be held in conjunction with the 13th International Conference on Future Networks and Communications (FNC, http://cs-conferences.acadiau.ca/fnc-18/). . MobiSPC 2018 is co-organized & co-hosted by the University of University of Las Palmas de Gran Canaria, Spain. MobiSPC 2018 will be held in Gran Canaria, Spain. Gran Canaria originally meaning "Great [Island] of Dogs" is the second most populous island of the Canary Islands, an African archipelago which is part of Spain, with a population of 847,830 (in 2015) that constitutes approximately 40% of the population of the archipelago. Located in the Atlantic Ocean about 150 kilometres (93 mi) off the northwestern coast of Africa and about 1,350 km (840 mi) from Europe. With an area of 1,560 km2 (602 sq. mi) and an altitude of 1,956 m (6,417 ft) at the Pico de las Nieves, Gran Canaria is the third largest island of the archipelago in both area and altitude. COMMITTEES: ----------- General Chair Boris Magnusson, Lund University, Sweden Program Chair Stéphane Galland, Université de Technologie de Belfort-Montbéliard, France Elhadi Shakshuki, Acadia University, Canada Local Chair Javier Sanchez Medina, University of Las Palmas de Gran Canaria, Spain Advisory Committee Nirwan Ansari, New Jersey Institute of Technology, USA Abdelfettah Belghith, University of Manouba, Tunisia Flavien Balbo, Ecole Nationale SupŽrieure des Mines de Saint Etienne, France Erol Gelenbe, Imperial College, UK Vincenzo Loia, University of Salerno, Italy No‘l de Palma, UniversitŽ de Grenoble, France Ralf Steinmetz, Technische Universitaet Darmstadt, Germany Mohamed Younis, University of Maryland Baltimore County, USA Workshops Chair Haroon Malik, Marshall University, USA Tracks Chairs Habib M. Ammari, Fordham University, USA Longbiao Chen, Xiamen University, China Mohamed Guerroumi, USTHB University, Algeria Danny Hughes, K. U. Leuven, Belgium Francesco Piccialli, University of Naples, Federico II, Italy Zahoor Khan, HCT, UAE Prashant Kumar, University of Surrey, UK Marc Kšrner, TUB Berlin, Germany Christian Poellabauer, University of Notre Dame, USA Kashif Akhtar Saleem, KSA Michael Sheng, University of Adelaide, Australia David S. L. Wei, Fordham University, USA International Journals Chair Salvatore Cuomo, University of Naples Federico II, Italy Publicity Chairs Wim Ectors, Hasselt University, Belgium Monika Davidekova, Comenius University, Slovak Republic Technical Program Committee http://cs-conferences.acadiau.ca/mobispc-18/#programCommittees -------------- next part -------------- An HTML attachment was scrubbed... URL: From wim.ectors at uhasselt.be Mon Oct 30 15:29:47 2017 From: wim.ectors at uhasselt.be (Wim Ectors) Date: Mon, 30 Oct 2017 08:29:47 -0700 Subject: [Haskell] [FNC-2018] 13th International Conference on Future Networks and Communications. Gran Canaria, Spain (July 13-15, 2018) Message-ID: ------------------------------------------------------------------------ The 13th International Conference on Future Networks and Communications July 13-15, 2018 Gran Canaria, Spain http://cs-conferences.acadiau.ca/fnc-18/ ------------------------------------------------------------------------ Future Networks and Communications (FNC) research effort will help achieving a major promise of the emerging technologies such as, ubiquitous access to broadband, supporting vital applications in our daily lives such as health, energy consumption, environment transport, entertainment or education. The scope of FNC is the development of energy-efficient future network infrastructures that support the convergence and interoperability of heterogeneous mobile, wired and wireless broadband network technologies as enablers of the future Internet. This includes but not limited to ubiquitous fast broadband access and ultra-high speed end-to-end optical connectivity, supporting open services and innovative ambient applications. Scope also embraces novel and evolutionary approaches to tackle network architectures, taking due consideration of users and societal needs for success. Important Dates ---------------- - Workshop Proposal Due: February 10, 2018 - Paper Submission Due: March 22, 2018 - Acceptance Notification: May 15, 2018 - Final Manuscript Due: June 15, 2018 Publication ------------ All FNC 2018 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Science is hosted by Elsevier on www.Elsevier.com and on Elsevier content platform ScienceDirect (www.sciencedirect.com), and will be freely available worldwide. All papers in Procedia will be indexed by Scopus ( www.scopus.com) and by Thomson Reuters' Conference Proceeding Citation Index (http://thomsonreuters.com/conference-proceedings-citation-index/). All papers in Procedia will also be indexed by Scopus (www.scopus.com) and Engineering Village (Ei) (www.engineeringvillage.com). This includes EI Compendex (www.ei.org/compendex). Moreover, all accepted papers will be indexed in DBLP (http://dblp.uni-trier.de/). The papers will contain linked references, XML versions and citable DOI numbers. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. Selected papers will be invited for publication, in the following special issues: - International Journal of Ambient Intelligence and Humanized Computing (IF: 1.588), by Springer (http://www.springer.com/engineering/journal/12652) - International Journal of Computing and Informatics (IF: 0.504), ( http://www.cai.sk/ojs/index.php/cai/index) - IEEE Intelligent Transportation Systems Magazine (IF: 3.654), by IEEE ( http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=5117645) FNC 2018 will be held in conjunction with the 15th International Conference on Mobile Systems and Pervasive Computing (MobiSPC http://cs-conferences.acadiau.ca/mobispc-18/). FNC 2018 is co-organized & co-hosted by the University of University of Las Palmas de Gran Canaria, Spain. FNC 2018 will be held in Gran Canaria, Spain. Gran Canaria originally meaning "Great [Island] of Dogs" is the second most populous island of the Canary Islands, an African archipelago which is part of Spain, with a population of 847,830 (in 2015) that constitutes approximately 40% of the population of the archipelago. Located in the Atlantic Ocean about 150 kilometres (93 mi) off the northwestern coast of Africa and about 1,350 km (840 mi) from Europe. With an area of 1,560 km2 (602 sq. mi) and an altitude of 1,956 m (6,417 ft) at the Pico de las Nieves, Gran Canaria is the third largest island of the archipelago in both area and altitude. COMMITTEES: ----------- General Chair Ladislav Hluchy, Institute of Informatics, Slovak Academy of Sciences, Slovakia Program Chairs Hossam Hassanein, Queens University, Canada Ansar-Ul-Haque Yasar, IMOB Hasselt University, Belgium Local Chair Javier Sanchez Medina, University of Las Palmas de Gran Canaria, Spain Advisory Committee Soumaya Cherkaoui, Sherbrooke University, Canada Erol Gelenbe, Imperial College, UK Roch Glitho, Concordia University, Canada Zygmunt J. Haas, Cornell University, USA Philippe Martins, Telecom Paris Tech, France Peter Sloot, Universiteit van Amsterdam, Netherlands Ralf Steinmetz, Technische Universitaet Darmstadt, Germany David Taniar, Monash University, Australia Mohamed Younis, University of Maryland Baltimore County, USA Workshops Chair Haroon Malik, Marshall University, USA International Journals Chair Salvatore Cuomo, University of Naples Federico II, Italy Publicity Chairs Wim Ectors, Hasselt University, Belgium Monika Davidekova, Comenius University, Slovak Republic Technical Program Committee http://cs-conferences.acadiau.ca/fnc-18/#programCommittees -------------- next part -------------- An HTML attachment was scrubbed... URL: From icfp.publicity at googlemail.com Tue Oct 31 03:15:43 2017 From: icfp.publicity at googlemail.com (Lindsey Kuper) Date: Mon, 30 Oct 2017 20:15:43 -0700 Subject: [Haskell] Call for Sponsorships: ICFP 2018 Message-ID: <59f7eadfa696_6d3c3fc7de057be4437c4@landin.local.mail> ICFP 2018 The 23rd ACM SIGPLAN International Conference on Functional Programming https://icfp18.sigplan.org Call for Sponsorships Web version of this call for sponsorships: https://icfp18.sigplan.org/attending/supporting-icfp ## Why Sponsor ICFP 2018? ICFP is the premier conference on functional programming languages, covering all aspects of theory, implementation, and application. Every year, we bring together over 500 world-leading researchers, practitioners, and students to discuss the latest findings, collaborate on new ideas, and meet new people. By sponsoring ICFP, your organization can demonstrate its commitment to supporting high quality research and to developing the next generation of functional programming experts. Most of our sponsorship funds are used to help students from around the world afford to attend the conference and get the most out of their experience. We believe that this commitment will pay dividends for our students, our sponsors, and the public for years to come. If you're interested in becoming a sponsor, we'd love to hear from you: get in touch with our sponsorship team at sponsorship-2018 at icfpconference.org ## Sponsorship Opportunities and Benefits ### Bronze - $750 * Your logo on the ICFP 2018 website * Your name listed in the proceedings ### Silver - $3,000 * All of the benefits of Bronze sponsorship * One complimentary 3-day ICFP registration * A table at the industrial reception * Your logo in the proceedings * Your logo on publicity materials such as banners and posters ### Gold - $6,000 * All of the benefits of Silver sponsorship * One additional complimentary 3-day ICFP registration (2 in total) * A named supporter of the industrial reception * An opportunity to include branded merchandise in participants' swag bag ### Platinum - $10,000 * All the benefits of Gold sponsorship * One additional complimentary 3-day ICFP registration (3 in total) * A named supporter of ICFP 2018 * An opportunity to speak to the audience at the industrial reception * A table/booth-like space in the coffee break areas ## Additional Sponsorship Opportunities We offer some additional sponsorship options to sponsors at the silver level or above. ### Lanyard Sponsor - $4,000 You provide the lanyards that every attendee will wear around their neck. ### Video Sponsor - $4,000 ICFP makes videos available for free to non-attendees following the conference. As a video sponsor, you support the recording and release of these videos. In exchange, your logo will be displayed as part of every ICFP video. ### Banner - $1,000 Post a free-standing banner (up to 2m high and 1m wide, provided by you) on the ICFP main stage throughout the conference. From Gerwin.Klein at data61.csiro.au Tue Oct 31 06:09:40 2017 From: Gerwin.Klein at data61.csiro.au (Gerwin.Klein at data61.csiro.au) Date: Tue, 31 Oct 2017 06:09:40 +0000 Subject: [Haskell] Data61 Seeking Proof Engineers Message-ID: Data61 Seeking Proof Engineers ============================== If only there were a place where I could prove theorems for money, change the world, and have fun while doing it... Sounds too good to exist? In the Trustworthy Systems team at Data61 that's what we do for a living. We are the creators of seL4, the world's first fully formally verified operating system kernel with extreme performance and strong security & correctness proofs. Our highly international team is located on the UNSW campus, close to the beautiful beaches of sunny Sydney, Australia, one of the world's most liveable cities. We are looking for two motivated proof engineers who want to join our team, move things forward, and have global impact. We are expanding our team, because seL4 is going places. There are active projects around the world in - Automotive - because cars have been hacked enough - Aviation - for more security and safety for autonomous vehicles - Defence - protecting confidential information - Connected consumer devices - with security built in from the start - Spaceflight, autonomous and crewed - because awesome To make these projects successful, we need to scale formal verification. You would - work on industrial-scale formal proofs in Isabelle/HOL and HOL4 - develop formally verified infrastructure for building secure systems on top of seL4 - contribute to improved proof automation and better reasoning techniques - apply formal proof to real-world systems and tools To apply for this position, you should possess a significant subset of the following skills. - functional programming in a language like Haskell, ML, or OCaml - first-order or higher-order formal logic - basic experience in C - ability and desire to quickly learn new techniques - undergraduate degree in Computer Science, Mathematics, or similar - ability and desire to work in a larger team We are hiring at two levels, so if you are more qualified or experienced than the above would suggest, you can come in as a senior proof engineer. If you additionally have experience - in software verification with an interactive theorem prover such as Isabelle/HOL, HOL4, or Coq, and/or - with operating systems and microkernels, and/or - in verified applications technology such as CakeML you should definitely apply! If you have the right skills and background, we can provide training on the job. Continual learning is a central component of everything we do. You will work with a unique world-leading combination of OS and formal methods experts, students at undergraduate and PhD level, engineers, and researchers from 5 continents, speaking over 15 languages. Trustworthy Systems is a fun, creative, and welcoming workplace with flexible hours & work arrangements. We value diversity in all forms and welcome applications from people of all ages, including people with disabilities, and those who identify as LGBTIQ. See https://ts.data61.csiro.au/diversity/ for more information. Salary ranges for this position (in AUD) (plus superannuation): - Junior: 61-78K, 80-91K - Senior: 95-103K, 109-128K depending on experience and qualifications. Apply online at the following links: - https://jobs.csiro.au/job/Sydney,-NSW-Proof-Engineer/438797400/ - https://jobs.csiro.au/job/Sydney,-NSW-Senior-Proof-Engineer/438798100/ Your application should include a cover letter, CV, undergraduate transcript (if applicable), and contact information for two references. This round of applications closes 21 November 2017. The seL4 code and proof, and the CakeML project, are open source. Check them out at https://seL4.systems and https://cakeml.org More information about Data61's Trustworthy Systems team at https://ts.data61.csiro.au Still studying? We also have internship opportunities! https://ts.data61.csiro.au/students/ From wim.ectors at uhasselt.be Tue Oct 31 16:37:27 2017 From: wim.ectors at uhasselt.be (Wim Ectors) Date: Tue, 31 Oct 2017 09:37:27 -0700 Subject: [Haskell] [ANT2018] 9th International Conference on Ambient Systems, Networks and Technologies. Porto, Portugal (May 8-11, 2018) Message-ID: The 9th International Conference on Ambient Systems, Networks and Technologies (ANT-2018) Porto, Portugal May 8-11, 2018 Conference Website: http://cs-conferences.acadiau.ca/ant-18/ Workshops: http://cs-conferences.acadiau.ca/ant-18/#workshop Tutorials: http://cs-conferences.acadiau.ca/ant-18/#tutorial Important Dates - Workshops Proposals Due: November 30, 2017 - Paper Submission Due: December 15, 2017 - Acceptance Notification: February 5, 2018 - Camera-Ready Submission: March 5, 2018 ANT 2018 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Science is hosted by Elsevier on www.Elsevier.com and on Elsevier content platform ScienceDirect (www.sciencedirect.com), and will be freely available worldwide. All papers in Procedia will be indexed by Scopus ( www.scopus.com) and by Thomson Reuters' Conference Proceeding Citation Index (http://thomsonreuters.com/conference-proceedings-citation-index/). All papers in Procedia will also be indexed by Scopus (www.scopus.com) and Engineering Village (Ei) (www.engineeringvillage.com). This includes EI Compendex (www.ei.org/compendex). Moreover, all accepted papers will be indexed in DBLP (http://dblp.uni-trier.de/). The papers will contain linked references, XML versions and citable DOI numbers. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. Selected papers will be invited for publication, in the special issues of: - Journal of Ambient Intelligence and Humanized Computing (IF: 1.588), by Springer (http://www.springer.com/engineering/journal/12652) - Journal of Personal and Ubiquitous Computing (IF: 2.395), by Springer ( http://www.springer.com/computer/hci/journal/779) - IEEE Intelligent Transportation Systems Magazine (IF: 3.654), by IEEE ( http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=5117645) ANT 2018 will be held in Porto, Portugal. Porto is the second-largest city in Portugal after Lisbon and one of the major urban areas of the Iberian Peninsula. Porto is also called the Invicta because during the 19th century Portuguese civil war, the city withstood a siege of over a year.The urban area of Porto, which extends beyond the administrative limits of the city, has a population of 2.1 million in an area of 389 km2 (150 sq mi), making it the second-largest urban area in Portugal. It is recognized as a gamma- level global city by the Globalization and World Cities (GaWC) Study Group, the only Portuguese city besides Lisbon to be recognised as a global city. Located along the Douro river estuary in Northern Portugal, Porto is one of the oldest European centres, and its historical core was proclaimed a World Heritage Site by UNESCO in 1996. The western part of its urban area extends to the coastline of the Atlantic Ocean. Its settlement dates back many centuries, when it was an outpost of the Roman Empire. One of Portugal's internationally famous exports, port wine, is named after Porto, since the metropolitan area, and in particular the cellars of Vila Nova de Gaia, were responsible for the packaging, transport and export of the fortified wine. In 2014 and 2017, Porto was elected The Best European Destination by the Best European Destinations Agency. ANT-2018 will be held in conjunction with the 8th International Conference on Sustainable Energy Information Technology (SEIT, http://cs-conferences.acadiau.ca/seit-18/). Conference Tracks - Agent Systems, Intelligent Computing and Applications - Big Data and Analytics - Cloud Computing - Context-awareness and Multimodal Interfaces - Emerging Networking, Tracking and Sensing Technologies - Human Computer Interaction - Internet of Things - Mobile Networks, Protocols and Applications - Modeling and Simulation in Transportation Sciences - Multimedia and Social Computing - Service Oriented Computing for Systems & Applications - Smart, Sustainable Cities and Climate Change Management - Smart Environments and Applications - Systems Security and Privacy - Systems Software Engineering - Vehicular Networks and Applications - General Track Committees General Chairs Hossam Hassanein, Queen's University, Canada Albert Zomaya, The University of Sydney, Australia Program Chairs Haroon Malik, Marshall University, USA Ansar-Ul-Haque Yasar, IMOB – Hasselt University, Belgium Local Chairs Ana C. R. Paiva, University of Porto, Portugal João C. P. Faria, University of Porto, Portugal Workshops Chair Stephane Galland, UTBM, France Program Advisory Committee Reda Alhajj, University of Calgary, Canada Abdelfettah Belghith, University of Manouba, Tunisia Sajal K. Das, The University of Texas at Arlington, USA Erol Gelenbe, Imperial College, UK Ali Ghorbani, University of New Brunswick, Canada Vincenzo Loia, University of Salerno, Italy Timothy Shih, Tamkang University, Taiwan Peter Sloot, Universiteit van Amsterdam, Netherlands Ralf Steinmetz, Technische Universitaet Darmstadt, Germany Katia Sycara, Carnegie Mellon University, USA Peter Thomas, Manifesto Research, Australia International Journals Chair Javier Jesus Sanchez Medina, ULPGC, Spain Vice Chairs Boulmakoul Azedine, Hassan II University, Morocco Nik Bessis, University of Derby, UK Kechar Bouabdellah, Oran University, Algeria Samia Bouzefrane, CEDRIC Lab, France Lars Braubach, Hamburg University, Germany Amine Dhraief, Manouba University, Tunisia Roberto Di Pietro, Roma Tre University of Rome, Italy Khalil Drira, LAAS-CNRS, France Wael El-Medany, University of Bahrain, Bahrain Etienne Alain Feukeu, Vaal University of Technology, South Africa Antonio Filieri, Imperial College London, England Luk Knapen, Hasselt University Belgium Flavio Lombardi, Roma Tre University of Rome, Italy Ahmed Nait Sidi Moh, University of Picardie Jules Verne, France Francesco Pilla, Trinity College Dublin, Ireland Cristina Seceleanu, Mälardalen University, Västerås, Sweden Khaled Shaaban, Qatar University, Qatar Yves Vanrompay, Hasselt University, Belgium Yun Zhou, Shaanxi Normal University, China Publicity Chairs Wim Ectors, Hasselt University, Belgium Mohamed Amine Ferrag, Guelma University, Algeria Sarmad Ullah Khan, CECOS University, Pakistan International Liaison Chairs Soumaya Cherkaoui, Sherbrooke University, Canada Paul Davidsson, Malmo University, Sweden Dino Pedreschi, University of Pisa, Italy David Taniar, Monash University, Australia Technical Program Committee http://cs-conferences.acadiau.ca/ant-18/#programCommittees Steering Committee Chair and Founder of ANT Elhadi Shakshuki, Acadia University, Canada -------------- next part -------------- An HTML attachment was scrubbed... URL: From wim.ectors at uhasselt.be Tue Oct 31 16:39:29 2017 From: wim.ectors at uhasselt.be (Wim Ectors) Date: Tue, 31 Oct 2017 09:39:29 -0700 Subject: [Haskell] [SEIT 2018] 8th International Conference on Sustainable Energy Information Technology. Porto, Portugal (May 8-11, 2018) Message-ID: The 8th International Conference on Sustainable Energy Information Technology (SEIT-18) Porto, Portugal May 8-11, 2018 Conference Website: http://cs-conferences.acadiau.ca/seit-18 **************************************************************************** Important Dates - Workshops Proposals Due: November 30, 2017 - Paper Submission Due: December 15, 2017 - Acceptance Notification: February 5, 2018 - Camera-Ready Submission: March 5, 2018 The goal of the SEIT-18 conference is to provide an international forum for scientists, engineers, and managers in academia, industry, and government to address recent research results and to present and discuss their ideas, theories, technologies, systems, tools, applications, work in progress and experiences on all theoretical and practical issues arising in sustainable energy information technology. All SEIT 2018 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Sciences is hosted on www.Elsevier.com and on Elsevier content platform ScienceDirect (www.sciencedirect.com), and will be freely available worldwide. All papers in Procedia will be indexed by Scopus (www.scopus.com) and by Thomson Reuters' Conference Proceeding Citation Index http://thomsonreuters.com/conference-proceedings-citation-index/. The papers will contain linked references, XML versions and citable DOI numbers. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. All accepted papers will also be indexed in DBLP (http://dblp.uni-trier.de/). Selected papers will be invited for publication in an international journal. SEIT 2018 will be held in Porto, Portugal. Porto is the second-largest city in Portugal after Lisbon and one of the major urban areas of the Iberian Peninsula. Porto is also called the Invicta because during the 19th century Portuguese civil war, the city withstood a siege of over a year.The urban area of Porto, which extends beyond the administrative limits of the city, has a population of 2.1 million in an area of 389 km2 (150 sq mi), making it the second-largest urban area in Portugal. It is recognized as a gamma- level global city by the Globalization and World Cities (GaWC) Study Group, the only Portuguese city besides Lisbon to be recognised as a global city. Located along the Douro river estuary in Northern Portugal, Porto is one of the oldest European centres, and its historical core was proclaimed a World Heritage Site by UNESCO in 1996. The western part of its urban area extends to the coastline of the Atlantic Ocean. Its settlement dates back many centuries, when it was an outpost of the Roman Empire. One of Portugal's internationally famous exports, port wine, is named after Porto, since the metropolitan area, and in particular the cellars of Vila Nova de Gaia, were responsible for the packaging, transport and export of the fortified wine. In 2014 and 2017, Porto was elected The Best European Destination by the Best European Destinations Agency. SEIT-2018 will be held in conjunction with the 8th International Conference on Ambient Systems, Networks and Technologies (ANT, http://cs-conferences.acadiau.ca/ant-18/). Conference Main Topics: ================= - Advanced Techniques for Energy Applications - Energy Efficiency - Energy Policy - Environmental - Green Sustainability - Power Quality, Power Electronics and Electric Machines - Power Systems - Renewable Energies - Sensing & Monitoring - Smart Systems Committees General Chair Bruce Spencer, University of New Brunswick, Canada Program Chairs Álvaro Henrique Rodrigues, University of Porto, Portugal Jesús Fraile Ardanuy, Universidad Politécnica de Madrid, Spain Ansar-Ul-Haque Yasar, IMOB – Hasselt University, Belgium Local Chair Ana C. R. Paiva, University of Porto, Portugal João C. P. Faria, University of Porto, Portugal Workshops Chairs Hui Hou, Wuhan University of Technology, China Haroon Malik, Marshall University, USA Advisory Committee Bilal A. Akash, American University of Ras Al Khaimah, UAE Antonio J. Conejo, Universidad de Castilla - La Mancha, Spain Derek J Croome, University of Reading, UK Geert Deconinck, KU Leuven, Belgium Jatin Nathwani, University of Waterloo, Canada Saffa Riffat, University of Nottingham, UK Ali Sayigh,World Renewable Energy Congress / Network Publicity Chairs Wim Ectors, Hasselt University, Belgium Mohamed Amine Ferrag, Guelma University, Algeria Ilan Stern, Georgia Institute of Technology, USA Technical Program Committee http://cs-conferences.acadiau.ca/seit-18/#programCommittees -------------- next part -------------- An HTML attachment was scrubbed... URL: