[racket-users] Last Call for Contributions: BOB 2021 [Feb 26, Deadline Nov 13]

2020-11-10 Thread Michael Sperber


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]

2020-10-28 Thread Michael Sperber


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]

2020-09-30 Thread Michael Sperber


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

2020-08-25 Thread Michael Sperber


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)

2020-01-13 Thread Michael Sperber


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)

2019-12-13 Thread Michael Sperber



   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]

2019-10-24 Thread Michael Sperber


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]

2019-09-17 Thread Michael Sperber


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)

2019-08-05 Thread Michael Sperber


... 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)

2019-07-14 Thread Michael Sperber



   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)

2019-06-18 Thread Michael Sperber



   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]

2019-05-06 Thread Michael Sperber


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)

2019-02-12 Thread Michael Sperber


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)

2018-12-21 Thread Michael Sperber


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

2018-10-15 Thread Michael Sperber


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)

2018-01-16 Thread Michael Sperber

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)]

2017-12-08 Thread Michael Sperber

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)

2017-12-05 Thread Michael Sperber

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

2017-10-16 Thread Michael Sperber

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

2017-05-11 Thread Michael Sperber

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)

2017-03-21 Thread Michael Sperber

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

2017-01-19 Thread Michael Sperber

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)

2016-12-05 Thread Michael Sperber

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)

2016-10-17 Thread Michael Sperber

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

2016-09-14 Thread Michael Sperber

 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)

2016-08-07 Thread Michael Sperber

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

2016-06-05 Thread Michael Sperber

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

2016-04-19 Thread Michael Sperber

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

2016-02-18 Thread Michael Sperber


  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)

2015-12-20 Thread Michael Sperber



   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)

2015-10-22 Thread Michael Sperber

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.