[racket-users] CfP deadline extension June 8 - ACM Workshop on Functional Art, Music, Modelling and Design
=== 10th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design (FARM) Call for Papers, Demos, and Performance Ljubljana, Slovenia, 16th September 2022 Deadline: June 8 https://functional-art.org/2022/ === Key Dates - Submission deadline June 8 Author notification July 1 WorkshopSeptember 16 Call for Papers --- The ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design (FARM) encourages submissions from across art, craft, and design, including textiles, visual art, music, 3D sculpture, animation, GUIs, video games, 3D printing and architectural models, choreography, poetry, and even VLSI layouts, GPU configurations, or mechanical engineering designs. Theoretical foundations, language design, implementation issues, and applications in industry or the arts are all within the scope of the workshop. In addition to the main workshop, FARM hosts a traditional evening of performances. Thus, this call encompasses both papers/demos for the workshop (and its published proceedings) as well as performance proposals for the evening's event. Authors are invited to make a single submission for each. Authors may submit both a paper/demo and performance proposal, but the submissions will be considered independently. Note on Finances Paid registration to the FARM workshop is usually required for paper and demo submitters, but will be waived for performers. If you would have financial difficulty attending, you can apply for conference “PAC” funds. Please get in touch for more information. Papers -- Paper submissions are invited in three categories: - Original research - Overview / state of the art - Technology tutorial (especially tools and environments for distributed artistic workflow) Papers must be submitted via HotCRP (https://farm22.hotcrp.com/), and meet the following requirements: - 5 to 12 pages - PDF format - Adhere to the ACM SIGPLAN template Accepted papers will be published in the ACM Digital Library as part of the FARM 2022 proceedings. Authors are encouraged to submit auxiliary material for publication along with their paper (source code, data, videos, images, etc.). Authors retain all rights to the auxiliary material. Demos - Demo submissions should describe a demonstration and its context, connecting it with the themes of FARM. A demo could be in the form of a short (10 to 20 minute) tutorial, a presentation of work in progress, an exhibition of some work, or even a performance. Demos must be submitted via HotCRP (https://farm22.hotcrp.com/), and meet the following requirements: - 500 to 2000 words - Have a title starting with “Demo: ” - PDF format - Adhere to the ACM SIGPLAN template (https://www.sigplan.org/Resources/ProceedingsFormat/) Accepted demos will be published in the ACM Digital Library as part of the FARM 2022 proceedings. Performances FARM seeks proposals for performances which employ functional programming techniques, in whole or in part. We invite a diverse range of functionally-themed submissions including music, video, dance, and performance art. Both live performances and fixed-media submissions are welcome. We encourage risk-taking proposals that push forward the state of the art as well as refined presentations of highly developed practice. In either case, please support your submission with a clear description of your performance, including how your performance employs functional programming and a discussion of influences and prior art as appropriate. Performance proposals should be emailed to performa...@functional-art.org, and must include: - A description of the performance (please be as specific as possible) - An explanation of the use of functional programming in the work - A list of technical requirements - A link to an audio or video example (YouTube, Vimeo, Bandcamp, etc.) Accepted performances will be presented at the performance evening. Workshop Organization - Workshop Chair: John Leo (Halfaya Research) Program Chair: Youyou Cong (Tokyo Institute of Technology) Performance Chair: Luka Frelih (Ljudmila Art & Science Laboratory) Publicity Chair: Michael Sperber (Active Group GmbH) Contact --- For any questions, issues or comments, email farm-2...@functional-art.org. -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgi
[racket-users] 2nd CfP - ACM Workshop on Functional Art, Music, Modelling and Design - Deadline June 1
=== 10th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design (FARM) Call for Papers, Demos, and Performance Ljubljana, Slovenia, 16th September 2022 Deadline: June 1 https://functional-art.org/2022/ === Key Dates - Submission deadline June 1 Author notification July 1 WorkshopSeptember 16 Call for Papers --- The ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design (FARM) encourages submissions from across art, craft, and design, including textiles, visual art, music, 3D sculpture, animation, GUIs, video games, 3D printing and architectural models, choreography, poetry, and even VLSI layouts, GPU configurations, or mechanical engineering designs. Theoretical foundations, language design, implementation issues, and applications in industry or the arts are all within the scope of the workshop. In addition to the main workshop, FARM hosts a traditional evening of performances. Thus, this call encompasses both papers/demos for the workshop (and its published proceedings) as well as performance proposals for the evening's event. Authors are invited to make a single submission for each. Authors may submit both a paper/demo and performance proposal, but the submissions will be considered independently. Note on Finances Paid registration to the FARM workshop is usually required for paper and demo submitters, but will be waived for performers. If you would have financial difficulty attending, you can apply for conference “PAC” funds. Please get in touch for more information. Papers -- Paper submissions are invited in three categories: - Original research - Overview / state of the art - Technology tutorial (especially tools and environments for distributed artistic workflow) Papers must be submitted via HotCRP (https://farm22.hotcrp.com/), and meet the following requirements: - 5 to 12 pages - PDF format - Adhere to the ACM SIGPLAN template Accepted papers will be published in the ACM Digital Library as part of the FARM 2022 proceedings. Authors are encouraged to submit auxiliary material for publication along with their paper (source code, data, videos, images, etc.). Authors retain all rights to the auxiliary material. Demos - Demo submissions should describe a demonstration and its context, connecting it with the themes of FARM. A demo could be in the form of a short (10 to 20 minute) tutorial, a presentation of work in progress, an exhibition of some work, or even a performance. Demos must be submitted via HotCRP (https://farm22.hotcrp.com/), and meet the following requirements: - 500 to 2000 words - Have a title starting with “Demo: ” - PDF format - Adhere to the ACM SIGPLAN template (https://www.sigplan.org/Resources/ProceedingsFormat/) Accepted demos will be published in the ACM Digital Library as part of the FARM 2022 proceedings. Performances FARM seeks proposals for performances which employ functional programming techniques, in whole or in part. We invite a diverse range of functionally-themed submissions including music, video, dance, and performance art. Both live performances and fixed-media submissions are welcome. We encourage risk-taking proposals that push forward the state of the art as well as refined presentations of highly developed practice. In either case, please support your submission with a clear description of your performance, including how your performance employs functional programming and a discussion of influences and prior art as appropriate. Performance proposals should be emailed to performa...@functional-art.org, and must include: - A description of the performance (please be as specific as possible) - An explanation of the use of functional programming in the work - A list of technical requirements - A link to an audio or video example (YouTube, Vimeo, Bandcamp, etc.) Accepted performances will be presented at the performance evening. Workshop Organization - Workshop Chair: John Leo (Halfaya Research) Program Chair: Youyou Cong (Tokyo Institute of Technology) Performance Chair: Luka Frelih (Ljudmila Art & Science Laboratory) Publicity Chair: Michael Sperber (Active Group GmbH) Contact --- For any questions, issues or comments, email farm-2...@functional-art.org. -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgi
[racket-users] ACM Workshop on Functional Art, Music, Modelling and Design - Call for Papers, Demos, and Performances
=== 10th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design (FARM) Call for Papers, Demos, and Performance Ljubljana, Slovenia, 16th September 2022 Deadline: June 1 https://functional-art.org/2022/ === Key Dates - Submission deadline June 1 Author notification July 1 WorkshopSeptember 16 Call for Papers --- The ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design (FARM) encourages submissions from across art, craft, and design, including textiles, visual art, music, 3D sculpture, animation, GUIs, video games, 3D printing and architectural models, choreography, poetry, and even VLSI layouts, GPU configurations, or mechanical engineering designs. Theoretical foundations, language design, implementation issues, and applications in industry or the arts are all within the scope of the workshop. In addition to the main workshop, FARM hosts a traditional evening of performances. Thus, this call encompasses both papers/demos for the workshop (and its published proceedings) as well as performance proposals for the evening's event. Authors are invited to make a single submission for each. Authors may submit both a paper/demo and performance proposal, but the submissions will be considered independently. Note on Finances Paid registration to the FARM workshop is usually required for paper and demo submitters, but will be waived for performers. If you would have financial difficulty attending, you can apply for conference “PAC” funds. Please get in touch for more information. Papers -- Paper submissions are invited in three categories: - Original research - Overview / state of the art - Technology tutorial (especially tools and environments for distributed artistic workflow) Papers must be submitted via HotCRP (https://farm22.hotcrp.com/), and meet the following requirements: - 5 to 12 pages - PDF format - Adhere to the ACM SIGPLAN template Accepted papers will be published in the ACM Digital Library as part of the FARM 2022 proceedings. Authors are encouraged to submit auxiliary material for publication along with their paper (source code, data, videos, images, etc.). Authors retain all rights to the auxiliary material. Demos - Demo submissions should describe a demonstration and its context, connecting it with the themes of FARM. A demo could be in the form of a short (10 to 20 minute) tutorial, a presentation of work in progress, an exhibition of some work, or even a performance. Demos must be submitted via HotCRP (https://farm22.hotcrp.com/), and meet the following requirements: - 500 to 2000 words - Have a title starting with “Demo: ” - PDF format - Adhere to the ACM SIGPLAN template (https://www.sigplan.org/Resources/ProceedingsFormat/) Accepted demos will be published in the ACM Digital Library as part of the FARM 2022 proceedings. Performances FARM seeks proposals for performances which employ functional programming techniques, in whole or in part. We invite a diverse range of functionally-themed submissions including music, video, dance, and performance art. Both live performances and fixed-media submissions are welcome. We encourage risk-taking proposals that push forward the state of the art as well as refined presentations of highly developed practice. In either case, please support your submission with a clear description of your performance, including how your performance employs functional programming and a discussion of influences and prior art as appropriate. Performance proposals should be emailed to performa...@functional-art.org, and must include: - A description of the performance (please be as specific as possible) - An explanation of the use of functional programming in the work - A list of technical requirements - A link to an audio or video example (YouTube, Vimeo, Bandcamp, etc.) Accepted performances will be presented at the performance evening. Contact --- For any questions, issues or comments, email farm-2...@functional-art.org. -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/y9la6dueym9.fsf%40valmont.fritz.box.
[racket-users] 2nd Call for Participation: ´Virtual BOB 2022 (March 11)
= BOB 2022 Conference “What happens if we simply use what’s best?” March 11, 2022, online 0100+UTC https://bobkonf.de/2022/ Program: https://bobkonf.de/2022/program.html Registration: https://bobkonf.de/2022/program.html = BOB conference is a place for developers, architects, and decision-makers to explore technologies beyond the mainstream in software development and to find the best tools available to software developers today. Our goal is for all participants of BOB to return home with new insights that enable them to improve their own software development experience. The program features 14 talks and 8 tutorials on current topics: https://bobkonf.de/2022/program.html The subject range includes functional programming, effects, distributed programming, formal methods, generative art, event-driven systems, the human brain, Haskell, Python, Scala, Lua, Clojure, Erlang, Nix, and others. Derek Dreyer will give the keynote talk. Due to COVID-related risks, BOB will take place online, entirely within a Gather Town virtual world. We've placed special emphasis on enabling social, casual interaction, in addition to our stellar program. Registration is open - student tickets are €10, regular tickets are €30. As always, grants are available for members of groups underrepresented in tech: https://bobkonf.de/2022/program.html -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/y9lbkz044bs.fsf%40valmont.fritz.box.
[racket-users] Call for Participation: ´Virtual BOB 2022 (March 11, registration open)
= BOB 2022 Conference “What happens if we simply use what’s best?” March 11, 2022, online 0100+UTC https://bobkonf.de/2022/ Program: https://bobkonf.de/2022/program.html Registration: https://bobkonf.de/2022/program.html = BOB conference is a place for developers, architects, and decision-makers to explore technologies beyond the mainstream in software development and to find the best tools available to software developers today. Our goal is for all participants of BOB to return home with new insights that enable them to improve their own software development experience. The program features 14 talks and 8 tutorials on current topics: https://bobkonf.de/2022/program.html The subject range includes functional programming, effects, distributed programming, formal methods, generative art, event-driven systems, the human brain, Haskell, Python, Scala, Lua, Clojure, Erlang, Nix, and others. Derek Dreyer will give the keynote talk. Due to COVID-related risks, BOB will take place online, entirely within a Gather Town virtual world. We've placed special emphasis on enabling social, casual interaction, in addition to our stellar program. Registration is open - early bird student tickets are €5, regular tickets are €10. Early-bird discounts apply until February 18. As always, grants are available for members of groups underrepresented in tech: https://bobkonf.de/2022/program.html -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/y9lee4xoxro.fsf%40valmont.fritz.box.
[racket-users] Call for Participation: BOB 2022 (March 11, Berlin or online)
Hope to see lots of Racketeers at BOB! Please fill our our survey on onsite/online! BOB 2022 Conference “What happens if we simply use what’s best?” March 11, 2022, Berlin or online 0100+UTC https://bobkonf.de/2022/ Program: https://bobkonf.de/2022/program.html Berlin or online? Fill out our survey: https://bobkonf.de/2022/onsite.html BOB conference is a place for developers, architects, and decision-makers to explore technologies beyond the mainstream in software development and to find the best tools available to software developers today. Our goal is for all participants of BOB to return home with new insights that enable them to improve their own software development experience. The program features 14 talks and 8 tutorials on current topics: https://bobkonf.de/2022/program.html The subject range includes functional programming, effects, distributed programming, formal methods, generative art, event-driven systems, the human brain, Haskell, Python, Scala, Lua, Clojure, Erlang, Nix, and others. Derek Dreyer will give the keynote talk. NOTE: We will decide on January 17 whether BOB 2022 will take place on-site in Berlin or online. Either way, we are working towards fostering a lively exchange of exciting ideas and enabling meaningful social interactions. We're collecting feedback on the issue here: https://bobkonf.de/2022/onsite.html If you're interested in BOB, please take a minute to fill the survey linked above! Registration will also open on January 17, once the decision for on-site or online has been made. -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/y9l35lvpraa.fsf%40deinprogramm.de.
[racket-users] 2nd Call for Contributions: BOB 2022 [March 11, Deadline Dec 6]
We'd be delighted to have some Racket material! BOB Conference 2022 "What happens when we use what's best for a change?" https://bobkonf.de/2022/cfc.html Berlin, Mar 11 Call for Contributions Deadline: December 6, 2021 You are actively engaged in advanced software engineering methods, solve ambitious problem with software 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! NOTE: The conference fee will be waived for presenters. Travel expenses will not be covered (for exceptions see "Speaker Grants"). Online or Onsite We expect we'll be able to hold BOB 2022 in Berlin. If that is not possible, we'll make BOB a successful online event, like BOB 2021. Should BOB happen online, we will likely ask for pre-recorded talks to make room for questions and social interactions during the actual conference day. (Of course, we'll provide assistance making those recordings.) Tutorials will likely happen as a live-session. Shepherding --- The program committee offers shepherding to all speakers. Shepherding provides speakers assistance with preparing their sessions. Specifically: - advice on structure and presentation - review of talk slides - assistance with recording - review of recording, if applicable Speaker Grants -- BOB has Speaker Grants available to support speakers from groups under-represented in technology. We specifically seek women speakers, speakers of color, and speakers who are not able to attend the conference for financial reasons. Topics -- We are looking for talks about best-of-breed software technology, e.g.: - functional programming - persistent data structures and databases - event-based modelling and architecture - "fancy types" (dependent types, gradual typing, linear types, ...) - formal methods for correctness and robustness - abstractions for concurrency and parallelism - metaprogramming - probabilistic programming - math and programming - controlled side effects - program synthesis - next-generation IDEs - 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. Challenges -- Furthermore, we seek contributions on successful approaches for solving hard problems, for example: - bias in machine-learning systems - digital transformation in difficult settings - accessibiltity - systems with critical reliability requirements - ecologically sustainable software development We're especially interested in experience reports. Other topics are also relevant, 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, …) - Don't be confused: The system calls a submission event. Organisation - Direct questions to contact at bobkonf dot de - Proposal deadline: December 6, 2021 - Notification: December 17, 2021 - Program: December 22, 2021 Submit here: https://bobcfc.active-group.de/en/bob2022/cfp Program Committee - (more information here: https://bobkonf.de/2022/programmkomitee.html) - Matthias Fischmann, Wire - Matthias Neubauer, SICK AG - Nicole Rauch, Softwareentwicklung und Entwicklungscoaching - Michael Sperber, Active Group - Stefan Wehr, Hochschule Offenburg Scientific Advisory Board - Annette Bieniusa, TU Kaiserslautern - Torsten Grust, Uni Tübingen - Peter Thiemann, Uni Freiburg -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. To view this discussion on the web
[racket-users] Call for Contributions: BOB 2022 [March 11, Deadline Dec 6]
Send us some proposals for Racket talks! BOB Conference 2022 "What happens when we use what's best for a change?" http://bobkonf.de/2022/cfc.html Berlin, Mar 11 Call for Contributions Deadline: December 6, 2021 You are actively engaged in advanced software engineering methods, solve ambitious problem with software 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! NOTE: The conference fee will be waived for presenters. Travel expenses will not be covered (for exceptions see "Speaker Grants"). Online or Onsite We expect we'll be able to hold BOB 2022 in Berlin. If that is not possible, we'll make BOB a successful online event, like BOB 2021. Should BOB happen online, we will likely ask for pre-recorded talks to make room for questions and social interactions during the actual conference day. (Of course, we'll provide assistance making those recordings.) Tutorials will likely happen as a live-session. Shepherding --- The program committee offers shepherding to all speakers. Shepherding provides speakers assistance with preparing their sessions. Specifically: - advice on structure and presentation - review of talk slides - assistance with recording - review of recording, if applicable Speaker Grants -- BOB has Speaker Grants available to support speakers from groups under-represented in technology. We specifically seek women speakers, speakers of color, and speakers who are not able to attend the conference for financial reasons. Topics -- We are looking for talks about best-of-breed software technology, e.g.: - functional programming - persistent data structures and databases - event-based modelling and architecture - "fancy types" (dependent types, gradual typing, linear types, ...) - formal methods for correctness and robustness - abstractions for concurrency and parallelism - metaprogramming - probabilistic programming - math and programming - controlled side effects - program synthesis - next-generation IDEs - 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. Challenges -- Furthermore, we seek contributions on successful approaches for solving hard problems, for example: - bias in machine-learning systems - digital transformation in difficult settings - accessibiltity - systems with critical reliability requirements - ecologically sustainable software development We're especially interested in experience reports. Other topics are also relevant, 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, …) - Don't be confused: The system calls a submission event. Organisation - Direct questions to contact at bobkonf dot de - Proposal deadline: December 6, 2021 - Notification: December 17, 2021 - Program: December 22, 2021 Submit here: https://bobcfc.active-group.de/en/bob2022/cfp Program Committee - (more information here: https://bobkonf.de/2022/programmkomitee.html) - Matthias Fischmann, Wire - Matthias Neubauer, SICK AG - Nicole Rauch, Softwareentwicklung und Entwicklungscoaching - Michael Sperber, Active Group - Stefan Wehr, Hochschule Offenburg Scientific Advisory Board - Annette Bieniusa, TU Kaiserslautern - Torsten Grust, Uni Tübingen - Peter Thiemann, Uni Freiburg -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit
[racket-users] Functional Art, Music, Modeling and Design (FARM 2021) Aug 27: Call for Participation
== FARM 2021 9th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling and Design 27 August, 2021, co-virtuel with ICFP 2021 https://functional-art.org/2021/ == The ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design (FARM) gathers together people who are harnessing functional techniques in the pursuit of creativity and expression. Functional Programming has emerged as a mainstream software development paradigm, and its artistic and creative use is booming. A growing number of software toolkits, frameworks and environments for art, music and design now employ functional programming languages and techniques. FARM is a forum for exploration and critical evaluation of these developments, for example to consider potential benefits of greater consistency, tersity, and closer mapping to a problem domain. Registration You can register via the ICFP 2021 registration: http://icfp21.sigplan.org/attending/registration Don't be confused that it says ~ICFP~ - FARM is part of a larger event around ICFP 2021, and you can register for FARM without registering for ICFP. Keynote --- Phoenix Perry will hold the keynote. Accepted papers --- minimum: a self-extensible programming language for sound and music Tomoya Matsuura and Kazuhiro Jo MidifilePerformer: a case study for chronologies Juliette Chabassier, Myriam Desainte-Catherine, Jean Haury, Marin Pobel and Bernard Serpette Temporal-Scope Grammars for Polyphonic Music Generation Lukas Eibensteiner, Martin Ilčík and Michael Wimmer The W-calculus: A Synchronous Framework for the Verified Modelling of Digital Signal Processing Algorithms Emilio Jesus Gallego Arias, Pierre Jouvelot, Sylvain Ribstein and Dorian Desblancs Human-in-the-loop Program Synthesis for Live Coding Mark Santolucito Live Performances - FARM 2021 will feature a session of live performances: - John Leo, Logical Soundness - Emiddio Vasquez, Title TBA - José Miguel Fernandez, Homotopy Workshop Organisation - Workshop Chair: Daniel Winograd-Cort (Luminous Computing) Program Chair: Jean-Louis Giavitto (IRCAM Paris) Publicity Chair: Michael Sperber (Active Group GmbH) Performance Chair: John MacCallum (HfMT Hamburg) -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/y9l5ywd76b2.fsf%40valmont.fritz.box.
[racket-users] ACM Workshop on Functional Art, Music, Modelling and Design - Last Call for Papers, Demos, and Performances
Less than 2 weeks to go! === 7th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design (FARM) Call for Papers, Demos, and Performance Virtual, 27th August 2021 Deadlines: May 15 (Papers & Demos) June 13 (Performances https://functional-art.org/2021 === Key Dates = Papers and Demos: Paper submission deadline May 15 Author notification June 5 Camera readyJune 26 WorkshopAugust 27 Performances: Performance submission deadline June 13 Performance notification June 26 Call for Papers === After an 2020 online edition restricted to the performance session, the ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design (FARM) will also be held online in 2021 but open to all tracks (paper, demo and performance). Pursuing its mission, this 9th workshop aims to bring together people who are harnessing functional techniques in the pursuit of creativity and artistic expression. FARM encourages submissions from across art, craft, and design, including textiles, visual art, music, 3D sculpture, animation, GUIs, video games, 3D printing and architectural models, choreography, poetry, and even VLSI layouts, GPU configurations, or mechanical engineering designs. Theoretical foundations, language design, implementation issues, and applications in industry or the arts are all within the scope of the workshop. In addition to the main workshop, FARM hosts a traditional evening of performances. Thus, this call encompasses both papers/demos for the workshop (and its published proceedings) as well as performance proposals for the evening’s event. Authors are invited to make a single submission for each. Authors may submit both a paper/demo and performance proposal, but the submissions will be considered independently. Note on Finances Paid registration to the FARM workshop is usually required for paper and demo submitters, but will be waived for performers. If you would have financial difficulty attending, you can apply for conference “PAC” funds. Please get in touch for more information. Submission == We welcome submissions from academic, professional, and independent programmers and artists. Submissions are accepted via the Submission page on Easychair: https://easychair.org/conferences/?conf=farm2021 Paper proposals === Paper submissions are invited in three categories: - Original research - Overview / state of the art - Technology tutorial (especially tools and environments for distributed artistic workflow) All submissions must propose an original contribution to the FARM theme. FARM is an interdisciplinary conference, so a wide range of approaches are encouraged. An original paper should have 5 to 12 pages, be in portable document format (PDF), and use the ACM SIGPLAN style guides and ACM SIGPLAN template (using the SIGPLAN sub-format). Accepted papers will be published in the ACM Digital Library as part of the FARM 2021 proceedings. Authors are encouraged to submit auxiliary material for publication along with their paper (source code, data, videos, images, etc.); authors retain all rights to the auxiliary material. Demo proposals == Demo proposals should describe a demonstration to be given at the FARM workshop and its context, connecting it with the themes of FARM. A demo could be in the form of a short (1020 minute) tutorial, presentation of work-in-progress, an exhibition of some work, or even a performance. Demo proposals should be in the form of an extended abstract (500 to 2000 words). A demo proposal should be clearly marked as such, by prepending “Demo Proposal:” to the title and proposed to the ‘paper’ track. Demo proposals will be published on the FARM website. Performance proposals == FARM seeks proposals for performances which employ functional programming techniques, in whole or in part. We invite a diverse range of functionally-themed submissions including music, video, dance, and performance art. Both live performances and fixed-media submissions are welcome. We encourage both risk-taking proposals that push forward the state of the art and refined presentations of highly developed practice. Performances will be held online. Performance proposals should be emailed to performa...@functional-art.org, and must include: a description of the performance (please be as specific as possible), an explanation of the use of functional programming in the work, and a list of technical requirements. All proposals should be supported by a link to an audio or video
[racket-users] ACM Workshop on Functional Art, Music, Modelling and Design - 2nd Call for Papers, Demos, and Performances
=== 7th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design (FARM) Call for Papers, Demos, and Performance Virtual, 27th August 2021 Deadlines: May 15 (Papers & Demos) June 13 (Performances https://functional-art.org/2021 === Key Dates = Papers and Demos: Paper submission deadline May 15 Author notification June 5 Camera readyJune 26 WorkshopAugust 27 Performances: Performance submission deadline June 13 Performance notification June 26 Call for Papers === After an 2020 online edition restricted to the performance session, the ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design (FARM) will also be held online in 2021 but open to all tracks (paper, demo and performance). Pursuing its mission, this 9th workshop aims to bring together people who are harnessing functional techniques in the pursuit of creativity and artistic expression. FARM encourages submissions from across art, craft, and design, including textiles, visual art, music, 3D sculpture, animation, GUIs, video games, 3D printing and architectural models, choreography, poetry, and even VLSI layouts, GPU configurations, or mechanical engineering designs. Theoretical foundations, language design, implementation issues, and applications in industry or the arts are all within the scope of the workshop. In addition to the main workshop, FARM hosts a traditional evening of performances. Thus, this call encompasses both papers/demos for the workshop (and its published proceedings) as well as performance proposals for the evening’s event. Authors are invited to make a single submission for each. Authors may submit both a paper/demo and performance proposal, but the submissions will be considered independently. Note on Finances Paid registration to the FARM workshop is usually required for paper and demo submitters, but will be waived for performers. If you would have financial difficulty attending, you can apply for conference “PAC” funds. Please get in touch for more information. Submission == We welcome submissions from academic, professional, and independent programmers and artists. Submissions are accepted via the Submission page on Easychair: https://easychair.org/conferences/?conf=farm2021 Paper proposals === Paper submissions are invited in three categories: - Original research - Overview / state of the art - Technology tutorial (especially tools and environments for distributed artistic workflow) All submissions must propose an original contribution to the FARM theme. FARM is an interdisciplinary conference, so a wide range of approaches are encouraged. An original paper should have 5 to 12 pages, be in portable document format (PDF), and use the ACM SIGPLAN style guides and ACM SIGPLAN template (using the SIGPLAN sub-format). Accepted papers will be published in the ACM Digital Library as part of the FARM 2021 proceedings. Authors are encouraged to submit auxiliary material for publication along with their paper (source code, data, videos, images, etc.); authors retain all rights to the auxiliary material. Demo proposals == Demo proposals should describe a demonstration to be given at the FARM workshop and its context, connecting it with the themes of FARM. A demo could be in the form of a short (1020 minute) tutorial, presentation of work-in-progress, an exhibition of some work, or even a performance. Demo proposals should be in the form of an extended abstract (500 to 2000 words). A demo proposal should be clearly marked as such, by prepending “Demo Proposal:” to the title and proposed to the ‘paper’ track. Demo proposals will be published on the FARM website. Performance proposals == FARM seeks proposals for performances which employ functional programming techniques, in whole or in part. We invite a diverse range of functionally-themed submissions including music, video, dance, and performance art. Both live performances and fixed-media submissions are welcome. We encourage both risk-taking proposals that push forward the state of the art and refined presentations of highly developed practice. Performances will be held online. Performance proposals should be emailed to performa...@functional-art.org, and must include: a description of the performance (please be as specific as possible), an explanation of the use of functional programming in the work, and a list of technical requirements. All proposals should be supported by a link to an audio or video example (YouTube, Vimeo,
[racket-users] ACM Workshop on Functional Art, Music, Modelling and Design - Call for Papers, Demos, and Performances
=== 7th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design (FARM) Call for Papers, Demos, and Performance Virtual, 27th August 2021 Deadlines: May 15 (Papers & Demos) June 13 (Performances https://functional-art.org/2021 === Key Dates = Papers and Demos: Paper submission deadline May 15 Author notification June 5 Camera readyJune 26 WorkshopAugust 27 Performances: Performance submission deadline June 13 Performance notification June 26 Call for Papers === After an 2020 online edition restricted to the performance session, the ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design (FARM) will also be held online in 2021 but open to all tracks (paper, demo and performance). Pursuing its mission, this 9th workshop aims to bring together people who are harnessing functional techniques in the pursuit of creativity and artistic expression. FARM encourages submissions from across art, craft, and design, including textiles, visual art, music, 3D sculpture, animation, GUIs, video games, 3D printing and architectural models, choreography, poetry, and even VLSI layouts, GPU configurations, or mechanical engineering designs. Theoretical foundations, language design, implementation issues, and applications in industry or the arts are all within the scope of the workshop. In addition to the main workshop, FARM hosts a traditional evening of performances. Thus, this call encompasses both papers/demos for the workshop (and its published proceedings) as well as performance proposals for the evening’s event. Authors are invited to make a single submission for each. Authors may submit both a paper/demo and performance proposal, but the submissions will be considered independently. Submission == We welcome submissions from academic, professional, and independent programmers and artists. Submissions are accepted via the Submission page on Easychair: https://easychair.org/conferences/?conf=farm2021 Paper proposals === Paper submissions are invited in three categories: - Original research - Overview / state of the art - Technology tutorial (especially tools and environments for distributed artistic workflow) All submissions must propose an original contribution to the FARM theme. FARM is an interdisciplinary conference, so a wide range of approaches are encouraged. An original paper should have 5 to 12 pages, be in portable document format (PDF), and use the ACM SIGPLAN style guides and ACM SIGPLAN template (using the SIGPLAN sub-format). Accepted papers will be published in the ACM Digital Library as part of the FARM 2021 proceedings. Authors are encouraged to submit auxiliary material for publication along with their paper (source code, data, videos, images, etc.); authors retain all rights to the auxiliary material. Demo proposals == Demo proposals should describe a demonstration to be given at the FARM workshop and its context, connecting it with the themes of FARM. A demo could be in the form of a short (1020 minute) tutorial, presentation of work-in-progress, an exhibition of some work, or even a performance. Demo proposals should be in the form of an extended abstract (500 to 2000 words). A demo proposal should be clearly marked as such, by prepending “Demo Proposal:” to the title and proposed to the ‘paper’ track. Demo proposals will be published on the FARM website. Performance proposals == FARM seeks proposals for performances which employ functional programming techniques, in whole or in part. We invite a diverse range of functionally-themed submissions including music, video, dance, and performance art. Both live performances and fixed-media submissions are welcome. We encourage both risk-taking proposals that push forward the state of the art and refined presentations of highly developed practice. Performances will be held online. Performance proposals should be emailed to performa...@functional-art.org, and must include: a description of the performance (please be as specific as possible), an explanation of the use of functional programming in the work, and a list of technical requirements. All proposals should be supported by a link to an audio or video example (YouTube, Vimeo, Bandcamp, etc.). Important dates/deadlines = Submission Deadline: May, 15th Author Notification: June, 5th Performance Submission Deadlione: June 13th Camera Ready: June 26th Performance Notification: June 26 Workshop: August 27th Authors take note = For
[racket-users] Final Call for Participation: BOB 2021 (February 26, online)
BTW, BOB will take place in Gather Town, just like RacketCon! BOB 2021 Conference “What happens if we simply use what’s best?” February 26, 2021, online (UTC+0100) http://bobkonf.de/2021/ Program: http://bobkonf.de/2021/program.html Registration: http://bobkonf.de/2021/registration.html BOB conference is a place for developers, architects and decision-makers to explore technologies beyond the mainstream in software development, and to find the best tools available to software developers today. Our goal is for all participants of BOB to return home with new insights that enable them to improve their own software development experience. The program features 14 talks and 8 tutorials on current topics: http://bobkonf.de/2021/program.html The subject range includes functional programming, logic programming, revision control, formal methods, mindfulness, event sourcing, front-end development, and more. Jeremy Gibbons will give the keynote talk. BOB 2021 will take place online. We are working towards fostering lively exchange of exciting ideas and enable meaningful social interactions. Registration is open online: http://bobkonf.de/2021/registration.html Registration is €30 for a regular ticket, €15 for a student ticket. (If you need financial aid, let us know.) We intend to make this the most diverse, colorful, fun BOB ever! -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/y9lsg652o2t.fsf%40valmont.fritz.box.
[racket-users] 2nd Call for Participation: BOB 2021 (February 26, online)
BOB 2021 Conference “What happens if we simply use what’s best?” February 26, 2021, online (UTC+0100) http://bobkonf.de/2021/ Program: http://bobkonf.de/2021/program.html Registration: http://bobkonf.de/2021/registration.html BOB conference is a place for developers, architects and decision-makers to explore technologies beyond the mainstream in software development, and to find the best tools available to software developers today. Our goal is for all participants of BOB to return home with new insights that enable them to improve their own software development experience. The program features 14 talks and 8 tutorials on current topics: http://bobkonf.de/2021/program.html The subject range includes functional programming, logic programming, revision control, formal methods, mindfulness, event sourcing, front-end development, and more. Jeremy Gibbons will give the keynote talk. BOB 2021 will take place online. We are working towards fostering lively exchange of exciting ideas and enable meaningful social interactions. Registration is open online: http://bobkonf.de/2021/registration.html Registration is €30 for a regular ticket, €15 for a student ticket. (If you need financial aid, let us know.) We intend to make this the most diverse, colorful, fun BOB ever! -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/y9l35z6m8yi.fsf%40valmont-fritz-box-1.fritz.box.
[racket-users] Call for Participation: BOB 2021 (February 26, online, early-bird until Dec 31)
BOB 2021 Conference “What happens if we simply use what’s best?” February 26, 2021, online (UTC+0100) http://bobkonf.de/2021/ Program: http://bobkonf.de/2021/program.html Registration: http://bobkonf.de/2021/registration.html BOB conference is a place for developers, architects and decision-makers to explore technologies beyond the mainstream in software development, and to find the best tools available to software developers today. Our goal is for all participants of BOB to return home with new insights that enable them to improve their own software development experience. The program features 14 talks and 8 tutorials on current topics: http://bobkonf.de/2021/program.html The subject range includes functional programming, logic programming, revision control, formal methods, mindfulness, event sourcing, front-end development, and more. Jeremy Gibbons will give the keynote talk. BOB 2021 will take place online. We are working towards fostering lively exchange of exciting ideas and enable meaningful social interactions. Registration is open online: http://bobkonf.de/2021/registration.html The early-bird registration is €10 for a regular ticket, €5 for a student ticket. (If you need financial aid, let us know.) We intend to make this the most diverse, colorful, fun BOB ever! NOTE: The early-bird rates expire on December 31, 2020! -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/y9lpn3ltwnb.fsf%40valmont.fritz.box.
[racket-users] Last Call for Contributions: BOB 2021 [Feb 26, Deadline Nov 13]
Send us some Racket, please! BOB Conference 2021 "What happens when we use what's best for a change?" http://bobkonf.de/2021/cfc.html Berlin, February 26 Call for Contributions Deadline: November 13, 2020 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! NOTE: The conference fee will be waived for presenters. Travel expenses will not be covered (for exceptions see "Speaker Grants"). Online or Onsite We do know yet whether BOB will happen onsite in Berlin or as an online event. Should BOB happen online, we will likely ask for pre-recorded talks to make room for questions and social interactions during the actual conference day. (Of course, we'll provide assistance making those recordings.) Tutorials will likely happen as a live-session. Speaker Grants -- BOB has Speaker Grants available to support speakers from groups under-represented in technology. We specifically seek women speakers, speakers of color, and speakers who are not be able to attend the conference for financial reasons. Shepherding --- The program committee offers shepherding to all speakers. Shepherding provides speakers assistance with preparing their sessions. Specifically: - advice on structure and presentation - review of talk slides - assistance with recording - review of recording, if applicable Topics -- We are looking for talks about best-of-breed software technology, e.g.: - functional programming - persistent data structures and databases - event-based modelling and architecture - 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. Other topics are also relevant, 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, …) - Don't be confused: The system calls a submission event. Organisation - Direct questions to contact at bobkonf dot de - Proposal deadline: November 13, 2020 - Notification: November 27, 2020 - Program: December 6, 2020 Submit here: https://bobcfc.active-group.de/en/bob2021/cfp Program Committee - (more information here: https://bobkonf.de/2020/programmkomitee.html) - Matthias Fischmann, Wire - Matthias Neubauer, SICK AG - Nicole Rauch, Softwareentwicklung und Entwicklungscoaching - Michael Sperber, Active Group - Stefan Wehr, Hochschule Offenburg Scientific Advisory Board - Annette Bieniusa, TU Kaiserslautern - Torsten Grust, Uni Tübingen - Peter Thiemann, Uni Freiburg -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/y9la6vp38zi.fsf%40valmont.fritz.box.
[racket-users] 2nd Call for Contributions: BOB 2021 [Feb 26, Deadline Nov 13]
Racket talks are extremely welcome at BOB! BOB Conference 2021 "What happens when we use what's best for a change?" http://bobkonf.de/2021/cfc.html Berlin, February 26 Call for Contributions Deadline: November 13, 2020 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! NOTE: The conference fee will be waived for presenters. Travel expenses will not be covered (for exceptions see "Speaker Grants"). Online or Onsite We do know yet whether BOB will happen onsite in Berlin or as an online event. Should BOB happen online, we will likely ask for pre-recorded talks to make room for questions and social interactions during the actual conference day. (Of course, we'll provide assistance making those recordings.) Tutorials will likely happen as a live-session. Speaker Grants -- BOB has Speaker Grants available to support speakers from groups under-represented in technology. We specifically seek women speakers, speakers of color, and speakers who are not be able to attend the conference for financial reasons. Shepherding --- The program committee offers shepherding to all speakers. Shepherding provides speakers assistance with preparing their sessions. Specifically: - advice on structure and presentation - review of talk slides - assistance with recording - review of recording, if applicable Topics -- We are looking for talks about best-of-breed software technology, e.g.: - functional programming - persistent data structures and databases - event-based modelling and architecture - 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. Other topics are also relevant, 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, …) - Don't be confused: The system calls a submission event. Organisation - Direct questions to contact at bobkonf dot de - Proposal deadline: November 13, 2020 - Notification: November 27, 2020 - Program: December 6, 2020 Submit here: https://bobcfc.active-group.de/en/bob2021/cfp Program Committee - (more information here: https://bobkonf.de/2020/programmkomitee.html) - Matthias Fischmann, Wire - Matthias Neubauer, SICK AG - Nicole Rauch, Softwareentwicklung und Entwicklungscoaching - Michael Sperber, Active Group - Stefan Wehr, Hochschule Offenburg Scientific Advisory Board - Annette Bieniusa, TU Kaiserslautern - Torsten Grust, Uni Tübingen - Peter Thiemann, Uni Freiburg -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/y9lv9eusn1r.fsf%40deinprogramm.de.
[racket-users] Call for Contributions: BOB 2021 [Feb 26, Deadline Nov 13]
Racket contributions are very welcome at BOB! BOB Conference 2021 "What happens when we use what's best for a change?" http://bobkonf.de/2021/cfc.html Berlin, February 26 Call for Contributions Deadline: November 13, 2020 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! NOTE: The conference fee will be waived for presenters. Travel expenses will not be covered (for exceptions see "Speaker Grants"). Online or Onsite We do know yet whether BOB will happen onsite in Berlin or as an online event. Should BOB happen online, we will likely ask for pre-recorded talks to make room for questions and social interactions during the actual conference day. (Of course, we'll provide assistance making those recordings.) Tutorials will likely happen as a live-session. 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. Shepherding --- The program committee offers shepherding to all speakers. Shepherding provides speakers assistance with preparing their sessions. Specifically: - advice on structure and presentation - review of talk slides - assistance with recording - review of recording, if applicable Topics -- We are looking for talks about best-of-breed software technology, e.g.: - functional programming - persistent data structures and databases - event-based modelling and architecture - 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. Other topics are also relevant, 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, …) - Don't be confused: The system calls a submission event. Organisation - Direct questions to contact at bobkonf dot de - Proposal deadline: November 13, 2020 - Notification: November 27, 2020 - Program: December 6, 2020 Submit here: https://bobcfc.active-group.de/en/bob2021/cfp Program Committee - (more information here: https://bobkonf.de/2020/programmkomitee.html) - Matthias Fischmann, Wire - Matthias Neubauer, SICK AG - Nicole Rauch, Softwareentwicklung und Entwicklungscoaching - Michael Sperber, Active Group - Stefan Wehr, Hochschule Offenburg Scientific Advisory Board - Annette Bieniusa, TU Kaiserslautern - Torsten Grust, Uni Tübingen - Peter Thiemann, Uni Freiburg -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/y9lblhn1ck3.fsf%40valmont.fritz.box.
Re: [racket-users] find-expr: find a corresponding expression in the definition window
Robby Findler writes: > Imagine that DrRacket had a way that you could write special to the > current-output port (or, more precisely, to a port that was connected to > the interactions window) and that port would specially recognize that thing > you wrote such that it would come out as a checkmark but clicking on it > would set the insertion point and add highlighting (as you've done). If I > understand the demo correctly, then you could do what you've done here by > changing #%module-begin to change how printing the values of top-level > expressions worked such that it did a write-special of that new kind of > value and then just did what printing usually does. Robby's hinting at the fact that we're working on such a thing - i.e. a tiny combinator DSL for "markup" that includes the ability to make clickable links into source code. I hope it matches what Sorawee has in mind. If so, that would be an indication we're moving in the right direction. Technical question for Robby: How should we represent the icon? Just a bitmap% object? -- Regards, Mike -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/y9l364bm92c.fsf%40valmont.fritz.box.
[racket-users] 2nd Call for Participation: BOB 2020 (February 28, Berlin, early-bird until Jan 20)
Racketeers very welcome at BOB - makes a great package with Racketfest and/or :clojureD! BOB 2020 Conference “What happens if we simply use what’s best?” February 28, 2020, Berlin http://bobkonf.de/2020/ Program: http://bobkonf.de/2020/en/program.html Registration: http://bobkonf.de/2020/en/registration.html BOB is the conference for developers, architects and decision-makers to explore technologies beyond the mainstream in software development, and to find the best tools available to software developers today. Our goal is for all participants of BOB to return home with new insights that enable them to improve their own software development experiences. The program features 14 talks and 8 tutorials on current topics: http://bobkonf.de/2020/en/program.html The subject range of talks includes functional programming, formal methods, architecture documentation, functional-reactive programming, and language design. The tutorials feature introductions to Idris, Haskell, F#, TLA+, ReasonML, and probabilistic programming. Heather Miller will give the keynote talk. Registration is open online: http://bobkonf.de/2020/en/registration.html NOTE: The early-bird rates expire on January 20, 2020! BOB cooperates with the Racketfest conference on the day before BOB: https://racketfest.com/ BOB cooperates with the :clojureD conference on the day after BOB: https://clojured.de/ -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/y9l7e1vsa7n.fsf%40valmont.home.active-group.de.
[racket-users] Call for Participation: BOB 2020 (February 28, Berlin)
BOB 2020 Conference “What happens if we simply use what’s best?” February 28, 2020, Berlin http://bobkonf.de/2020/ Program: http://bobkonf.de/2020/en/program.html Registration: http://bobkonf.de/2020/en/registration.html BOB is the conference for developers, architects and decision-makers to explore technologies beyond the mainstream in software development, and to find the best tools available to software developers today. Our goal is for all participants of BOB to return home with new insights that enable them to improve their own software development experiences. The program features 14 talks and 8 tutorials on current topics: http://bobkonf.de/2020/en/program.html The subject range of talks includes functional programming, formal methods, architecture documentation, functional-reactive programming, and language design. The tutorials feature introductions to Idris, Haskell, F#, TLA+, ReasonML, and probabilistic programming. Heather Miller will give the keynote talk. Registration is open online: http://bobkonf.de/2020/en/registration.html NOTE: The early-bird rates expire on February 19, 2020! BOB cooperates with the :clojureD conference on the day after BOB: https://clojured.de/ -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/y9l5zikfb1v.fsf%40valmont.home.active-group.de.
[racket-users] 2nd Call for Contributions: BOB 2020 [Feb 28, Deadline Nov 8]
Racket submissions are very welcome at BOB! BOB Conference 2020 "What happens when we use what's best for a change?" http://bobkonf.de/2020/cfc.html Berlin, February 28 Call for Contributions Deadline: November 8, 2019 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! NOTE: The conference fee will be waived for presenters. Travel expenses will not be covered (for exceptions see "Speaker Grants"). 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. 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. Topics -- We are looking for talks about best-of-breed software technology, e.g.: - functional programming - persistent data structures and database - event-based modelling and architectures - 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. Other topics are also relevant, 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://bobcfc.active-group.de/en/bob2020/cfp Organisation - Direct questions to contact at bobkonf dot de - Proposal deadline: November 8, 2019 - Notification: November 22, 2019 - Program: December 6, 2019 Program Committee - (more information here: https://bobkonf.de/2020/programmkomitee.html) - Matthias Fischmann, Wire - 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 -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/y9la79q3rwu.fsf%40valmont.fritz.box.
[racket-users] Call for Contributions: BOB 2020 [Feb 28, Deadline Nov 8]
Racket proposals are extremely welcome at BOB! BOB Conference 2020 "What happens when we use what's best for a change?" http://bobkonf.de/2020/cfc.html Berlin, February 28 Call for Contributions Deadline: November 8, 2019 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! NOTE: The conference fee will be waived for presenters. Travel expenses will not be covered (for exceptions see "Speaker Grants"). 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. 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. Topics -- We are looking for talks about best-of-breed software technology, e.g.: - functional programming - persistent data structures and database - event-based modelling and architectures - 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. Other topics are also relevant, 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://bobcfc.active-group.de/en/bob2020/cfp Organisation - Direct questions to contact at bobkonf dot de - Proposal deadline: November 8, 2019 - Notification: November 22, 2019 - Program: December 6, 2019 Program Committee - (more information here: https://bobkonf.de/2020/programmkomitee.html) - Matthias Fischmann, Wire - 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 -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/y9lpnjzmh3g.fsf%40valmont.home.active-group.de.
[racket-users] Summer BOB 2019 Final Call for Participation (Aug 21, Berlin)
... and, of course, BOB makes a *great* companion for Racketfest on Aug 17! Summer BOB 2019 Conference “What happens if we simply use what’s best?” August 21, 2019, Berlin co-located with ICFP 2019 http://bobkonf.de/2019-summer/ Program: http://bobkonf.de/2019-summer/program.html Registration: http://bobkonf.de/2019-summer/registration.html Are you interested in technologies beyond the mainstream, that are a pleasure to use, and effective at getting the job done? BOB is the forum for developers, architects and builders to explore and discover the best tools available today for building software. Our goal is for all participants to leave the conference with new ideas to improve development back at the ranch. Summer BOB is a one-time-only event, in the spirit of the spectacular Winter BOB. The International Conference on Functional Programming is coming to town, and Summer BOB will be right in the middle of it, on the last day of ICFP proper, prior to all the workshops. BOB participants will be able to attend ICFP talks on Aug 21 and vice versa. We are committed to diversity: We aim at exploring a wide range of tools in a welcoming and friendly crowd of diverse people. To that end, a number of support options for participants from groups under-represented in tech are available. Summer BOB will feature two tracks: one from practitioners, and one from researchers, designed to cross-pollinate and inspire. Topics include distributed programming, testing, linear algebra, functional design patterns, type systems, formal methods, and interactive development: Using Formal Methods to Eliminate Exploitable Bugs Kathleen Fisher Purely functional distributed programming for collaborative applications Adriaan Leijnse Statistical testing of software Stevan Andjelkovic Dependent Types in Haskell Stephanie Weirich >From idea to working product in 7 days Philipp Maier In Search of Software Perfection Xavier Leroy Expressive Linear Algebra in Haskell Henning Thielemann Type-driven Development in Action Edwin Brady Functional Design Patterns Franz Thoma Liquidate your Assets Niki Vazou Scala Type Classes Alexey Novakov Types for Protocols Peter Thiemann Creating maintainable mobile games in Haskell Christina Zeller A Functional Reboot for Deep Learning Conal Elliott -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/y9l5znbac3u.fsf%40deinprogramm.de.
[racket-users] Summer BOB 2019 2nd Call for Participation (Aug 21, Berlin, early reg until Jul 18)
Summer BOB 2019 Conference “What happens if we simply use what’s best?” August 21, 2019, Berlin co-located with ICFP 2019 http://bobkonf.de/2019-summer/ Program: http://bobkonf.de/2019-summer/program.html Registration: http://bobkonf.de/2019-summer/registration.html Are you interested in technologies beyond the mainstream, that are a pleasure to use, and effective at getting the job done? BOB is the forum for developers, architects and builders to explore and discover the best tools available today for building software. Our goal is for all participants to leave the conference with new ideas to improve development back at the ranch. Summer BOB is a one-time-only event, in the spirit of the spectacular Winter BOB. The International Conference on Functional Programming is coming to town, and Summer BOB will be right in the middle of it, on the last day of ICFP proper, prior to all the workshops. Summer BOB will feature two tracks: one from practitioners, and one from researchers, and foster communication and cross-pollination between these communities. BOB features two tracks of seven talk each: One research track with invited talks, and one track by practitioners, designed to cross-pollinate and inspire. http://bobkonf.de/2019-summer/program.html Topics include distributed programming, testing, linear algebra, functional design patterns, type systems, formal methods, and interactive development. We are committed to diversity: We aim at exploring a wide range of tools in a welcoming and friendly crowd of diverse people. To that end, a number of support options for participants from groups under-represented in tech are available. http://bobkonf.de/2019-summer/registration.html NOTE: The early-bird rates expire on July 18, 2019! -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/y9lzhlgr6na.fsf%40deinprogramm.de. For more options, visit https://groups.google.com/d/optout.
[racket-users] Call for Participation: Summer BOB 2019 (August 21, Berlin)
Summer BOB 2019 Conference “What happens if we simply use what’s best?” August 21, 2019, Berlin co-located with ICFP 2019 http://bobkonf.de/2019-summer/ Program: http://bobkonf.de/2019-summer/program.html Registration: http://bobkonf.de/2019-summer/registration.html Are you interested in technologies beyond the mainstream, that are a pleasure to use, and effective at getting the job done? BOB is the forum for developers, architects and builders to explore and discover the best tools available today for building software. Our goal is for all participants to leave the conference with new ideas to improve development back at the ranch. Summer BOB is a one-time-only event, in the spirit of the spectacular Winter BOB. The International Conference on Functional Programming is coming to town, and Summer BOB will be right in the middle of it, on the last day of ICFP proper, prior to all the workshops. Summer BOB will feature two tracks: one from practitioners, and one from researchers, and foster communication and cross-pollination between these communities. BOB features two tracks of seven talk each: One research track with invited talks, and one track by practitioners, designed to cross-pollinate and inspire. http://bobkonf.de/2019-summer/program.html Topics include distributed programming, testing, linear algebra, functional design patterns, type systems, formal methods, and interactive development. We are committed to diversity: We aim at exploring a wide range of tools in a welcoming and friendly crowd of diverse people. To that end, a number of support options for participants from groups under-represented in tech are available. http://bobkonf.de/2019-summer/registration.html NOTE: The early-bird rates expire on July 18, 2019! -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/y9l7e9jz6g5.fsf%40deinprogramm.de. For more options, visit https://groups.google.com/d/optout.
[racket-users] 2nd Call for Contributions: Summer BOB 2019 [Aug 21, Berlin, deadline May 17]
Racket talks are very welcome at BOB! Summer BOB Conference 2019 "What happens when we use what's best for a change?" http://bobkonf.de/2019-summer/cfc.html Berlin, August 21 co-located with ICFP 2019 Call for Contributions Deadline: May 17, 2019 You are engaged in software development or software architecture, and have an interesting story to tell about an advanced tools, technique, language or technology that you're using? Or a gnarly problems that these tools fail to address but should? Summer BOB is a one-time-only event, in the spirit of the spectacular Winter BOB. The International Conference on Functional Programming is coming to town, and Summer BOB will be right in the middle of it, on the last day of ICFP proper, prior to all the workshops. Summer BOB will feature two tracks: one from practitioners, and one from researchers, and foster communication and cross-pollination between these communities. If you share our vision and want to contribute, submit a proposal for a talk! NOTE: The conference fee will be waived for presenters. Travel expenses will not be covered (for exceptions see "Speaker Grants"). 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. Other topics are also relevant, e.g.: - demos and how-tos - reports on problems that cutting-edge languages and tools should address but don't - overviews of a given field 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. 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, …) - Don't be confused: The system calls a submission event. Submit here --- https://bobcfc.active-group.de/bob2019-summer/cfp 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. 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. Organisation - Direct questions to contact at bobkonf dot de - Proposal deadline: May 17, 2019 - Notification: May 31, 2019 - Program: June 14, 2019 Program Committee - - 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 More information here: http://bobkonf.de/2019-summer/programmkomitee.html -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
[racket-users] 2nd Call for Participation: BOB 2019 (Mar 22, Berlin - right before Racketfest)
BOB 2019 makes for a great combo with Racketfest, with lots of Racket and FP content! BOB 2019 Conference “What happens if we simply use what’s best?” March 22, 2019, Berlin http://bobkonf.de/2019/ Program: http://bobkonf.de/2019/en/program.html Registration: http://bobkonf.de/2019/en/registration.html BOB is the conference for developers, architects and decision-makers to explore technologies beyond the mainstream in software development, and to find the best tools available to software developers today. Our goal is for all participants of BOB to return home with new insights that enable them to improve their own software development experiences. The program features 14 talks and 8 tutorials on current topics: http://bobkonf.de/2019/en/program.html The subject range of talks includes functional programming, formal methods, event sourcing, music, advanced SQL, logic, and feelings. The tutorials feature introductions to Racket, Clojure, Functional Programming, TypeScript, type-level programming, SQL indexing, probabilistic programming, and hardware. Gabriele Keller will give the keynote talk. Registration is open online: http://bobkonf.de/2019/en/registration.html NOTE: The early-bird rates expire on February 19, 2019! BOB cooperates with the RacketFest conference on the following day: https://racketfest.com/ -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
[racket-users] Call for Participation: BOB 2019 (March 22, Berlin)
BOB has Racket-related talks and tutorials - also followed by Racketfest the very next day! BOB 2019 Conference “What happens if we simply use what’s best?” March 22, 2019, Berlin http://bobkonf.de/2019/ Program: http://bobkonf.de/2019/en/program.html Registration: http://bobkonf.de/2019/en/registration.html BOB is the conference for developers, architects and decision-makers to explore technologies beyond the mainstream in software development, and to find the best tools available to software developers today. Our goal is for all participants of BOB to return home with new insights that enable them to improve their own software development experiences. The program features 14 talks and 8 tutorials on current topics: http://bobkonf.de/2019/en/program.html The subject range of talks includes functional programming, formal methods, event sourcing, music, advanced SQL, logic, and feeling The tutorials feature introductions to Racket, Clojure, Functional Programming, TypeScript, type-level programming, SQL indexing, probabilistic programming, and hardware. Gabriele Keller will give the keynote talk. Registration is open online: http://bobkonf.de/2019/en/registration.html NOTE: The early-bird rates expire on February 19, 2019! BOB cooperates with the RacketFest conference on the following day: https://racketfest.com/ -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
[racket-users] Call for Contributions: BOB 2019 - Berlin, Mar 22, 2019
Racket contributions are extremely welcome at BOB! BOB Conference 2019 "What happens when we use what's best for a change?" http://bobkonf.de/2019/en/cfc.html Berlin, March 22 Call for Contributions Deadline: November 23, 2018 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! NOTE: The conference fee will be waived for presenters. Travel expenses will not be covered (for exceptions see "Speaker Grants"). 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. 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. 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. Other topics are also relevant, 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://bobcfc.active-group.de/en/bob2019/cfp Organisation - Direct questions to contact at bobkonf dot de - Proposal deadline: November 23, 2018 - Notification: December 7, 2018 - Program: December 21, 2018 Program Committee - (more information here: http://bobkonf.de/2019/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 -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
[racket-users] 2nd Call for Participation: BOB 2018 (February 23, Berlin)
Note that Leif Andersen will do the (Racket-based) keynote! === BOB 2018 Conference “What happens if we simply use what’s best?” February 23, 2018, Berlin http://bobkonf.de/2018/ Program: http://bobkonf.de/2018/en/program.html Registration: http://bobkonf.de/2018/en/registration.html BOB is the conference for developers, architects and decision-makers to explore technologies beyond the mainstream in software development, and to find the best tools available to software developers today. Our goal is for all participants of BOB to return home with new insights that enable them to improve their own software development experiences. The program features 14 talks and 8 tutorials on current topics: http://bobkonf.de/2018/en/program.html The subject range of talks includes functional programming, verticalization, formal methods, and data analytics. The tutorials feature introductions to Haskell, Clojure, Livecoding, terminal programming, Liquid Haskell, functional reactive programming, and domain-driven design. Leif Andersen will give the keynote talk. Registration is open online: http://bobkonf.de/2018/en/registration.html NOTE: The early-bird rates expire on January 22, 2018! BOB cooperates with the :clojured conference on the following day. There is a registration discount available for participants of both events. http://www.clojured.de/ -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
[racket-users] Correction: BOB is on Feb 23! [WAS: Call for Participation: BOB 2018 (February 28, Berlin)]
SSIA ... sorry about that! -- Regards, Mike -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
[racket-users] Call for Participation: BOB 2018 (February 28, Berlin)
Note that Leif Andersen is doing a Racket-based keynote! BOB 2018 Conference “What happens if we simply use what’s best?” February 23, 2018, Berlin http://bobkonf.de/2018/ Program: http://bobkonf.de/2018/en/program.html Registration: http://bobkonf.de/2018/en/registration.html BOB is the conference for developers, architects and decision-makers to explore technologies beyond the mainstream in software development, and to find the best tools available to software developers today. Our goal is for all participants of BOB to return home with new insights that enable them to improve their own software development experiences. The program features 14 talks and 8 tutorials on current topics: http://bobkonf.de/2018/en/program.html The subject range of talks includes functional programming, verticalization, formal methods, and data analytics. The tutorials feature introductions to Haskell, Clojure, Livecoding, terminal programming, Liquid Haskell, functional reactive programming, and domain-driven design. Leif Andersen will give the keynote talk. Registration is open online: http://bobkonf.de/2018/en/registration.html NOTE: The early-bird rates expire on January 22, 2018! BOB cooperates with the :clojured conference on the following day. There is a registration discount available for participants of both events. http://www.clojured.de/ -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
[racket-users] 2nd Call for Contributions: BOB 2018 - Berlin, Feb 23, 2018
Note that there's a Racket-based keynote - more Racket submissions welcome! BOB Conference 2018 "What happens when we use what's best for a change?" http://bobkonf.de/2018/en/cfp.html Berlin, February 23 Call for Contributions 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 -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
[racket-users] Workshop on Functional Art, Music, Modelling and Design (Sep 9, Oxford): Call for Papers and Performances
Racket-based submissions are very welcome at the FARM! 5th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design Oxford, UK, September, 9th 2017 Call for Papers and Performances Key Dates: Paper submission deadline June 1, 2017 Performance submission deadline June 18, 2017 Author NotificationJuly 1, 2017 Camera Ready July 13, 2017 Call for Papers and Demos: The ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design (FARM) gathers together people who are harnessing functional techniques in the pursuit of creativity and expression. It is co-located with ICFP 2017, the 22nd ACM SIGPLAN International Conference on Functional Programming. Functional Programming has emerged as a mainstream software development paradigm, and its artistic and creative use is booming. A growing number of software toolkits, frameworks and environments for art, music and design now employ functional programming languages and techniques. FARM is a forum for exploration and critical evaluation of these developments, for example to consider potential benefits of greater consistency, tersity, and closer mapping to a problem domain. FARM encourages submissions from across art, craft and design, including textiles, visual art, music, 3D sculpture, animation, GUIs, video games, 3D printing and architectural models, choreography, poetry, and even VLSI layouts, GPU configurations, or mechanical engineering designs. Theoretical foundations, language design, implementation issues, and applications in industry or the arts are all within the scope of the workshop. The language used need not be purely functional (“mostly functional” is fine), and may be manifested as a domain specific language or tool. Moreover, submissions focusing on questions or issues about the use of functional programming are within the scope. Call for Performances: FARM also hosts a traditional evening of performances. For this year’s event, FARM 2017 is seeking proposals for live performances which employ functional programming techniques, in whole or in part. We would like to support a diverse range of performing arts, including music, dance, video animation, and performance art. We encourage both risk-taking proposals which push forward the state of the art and refined presentations of highly-developed practice. In either case, please support your submission with a clear description of your performance including how your performance employs functional programming and a discussion of influences and prior art as appropriate. FARM 2017 website : http://functional-art.org/2017/ Submissions We welcome submissions from academic, professional, and independent programmers and artists. Submissions are invited in three categories: 1) Original papers We solicit original papers in the following categories: - Original research - Overview / state of the art - Technology tutorial All submissions must propose an original contribution to the FARM theme. FARM is an interdisciplinary conference, so a wide range of approaches are encouraged. An original paper should have 5 to 12 pages, be in portable document format (PDF), using the ACM SIGPLAN style guidelines and use the ACM SIGPLAN template. [ http://www.sigplan.org/Resources/Author/ ] Accepted papers will be published in the ACM Digital Library as part of the FARM 2017 proceedings. See http://authors.acm.org/main.cfm for information on the options available to authors. Authors are encouraged to submit auxiliary material for publication along with their paper (source code, data, videos, images, etc.); authors retain all rights to the auxiliary material. 2) Demo proposals Demo proposals should describe a demonstration to be given at the FARM workshop and its context, connecting it with the themes of FARM. A demo could be in the form of a short (10-20 minute) tutorial, presentation of work-in-progress, an exhibition of some work, or even a performance. Demo proposals should be in plain text, HTML or Markdown format, and not exceed 2000 words. A demo proposal should be clearly marked as such, by prepending Demo Proposal: to the title. Demo proposals will be published on the FARM website. A summary of the demo performances will also be published as part of the conference proceedings, to be prepared by the program chair. 3) Calls for collaboration Calls for collaboration should describe a need for technology or expertise related to the FARM theme. Examples may include but are not restricted to: - art projects in need of realization - existing software or hardware that may benefit from functional programming - unfinished projects in need of inspiration Calls for collaboration should be in plain text, HTML or Markdown format, and not exceed 5000 words. A call for collaboration should be clearly marked as such, by prepending Call for Collaboration: to the title. Calls for collaboration
[racket-users] Call for Papers & Demos: International Workshop on Functional Art, Music, Modelling and Design (FARM)
5th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design Oxford, UK, September, 9th 2017 Key Dates: Submission deadline June 1, 2017 Author Notification July 1, 2017 Camera ReadyJuly 13, 2017 Call for Papers and Demos: The ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design (FARM) gathers together people who are harnessing functional techniques in the pursuit of creativity and expression. It is co-located with ICFP 2017, the 22nd ACM SIGPLAN International Conference on Functional Programming. Functional Programming has emerged as a mainstream software development paradigm, and its artistic and creative use is booming. A growing number of software toolkits, frameworks and environments for art, music and design now employ functional programming languages and techniques. FARM is a forum for exploration and critical evaluation of these developments, for example to consider potential benefits of greater consistency, tersity, and closer mapping to a problem domain. FARM encourages submissions from across art, craft and design, including textiles, visual art, music, 3D sculpture, animation, GUIs, video games, 3D printing and architectural models, choreography, poetry, and even VLSI layouts, GPU configurations, or mechanical engineering designs. Theoretical foundations, language design, implementation issues, and applications in industry or the arts are all within the scope of the workshop. The language used need not be purely functional (“mostly functional” is fine), and may be manifested as a domain specific language or tool. Moreover, submissions focusing on questions or issues about the use of functional programming are within the scope. FARM 2017 website : http://functional-art.org/2017/ Submissions We welcome submissions from academic, professional, and independent programmers and artists. Submissions are invited in three categories: 1) Original papers We solicit original papers in the following categories: - Original research - Overview / state of the art - Technology tutorial All submissions must propose an original contribution to the FARM theme. FARM is an interdisciplinary conference, so a wide range of approaches are encouraged. An original paper should have 5 to 12 pages, be in portable document format (PDF), using the ACM SIGPLAN style guidelines and use the ACM SIGPLAN template. [ http://www.sigplan.org/Resources/Author/ ] Accepted papers will be published in the ACM Digital Library as part of the FARM 2017 proceedings. See http://authors.acm.org/main.cfm for information on the options available to authors. Authors are encouraged to submit auxiliary material for publication along with their paper (source code, data, videos, images, etc.); authors retain all rights to the auxiliary material. 2) Demo proposals Demo proposals should describe a demonstration to be given at the FARM workshop and its context, connecting it with the themes of FARM. A demo could be in the form of a short (10-20 minute) tutorial, presentation of work-in-progress, an exhibition of some work, or even a performance. Demo proposals should be in plain text, HTML or Markdown format, and not exceed 2000 words. A demo proposal should be clearly marked as such, by prepending Demo Proposal: to the title. Demo proposals will be published on the FARM website. A summary of the demo performances will also be published as part of the conference proceedings, to be prepared by the program chair. 3) Calls for collaboration Calls for collaboration should describe a need for technology or expertise related to the FARM theme. Examples may include but are not restricted to: - art projects in need of realization - existing software or hardware that may benefit from functional programming - unfinished projects in need of inspiration Calls for collaboration should be in plain text, HTML or Markdown format, and not exceed 5000 words. A call for collaboration should be clearly marked as such, by prepending Call for Collaboration: to the title. Calls for collaboration will be published on the FARM website. Submission is via EasyChair https://easychair.org/conferences/?conf=farm2017 Authors take note The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of your conference. The official publication date affects the deadline for any patent filings related to published work. Questions If you have any questions about what type of contributions that might be suitable, or anything else regarding submission or the workshop itself, please contact the organisers at: farm-2...@functional-art.org All presentations at FARM 2017 will be recorded. Permission to publish the resulting video (in all probability on YouTube, along with the videos of ICFP itself and the other ICFP-colocated events) will be requested on-site. --
[racket-users] Call for Participation: BOB 2017 (February 24, Berlin) - early-bird ends Jan 23
BOB has a strong focus on functional programming. Come and help our Racket contingent grow! BOB 2017 Conference "What happens if we simply use what's best?" February 24, 2017 Berlin http://bobkonf.de/2017/ Program: http://bobkonf.de/2017/program.html Registration: http://bobkonf.de/2017/registration.html BOB is the conference for developers, architects and decision-makers to explore technologies beyond the mainstream in software development, and to find the best tools available to software developers today. Our goal is for all participants of BOB to return home with new insights that enable them to improve their own software development experiences. The program features 14 talks and 8 tutorials on current topics: http://bobkonf.de/2017/program.html The subject range of talks includes functional programming, advanced front-end development, and sophisticated uses of types. The tutorials feature introductions to Haskell, Swift, PureScript, React, QuickCheck, Agda, CRDTs and Servant. John Hughes will give the keynote talk. Registration is open online: http://bobkonf.de/2017/registration.html NOTE: The early-bird rates expire on January 23, 2017! BOB cooperates with the :clojured conference on the following day. There is a registration discount available for participants of both events. http://www.clojured.de/ -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
[racket-users] Call for Participation: BOB 2017 (February 24, Berlin)
BOB has a strong focus on functional programming - Racket developers very welcome! BOB 2017 Conference "What happens if we simply use what's best?" February 24, 2017 Berlin http://bobkonf.de/2017/ Program: http://bobkonf.de/2017/program.html Registration: http://bobkonf.de/2017/registration.html BOB is the conference for developers, architects and decision-makers to explore technologies beyond the mainstream in software development, and to find the best tools available to software developers today. Our goal is for all participants of BOB to return home with new insights that enable them to improve their own software development experiences. The program features 14 talks and 8 tutorials on current topics: http://bobkonf.de/2017/program.html The subject range of talks includes functional programming, advanced front-end development, and sophisticated uses of types. The tutorials feature introductions to Haskell, Swift, PureScript, React, QuickCheck, Agda, CRDTs and Servant. John Hughes will give the keynote talk. Registration is open online: http://bobkonf.de/2017/registration.html NOTE: The early-bird rates expire on January 23, 2017! BOB cooperates with the :clojured conference on the following day. There is a registration discount available for participants of both events. http://www.clojured.de/ -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
[racket-users] Call for Contributions: BOB 2017 - Berlin, Feb 24, 2017 (Deadline Oct 30)
BOB has a strong focus on functional programming, so Racket proposals are very welcome! BOB Conference 2017 "What happens when we use what's best for a change?" http://bobkonf.de/2017/en/cfp.html Berlin, February 24 Call for Contributions Deadline: October 30, 2016 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 - ... 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. This time, 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/1FAIpQLSfFuyBhBTCOTS0zTXBzY1KVuKpumyIBTucLcJ1ArC1XpWsG-Q/viewform Organisation - direct questions to bobkonf at active minus group dot de - proposal deadline: October 30, 2016 - notification: November 15, 2016 - program: December 1, 2016 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/2017/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/2017/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 -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
[racket-users] Call for Contributions: BOB 2017 - Berlin, Feb 24, 2017
BOB Conference 2017 "What happens when we use what's best for a change?" http://bobkonf.de/2017/en/cfp.html Berlin, February 24 Call for Contributions Deadline: October 30, 2016 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 - ... 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. This time, 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/1FAIpQLSfFuyBhBTCOTS0zTXBzY1KVuKpumyIBTucLcJ1ArC1XpWsG-Q/viewform Organisation - direct questions to bobkonf at active minus group dot de - proposal deadline: October 30, 2016 - notification: November 15, 2016 - program: December 1, 2016 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/2017/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/2017/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 -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
[racket-users] Call for Participation: Functional Art, Music, Modelling and Design (September 24, Nara, Japan)
4th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design Nara, Japan September 24, 2016 (co-located with ICFP 2016) http://functional-art.org/2016 The ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design (FARM) gathers together people who are harnessing functional techniques in the pursuit of creativity and expression. Functional Programming has emerged as a mainstream software development paradigm, and its artistic and creative use is booming. A growing number of software toolkits, frameworks and environments for art, music and design now employ functional programming languages and techniques. FARM is a forum for exploration and critical evaluation of these developments, for example to consider potential benefits of greater consistency, tersity, and closer mapping to a problem domain. This year, authors at FARM will present research papers, demos of new tools, and calls for collaboration. The evening will also feature computer music performances of artists integrating functional programming techniques into their work. To register for FARM, visit the ICFP registration page - early registration ends August 17. Some funding support is available for the main ICFP conference and related workshops like FARM. This information can be found on the travel support page. Registration You can register via the ICFP 2016 registration: http://conf.researchr.org/attending/icfp-2016/Registration Early registration deadline is August 17. Program --- 9:15 - 10:15 Bithoven: Gödel Encoding of Chamber Music and Functional 8-Bit Audio Synthesis Jay McCarthy Structured reactive programming with polymorphic temporal tiles David Janin and Simon Archipoff 10:35-11:25 Juniper: A Functional Reactive Programming Language for the Arduino Caleb Helbling and Samuel Guyer Demo: Juniper: A Functional Reactive Programming Language for the Arduino Caleb Helbling and Samuel Guyer 11:45-12:35 Arrp: A Functional Language with Multi-dimensional Signals and Recurrence Equations Jakob Leben Demo: Klangmeister Chris Ford 14:00-14:50 o.OM: Structured-Functional Communication between Computer Music Systems using OSC and Odot Jean Bresson, John MacCallum and Adrian Freed Demo: VoxelCAD, a collaborative voxel-based CAD tool Csongor Kiss and Toby Shaw 16:20-16:10 Call for Collaboration: Algomusicology, , Profit Chris Ford Demo: Alda: A text-based music composition language Dave Yarwood 16:40-18:00 A Livecoding Semantics for Functional Reactive Programming Tom E. Murphy Demo: Epimorphism Francis Shuman Live Performances 19:30-21:30 @ Live House Beverly Hills, Nara, Japan Tentative lineup includes: - Akihiro Kubota: Live Coding Cosmic Sound Poetry - Selçuk Artut, Alp Tuğan: RAW - Atsuro Hoshino: Warm Fuzzy Thing - Alexandra Cárdenas (via remote streaming) - Renick Bell Workshop Organisation - - Workshop Chair: David Janin, University of Bordeaux - Program Chair: Mike Sperber, Active Group GmbH - Publicity Chair: Mark Santolucito, Yale - Performance Chair: Renick Bell Program Committee: - - Renick Bell (performance chair) - Rebecca Fiebrink, Goldsmiths University of London - David Janin, University of Bordeaux (co-chair) - Akihiro Kubota, Tama Art University - John Lato, Google - José Pedro Magalhães, Standard Chartered Bank and Chordify - Alex McLean, University of Leeds - Dan Piponi, Google - Prabhakar Ragde, University of Waterloo - Mark Santolucito, Yale (publicity chair) - Fabienne Serrière, KnitYak - Michael Sperber, Active Group GmbH (co-chair) - John Stell, University of Leeds -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
[racket-users] Final CFP: 4th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design
4th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design http://functional-art.org/2016/ Co-located with ICFP Nara, Japan, 24 September, 2016 Key Dates: Submission deadline - June 24 Author Notification - 15 July Camera Ready- 31 July Workshop- September 24, 2016 We welcome submissions from academic, professional, and independent programmers and artists. Final Call for Papers, Demos, *and* Performances The ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design (FARM) gathers together people who are harnessing functional techniques in the pursuit of creativity and expression. Functional Programming has emerged as a mainstream software development paradigm, and its artistic and creative use is booming. A growing number of software toolkits, frameworks and environments for art, music and design now employ functional programming languages and techniques. FARM is a forum for exploration and critical evaluation of these developments, for example to consider potential benefits of greater consistency, tersity, and closer mapping to a problem domain. FARM encourages submissions from across art, craft and design, including textiles, visual art, music, 3D sculpture, animation, GUIs, video games, 3D printing and architectural models, choreography, poetry, and even VLSI layouts, GPU configurations, or mechanical engineering designs. Theoretical foundations, language design, implementation issues, and applications in industry or the arts are all within the scope of the workshop. The language used need not be purely functional ("mostly functional" is fine), and may be manifested as a domain specific language or tool. Moreover, submissions focusing on questions or issues about the use of functional programming are within the scope. Submit at : https://easychair.org/conferences/?conf=farm2016 -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
[racket-users] Functional Art, Music, Modelling and Design 2016: 2nd Call For Papers
4th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design Co-located with ICFP Nara, Japan, 24 September, 2016 Call for Papers and Demos The ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design (FARM) gathers together people who are harnessing functional techniques in the pursuit of creativity and expression. Functional Programming has emerged as a mainstream software development paradigm, and its artistic and creative use is booming. A growing number of software toolkits, frameworks and environments for art, music and design now employ functional programming languages and techniques. FARM is a forum for exploration and critical evaluation of these developments, for example to consider potential benefits of greater consistency, tersity, and closer mapping to a problem domain. FARM encourages submissions from across art, craft and design, including textiles, visual art, music, 3D sculpture, animation, GUIs, video games, 3D printing and architectural models, choreography, poetry, and even VLSI layouts, GPU configurations, or mechanical engineering designs. Theoretical foundations, language design, implementation issues, and applications in industry or the arts are all within the scope of the workshop. The language used need not be purely functional ("mostly functional" is fine), and may be manifested as a domain specific language or tool. Moreover, submissions focusing on questions or issues about the use of functional programming are within the scope. We welcome submissions from academic, professional, and independent programmers and artists. Submissions are invited in three categories: 1) Original papers We solicit original papers in the following categories: * original research * overview / state of the art * technology tutorial All submissions must propose an original contribution to the FARM theme. FARM 2016 is an interdisciplinary conference, so a wide range of approaches are encouraged. An original paper should have 5 to 12 pages, be in portable document format (PDF), using the ACM SIGPLAN style guidelines and use the ACM SIGPLAN template (http://www.sigplan.org/Resources/Author/). Accepted papers will be published in the ACM Digital Library as part of the FARM 2016 proceedings. See http://authors.acm.org/main.cfm for information on the options available to authors. Authors are encouraged to submit auxiliary material for publication along with their paper (source code, data, videos, images, etc.); authors retain all rights to the auxiliary material. 2) Demo proposals Demo proposals should describe a demonstration to be given at the FARM workshop and its context, connecting it with the themes of FARM. A demo could be in the form of a short (10-20 minute) tutorial, presentation of work-in-progress, an exhibition of some work, or even a performance. Demo proposals should be in plain text, HTML or Markdown format, and not exceed 2000 words. A demo proposal should be clearly marked as such, by prepending `Demo Proposal:` to the title. Demo proposals will be published on the FARM website. A summary of the demo performances will also be published as part of the conference proceedings, to be prepared by the program chair. 3) Calls for collaboration Calls for collaboration should describe a need for technology or expertise related to the FARM theme. Examples may include but are not restricted to: * art projects in need of realization * existing software or hardware that may benefit from functional programming * unfinished projects in need of inspiration Calls for collaboration should be in plain text, HTML or Markdown format, and not exceed 5000 words. A call for collaboration should be clearly marked as such, by prepending `Call for Collaboration:` to the title. Calls for collaboration will be published on the FARM website. AUTHORS TAKE NOTE: The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of your conference. The official publication date affects the deadline for any patent filings related to published work. If you have any questions about what type of contributions that might be suitable, or anything else regarding submission or the workshop itself, please contact the organizers at: farm-2...@functional-art.org All presentations at FARM 2016 will be recorded. Permission to publish the resulting video (in all probability on YouTube, along with the videos of ICFP itself and the other ICFP-colocated events) will be requested on-site. Key Dates: Submission deadline - June 24 Author Notification - 15 July Camera Ready - 31 July Workshop - September 24, 2016 Submit at : https://easychair.org/conferences/?conf=farm2016 -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails
[racket-users] Call for Papers and Demos: Functional Art, Music, Modelling and Design
4th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design Co-located with ICFP Nara, Japan, 24 September, 2016 http://functional-art.org/2016/ Call for Papers and Demos The ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design (FARM) gathers together people who are harnessing functional techniques in the pursuit of creativity and expression. Functional Programming has emerged as a mainstream software development paradigm, and its artistic and creative use is booming. A growing number of software toolkits, frameworks and environments for art, music and design now employ functional programming languages and techniques. FARM is a forum for exploration and critical evaluation of these developments, for example to consider potential benefits of greater consistency, tersity, and closer mapping to a problem domain. FARM encourages submissions from across art, craft and design, including textiles, visual art, music, 3D sculpture, animation, GUIs, video games, 3D printing and architectural models, choreography, poetry, and even VLSI layouts, GPU configurations, or mechanical engineering designs. Theoretical foundations, language design, implementation issues, and applications in industry or the arts are all within the scope of the workshop. The language used need not be purely functional ("mostly functional" is fine), and may be manifested as a domain specific language or tool. Moreover, submissions focusing on questions or issues about the use of functional programming are within the scope. We welcome submissions from academic, professional, and independent programmers and artists. Submissions are invited in three categories: 1) Original papers We solicit original papers in the following categories: * original research * overview / state of the art * technology tutorial All submissions must propose an original contribution to the FARM theme. FARM 2016 is an interdisciplinary conference, so a wide range of approaches are encouraged. An original paper should have 5 to 12 pages, be in portable document format (PDF), using the ACM SIGPLAN style guidelines and use the ACM SIGPLAN template (http://www.sigplan.org/Resources/Author/). Accepted papers will be published in the ACM Digital Library as part of the FARM 2016 proceedings. See http://authors.acm.org/main.cfm for information on the options available to authors. Authors are encouraged to submit auxiliary material for publication along with their paper (source code, data, videos, images, etc.); authors retain all rights to the auxiliary material. 2) Demo proposals Demo proposals should describe a demonstration to be given at the FARM workshop and its context, connecting it with the themes of FARM. A demo could be in the form of a short (10-20 minute) tutorial, presentation of work-in-progress, an exhibition of some work, or even a performance. Demo proposals should be in plain text, HTML or Markdown format, and not exceed 2000 words. A demo proposal should be clearly marked as such, by prepending `Demo Proposal:` to the title. Demo proposals will be published on the FARM website. A summary of the demo performances will also be published as part of the conference proceedings, to be prepared by the program chair. 3) Calls for collaboration Calls for collaboration should describe a need for technology or expertise related to the FARM theme. Examples may include but are not restricted to: * art projects in need of realization * existing software or hardware that may benefit from functional programming * unfinished projects in need of inspiration Calls for collaboration should be in plain text, HTML or Markdown format, and not exceed 5000 words. A call for collaboration should be clearly marked as such, by prepending `Call for Collaboration:` to the title. Calls for collaboration will be published on the FARM website. If you have any questions about what type of contributions that might be suitable, or anything else regarding submission or the workshop itself, please contact the organizers at: farm-2...@functional-art.org All presentations at FARM 2016 will be recorded. Permission to publish the resulting video (in all probability on YouTube, along with the videos of ICFP itself and the other ICFP-colocated events) will be requested on-site. Key Dates: Submission deadline - June 24 Author Notification - 22 July Camera Ready - 15 August Workshop - September 24, 2016 Submit at : https://easychair.org/conferences/?conf=farm2016 -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit
[racket-users] Call for Participation: BOB 2016 (February 19, Berlin)
BOB 2016 Conference "What happens if we simply use what's best?" February 19, 2016 Berlin http://bobkonf.de/2016/ Program: http://bobkonf.de/2016/program.html Registration: http://bobkonf.de/2016/registration.html BOB is the conference for developers, architects and decision-makers to explore technologies beyond the mainstream in software development, and to find the best tools available to software developers today. Our goal is for all participants of BOB to return home with new insights that enable them to improve their own software development experiences. The program features 14 talks and 8 tutorials on current topics: http://bobkonf.de/2016/program.html The subject range of talks includes functional programming, advanced front-end development, data management, and sophisticated uses of types. The tutorials feature introductions to Erlang, Haskell, Scala, Isabelle, Purescript, Idris, Akka HTTP, and Specification by Example. Elise Huard will hold the keynote talk - about Languages We Love. Registration is open online: http://bobkonf.de/2016/registration.html NOTE: The early-bird rates expire on January 17, 2016! BOB cooperates with the :clojured conference on the following day. There is a registration discount available for participants of both events. http://www.clojured.de/ -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
[racket-users] Second Call for Contributions: BOB 2016 - Berlin, Feb 19, 2016 (Deadline: Oct 30)
Racket contributions very welcome at BOB! BOB Conference 2016 "What happens when we use what's best for a change?" http://bobkonf.de/2016/en/cfp.html Berlin, February 19 Call for Contributions Deadline: October 30, 2015 You drive 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 - reactive programming - persistent data structures and databases - types - formal methods for correctness and robustness - ... 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. This could take the form of e.g.: - experience reports - introductory talks on technical background - 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/1IrCa3ilxMrO2h1G1WC4ywoxdz8wohxaPW3dfiB0cq-8/viewform?usp=send_form Organisation - submit your proposal here https://docs.google.com/forms/d/1IrCa3ilxMrO2h1G1WC4ywoxdz8wohxaPW3dfiB0cq-8/viewform?usp=send_form - direct questions to `bobkonf at active minus group dot de` - proposal deadline: **October 30, 2015** - notification: November 15, 2015 - program: December 1, 2015 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 not be able to attend the conference for financial reasons. Details are here: http://bobkonf.de/2016/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/2016/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 - Peter Thiemann, Uni Freiburg -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.