- Haskell - Haskell.org

New deadline for paper submission to SBLP 2018
by Carlos Camarao 18 May '18

18 May '18

SBLP 2018 deadline extension ________________________________________________________________________________ Universidade de São Paulo - ICMC/USP São Carlos, Brazil, September 20-21, 2018 Conference website http://www.sbc.org.br/cbsoft2018 Submission link https://easychair.org/conferences/?conf=sblp2018 SBLp 2018 is the 22nd edition of the Brazilian Symposium on Programming Languages. The symposium is promoted by the Brazilian Computer Society (SBC) and provides a forum for researchers, students and professionals to present and discuss ideas and innovations in the design, definition, analysis, implementation and practical use of programming languages. Upon request, SBLP 2018 deadlines have been extended by seven days: ________________________________________________________________________________ Abstract submission: May 28th 2018 Paper submission: May 28th 2018 Author notification: July 6th 2018 Camera ready deadline: July 18th 2018 Submission Guidelines ________________________________________________________________________________ Papers can be written in Portuguese or English. Submission in English is strongly encouraged since the symposium proceedings are indexed in the ACM Digital Library. The acceptance of a paper implies that at least one of its authors will register for the symposium to present it. Papers must be original and not simultaneously submitted to another journal or conference. Papers must be submitted electronically (in PDF format) via the Easychair System: http://www.easychair.org/conferences/?conf=sblp2018 The following paper categories are welcome (page limits include figures, references and appendices): Full papers: up to 8 pages long in ACM 2-column conference format, available at http://www.acm.org/publications/proceedings-template Short papers: up to 3 pages in the same format, can discuss new ideas which are at an early stage of development or can report partial results of on-going dissertations or theses. List of Topics (related but not limited to the following) ________________________________________________________________________________ • Programming paradigms and styles, scripting and domain-specific languages and support for real-time, service-oriented, multi-threaded, parallel, and distributed programming • Program generation and transformation • Formal semantics and theoretical foundations: denotational, operational, algebraic and categorical • Program analysis and verification, type systems, static analysis and abstract interpretation • Programming language design and implementation, programming language environments, compilation and interpretation techniques Publication ________________________________________________________________________________ SBLP proceedings will be published in ACM's digital library. As in previous editions, after the conference authors of selected regular papers will be invited to submit an extended version of their work to be considered for publication in a journal's special issue. Since 2009, selected papers of each SBLP edition are being published in a special issue of Science of Computer Programming, by Elsevier. Program Committee ________________________________________________________________________________ Mariza Bigonha Universidade Federal de Minas Gerais Roberto Bigonha Universidade Federal de Minas Gerais Andre R. Du Bois Universidade Federal de Pelotas Christiano Braga Universidade Federal Fluminense Carlos Camarão Universidade Federal de Minas Gerais (chair) Fernando Castor Universidade Federal de Pernambuco Renato Cerqueira IBM Research, Brazil João Fernandes Universidade de Coimbra João Ferreira Teesside University Lucília Figueiredo Universidade Federal de Ouro Preto Ismael Figueroa Pontifícia Universidad Católica de Valparaiso Alex Garcia Instituto Militar de Engenharia Francisco Heron Universidade Federal do Ceará Roberto Ierusalimschy Pontifícia Universidade Católica do Rio de Janeiro Yu David Liu State University of New York at Binghamton Hans-Wolfgang Loidl Heriot-Watt University Marcelo Maia Universidade Federal de Uberlândia André M. Maidl Pontifícia Universidade Católica do Paraná Manuel A. Martins Universidade de Aveiro Fábio Mascarenhas Universidade Federal do Rio de Janeiro Sérgio Medeiros Universidade Federal do Rio Grande do Norte Victor Miraldo University of Utrecht Álvaro Moreira Universidade Federal do Rio Grande do Sul Anamaria M. Moreira Universidade Federal do Rio de Janeiro Peter Mosses Swansea University Martin Musicante Universidade Federal do Rio Grande do Norte Alberto Pardo Universidad de la República Fernando Pereira Universidade Federal de Minas Gerais Gustavo Pinto Universidade Federal do Pará Louis-Noel Pouchet Ohio State University Zongyan Qiu Peking University Henrique Rêbelo Universidade Federal de Pernambuco Leonardo Reis Universidade Federal de Ouro Preto Rodrigo Ribeiro Universidade Federal de Ouro Preto Noemi Rodriguez Pontifícia Universidade Católica do Rio de Janeiro Francisco Sant'Anna Universidade Estadual do Rio de Janeiro João Saraiva Universidade do Minho Martin Sulzmann Hochschule Karlsruhe - Technik und Wirtschaft (chair) Leopoldo Teixeira Universidade Federal de Pernambuco Simon Thompson University of Kent Cristiano Vasconcellos Universidade do Estado de Santa Catarina Varmo Vene University of Tartu Invited Speaker ________________________________________________________________________________ Martin Sulzmann, Hochschule Karlsruhe - Technik und Wirtschaft, Germany Contact ________________________________________________________________________________ All questions about submissions should be emailed to Carlos Camarão (camarao(a)dcc.ufmg.br)

1 0

2nd CfP Workshop on Functional High-Performance Computing 2018
by Kei Davis 17 May '18

17 May '18

2nd CfP Workshop on Functional High-Performance Computing 2018 The 7th ACM SIGPLAN Workshop on Functional High-Performance Computing (FHPC 2018) is being held as in previous years in conjunction with the International Conference on Functional Programming (ICFP 2018) together with numerous other workshops/symposia, and as a first, colocated with Strange Loop, in St. Louis, MO, USA. https://icfp18.sigplan.org/track/FHPC-2018-papers#FHPC-2018-Call-for-Papers -- Kei Davis Applied Computer Science Group CCS-7, Mail Stop B287 Los Alamos National Laboratory Los Alamos, NM 87545, U.S.A.

1 0

CFP Special Sessions: DS-RT 2018 - Madrid, Spain, October 15-17, 2018
by Robson De Grande 16 May '18

16 May '18

Dear Colleagues and Researchers, Apologies, if you have received multiple copies of this CFP. ********** CALL FOR PAPER ********** DS-RT 2018, the 22nd IEEE/ACM International Symposium on Distributed Simulations and Real Time Applications, is running three special sessions this year: - Distributed Simulations of Distributed Systems - Agent-based Modeling and Simulation - Simulation of Urban Traffic Management and ITS These special sessions cover important areas of the field of distributed simulations and real time applications, and many papers were accepted in previous editions of DS-RT on the same topics. See below for more detailed descriptions of those special sessions. Accepted works will be published in the main track of IEEE DS-RT 2018 proceedings. ***** PAPER SUBMISSION AND REVIEW ***** Submitted manuscripts must be in standard IEEE two-column format that is used for IEEE conference proceedings and must not exceed "8 pages" (2-page extension allowed), including figures, tables and references. Standard IEEE templates for Microsoft Word or LaTeX formats can be found at: - http://www.ieee.org/conferences_events/conferences/publishing/ templates.html A submission may present preliminary results, propose new research direction, provide insightful retrospective, or offer a provocative viewpoint on important topics related to the considered special session. Papers will be selected based on their likelihood of generating insightful technical discussions at the special session and influencing future research. Papers must be unpublished and must not be submitted for publication elsewhere. All papers will be reviewed by Technical Program Committee members and other experts active in the field to ensure high quality and relevance to the conference and the special session. At least one author of accepted papers must attend the conference and present its contribution. Accepted papers will appear in the conference proceedings to be published by IEEE Press. ***** IMPORTANT DATES ***** Full paper submission deadline: June 10th, 2018 Paper acceptance notification: July 10th, 2018 ***** FOR MORE INFORMATION ***** For questions about the paper submission and review process, please contact the session organisers - find all relevant information on the corresponding web pages below. ***** DESCRIPTION OF THE SPECIAL SESSIONS ***** * Special Session on Distributed Simulations of Distributed Systems * Distributed simulation (DS) is a valuable tool for understanding and evaluating distributed systems. The current computing trend sees businesses and individuals moving toward a more centralized infrastructure, namely the cloud. On the one hand, as the computing infrastructure at data centers is highly complex and distributed, DS becomes essential for diagnosing and gaining insights of the system. On the other hand, the scale and nature of interaction between different components in the cloud present new challenges and push DS's state of the art. Another computing trend that has potential to drive DS is internet-of-things. Such complex systems consist of a large number of autonomous, heterogeneous devices communicating with one another in non-uniform manner. DS is valuable not only for discerning system properties but also for predicting the devices' emergent behavior. Finally, users in online social networks make up large distributed systems. Insights of user interaction and the network's collective behavior --- the study of which fits well into the realm of DS --- bring significant value to both the society and the business of social network providers. This special session seeks to bring together experts and practitioners in the domain of DS to discuss new opportunities and challenges for DS. We welcome research papers on both theoretical and empirical issues. Web page: http://ds-rt.com/2018/dsimdsys_2018.htm * Special Session on Agent-based Modeling and Simulation * This special session focuses on general aspects and special properties for agent-based modeling and simulations that allows them to be applied on several scientific domains, such as sociology, physics, chemistry, biology, ecology, and economy. The session is intended to bring together researchers and practitioners, so they can present the current status of their work and discuss the challenges they face in developing solutions and applications for agent-based simulations. Consequently, the design of these simulations aims not only to social contexts but also to more technical domains, which involves highly complex interactive systems. Web page: http://ds-rt.com/2018/abms_2018.htm * Special Session on Simulation of Urban Traffic Management and ITS * This special session focuses on simulation tools and real-time simulation applications used in and for evaluation, management, and design of Intelligent Transportation Systems (ITS), as well as Smart Cities. Such simulations are expected to offer prediction and on-the-flow feedback for the better decision-making, bringing up means for both the implementation of more complex traffic management systems and end-user applications. Off-line and real-time analyses of data collected from infrastructured systems (e.g. real-time traffic information), mobile, distributed technologies (e.g. communication devices), and socially-build systems (e.g. social networks applications) are of great interest for shaping and influencing how ITS solutions are designed. Thus, we are particularly interested in how these data and technologies can be incorporated in domain-related models and simulations. We aim to bring together experts from both industry and academia to discuss the challenges related to modelling and simulation for ITS. Web page: http://ds-rt.com/2018/soiits_2018.htm Best Regards, DS-RT 2018 Special Session Chairs

1 0

WFLP 2018: Second Call for Papers
by Michael Hanus 16 May '18

16 May '18

========================================================= WFLP 2018: Second Call for Papers ========================================================= 26th International Workshop on Functional and (constraint) Logic Programming WFLP 2018 http://ppdp-lopstr-18.cs.uni-frankfurt.de/wflp18.html Frankfurt, Germany, September 6, 2018 (co-located with PPDP 2018 and LOPSTR 2018) Important Dates Abstract submission: June 27, 2018 Paper submission: July 2, 2018 Notification: July 27, 2018 Camera-ready: August 24, 2018 Workshop: September 6, 2018 WFLP 2018 The international Workshop on Functional and (constraint) Logic Programming (WFLP) aims at bringing together researchers, students, and practitioners interested in functional programming, logic programming, and their integration. WFLP has a reputation for being a lively and friendly forum, and it is open for presenting and discussing work in progress, technical contributions, experience reports, experiments, reviews, and system descriptions. The 26th International Workshop on Functional and (constraint) Logic Programming (WFLP 2018) will be held at the Goethe-University Frankfurt am Main, Germany. Previous WFLP editions were WFLP 2017 (Würzburg, Germany), WFLP 2016 (Leipzig, Germany), WFLP 2014 (Wittenberg, Germany), WFLP 2013 (Kiel, Germany), WFLP 2012 (Nagoya, Japan), WFLP 2011 (Odense, Denmark), WFLP 2010 (Madrid, Spain), WFLP 2009 (Brasilia, Brazil), WFLP 2008 (Siena, Italy), WFLP 2007 (Paris, France), WFLP 2006 (Madrid, Spain), WCFLP 2005 (Tallinn, Estonia), WFLP 2004 (Aachen, Germany), WFLP 2003 (Valencia, Spain), WFLP 2002 (Grado, Italy), WFLP 2001 (Kiel, Germany), WFLP 2000 (Benicassim, Spain), WFLP'99 (Grenoble, France), WFLP'98 (Bad Honnef, Germany), WFLP'97 (Schwarzenberg, Germany), WFLP'96 (Marburg, Germany), WFLP'95 (Schwarzenberg, Germany), WFLP'94 (Schwarzenberg, Germany), WFLP'93 (Rattenberg, Germany), and WFLP'92 (Karlsruhe, Germany). WFLP 2018 will be co-located with PPDP 2018 (International Symposium on Principles and Practice of Declarative Programming) and LOPSTR 2018 (International Symposium on Logic-Based Program Synthesis and Transformation. Topics The topics of interest cover all aspects of functional and logic programming. They include (but are not limited to): * Functional programming * Logic programming * Constraint programming * Deductive databases, data mining * Extensions of declarative languages, objects * Multi-paradigm declarative programming * Foundations, semantics, non-monotonic reasoning, dynamics * Parallelism, concurrency * Program analysis, abstract interpretation * program and model manipulation * Program transformation, partial evaluation, meta-programming * Specification, verification * Debugging, testing * Knowledge representation, machine learning * Interaction of declarative programming with other formalisms * Implementation of declarative languages * Advanced programming environments and tools * Software techniques for declarative programming * Applications The primary focus is on new and original research results, but submissions describing innovative products, prototypes under development, application systems, or interesting experiments (e.g., benchmarks) are also encouraged. Survey papers that present some aspects of the above topics from a new perspective, and experience reports are also welcome. Papers must be written and presented in English. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Submission Guidelines Submission is via Easychair submission website for WFLP 2018: https://easychair.org/conferences/?conf=wflp2018 Authors are invited to submit papers in the following categories: + Regular research paper + Work-in-progress report + System description Regular research papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been formally published or that are simultaneously submitted to a journal, conference, or workshop with formal proceedings. They will be judged on the basis of significance, relevance, correctness, originality, and clarity. For work-in-progress reports and system descriptions, less formal rules apply, and presentation-only submissions (talk and discussion, but no paper in the formal proceedings) are possible. Please contact the PC chair with any questions. All submissions must be formatted in the Lecture Notes in Computer Science style. Submissions cannot exceed 15 pages including references but excluding well-marked appendices not intended for publication. Reviewers are not required to read the appendices, and thus papers should be intelligible without them. However, all submissions (especially work-in-progress reports and system descriptions) may be considerably shorter than 15 pages. Proceedings All papers accepted for presentation at the conference will be published in informal proceedings publicly available at the Computing Research Repository. According to the program committee reviews, submissions can be directly accepted for publication in the formal post-conference proceedings. The formal post-conference proceedings will be published in both electronic and paper formats by Springer in the Lecture Notes in Computer Science series. After the conference, all authors accepted only for presentation will be invited to revise and/or extend their submissions in the light of the feedback solicited at the conference. Then, after another round of reviewing, these revised papers may also be published in the formal proceedings. Therefore, all accepted papers will be published in open-access, and the authors can also decide to publish their work in the Springer LNCS formal proceedings. Program Committee + Slim Abdennadher, German University in Cairo, Egypt + Maria Alpuente, Universitat Politècnica de València, Spain + Sergio Antoy, Portland State University, USA + Olaf Chitil, University of Kent, UK + Maria del Mar Gallardo, Universidad de Málaga, Spain + Michael Hanus, University of Kiel, Germany + Herbert Kuchen, University of Münster, Germany + Kostis Sagonas, Uppsala University, Sweden + Tom Schrijvers, Katholieke Universiteit Leuven, Belgium + Sibylle Schwarz, HTWK Leipzig, Germany + Martina Seidl, Johannes Kepler University Linz, Austria + Dietmar Seipel, University of Würzburg, Germany + Josep Silva, Universitat Politècnica de València, Spain (Program Chair) + Salvador Tamarit, Universidad Politécnica de Madrid, Spain + Janis Voigtländer, University of Duisburg-Essen, Germany + Johannes Waldmann, HTWK Leipzig, Germany Organizing Committee David Sabel (General Chair), Computer Science Institute Goethe-University Frankfurt am Main, Germany

1 0

ANNOUNCE: Haskell Communities and Activities Report (34th ed., May 2018)
by Mihai Maruseac 16 May '18

16 May '18

On behalf of all the contributors, we are pleased to announce that the Haskell Communities and Activities Report (34th edition, May 2018) is now available, in PDF and HTML formats: http://haskell.org/communities/05-2018/report.pdf http://haskell.org/communities/05-2018/html/report.html All previous editions of HCAR can be accessed on the wiki at https://wiki.haskell.org/Haskell_Communities_and_Activities_Report Many thanks go to all the people that contributed to this report, both directly, by sending in descriptions, and indirectly, by doing all the interesting things that are reported. We hope you will find it as interesting a read as we did. If you have not encountered the Haskell Communities and Activities Reports before, you may like to know that the first of these reports was published in November 2001. Their goal is to improve the communication between the increasingly diverse groups, projects, and individuals working on, with, or inspired by Haskell. The idea behind these reports is simple: Every six months, a call goes out to all of you enjoying Haskell to contribute brief summaries of your own area of work. Many of you respond (eagerly, unprompted, and sometimes in time for the actual deadline) to the call. The editors collect all the contributions into a single report and feed that back to the community. When we try for the next update, six months from now, you might want to report on your own work, project, research area or group as well. So, please put the following into your diaries now: ======================================== End of September 2018: target deadline for contributions to the October 2018 edition of the HCAR Report ======================================== Unfortunately, many Haskellers working on interesting projects are so busy with their work that they seem to have lost the time to follow the Haskell related mailing lists and newsgroups, and have trouble even finding time to report on their work. If you are a member, user or friend of a project so burdened, please find someone willing to make time to report and ask them to "register" with the editors for a simple e-mail reminder in November (you could point us to them as well, and we can then politely ask if they want to contribute, but it might work better if you do the initial asking). Of course, they will still have to find the ten to fifteen minutes to draw up their report, but maybe we can increase our coverage of all that is going on in the community. Feel free to circulate this announcement further in order to reach people who might otherwise not see it. Enjoy! -- Mihai Maruseac (MM) "If you can't solve a problem, then there's an easier problem you can solve: find it." -- George Polya

1 0

OCaml/Reason/MirageOS Internships at SAP Innovation Center Network (Postdam, Germany)
by Keiko Nakata 14 May '18

14 May '18

Our team at SAP Innovation Center Network in Potsdam (Germany) is looking for internship students to research, evaluate and extend MirageOS in the context of cloud applications. Interested students with Haskell background would be very well suited. Please check out the job descriptions at https://jobs.sap.com/job/Potsdam-Intern-Mirage-OS-Research-&-Development-Jo… and https://jobs.sap.com/job/Potsdam-Working-Student-OCamlReason-Developer-Job-… For more details and questions, please contact me on keiko.nakata(a)sap.com (We may have other internship positions around static analysers, please contact me for further details.) Best regards, Keiko

1 0

Tezos is hiring!
by careers 12 May '18

12 May '18

Tezos est une blockchain et une plateforme de contrats intelligents écrite en OCaml. En outre, Tezos est dotée d'un mécanisme d'auto-gestion lui permettant d'évoluer de manière décentralisée. Tezos compte 40 postes ouverts dans le monde dont environ 25 en France. Les temps partiels et le télé travail sont envisageables. Le développement s'articule autour de plusieurs thèmes dont les systèmes distribués, les réseaux pairs à pairs, la théorie des langages de programmation, la cryptographie, et les méthodes formelles. Nous recherchons des profils variés, avec une préférence pour les détenteurs de doctorats. Possibilité de thèse CIFRE pour les étudiants en master. Est fortement préférée la maîtrise d'un langage fonctionnel tel que OCaml, Haskell, Clojure ou équivalent et des compétences dans l'un des domaines suivants: algorithmique, compilateurs, conception de langages de programmation, cryptographie, p2p, programmation web / UI en OCaml, SAT/SMT, vérification formelle, programmation linéaire et en nombres entiers, optimisation numérique, processus stochastiques ou calcul formel. Rémunération très attractive. Si vous êtes intéressé(e)s, envoyez votre CV à careers(a)tezos.com! ******************* Tezos is a self-governing blockchain and smart-contract platform written in OCaml. Tezos' self-governance allows it to evolve in a decentralised manner by enabling collective decision making. We are currently filling 40 open positions world-wide, including 25 in France. Part-time and remote work will be considered. The development of the project is centred around different areas, such as distributed systems, peer to peer systems, theory of programming languages, cryptography and formal methods. We are looking for a range of profiles, with a preference towards PhD holders. Possibility of PhD funding for excellent master students. Mastering of a functional language such as OCaml, Haskell or Clojure is particularly desirable, as well as skills in one or more of the following topics: algorithms, compilers, design of programming languages, cryptography, p2p, web programming / UI in OCaml, SAT / SMT, formal verification, linear and integer programming, numerical optimization, stochastic processes or computer algebra. Attractive compensation. If you are interested, please send your CV (resumé) to careers(a)tezos.com!

1 0

Call for Papers: Workshop in OCL and Textual Modeling (OCL 2018)
by Achim D. Brucker 10 May '18

10 May '18

(Apologies for duplicates) CALL FOR PAPERS 18th International Workshop on OCL and Textual Modeling Co-located with MODELS 2018: ACM/IEEE 21th International Conference on Model Driven Engineering Languages and System, October 14 (tbc), 2018, Copenhagen, Denmark http://oclworkshop.github.io Modeling started out with UML and its precursors as a graphical notation. Such visual representations enable direct intuitive capturing of reality, but they have weaknesses: for example, detailed visual representations bear the risk of becoming overcrowded faster than textual models and some of the visual features lack the level of precision required to create complete and unambiguous specifications. These weaknesses of graphical notations encouraged the development of text-based modeling languages that either integrate with or replace graphical notations for modeling. Typical examples of such languages are OCL, textual MOF, Epsilon, and Alloy. Textual modeling languages have their roots in formal language paradigms like logic, programming and databases. The goal of this workshop is to create a forum where researchers and practitioners interested in building models using OCL or other kinds of textual languages can directly interact, report advances, share results, identify tools for language development, and discuss appropriate standards. In particular, the workshop will encourage discussions for achieving synergy from different modeling language concepts and modeling language use. The close interaction will enable researchers and practitioners to identify common interests and options for potential cooperation. ## Topics of interest Topics of interest include (but are not limited to): - Mappings between textual modeling languages and other languages/formalisms - Mathematical models and/or formal semantics for textual modeling languages - Algorithms, evaluation strategies and optimizations in the context of textual modeling languages for: - validation, verification, and testing, - model transformation and code generation, - meta-modeling and DSLs, and - query and constraint specifications - Alternative graphical/textual notations for textual modeling languages - Evolution, transformation and simplification of textual modeling expressions - Libraries, templates and patterns for textual modeling languages - Tools that support textual modeling languages (e.g., verification of OCL formulae, runtime monitoring of invariants) - Model-driven security using textual modeling languages - Complexity results for textual modeling languages - Quality models and benchmarks for comparing and evaluating textual modeling tools and algorithms - Successful applications of textual modeling languages - Case studies on industrial applications of textual modeling languages - Experience reports: - usage of textual modeling languages and tools in complex domains, - usability of textual modeling languages and tools for end-users - Empirical studies about the benefits and drawbacks of textual modeling languages - Innovative textual modeling tools - Comparison, evaluation and integration of modeling languages - Correlation between modeling languages and modeling tasks We particularly encourage submissions describing applications and case studies of textual modeling as well as test suites and benchmark collections for evaluating textual modeling tools. ## Venue This workshop will be organized as a part of MODELS 2018 Conference in Copenhagen, Denmark. Similar to its predecessors, the workshop addresses both people from academia and industry. The aim is to provide a forum for addressing integration of OCL and other textual modeling languages, as well as tools for textual modeling, and for disseminating good practice and discussing the new requirements for textual modeling. ## Workshop Format The workshop will include short (about 15 min) presentations, parallel sessions of working groups, and sum-up discussions. ## Submissions Two types of papers will be considered: * Short contributions (between 5 and 7 pages) describing new ideas, innovative tools or position papers. * Full papers (between 10 and 14 pages). in LNCS format. Submissions should be uploaded to [EasyChair](https://easychair.org/conferences/?conf=ocl2018). The program committee will review the submissions (minimum 2 reviews per paper, usually 3 reviews) and select papers according to their relevance and interest for discussions that will take place at the workshop. Accepted papers will be published online, as part of the MODELS workshop proceedings, in [CEUR](http://www.ceur-ws.org). ## Important Dates - Submission of papers: July 17, 2018 - Notification: August 17, 2018 - Workshop date: October 14, 2018 (tbc) -- Dr. Achim D. Brucker | Software Assurance & Security | University of Sheffield https://www.brucker.ch | https://logicalhacking.com/blog @adbrucker | @logicalhacking

1 0

HOPE 2018: Call for Presentations
by Filip Sieczkowski 09 May '18

09 May '18

Dear Friends and Colleagues, We have a great pleasure inviting you to participate in this year's edition of the ACM SIGPLAN Workshop on Higher-Order Programming with Effects ( https://icfp18.sigplan.org/track/hope-2018-papers) The HOPE workshop series are intended to bring together researchers interested in the design, semantics, implementation, and verification of higher-order effectful programs. They are *informal*, consisting of invited talks, contributed talks on work in progress, and open-ended discussion sessions. They are dedicated to John Reynolds, whose work is an inspiration to us all. **Goals of the Workshop** A recurring theme in many papers at ICFP, and in the research of many ICFP attendees, is the interaction of higher-order programming with various kinds of effects: storage effects, I/O, control effects, concurrency, etc. While effects are of critical importance in many applications, they also make code harder to build, maintain, and reason about. Higher-order languages (both functional and object-oriented) provide a variety of abstraction mechanisms to help “tame” or “encapsulate” effects (e.g. monads, ADTs, ownership types, typestate, first-class events, transactions, Hoare Type Theory, session types, substructural and region-based type systems), and a number of different semantic models and verification technologies have been developed in order to codify and exploit the benefits of this encapsulation (e.g. bisimulations, step-indexed Kripke logical relations, higher-order separation logic, game semantics, various modal logics). But there remain many open problems, and the field is highly active. The goal of the HOPE workshop is to bring researchers from a variety of different backgrounds and perspectives together to exchange new and exciting ideas concerning the design, semantics, implementation, and verification of higher-order effectful programs. We want HOPE to be as informal and interactive as possible. The program will thus involve a combination of invited talks, contributed talks about work in progress, and open-ended discussion sessions. There will be no published proceedings, but participants will be invited to submit working documents, talk slides, etc., to be made available online. **Call for Presentations** We solicit proposals for contributed talks. We recommend preparing proposals of at most 2 pages, in either plain text or PDF format. However, we will accept longer proposals or submissions to other conferences, under the understanding that PC members are only expected to read the first two pages of such longer submissions. When submitting talk proposals, authors should specify how long a talk the speaker wishes to give. By default, contributed talks will be 30 minutes long, but proposals for shorter or longer talks will also be considered. Speakers may also submit supplementary material (e.g., a full paper, talk slides) if they desire, which PC members are free (but not expected) to read. We are interested in talks on all topics related to the interaction of higher-order programming and computational effects. Talks about work in progress are particularly encouraged. If you have any questions about the relevance of a particular topic, please contact the PC chairs, Filip Sieczkowski (efes(a)cs.uni.wroc.pl) and François Pottier ( francois.pottier(a)inria.fr) **Important Dates** * Deadline for talk proposals: June 8th, 2018 (Friday) * Notification of acceptance: July 8th, 2018 (Sunday) * Workshop: September 23, 2018 (Sunday) — Best regards, Filip Sieczkowski and François Pottier, PC co-chairs

1 0

Call for Papers-International Conference on Connected and Intelligent Mobility – CIM’2018
by Benish Chaudhry 09 May '18

09 May '18

International Conference on Connected and IntelligentMobility – CIM’2018 Coimbra –Portugal, November 22-24, 2018 http://cim-2018.smartgentpt.com/ Submission deadline: August 10th, 2018 In Conjunction with the International Conference on NextGeneration Logistics (NeLog’2018) *************************************************************************** Dear Colleagues, We are pleased to invite submissions of original papersto the International Conference on Connected and Intelligent Mobility(CIM’2018) which is going to take place in Coimbra, Portugal, November 22.24,2018. The conference will be a unique opportunity for researchers,experts, and practitioners from the academy, the government, and the industryto present, share, and promote their breakthroughs as well as benefit from theexpected fruitful exchanges on advances and applications in a variety of topicsrelated to connected and intelligent mobility. These topics will mainly focuson Emergent Vehicle Technologies, Intelligent Transport Systems, WirelessSensor Communications, Big Data, IoT. Machine Learning, Blockchain, and DigitalTransformation. We are aiming to investigate the landscape of the future oftransportation systems and services, towards more optimized, flexible, smart, sustainable,and personalized resource allocation and use. We are ultimately investigatingthe vision of a self-learning and self-organized transportation ecosystem. ============== RELATED TOPICS · Vehicular Wireless Medium Access Control · Routings & Protocols for Connected Vehicles · V2V, V2I and I2V Road Safety applications · Intelligent Transportation Systems · Multi-Agent Systems for connected mobility · Machine Learning for connected mobility · Collective and connected Intelligence · Argumentation, Collaboration, and Team Formationfor Intelligent Connected Mobility · Next Generation Intelligent Connected Mobility · Weather related Safety solutions · Driver behavior countermeasures in connectedvehicles · Data Trustworthiness in Connected Vehicles · Security & Privacy Issues in VehicleCommunication Environment · Safety & non-safety applications ofConnected Vehicles · Blockchain technology in connected mobility · Automotive Electronics and Automatic Control inVehicular Networks · Traffic & Transportation Systems inVehicular Networks · Telematics and Mobile Internet · Vehicular Cloud Computing · Mobility and the Internet of Vehicles · IoT in connected vehicles · Cyber-Physical Systems for connected mobility · Application of remote sensing in connected mobility · Big Data and Vehicle Analytics · Energy-aware connected mobility · Solar and Electrical energy for connectedmobility Programming language for connected mobility · Embedded Systems for connected mobility · Driver Behavior Analysis · Vision and Image Processing · Vehicle Environment Perception · Cognitive and Context-aware Intelligence · Drone-based applications for connected mobility · Connected mobility for Healthcare applications · Connected mobility for Hazard management · Connected mobility for Logistics applications · Regulations and bylaws for intelligent connectedmobility · Crowd Computing for connected mobility · Nanotechnology for connected mobility ================ IMPORTANT DATES · Paper Submission: 10th August, 2018 · Acceptance Notification: 20th September, 2018 · Final Manuscript Due: 10th October, 2018 ================ Outstanding Papers Based on the reviewing scores as well as thepresentations at the conference, the authors of outstanding papers will beinvited to extend their works for a potential publication in journals specialissues with high impact factors. ================= PAPERS SUBMISSION Paper must be submitted electronically via easychair (https://easychair.org/conferences/?conf=cim20180).All papers will be peer reviewed. Paper length should be maximum 8 pagesincluding figures, tables, references, and appendices. For more information,please refer to the conference website: http://cim-2018.smartgentpt.com/ ============== IMPORTANT DATES · Paper submission: 10th August, 2018 · Acceptance notification: 20th September, 2018 · Camera-ready: 10th October, 2018

1 0