From jquigley at jquigley.com Wed Feb 7 18:13:01 2007 From: jquigley at jquigley.com (John Quigley) Date: Wed, 07 Feb 2007 12:13:01 -0600 Subject: [chicago-lisp] Chicago LUG meeting Message-ID: <45CA16AD.6020804@jquigley.com> Everyone: This is to notify you that the Chicago Linux and Lisp groups will be meeting this coming Saturday, February 10, 2007, at our standard location, The Chicago Institute of Design. Presentation topics for the Linux track: * The Io Programming Language (John Quigley) * AJAX Generation Using Perl (Michael Stemle) * An Introduction to LaTex (Tristan Sloughter) There is currently no set agenda for the Lisp group. If you are interested in helping bootstrap Chicago Lisp, please come! Further information can be found online: * http://www.chicagolug.org/ * http://www.chicagolisp.org/ We look forward to seeing you all there. Any questions or comments can be directed towards me. - John Quigley email: jquigley at jquigley.com phone: 312.351.3671 From jquigley at jquigley.com Sat Feb 10 01:39:50 2007 From: jquigley at jquigley.com (John Quigley) Date: Fri, 09 Feb 2007 19:39:50 -0600 Subject: [chicago-lisp] Re: [LUNI] Chicago LUG meeting: CANCELLED! In-Reply-To: <45CA16AD.6020804@jquigley.com> References: <45CA16AD.6020804@jquigley.com> Message-ID: <45CD2266.7030802@jquigley.com> John Quigley wrote: > This is to notify you that the Chicago Linux and Lisp groups will be > meeting this coming Saturday, February 10, 2007, at our standard > location, The Chicago Institute of Design. IMPORTANT UPDATE! Our meeting tomorrow has been canceled! Our building manager, who gives us access to our meeting space, has had a family emergency, requiring his immediate departure from Chicago. We send him our best wishes for a speedy return. The tentative plan is to postpone the meeting, and simply meet at Goose Island at 6p for an informal get-together. For up-to-date information, please check out website: http://www.chicagolug.org/ I'll be certain to update it with our definitive plans for tomorrow. Thanks for your patience. Call me with questions at 312.351.3671. - John Quigley From tfp2007 at shu.edu Thu Feb 22 04:36:17 2007 From: tfp2007 at shu.edu (TFP 2007) Date: Wed, 21 Feb 2007 23:36:17 -0500 Subject: [chicago-lisp] TFP 2007: Registration and Program Message-ID: Dear Colleagues, You may now resgister for TFP 2007! TFP 2007 will be held April 2-4, 2007 in New York City, USA. Our invited speaker is John McCarthy, Stanford University. Further details can be found at our homepage: http://cs.shu.edu/tfp2007/ . You may register at: http://cs.shu.edu/tfp2007/registration.html . The registration deadline is March 2, 2007 (11:59 p.m. EST). Accomodations information may be found at: http://cs.shu.edu/tfp2007/accomodations.html . We kindly remind you that the deadline to make a hotel reservation at the guaranteed rates offered to TFP 2007 participants is also quickly approaching. We are proud to announce our program of accepted talks: Unifying Hybrid Types and Contracts Jessica Gronski and Cormac Flanagan A Dual Semantics for the Data Description Calculus Yitzhak Mandelbaum, Kathleen Fisher, and David Walker A Metalanguage for Structural Operational Semantics Matthew Lakin and Andrew Pitts An Arrow Based Semantics for Interactive Applications Peter Achten, Marko van Eekelen, Maarten de Mol, and Rinus Plasmeijer Dependent Types: Easy as Pie Dimitrios Vytiniotis and Stephanie Weirich Constructing Correct Circuits -- Hardware Modelling with Dependent Types Edwin Brady, James McKinna, and Kevin Hammond Why Would Extensible Dependent Types Matter Pablo Nogueira and Bruno Oliveira Bytecode Verification for Haskell Robert Dockins and Samuel Z. Guyer UnreadTVar: Extending Haskell Software Transactional Memory for Performance Nehir Sonmez, Cristian Perfumo, Srdjan Stipic, Adrian Cristal, Osman S. Unsal, and Mateo Valero A New Functional Implementation of Grover's Fast Search Algorithm Justin Stallard and Murray Gross An Inference Algorithm for Guaranteeing Safe Destruction Manuel Montenegro, Ricardo Pe?a, and Clara Segura Hierarchical Master/Worker Skeletons Jost Berthold, Mischa Dieterle, Rita Loogen, and Steffen Priebe Property Directed Generation of First-Order Test Data Fredrik Lindblad Refactoring for Comprehension Gustavo Villavicencio Towards a Box Calculus for Hume Gudmund Grov and Greg Michaelson Scaled Regression: A Refinement of Primitive Recursion Daniel Leivant Equality-Based Uniqueness Typing Edsko de Vries, Rinus Plasmeijer, and David Abrahamson Lightweight Static Resources: Sexy Types for Embedded and Systems Programming Oleg Kiselyov and Chung-chieh Shan Space-Efficient Gradual Typing David Herman, Aaron Tomb, and Cormac Flanagan Use-Based Reference of Polymorphism Dave King and John Hannan Designing a Generic Graph Library Using ML Functors Sylvain Conchon, Jean-Christophe Filliatre, and Julien Signoles The SCIence Joint Research Activity Kevin Hammond, Dana Petcu, Phil Trinder, Abdallah Al Zain, Steve Linton, and Greg Michaelson Generic and Index Programming Jeremy Gibbons, Meng Wang, and Bruno C d. S. Oliveira The AHA Project Marko van Eekelen, Olha Shkaravska, Ron van Kesteren, Bart Jacobs, Sjaak Smetsers, and Erik Poll Studying Helium Program Bahaviour with the Neon Library Jurriaan Hage and Peter van Keeken Design and Implementation of JFP Hao Xu Hop Client-Side Compilation Florian Loitsch Adaptive High-Level Scheduling in a Generic Parallel Runtime Environment Jost Berthold, Abyd Al-Zain, and Hans-Wolfgang Loidl Bundles Pack Tighter than Lists Francisco Lopez-Fraguas, Juan Rodriguez-Hortala, and Jaime Sanchez-Hernandez Model-Based Testing of Thin-Client Web Applications and Navigation Input Pieter Koopman, Peter Achten, and Rinus Plasmeijer We look forward to seeing you at TFP 2007! Cheers, Marco ************************************************************************************ Dr. Marco T. Morazan TFP 2007 Program Committee Chair http://cs.shu.edu/tfp2007/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From jquigley at jquigley.com Thu Feb 22 19:32:53 2007 From: jquigley at jquigley.com (John Quigley) Date: Thu, 22 Feb 2007 13:32:53 -0600 Subject: [chicago-lisp] Chicago Linux and Lisp Groups Meeting Message-ID: <45DDEFE5.40903@jquigley.com> Everyone: This is to notify you that the Chicago Linux and Lisp groups will be meeting this coming Saturday, February 24, 2007, at our standard location, The Chicago Institute of Design. Presentation topics for the Linux track: * The Io Programming Language (John Quigley) * AJAX Generation Using Perl (Michael Stemle) * An Introduction to LaTex (Tristan Sloughter) There is currently no set agenda for the Lisp group. If you are interested in helping bootstrap Chicago Lisp, please come! Further information can be found online: * http://www.chicagolug.org/ * http://www.chicagolisp.org/ We look forward to seeing you all there. Any questions or comments can be directed towards me. - John Quigley email: jquigley at jquigley.com phone: 312.351.3671 From tfp2007 at shu.edu Wed Feb 28 14:40:06 2007 From: tfp2007 at shu.edu (TFP 2007) Date: Wed, 28 Feb 2007 09:40:06 -0500 Subject: [chicago-lisp] TFP 2007: Last Call for Participation Message-ID: Dear Colleagues, The deadline to register for TFP 2007 is quickly approaching. You may register at: http://cs.shu.edu/tfp2007/registration.html . Also, please be advised that the deadline to make hotel reservations at the guaranteed rate for TFP 2007 participants is also quickly approaching. Hotel information can be found at: http://cs.shu.edu/tfp2007/accomodations.html . You may browse the program and schedule for TFP 2007 at: http://cs.shu.edu/tfp2007/schedule.html . We look forward to seeing you in NYC!!! Cheers, Marco ************************************************************************************ Dr. Marco T. Morazan TFP 2007 Program Committee Chair http://cs.shu.edu/tfp2007/ -------------- next part -------------- An HTML attachment was scrubbed... URL: