November 2016 - Haskell

[ANT 2017] ANT 2017 CFPs: The 8th International Conference on Ambient Systems, Networks and Technologies (May 16-19, 2017, Madeira, Portugal)
by Wim Ectors 23 Nov '16

23 Nov '16

The 8th International Conference on Ambient Systems, Networks and Technologies (ANT-2017) (Track on Modeling and Simulation in Transportation Science) http://cs-conferences.acadiau.ca/ant-17/ Madeira, Portugal (16 - 19 May 2017) ANT-2017 is a leading international conference for researchers and industry practitioners to share their new ideas, original research results and practical development experiences from all Ambient Systems, Networks and Technologies related areas. The ANT-2017 will be held in conjunction with the International Conference on Sustainable Energy Information Technology (SEIT)). SCOPE The goal of the ANT-2017 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 the ambient systems paradigm, infrastructures, models, and technologies that have significant contributions to the advancement of ambient systems theory, practices and their applications. At ANT-2017, there is a dedicated track on Modeling and Simulation in Transportation Sciences (MSTS) organized by the Transportation Research Institute (IMOB), Hasselt University, Belgium. This aim of this track is to bring together communities interested in the computation, knowledge discovery and technology policy aspects of transportation systems. The organizers of ANT-2015 (MSTS track) welcomes papers from researchers in the domains of transportation sciences and engineering, computer science, urban and regional planning, civil engineering, geography, geo-informatics and related disciplines to submit papers for consideration for presentation and for publication in the conference proceedings. Topics of interest in the MSTS track include (but are not limited to): · Collaborative transport, including collaborative multi-modal transport · Data mining and statistical learning for travel information · Human factors including adaptive driving, travel behavior, persuasive technology · Human-computer interfaces in intelligent transportation applications · Logistics and transportation management · Mathematical optimization in traffic engineering · Novel applications targeted to health, mobility, liveability and sustainability · Renewable energy sources in transportation · Simulation of traffic, passenger flows, assisted driving or collaborative transport · Social and institutional information related to travel · Traffic flow and transportation model · Travel information, including recommender systems and user feedback systems · Uncertain information in collaborative transport and assisted traveling SUBMISSION AND PROCEEDINGS All ANT-2017 accepted papers will be printed in the conference proceedings 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 also be indexed by Scopus (www.scopus.com) and Engineering Village (Ei) ( www.engineeringvillage.com) This includes EI Compendex ( www.ei.org/compendex) 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/) Submitted technical papers must be no longer than 8 pages for full papers and 5 pages for short papers including all figures, tables and references. Authors are requested to submit their papers electronically using the online conference management system in PDF format before the deadline (see Important Dates). The submission processes will be managed by easychair.org. If you have used this system before, you can use the same username and password. If this is your first time using EasyChair, you will need to register for an account by clicking "I have no EasyChair account" button. Upon completion of registration, you will get a notification email from the system and you are ready for submitting your paper. You can upload and re-upload the paper to the system by the submission due date. IMPORTANT DATES - Paper Submission Due: December 22, 2016 - Acceptance Notification: February 13, 2017 - Camera-Ready Submission: March 13, 2017 PROGRAM COMMITTEE (MSTS Track) Tom Bellemans, IMOB - Hasselt University, Belgium Itzhak Benenson, Tel Aviv University, Israel Eran Ben Elia, Ben-Gurion University of the Negev, Israel Stephane Galland, UTBM, France Irith Hartman, Haifa University, Israel Johan Holmgren, Blekinge Institute of Technology, Sweden Luk Knapen, Hasselt University, Belgium Bruno Kochan, IMOB - Hasselt University, Belgium Paul Koster, VU Amsterdam, The Netherlands Marco Lutzenberger, TU Berlin, Germany Kai Nagel, TU Berlin, Germany Luca Pappalardo, University of Pisa, Italy Davy Preuveneers, Katholieke Universiteit Leuven, Belgium Nicole Ronald, University of Melbourne, Australia Josep Maria Salanova, Centre for Research and Technology Hellas, Greece Harry Timmermans, Technische Universiteit Eindhoven, The Netherlands Ansar-Ul-Haque Yasar, Hasselt University, Belgium REGISTRATION Please visit: http://cs-conferences.acadiau.ca/ant-17/#registration for more information. VENUE, ACCOMMODATION & VISA REQUIREMENTS Please visit: http://cs-conferences.acadiau.ca/ant-17/#conferenceVenue for more information. PROGRAM VICE-CHAIRS Dr.Luk Knapen Transportation Research Institute Hasselt University, Belgium luk.knapen at uhasselt.be If you have any further questions please contact one of the program vice-chairs. You may also visit our website (http://cs-conferences.acadiau.ca/ant-17/) for more details.

1 0

Be Sport is hiring
by Be Sport 22 Nov '16

22 Nov '16

Be Sport is looking for programmers familiar with functional languages, for a development and research work in Paris. As we already sucessfully hired Haskellers, we thought these positions would interest the people reading this mailing-list. Send an e-mail to jobs(a)besport.com to apply. The company: Be Sport is a young tech company currently building its developers team. We have a very ambitious development program and we believe in the use of modern technologies coming from research to build strong basis for our apps. We work in close relationship with research laboratories (CNRS, Inria, univ. Paris Diderot ...). Our main focus at the moment are languages and typing for Web and mobile apps, recommendation algorithms for social networks, classification algorithms. Our first app is a social network dedicated to sport. Be Sport premises are located in the center of Paris. Work: We are looking for developers to take part in the development of some features of our apps. Good general developers, knowing OCaml or other functional languages (or willing to learn) are welcome. Other skills related to the implementation of a social network are also welcome: machine learning, database, search engines, etc. The developers will be integrated in the programming team: participation in the writing of specifications, implementation (client / server), stylesheets, testing … They will initially work on improving existing features, before progressively taking the lead on some components. Skills: Candidates must have some expertise on some of the following technologies: * Typed functional languages, especially OCaml (and Ocsigen Js_of_ocaml/Eliom) * Databases * Machine learning * Web programming (CSS, Javascript…)

1 0

[FNC-Conf] FNC 2017 CFPs: The 12th International Conference on Future Networks and Communications (July 24-26, 2017, Leuven, Belgium)
by Wim Ectors 15 Nov '16

15 Nov '16

------------------------------------------------------------------------ The 12th International Conference on Future Networks and Communications (FNC) July 24-26, 2017 Leuven, Belgium http://cs-conferences.acadiau.ca/fnc-17/ ------------------------------------------------------------------------ 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: January 20, 2017 - Paper Submission Due: March 8, 2017 - Acceptance Notification: April 28, 2017 - Final Manuscript Due: May 28, 2017 Publication ------------ All FNC 2017 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: 0.835), by Springer (http://www.springer.com/engineering/journal/12652) - Journal of Future Generation Computer Systems (IF: 2.430), by Elsevier ( http://www.journals.elsevier.com/future-generation-computer-systems/) FNC 2017 will be held in conjunction with the 14th International Conference on Mobile Systems and Pervasive Computing (MobiSPC http://cs-conferences.acadiau.ca/mobispc-17/) FNC 2017 will be gel in the city of Leuven. Leuven is the capital of the province of Flemish Brabant in Belgium. It is located about 25 kilometres (16 miles) east of Brussels. It is the 10th largest municipality in Belgium and the fourth in Flanders. Leuven is home to the Katholieke Universiteit Leuven, the largest and oldest university of the Low Countries and the oldest Catholic university still in existence. The related university hospital of UZ Leuven, is one of the largest hospitals of Europe. The city is also known for being the headquarters of Anheuser-Busch InBev, the world's largest brewer and one of the five largest consumer-goods companies in the world. COMMITTEES: ----------- General Chairs Atta Badii, University of Reading, UK Soumaya Cherkaoui, Sherbrooke University, Canada Program Chairs Ansar-Ul-Haque Yasar, IMOB Ð Hasselt University, Belgium Haroon Malik, Marshall University, USA Advisory Committee 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 Chairs Zahoor Khan, Higher Colleges of Technology, UAE International Journals Chair Bin Guo, Northwestern Polytechnical University, China Publicity Chairs Wim Ectors, Hasselt University, Belgium Yaser Jararweh, Jordan University of Science and Technology, Jordan Bjšrn A. Johnsson, Lund University, Sweden Technical Program Committee http://cs-conferences.acadiau.ca/fnc-17/#programCommittees Steering Committee Chair Elhadi Shakshuki, Acadia University, Canada

1 0

CFP: DCOSS 2017 - Ottawa, Canada - Jun 5-7, 2016
by RODOLFO IPOLITO MENEGUETTE 12 Nov '16

12 Nov '16

==================================================== Call-For-Papers: 13th IEEE DCOSS 2017 Ottawa, Canada, June 5 - 7, 2017 http://paradise.site.uottawa.ca/DCOSS/ ==================================================== IMPORTANT: Paper registration through EDAS: January 6th, 2016 Paper Submission: January 12th, 2017 =================================================== ------ IEEE DCOSS 2017 is the 13th International Conference on Distributed Computing in Sensor Systems to be hosted in Ottawa, Canada in June 5-7, 2017. Due to their potential of impacting an entire host of application areas, distributed sensor systems have become a highly visible research area. The focus of DCOSS series of conferences is on distributed computing issues in large scale networked sensor systems, including, but not limited to, algorithms and applications, systems design techniques and tools, and in-network signal and information processing. DCOSS puts together a highly selective program where it primes for quality and innovation on works. Potential authors are invited to submit original unpublished manuscripts that demonstrate current research on computational aspects of distributed sensor systems. Topics of interest include but are not limited to: Social networks and applications Sensors for smart grid systems, green networks and sustainability Computation and programming models Energy models, minimization, awareness Distributed collaborative information processing Detection and tracking Theoretical performance analysis: complexity, correctness, scalability Abstractions for modular design Fault tolerance and security Task allocation, reprogramming and reconfiguration Dynamic resource management Scalable, heterogeneous architectures (node and system-level) Middleware interfaces, communication and processing primitives Design, simulation and optimization tools for deployment and operation Design automation and application synthesis techniques Closed-loop control for sensing and actuation Case studies: lessons from real world deployments Network coding and compression Paper Submission and Publication: High-quality original papers are solicited. 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. Please submit your paper through EDAS link ( https://edas.info/N23046 ). More detailed instructions about paper submissions can be fount at the link below. Conference content will be submitted for inclusion into IEEE Xplore as well as other Abstracting and Indexing (A&I) databases. - http://paradise.site.uottawa.ca/DCOSS/ Important Dates: Paper Registration Deadline: 6th January, 2017 Paper Submission Deadline: 12th January, 2017 Organizing Committee: GENERAL CHAIR Azzedine Boukerche, University of Ottawa, Canada PROGRAM CO-CHAIRS Salil Kanhere, University of New South Wales, Australia Soumaya Charkaoui, University of Sherbrooke, Canada

1 0

Call for Haskell.org Committee Nominations
by Gershom B 11 Nov '16

11 Nov '16

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 four members of our committee due for retirement -- Adam Foltzer, Nicolas Wu, Andres Loeh, and Edward Kmett (who is stepping down early). As per our bylaws, three of the slots will be for regular three year terms, and one will be a short one year term to fill out the remainder of Edward's. To nominate yourself, please send an email to committee at haskell.org by December 2, 2016. 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, Gershom Bazerman

1 0

CFP: DCOSS 2017 - Ottawa, Canada
by Robson De Grande 11 Nov '16

11 Nov '16

=================================================== Call-For-Papers: 13th IEEE DCOSS 2017 Ottawa, Canada, June 5 - 7, 2017 http://paradise.site.uottawa.ca/DCOSS/ ==================================================== IMPORTANT: Paper registration through EDAS: January 6th, 2016 Paper Submission: January 12th, 2017 =================================================== ------ IEEE DCOSS 2017 is the 13th International Conference on Distributed Computing in Sensor Systems to be hosted in Ottawa, Canada in June 5-7, 2017. Due to their potential of impacting an entire host of application areas, distributed sensor systems have become a highly visible research area. The focus of DCOSS series of conferences is on distributed computing issues in large scale networked sensor systems, including, but not limited to, algorithms and applications, systems design techniques and tools, and in-network signal and information processing. DCOSS puts together a highly selective program where it primes for quality and innovation on works. Potential authors are invited to submit original unpublished manuscripts that demonstrate current research on computational aspects of distributed sensor systems. Topics of interest include but are not limited to: Social networks and applications Sensors for smart grid systems, green networks and sustainability Computation and programming models Energy models, minimization, awareness Distributed collaborative information processing Detection and tracking Theoretical performance analysis: complexity, correctness, scalability Abstractions for modular design Fault tolerance and security Task allocation, reprogramming and reconfiguration Dynamic resource management Scalable, heterogeneous architectures (node and system-level) Middleware interfaces, communication and processing primitives Design, simulation and optimization tools for deployment and operation Design automation and application synthesis techniques Closed-loop control for sensing and actuation Case studies: lessons from real world deployments Network coding and compression Paper Submission and Publication: High-quality original papers are solicited. 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. Please submit your paper through EDAS link (https://edas.info/N23046) More detailed instructions about paper submissions can be fount at the link below. Conference content will be submitted for inclusion into IEEE Xplore as well as other Abstracting and Indexing (A&I) databases. - http://paradise.site.uottawa.ca/DCOSS/ Important Dates: Paper Registration Deadline: 6th January, 2017 Paper Submission Deadline: 12th January, 2017 Organizing Committee: GENERAL CHAIR Azzedine Boukerche, University of Ottawa, Canada PROGRAM CO-CHAIRS Salil Kanhere, University of New South Wales, Australia Soumaya Charkaoui, University of Sherbrooke, Canada

1 0

Off the Beaten Track 2017: Final Call for Talk Proposals; deadline extended
by Robert Atkey 10 Nov '16

10 Nov '16

# Call for Talk Proposals: Off the Beaten Track 2017 http://conf.researchr.org/track/POPL-2017/OBT-2017 *** DEADLINE EXTENDED TO 15th November *** 21st January 2017 (co-located with POPL 2017, Paris, France) ## Invited Speakers We an invited speaker for OBT: - Moa Johansson, Chalmers, Sweden with another invited speaker TBC. ## Background Programming language researchers have the principles, tools, algorithms and abstractions to solve all kinds of problems, in all areas of computer science. However, identifying and evaluating new problems, particularly those that lie outside the typical core PL problems we all know and love, can be a significant challenge. This workshop’s goal is to identify and discuss problems that do not often show up in our top conferences, but where programming language research can make a substantial impact. We hope fora like this will increase the diversity of problems that are studied by PL researchers and thus increase our community’s impact on the world. While many workshops associated with POPL have become more like mini-conferences themselves, this is an anti-goal for OBT. The workshop will be informal and structured to encourage discussion. We are at least as interested in problems as in solutions. ## Scope A good submission is one that outlines a new problem or an interesting, underrepresented problem domain. Good submissions may also remind the PL community of problems that were once in vogue but have not recently been seen in top PL conferences. Good submissions do not need to propose complete or even partial solutions, though there should be some reason to believe that programming languages researchers have the tools necessary to search for solutions in the area at hand. Submissions that seem likely to stimulate discussion about the direction of programming language research are encouraged. Use your imagination. It's hard to imagine how a paper that discusses programming languages could be considered out of scope. If in doubt, ask the program chair. ## Previous OBTs 2017 marks the sixth year of OBT and its co-location with POPL. The previous five workshops were: - OBT 2016, St. Petersburg, USA - OBT 2015, Mumbai, India - OBT 2014, San Diego, USA - OBT 2013, Rome, Italy - OBT 2012, Philadelphia, USA ## Important Dates ** EXTENDED DEADLINE ** * 15th November 2016: Submission deadline * 8th December 2016: Notification * (18th December 2016: POPL early registration) * 21st January 2017: Workshop ## Submission Please submit your talk proposal via EasyChair: https://easychair.org/conferences/?conf=obt2017 All submissions should be in PDF format, two pages or less, in at least 10pt font, printable on A4 and on US Letter paper. Authors are welcome to include links to multimedia content such as YouTube videos or online demos. Reviewers may or may not view linked documents; it is up to authors to convince the reviewers to do so. For each accepted submission, one of the authors will give a talk at the workshop. The length of the talk will depend on the submissions received and how the program committee decides to assemble the program. Reviewing of submissions will be very light. Authors should not expect a detailed analysis of their submission by the program committee. Accepted submissions will be posted as is on this web site. By submitting a document, you agree that if it is accepted, it may be posted and you agree that one of the co-authors will attend the workshop and give a talk there. There will be no revision process and no formal publication. ## Organisers General chair: - Lindsey Kuper, Intel Labs, USA Programme chair: - Robert Atkey, University of Strathclyde, UK Programme committee: - Ekaterina Komendantskaya, Heriot-Watt University, UK - Chris Martens, North Carolina State University, USA - Tomas Petricek, University of Cambridge, UK - Wren Romano, Google Inc., USA - Mary Sheeran, Chalmers University of Technology, Sweden - KC Sivaramakrishnan, University of Cambridge, UK - Wouter Swierstra, Utrecht University, Netherlands

1 0

2nd Call for papers - <Programming> 2017
by Tim Molderez 10 Nov '16

10 Nov '16

<Programming> 2017 : The Art, Science, and Engineering of Programming April 3-6, 2017, Brussels, Belgium http://2017.programming-conference.org We started a new conference and journal focused on everything to do with programming, including the experience of programming. We call the conference <Programming> for short. Paper submissions and publications are handled by the journal. Accepted papers must be presented at the conference. ******************************************************** CALL FOR PAPERS ******************************************************** <Programming> 2017 accept scholarly papers including essays that advance the 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. **PAPER SUBMISSIONS**: December 1, 2016 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 DATES ******************************************************** • Research paper submissions: December 1, 2016 • Research paper first notifications: February 1, 2017 • Research paper final notifications: March 7, 2017 • Workshop proposals: November 15, 2016 • European Lisp Symposium submissions: January 30, 2017 **new** • Salon des Refusés workshop submissions: February 1, 2017 **new** • LASSY 2017 workshop submissions: January 13, 2017 **new** • PX 2017 workshop submissions: February 4, 2017 • Poster abstract submissions: January 16, 2017 ******************************************************** ORGANIZATION ******************************************************** General Chair: Theo D'Hondt, Vrije Universiteit Brussel Local Organizing Chair: Wolfgang De Meuter, Vrije Universiteit Brussel Program Chair: Crista V. Lopes, University of California, Irvine Organizing Committee: Jörg Kienzle (workshops), McGill University Hidehiko Masuhara (demos), Tokyo Institute of Technology Ralf Lämmel (contest), University of Koblenz-Landau Jennifer Sartor (posters), Vrije Universiteit Brussel Tobias Pape (web technology), HPI - University of Potsdam Tim Molderez (publicity), Vrije Universiteit Brussel Program Committee: Andrew Black, Portland State University Shigeru Chiba, University of Tokyo Yvonne Coady, University of Victoria Robby Findler, Northwestern University Lidia Fuentes, Universidad de Málaga Richard Gabriel, IBM Research Elisa Gonzalez Boix, Vrije Universiteit Brussel Jeff Gray, University of Alabama Robert Hirschfeld, HPI - University of Potsdam Roberto Ierusalimschy, Pontifícia Universidade Católica do Rio de Janeiro Jörg Kienzle, McGill University Hidehiko Masuhara, Tokyo Institute of Technology Sasa Misailovic, University of Illinois at Urbana-Champaign Guido Salvaneschi, Technische Universität Darmstadt Mario Südholt, Ecole des mines de Nantes Jurgen Vinju, Centrum Wiskunde & Informatica Tijs van der Storm, Centrum Wiskunde & Informatica ******************************************************** <Programming> 2017 is kindly supported by: ACM in-cooperation ACM SIGPLAN in-cooperation ACM SIGSOFT in-cooperation AOSA Vrije Universiteit Brussel ******************************************************** For more information, visit http://2017.programming-conference.org

1 0

PhD/Postdoc Position at U Tübingen (Germany)
by Torsten Grust 07 Nov '16

07 Nov '16

[ Dear Haskell folks, while the job posting below may sound somewhat ``databasey'', our group performs most of its research in the trenches between the PL and DB worlds. We largely perceive query formulation, translation, and optimization as functional programming activities. We collaborate with PLers, among them Klaus Ostermann whose office is just below mine (he could hear me stomping on the floor right now, I guess). Haskell definitely is our research vehicle of choice. Database-Supported Haskell (Hackage: DSH) and our work on bringing back monad comprehensions into GHC are testament to this. Please consider joining us! Cheers, Torsten ] Starting Januar 2017, the DATABASE SYSTEMS Chair (Prof. Dr. Torsten Grust) at the Wilhelm-Schickard-Institute for Computer Science of University of Tuebingen (Germany), has a vacant position for a RESEARCH ASSISTANT. We encourage both, university graduates and Postdocs, to apply. = RESEARCH & TEACHING = Our team currently performs research in the following areas: - the interplay of database technology and various aspects of programming languages, - the compilation and optimization of (new) database languages, - the derivation of data provenance for (very) complex queries, and - the design and implementation of debuggers for declarative query languages. It is a principle of our work to construct systems (see db.inf.uni- tuebingen.de/research.html) that make our ideas tangible and assessable. The chair's research contributions are recognized internationally and more often than not are the fruit of collaboration with associated research groups. Our teaching activities embrace the classical topics of database technology as well as Computer Science, both at undergraduate and graduate levels. Whenever possible, we try to intertwine our research and teaching activities. = REQUIREMENTS = We are looking forward to grow our team and welcome applications of highly motivated candidates with an excellent university degree (in Computer Science or a closely related field) who are willing to support our research and teaching efforts. We are open to proposals for new research directions and hope that you like systems building as much as we do. Good knowledge of German (teaching) as well as very good knowledge of English (research and publication) are a requirement. = JOB DETAILS AND APPLICATION = Successful candidates will sign a contract with the University of Tuebingen under the current regulations applicable to employees in Public Service (TVoeD). You will be working in Tuebingen, the traditional university town in the Neckar valley (Stutgart region). Tuebingen is a beautiful and lively medieval town with a large university population. Located in southern Germany, at the edge of the Swabian Jura and Blackwood Forest, the surrounding country is characterized by rolling hills, forests, river valleys, historic towns, and extensive walking and biking trails. The quality of life is excellent. University of Tuebingen aims at increasing the number of female employees and thus especially welcomes applications of female candidates. Applications of disabled candidates will be given priority, depending on their suitability. Please send your complete application in PDF format via e-mail to Prof. Dr. Torsten Grust (torsten.grust(a)uni-tuebingen.de) The deadline for applications is December 9, 2016. Inquiries with respect to this position may be directed to Prof. Dr. Torsten Grust torsten.grust(a)uni-tuebingen.de db.inf.uni-tuebingen.de/TorstenGrust.html -- | Prof. Dr. Torsten Grust | Database Systems — Universität Tübingen (Germany) | ✉︎ torsten.grust(a)uni-tuebingen.de | db.inf.uni-tuebingen.de

1 0

Call for MFCS'17 Workshop Proposals - Deadline December 20th, 2017
by Giovanni Bacci 07 Nov '16

07 Nov '16

(Apologies if you receive multiple copies of this email. Please distribute to interested parties.) Call for MFCS'17 Workshop Proposals - Deadline December 20th, 2017 The 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017) invites proposals for a one- or two-days workshops. MFCS2017 is organized in the period August 21-25, 2017 in Aalborg, Denmark. The workshops can be organized either in the weekend before the conference (19-20 August) or on Saturday 26 August. Workshops are expected to focus on new research directions and the topic should be broadly connected with the topics of MFCS. Arrangements for workshops: The organizers of an MFCS2017 workshop are expected to: * create and maintain a website for the event, * produce a call for papers for the event (if appropriate), * advertise the event through specialist mailing lists etc. * review the submissions (if appropriate) and make acceptance decisions, * prepare an informal (pre)proceedings for the event (if appropriate), * prepare the event's program, and * prepare and organize the publication of a formal (post-)proceedings (if desired). The MFCS2017 organizing committee will: * promote the event on the website and in the publicity material of MFCS'17, * integrate the event's program into the overall program of the conference, * arrange registration for the event as a component of registration for MFCS and collect a participation fee from the registrants, * provide the event with a meeting room of an appropriate size including A/V equipment, and * provide two coffee breaks and lunch per day (see the financial details below). Financial details: The basic fee for a one-day workshop is 70 Euro, for a two-days workshop is 110 Euro, to be payed also by the workshop organizers and invited speakers. The registration fee includes the rent of the room including A/V equipment, two coffee-breaks and one lunch per day. The organizers can add more to the basic price an amount to cover their invited speakers and/or their registration fee. A 25% of VAT will be deducted from the extra payment before they can get it. So, e.g., for a one-day workshop, if the organizers will ask for 30 Euro extra, the price of the workshop for the participant will be 100 Euro and the organizers will get 24 Euro at their disposal. The MFCS organizing committee will not contribute toward the travel or accommodation costs of invited speakers or the organizers of satellite events. -- SUBMISSION OF SATELLITE EVENT PROPOSALS -- Researchers and practitioners wishing to organize satellite events are invited to submit proposals for the workshops. The proposals should be submitted by email to the general workshops chair Radu Mardare at mardare(a)cs.aau.dk. Deadline for submitting the workshop proposals is: December 20th, 2016. A proposal should not exceed two pages and should include: * the name and acronym of the satellite event, * the names and contact information of the organizers, * the duration of the event: one or two days, * the preferred period 19-20 August or 26 August, * the expected number of participants, * a brief description (120 words approximately) of the event topic * the plans for formal publication (no formal publication, formal proceedings ready by the event, formal post-proceedings, publication venue). ------------------------------- Radu Mardare, Dr.Scient. Associate Professor Aalborg University Department of Computer Science office 1.2.38, Selma Lagerlöfs Vej 300 DK-9220 Aalborg, Denmark Tel: +45 9940 8913 Fax: +45 9940 9798 Email: mardare(a)cs.aau.dk Web: www.cs.aau.dk/~mardare/ -------------------------------

1 0