- Haskell - Haskell.org

Dutch Functional Programming Day 2008
by Johan Jeuring 24 Feb '07

24 Feb '07

[Apologies for the following posting in Dutch. This message will only be sent once. In the email I ask interested people (presumably Dutch) to attend a (yearly) meeting about functional programming in the Netherlands, and to register to a Dutch mailing list about functional programming.] --- Eerste (en wat vroege) aankondiging: De functioneel programmeren dag 2008 vindt plaats op: 11 januari 2008 bij de Open Universiteit op het studiecentrum Utrecht: http://www.ou.nl/eCache/DEF/1/931.html Aanmelden, zowel voor deelname als voor het geven van een presentatie, is nu al mogelijk! Zie ook: http://www.cs.uu.nl/~johanj/FPDag2008/ Ik heb deze email gestuurd naar zowel de fp-nl lijst, als een redelijk groot aantal andere mogelijk geinteresseerden. Ik ben van plan om na deze email de aankondigingen alleen maar meer naar fp-nl te sturen, dus: meld je aan bij de fp-nl lijst op https://mail.cs.uu.nl/mailman/listinfo/fp-nl als je verdere aankondigingen van deze dag wilt ontvangen (fp-nl is een lijst met erg weinig verkeer, en wat dat betreft dus redelijk onschuldig). Programma: 10:00-10:30 Koffie 10:30-12:00 Presentaties 12:00-13:00 Lunch 13:00-14:30 Presentaties 14:30-15:00 Thee 15:00-16:00 Presentaties 16:00-? borrel Met vriendelijke groet, Johan Jeuring

1 0

CFP: IEEE/WIC/ACM IAT 2007 (Silicon Valley, USA)
by Jia Hu 24 Feb '07

24 Feb '07

[Apologies if you receive this more than once] ##################################################################### IEEE/WIC/ACM Intelligent Agent Technology 2007 CALL FOR PAPERS ##################################################################### 2007 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'07) Silicon Valley, USA, November 2-5, 2007 http://www.cs.sjsu.edu/wi07/iat/ (to be collocated with BIBM'07 and GrC'07) Sponsored By IEEE Computer Society Web Intelligence Consortium (WIC) Association for Computing Machinery (ACM) ##################################################################### # Conference Chair # Andrei Broder, VP, Yahoo Fellow, Yahoo! Research # # Program Chair and Co-Chairs # T.Y. Lin, San Jose State University/UC Berkeley, USA # Jeffrey M. Bradshaw, UWF/Institute for Human and Machine Cognition, USA # Matthias Klusch, German Research Center for AI, Germany # Chengqi Zhang, University of Technology, Sydney, Australia # # Organizing Chair # Howard Ho, Manager, IBM Almaden Research Center # # IAT-WI Joint Keynote Speakers (Tentative) # # Vinton G. Cerf, Turing Award Winner, # VP and Chief Internet Evangelist, Google # Anant Jhingran, VP and CTO, IBM Silicon Valley Laboratory # # (More IAT Invited Speakers will be announced) # # (Papers Due: ** June 1 **, 2007) # Accepted papers will be published in the conference proceedings # by the IEEE Computer Society Press, which are indexed by EI. ###################################################################### The 2007 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'07) will be jointly held with the 2007 IEEE/WIC/ACM International Conference on Web Intelligence (WI'07), the 2007 IEEE International Conference on BioInformation and BioMedicine (BIBM'07), and the 2007 IEEE International Conference on Granular Computing (GrC'07) for providing synergism among the four research areas. It will provide opportunities for technical collaboration beyond that of previous conferences. The four conferences will have a joint opening, keynote, reception, and banquet. Attendees only need to register for one conference and can attend workshops, sessions and tutorials across the four conferences. We are also planning a joint panel and joint paper sessions that discuss common problems in the four areas. IAT 2007 provides a leading international forum to bring together researchers and practitioners from diverse fields, such as computer science, information technology, business, education, human factors, systems engineering, and robotics, to (1) examine the design principles and performance characteristics of various approaches in intelligent agent technology, and (2) increase the cross-fertilization of ideas on the development of autonomous agents and multi-agent systems among different domains. By encouraging idea-sharing and discussions on the underlying logical, cognitive, physical, and sociological foundations as well as the enabling technologies of intelligent agents, IAT 2007 will foster the development of novel paradigms and advanced solutions in agent-based computing. +++++++++++ Highlights +++++++++++ The conference will be held in Silicon Valley, California. Many high-tech companies and three distinguished universities (Stanford, UC Berkely and UCSC) are just around the corner. The highlight of the conference is that a unique forum consisting of a half-day demo session and free discussion will be organized to link industries and academics. Leading IT companies like IBM, Google, and Yahoo etc will present at the conference. The area now known as Silicon Valley has been a center of technological development since the 1950's. The name Silicon Valley stems from the early 1970's, when the area had become the center for many semiconductor companies. While still hosting semiconductor and microprocessor companies, the region now hosts the headquarters of high tech companies of every kind, including many of the best known and most prestigious names in personal computers, Web search, Internet auctions, networking, storage, databases, etc. +++++++++++++++++++ Topics of Interest +++++++++++++++++++ The topics and areas include, but not limited to: * Autonomy-Oriented Computing (AOC) - Agent-Based Complex Systems Modeling and Development - Agent-Based Simulation - Autonomy-Oriented Modeling and Computation Methods - Behavioral Self-Organization - Complex Behavior Characterization and Engineering - Emergent Behavior - Hard Computational Problem Solving - Nature-Inspired Paradigms - Self-Organized Criticality - Self-Organized Intelligence - Swarm Intelligence * Autonomous Knowledge and Information Agents - Agent-Based Distributed Data Mining - Agent-Based Knowledge Discovery And Sharing - Autonomous Information Services - Distributed Knowledge Systems - Emergent Natural Law Discovery in Multi-Agent Systems - Evolution of Knowledge Networks - Human-Agent Interaction - Information Filtering Agents - Knowledge Aggregation - Knowledge Discovery - Ontology-Based Information Services * Agent Systems Modeling and Methodology - Agent Interaction Protocols - Cognitive Architectures - Cognitive Modeling of Agents - Emotional Modeling - Fault-Tolerance in Multi-Agent Systems - Formal Framework for Multi-Agent Systems - Information Exchanges in Multi-Agent Systems - Learning and Self-Adaptation in Multi-Agent Systems - Mobile Agent Languages and Protocols - Multi-Agent Autonomic Architectures - Multi-Agent Coordination Techniques - Multi-Agent Planning and Re-Planning - Peer-to-Peer Models for Multi-Agent Systems - Reinforcement Learning - Social Interactions in Multi-Agent Systems - Task-Based Agent Context - Task-Oriented Agents * Distributed Problem Solving - Agent-Based Grid Computing - Agent Networks in Distributed Problem Solving - Collective Group Behavior - Coordination and Cooperation - Distributed Intelligence - Distributed Search - Dynamics of Agent Groups and Populations - Efficiency and Complexity Issues - Market-Based Computing - Problem-Solving in Dynamic Environments * Autonomous Auctions and Negotiation - Agent-Based Marketplaces - Auction Markets - Combinatorial Auctions - Hybrid Negotiation - Integrative Negotiation - Mediating Agents - Pricing Agents - Thin Double Auctions * Applications - Agent-Based Assistants - Agent-Based Virtual Enterprise - Embodied Agents and Agent-Based Systems Applications - Interface Agents - Knowledge and Data Intensive Systems - Perceptive Animated Interfaces - Scalability - Social Simulation - Socially Situated Planning - Software and Pervasive Agents - Tools and Standards - Ubiquitous Systems and E-Technology Agents - Ubiquitous Software Services - Virtual Humans - XML-Based Agent Systems ++++++++++++++++++++++++++++++++++++ On-Line Submissions and Publication ++++++++++++++++++++++++++++++++++++ High-quality papers in all IAT related areas are solicited. Paper submissions should be limited to a maximum of 7 pages in the IEEE 2-column format, the same as the camera-ready format (see the Author Guidelines of last year at http://www.computer.org/portal/pages/cscps/cps/final/iat06.xml) All submitted papers will be reviewed by the Program Committee on the basis of technical quality, relevance, significance, and clarity. Note that IAT'07 will accept ONLY on-line submissions, containing PDF versions. Please use the Submission Form on the IAT'07 website to submit your paper. Accepted papers will be published in the conference proceedings by the IEEE Computer Society Press that are indexed by EI. Submissions accepted as regular papers will be allocated 7 pages in the proceedings and accorded oral presentation times in the main conference. Submissions accepted as short papers will be allocated 4 pages in the proceedings and will have a shorter presentation time at the conference than regular papers. All co-authors will be notified at all time, for the submission, notification, and confirmation on the attendance. Submitting a paper to the conference and workshops means that, if the paper is accepted, at least one author should attend the conference to present the paper. The acceptance list and no-show list will be openly published on-line. For no-show authors, their affiliations will receive a notification. A selected number of IAT'07 accepted papers will be expanded and revised for inclusion in Web Intelligence and Agent Systems: An International Journal (http://wi-consortium.org/journal.html) and in Annual Review of Intelligent Informatics (http://www.wi-consortium.org/annual.html) More detailed instructions and the On-Line Submission Form can be found from the IAT'07 homepage: http://www.cs.sjsu.edu/wi07/iat/. +++++++++++++++++++++++++ IAT'07 Best Paper Awards +++++++++++++++++++++++++ The best paper awards will be conferred at the conference on the authors of (1) the best research paper and (2) the best application paper. Application-oriented submissions will be considered for the best application paper award. The full author list and paper title will be announced on the Web Intelligence Consortium homepage: http://wi-consortium.org/html/wicawards.html ++++++++++++++++++++ Industry/Demo-Track ++++++++++++++++++++ We solicit Industry/Demo-Track papers by the following methods. (1) Industry papers of 4 pages can be submitted on the same schedule as the research track. (2) Separate 2 page demo proposals can submitted at a later schedule. (3) Full regular paper submissions can include a demo option. That is, a full paper submissions will be asked to specify if they would like to give a demonstration; choice of demonstrations (while utilizing information from the regular reviewing process) will be selected based on value as a demonstration. For options (1) and (2), please find more detailed instructions at the homepage: http://www.cs.sjsu.edu/wi07/wi/ We are planning to arrange the Industry/Demo track in the afternoon of November 3 (before and during the conference reception), jointly with the IAT'07 Demo sessions. Leading IT companies in Silicon Valley will be invited to attend this track. ++++++++++ Workshops ++++++++++ As an important part of the conference, the workshop program will focus on new research challenges and initiatives. All papers accepted for workshops will be included in the Workshop Proceedings published by the IEEE Computer Society Press that are indexed by EI, and will be available at the workshops. Detailed information is available at the conference homepage. Note: we will not have a separate workshop registration fee (i.e., only one conference registration covers everything). For more information, please visit the conference website at http://www.cs.sjsu.edu/wi07/iat/. ++++++++++ Tutorials ++++++++++ IAT'07 also welcomes Tutorial proposals. IAT'07 will include tutorials providing in-depth background on subjects that are of broad interest to the intelligent agent community. Both short (2 hours) and long (half day) tutorials will be considered. The tutorials will be part of the main conference technical program. Detailed information is available at the conference homepage. Note: we will not have a separate tutorials registration fee (i.e., only one conference registration covers everything). ++++++++++++++++ Important Dates ++++++++++++++++ Workshop proposal submission: March 20, 2007 Electronic submission of full papers: ** June 1, 2007 ** Tutorial proposal submission: June 15, 2007 Notification of paper acceptance: August 3, 2007 Camera-ready copies of accepted papers: August 17, 2007 Conference: November 2-5, 2007 ++++++++++++++++++++++++ Conference Organization ++++++++++++++++++++++++ Conference Chair: * Andrei Broder, Yahoo! Research, USA Program Chair: * Tsau Young (T.Y.) Lin, San Jose State University/UC Berkeley, USA IAT Program Co-Chairs: * Jeffrey M. Bradshaw, UWF/Institute for Human and Machine Cognition, USA * Matthias Klusch, German Research Center for AI, Germany * Chengqi Zhang, University of Technology, Sydney, Australia WI Program Co-Chairs: * Laura Haas, IBM Almaden Research Center, USA * Janusz Kacprzyk, Polish Academy of Science, Poland * Rajeev Motwani, Stanford University, USA Organizing Chair: * Howard Ho, IBM Almaden Research Center, USA Workshop Co-Chairs: * Vijay Raghavan, University of Louisiana, USA * Yuefeng Li, Queensland University of Technology, Australia Tutorial Chair: * Pawan Lingras, Saint Mary's University, Canada Industry/Demo-Track Chair: * Jianchang Mao, Yahoo! Inc., USA Local Accommodations Co-Chairs: * David Scot Taylor, San Jose State University, USA * Tom Qi Zhang, Google, USA Publicity Chair: * James Wang, Clemson University, USA (chair) Publicity Co-Chairs: * Martine De Cock, Ghent University, Belgium * Jia Hu, International WIC Institute, China * Debajyoti Mukhopadhyay, West Bengal University of Technology, India IEEE-CS-TCII Chair: * Ning Zhong, Maebashi Institute of Technology, Japan ACM-SIGART Chair * Maria Gini, University of Minnesota, USA WIC Co-Chairs/Directors: * Ning Zhong, Maebashi Institute of Technology, Japan * Jiming Liu, University of Windsor, Canada WIC Advisory Board: * Edward A. Feigenbaum, Stanford University, USA * Setsuo Ohsuga, Waseda University, Japan * Benjamin Wah, University of Illinois, Urbana-Champaign, USA * Philip Yu, IBM Thomas J. Watson Research Center, USA * L.A. Zadeh, University of California Berkeley, USA WIC Tech. Committee & WI/IAT Steering Committee: * Jeffrey Bradshaw, UWF/Institute for Human and Machine Cognition, USA * Nick Cercone, Dalhousie University, Canada * Dieter Fensel, National University of Ireland, Ireland * Georg Gottlob, Oxford University, UK * Lakhmi Jain, University of South Australia, Australia * Jianchang Mao, Yahoo! Inc., USA * Pierre Morizet-Mahoudeaux, Compiegne University of Technology, France * Hiroshi Motoda, Osaka University, Japan * Toyoaki Nishida, Kyoto University, Japan * Andrzej Skowron, Warsaw University, Poland * Jinglong Wu, Kagawa University, Japan * Xindong Wu, University of Vermont, USA * Yiyu Yao, University of Regina, Canada Webmaster: * Albert Sutojo, San Jose State University, USA *** Contact Information *** Jia Hu International WIC Institute, China E-mail: hujia(a)kis-lab.com

1 0

Profiling Feedback to Optimize Memoization Caching
by Tom Hawkins 23 Feb '07

23 Feb '07

After programming in Haskell for about a year now, I have found it allows we to quickly develop initial programs; thanks to the expressiveness of the language and type system. But due to performance concerns, I typically have to restructure the initial program, guided by profiling, to reduce time or memory consumption. Many times, this refactoring process helps illuminate a better strategic approach to the program. But very often, only a few inefficient functions need to be equipped with memoization. I can certainly speed up these functions with explicit memoization, usually by threading a Map or Set through the recursive decent. But doing so always degrades the legibility of the original function. Are there any tools to automate this process, so as not to clutter the code with "Have-I-been-here-before?" tests and supporting data structures? To what extent do Haskell compilers use memoization? Is there any way to guide automatic memoization? Also, do any compilers use profiling data to enable or re-adjust memoization caches of the worst offenders? In ECAD, we would call this an in-place optimization (IPO). -Tom

2 2

Re: [Haskell] GHC/ Fortress -Parallel Computing
by Jan-Willem Maessen 23 Feb '07

23 Feb '07

On Feb 23, 2007, at 5:33 AM, Stefan Aeschbacher wrote: > Hi > > 2007/2/23, Jan-Willem Maessen <Janwillem.Maessen(a)sun.com>: >> > ... >> >> You'd be better off asking on one of the Fortress mailing lists (see >> http://fortress.sunsource.net/; I suggest joining the discuss mailing >> list and asking there). Sadly, I'm in a little to deep to really do >> the topic justice myself. I know there are community members there >> who are working on tutorial documents. > > Are these mailinglists active? At least as active as, say, the Haskell mailing list in its first five years or so! In all seriousness, there's one open-source prototype language implementation, which has been available for all of six weeks or so. The lists have only been up for about four weeks. If you post there, I guarantee there will be a minimum of six times as many well- informed Fortress implementors on the mailing list as you'll find here. -Jan-Willem Maessen Project Fortress > Judging from the archives there is not > much happening there. I already thought that joining one of these > lists would be good to see what is happening with fortress but when I > saw the content of the archives I did not subscribe and forgot about > it (until this thread came up). > > regards > > Stefan

2 1

ETAPS 2007: Call for Participation
by João Saraiva 23 Feb '07

23 Feb '07

***************************************************************** *** *** *** ETAPS 2007 *** *** March 24 - April 1, 2007 *** *** Braga, Portugal *** *** *** *** http://www.di.uminho.pt/etaps07/ *** *** *** *** CALL FOR PARTICIPATION *** *** *** *** Normal Registration Deadline: 26th February, 2007 *** *** Students Grant Deadline : 26th February, 2007 *** *** *** ***************************************************************** The European Joint Conferences on Theory and Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics related to Software Science. It is a confederation of five main conferences, several satellite workshops and other events. ETAPS 2007 is taking place in Braga, Portugal. Braga, capital of the Minho province, is an ancient city in the heart of the green and fertile region known as the Costa Verde. The region is known for its attractiveness in terms of climate, gastronomy, prices, and culture. Braga is known for its barroque churches and splendid 18th century houses. The old city is solemn and antique, but animated with commercial activity and academic life. ============================================================================ 5 Conferences- 18 Satellite Workshops- 3 Tutorials- Tool Demonstrations ============================================================================ ------------------------------------------------------------------------- Main Conferences ------------------------------------------------------------------------- CC 2007: International Conference on Compiler Construction http://cc2007.cs.brown.edu/ ESOP 2007: European Symposium on Programming http://rap.dsi.unifi.it/esop07/ FASE 2007: Fundamental Approaches to Software Engineering http://fase07.di.fc.ul.pt FOSSACS 2007: Foundations of Software Science and Computation Structures http://www2.in.tum.de/~seidl/fossacs07/ TACAS 2007: Tools and Algorithms for the Construction and Analysis of Systems http://www.doc.ic.ac.uk/tacas07/ ----------------------------------------------------------------------- Invited Speakers ----------------------------------------------------------------------- ETAPS 2007: Rance Cleaveland - University of Maryland, USA ETAPS 2007: Bertrand Meyer - ETH Zürich, Switzerland CC 2007: Don Batory - University of Texas at Austin, USA ESOP 2007: Andrew Pitts - Cambridge University, UK FASE 2007: Jan Bosch - Nokia, Finland FOSSACS 2007: Radha Jagadeesan - DePaul University, USA TACAS 2007: K. Rustan M. Leino - Microsoft Research, USA Further invited speakers are giving talks in the satellite workshops. ----------------------------------------------------------------------- Satellite Workshops ----------------------------------------------------------------------- ACCAT: Applied and Computational Category Theory http://tfs.cs.tu-berlin.de/workshops/accat2007/ AVIS: Int. Workshop on Automated Verification of Infinite-State Systems http://chacs.nrl.navy.mil/AVIS07 Bytecode: Bytecode Semantics, Verification, Analysis and Transformation http://www.sci.univr.it/~spoto/Bytecode07/ COCV: Sixth Workshop on Compiler Optimization Meets Compiler Verification http://pes.cs.tu-berlin.de/cocv2007/ FESCA: Formal Foundations of Embedded Software and Component-Based Software Architectures http://palab.dcs.kcl.ac.uk/fesca/ FinCo: Foundations of Interactive Computation http://www.cs.brown.edu/sites/finco07/ GT-VMT: Int. Workshop on Graph Transformation and Visual Modeling Techniques http://www.cs.le.ac.uk/events/GTVMT07/ HAV: Heap Analysis and Verification http://www.cs.tau.ac.il/~msagiv/hav.html HFL: Hardware design using Functional Languages http://hfl07.hflworkshop.org/ LDTA: Seventh Workshop on Language Descriptions, Tools and Applications http://www.di.uminho.pt/ldta07 MBT: Third Workshop on Model Based Testing http://react.cs.uni-sb.de/mbt2007/ MOMPES: Model-based Methodologies for Pervasive and Embedded Software http://www.di.uminho.pt/mompes OpenCert: Foundations and Techniques for Open Source Software Certification http://opencert.iist.unu.edu/ QAPL: Fifth Workshop on Quantitative Aspects of Programming Languages http://www.cse.yorku.ca/qapl07 SC: Software Composition http://ssel.vub.ac.be/sc2007 SLA++P: Model-driven High-level Programming of Embedded Systems http://web.uni-bamberg.de/wiai/gdi/SLAP07/ TERMGRAPH: Fourth International Workshop on Computing with Terms and Graphs http://www.termgraph.org.uk WITS: Seventh Workshop on Issues in the Theory of Security http://www.dsi.unive.it/IFIPWG1_7/wits2007.html ----------------------------------------------------------------------- Tutorials ----------------------------------------------------------------------- Program Transformation with Stratego/XT Martin Bravenboer (Utrecht University) and Eelco Visser (Delft University of Technology) Beyond the Generators: Practical Techniques for Real-World Software Generation Anthony M. Sloane (Macquarie University) Mobility, Ubiquity, and Security Gilles Barthe (INRIA), David Pichardie (IRISA), David Aspinall (Univ. of Edinburgh), Peter Müller (ETH Zurich), Lennart Beringer (LMU Munich) and Joe Kiniry (UC Dublin) ----------------------------------------------------------------------- Tool Demonstrations ----------------------------------------------------------------------- Demonstrations of tools presenting advances on the state of the art have been selected and are integrated in the programmes of the main conferences. ----------------------------------------------------------------------- Registration and Contact Details ----------------------------------------------------------------------- For online registration, please visit http://www.di.uminho.pt/etaps07/ and go to menu item "Registration". Contact details are available at the menu item "Contact us". In case of any questions not addressed on the web pages, please email etaps07(a)di.uminho.pt.

1 0

Re: [Haskell] GHC/ Fortress -Parallel Computing
by goenzoy＠web.de 23 Feb '07

23 Feb '07

Hallo Jan-Willem, Hallo all, Thanks for the clarification first. And coming to your statement > We've certainly looked to the FP community for inspiration in many aspects of the language > is there anything planned to advice programmers what use Haskell, to code in Fortress. The document what I have in mind in this direction is a Introduction in Lisp for Python programmer. http://norvig.com/python-lisp.html Any feedback welcome Regards Gottfried www.wirtschaftswunder.co.uk www.5152.eu > -----Ursprüngliche Nachricht----- > Von: Jan-Willem Maessen <Janwillem.Maessen(a)sun.com> > Gesendet: 20.02.07 15:58:14 > An: "Gottfried F. Zojer" <goenzoy(a)web.de> > CC: haskell(a)haskell.org > Betreff: Re: [Haskell] GHC/ Fortress -Parallel Computing > > On Feb 19, 2007, at 4:17 PM, Gottfried F. Zojer wrote: > > > Hallo to all, > > > > > > Just curious after reading a posting on the internet. > > Is somebody using Fortress in combination with Haskell ( GHC) in a > > parallel setup. > > http://en.wikipedia.org/wiki/Fortress_programming_language > > Not to my knowledge. The Fortress implementation is still at the > prototype stage; the prototype runs on the JVM, and JVM/Haskell > interoperability is known to be a bit tricky. In general there are > substantial challenges to integrating two languages with independent > garbage-collected run time systems. Add in independent notions of > transactional memory, rather different thread scheduling models, and > so forth and the problem becomes trickier still. > > That said, there is certainly at least one Haskell programmer writing > Fortress code (I wrote much of the library and some of the code > examples in the language implementation). We've certainly looked to > the FP community for inspiration in many aspects of the language. My > favorite example: Fortress generators are essentially build forms for > algebras in the Boom hierarchy, and we're effectively doing library- > driven foldr/build elimination (except in this algebra it's map- > reduce/build instead). > > -Jan-Willem Maessen > Project Fortress > Sun Microsystems > > > http://research.sun.com/projects/plrg/faq/index.html > > http://fortress.sunsource.net/ > > > > > > Thanks for any feedback > > > > > > Regards > > > > Gottfried > > > > www.wirtschaftswunder.co.uk > > > > www.5152.eu > > _______________________________________________ > > Haskell mailing list > > Haskell(a)haskell.org > > http://www.haskell.org/mailman/listinfo/haskell > >

3 2

research position at Nokia Research Center Cambridge US
by jamey.hicks＠nokia.com 22 Feb '07

22 Feb '07

Position available: Senior Research Engineer We seek an exceptional, highly motivated individual who is interested in a unique opportunity to collaborate with a world-class academic research community. This position is for the Armo project at NRC Cambridge (http://research.nokia.com/locations/cambridge/) using Bluespec hardware description language (http://www.bluespec.com/) to radically improve Nokia's ability to develop advanced SOCs and corresponding software for future mobile phones and mobile computers. We are investigating co-development of hardware and software components for such devices. Success in the project will lead to both academic publication as well as a significant positive impact on Nokia products and engineering. The ideal candidate will have an advanced degree and several years of industrial research experience. In addition to being expert in one or more technical areas, a successful candidate must be able to quickly master new fields of study and new technology. Candidates should be strong individual contributors with broad Computer Science engineering background and skills. They must be self-directed and require a minimum amount of supervision. As an individual contributor the candidate must be able and willing to work independently as well as participate as a member of other projects. In addition, candidates must have strong communication skills. They must be able to lead technology transfer activities, write research papers and proposals, participate in industrial standards activities (this may include international travel), and manage internal and external business relationships. Needed Competencies and Skills Expertise in computer architecture, parallel programming is required. Expertise in hardware definition languages such as Verilog, VHDL, and Bluespec is desired. Expertise in several programming languages and environments such as Haskell, Lisp, Java, C, C++, Symbian, Unix or Linux is needed. In depth understanding of operating systems, distributed systems and network protocols is desired. Department/Team Description Nokia Research Center Cambridge is a one year old group of 16 researchers located in Cambridge, Massachusetts. NRCC's charter is to renew Nokia via open innovation, in particular via joint research projects with MIT Computer Science and Artificial Intelligence Laboratory. We are a systems research center, investigating all aspects of future mobile phones and services. Our goal is to develop new technologies, applications, and services, and to work with the rest of Nokia to make these a reality. Contact: Jamey Hicks, Director, Nokia Research Center Cambridge jamey.hicks(a)nokia.com <mailto:jamey.hicks@nokia.com> http://research.nokia.com/locations/cambridge/ 3 Cambridge Center Cambridge MA 02142 US

1 0

New PhD Positions Computing Science, Chalmers University
by Koen Claessen 22 Feb '07

22 Feb '07

(apologies for multiple copies -- please forward to all interested parties) New PhD Positions 2007 Division of Computing Science, Chalmers University of Technology http://chalmersnyheter.chalmers.se/chalmers03/english/eng_vacanciesarticle.… The Division has about 80 researchers, half being faculty members and half PhD students. Our focus is on algorithms, bioinformatics, distributed systems and computing, functional programming, formal methods, interaction design, language technology, language based security, parallel and high performance computing, programming logic and type theory, but research is not restricted to these topics. For more information, see http://www.chalmers.se/cse/EN/research/research-groups Knowledge of Swedish is not a prerequisite for application. English is our working language for research. Both Swedish and English are used in undergraduate courses. Half of our researchers and PhD students are native Swedes; the rest come from more than 20 different countries. Applicants must have a very good undergraduate degree in Computing Science or in a related subject with a strong Computing Science component. They must also have a strong, documented interest in doing research. You may even apply if you have not yet completed your degree, but expect to do so by 1 September 2007. We particularly encourage applicants with interests in: - applying techniques from functional programming to develop novel methods of hardware design and verification. For more information on this point contact Mary Sheeran (ms(at)cs.chalmers.se); - automated theorem proving, SAT-solving, and functional programming. For more information on this point see http://www.cs.chalmers.se/~koen/folkung/, or contact Koen Claessen (koen(at)chalmers.se); - distributed algorithms for providing coordination services to networked or multiprocessor applications. For more information on this point see the webapages of the group Distributed Computing and Systems http://www.cs.chalmers.se/~dcs/ or contact Marina Papatriantafilou (ptrianta(at)cs.chalmers.se); - program analysis for software engineering. For more information on this point see the webpage of the group Software Methodologies and Systems (http://sms.cs.chalmers.se, "Open Positions") or contact Sibylle Schupp (<lastname>@cs.chalmers.se). The department especially welcomes female applicants. How to apply ------------ The full application should contain 1. A letter of application, listing specific research interests 2. A curriculum vitae 3. Attested copies of degrees and other certificates 4. Copies of relevant work, for example dissertations or articles, that you have authored or co-authored 5. Letters of recommendation from your teachers or employers *** You MUST include or e-mail Letters of Recommendation: we typically get over 100 apps, and it is simply not feasible for us to request individual letters *** The job reference number is: 2007/30. The last date for your full application to arrive is March 9, 2007 Send your application electronically in PDF files or by paper-mail to Registrator, Chalmers University of Technology, Se-412 96 Göteborg, Sweden. Phone: +4631 772 1000, Fax: +4631 772 4922, E-mail: registrator(at)adm.chalmers.se If you need more information regarding PhD studies at the division please contact Philippas Tsigas (tsigas(at)cs.chalmers.se). You will know the result of your application by 30 May 2007. Union representatives: SACO Jan Lindér, TCO Monica Orrbacke, SEKO Ralf Berndtsson

1 0

TFP 2007: Registration and Progam
by TFP 2007 21 Feb '07

21 Feb '07

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/

1 0

Composing applicative functors?
by Conal Elliott 21 Feb '07

21 Feb '07

Is the composition instance of Control.Applicative defined somewhere? I see it in the McBride & Paterson paper [1], but not in the library docs [2]. I'd rather pull it in from a library than (re)define it myself. [1] http://www.soi.city.ac.uk/~ross/papers/Applicative.pdf [2] http://www.haskell.org/ghc/docs/latest/html/libraries/base/Control-Applicat…

1 0