addressalign-toparrow-leftarrow-rightbackbellblockcalendarcameraccwcheckchevron-downchevron-leftchevron-rightchevron-small-downchevron-small-leftchevron-small-rightchevron-small-upchevron-upcircle-with-checkcircle-with-crosscircle-with-pluscontroller-playcrossdots-three-verticaleditemptyheartexporteye-with-lineeyefacebookfolderfullheartglobegmailgooglegroupshelp-with-circleimageimagesinstagramFill 1light-bulblinklocation-pinm-swarmSearchmailmessagesminusmoremuplabelShape 3 + Rectangle 1ShapeoutlookpersonJoin Group on CardStartprice-ribbonprintShapeShapeShapeShapeImported LayersImported LayersImported Layersshieldstartickettrashtriangle-downtriangle-uptwitteruserwarningyahoo

Greg Meredith, "Agents and agency in the Internet"

1
  • Oct 14, 2013 · 7:00 PM
  • Box

Lucius Gregory Meredith will talk about Agents and agency in the Internet.

The talk is about SpecialK/KVDB, a scala library for writing distributed applications in an embedded DSL based on the applied Pi-calculus, focusing on two applications that are using SpecialK, Protunity and the Individual Agent.

Greg will introduce the embedded DSL and it's relationship to theory and practice and then look at the two different applications and the advantages the framework brings to those efforts. Of particular interest is how the framework allows for higher level automated reasoning about information flow in the distributed network.

Lucius Gregory Meredith With two albums to his name now available on iTunes (The Disciples of Pop and The Adventures of Victoria and Balthazar) Greg considers himself a musician as well as a mathematician and computer scientist. The principal architect behind Microsoft’sBizTalk Process Orchestration and one of the principals behind the highly advanced programming language, Rosette, and its high-performance execution environment, the Extensible Service Switch, Greg has lots of experience taking the world of ideas and translating them into practice. In 2004 and 2005 Greg was a visiting scientist at Harvard Systems Biology and the nascent formal methods in systems biology group at the University of Trento, Trento Italy. In 2005 Greg presented seminal results on reflective process algebras both at Oxford and the premier European conference, ETAPS and co-founded with Walter Fontana (Fontana Lab, Harvard Systems Biology), Plectix Biosystems. Greg is a long time student of music and the guitar. From 1999 – 2002 Greg studied with the Senegalese Griot Mapathe and Thione Diop, working with them both in Senegal and the Pacific Northwest and performing with them frequently. Greg has studied the guitar for nearly 35 years and worked within the Guitar Craft community for 12. When he’s not engaged in the day-to-day duties of running his consultancy,Biosimilarity, being a father of 5, running guitar classes with 4th graders or playing with Seattle Circle’s Tuning the Air production, Greg is producing a series of videos with the highly acclaimed C9 video production team to promote his forthcoming book, Monadic Design Patterns for the Web, or working on the next Disciples of Pop single. 

Location: Box (see above)

Box offers street parking on Del Medio and visitors should remain in the Lunch Room/lobby. 

We may be short on refreshments/snacks this time. 

Blame Chris Columbus, it's his day.

Schedule:

• 6:30-7:00 - networking

• 7:00-7:10 - announcements etc

• 7:10-~8:40 - talk

• 8:40-9:00 - networking


Join or login to comment.

40 went

Palo Alto, CA

Founded Dec 1, 2011

Organizers:

Vlad Patryshev, Adelbert Chang, Alexy Khrabrov, Andrew Conner, Frederick F. Kautz IV, Matthew Tovbin, Tiffany Low, Venkat Rangan, Yulia Astakhova
Contact

Our Sponsors

  • Salesforce

    Space for hosting as well as food and other arrangements on meetups.

  • Clari Inc.

    Space for hosting as well as food and other arrangements on meetups.

  • LinkedIn

    Space for hosting as well as food and other arrangements on meetups.

People in this
Meetup are also in:

Sign up

Continue with Google Continue with Google

Or sign up with email

Already a member? Log in.

Continue with Google Continue with Google

Or sign up with email

Already a member? Log in.

Continue with Google Continue with Google

Or sign up with email

Already a member? Log in.

Sign up

Meetup members, Log in

or

By clicking "Sign up" or "Sign up using Facebook", you confirm that you accept our Terms of Service & Privacy Policy