http://blog.gmane.org/gmane.comp.lang.caml.inria hourly 1 1901-01-01T00:00+00:00 http://gmane.org/img/gmane-25t.png http://gmane.org http://comments.gmane.org/gmane.comp.lang.caml.inria/54942 <pre> COMMERCIAL USERS OF FUNCTIONAL PROGRAMMING 2012 CUFP 2012 http://cufp.org/conference CALL FOR PRESENTATIONS Copenhagen, Denmark Sep 13-15 Co-located with ICFP 2012 Sponsored by SIGPLAN Talk Proposal Submission Deadline 29 June 2012 The annual CUFP workshop is a place where people can see how others are using functional programming to solve real world problems; where practitioners meet and collaborate; where language designers and users can share ideas about the future of their favorite language; and where one can learn practical techniques and approaches for putting functional programming to work. Giving a CUFP Talk ================== If you have experience using functional languages in a practical setting, we invite you to submit a proposal to give a talk at the workshop. We're looking for two kinds of talks: Experience reports are typically 25 minutes long, and aim to inform participants about how functional programming plays out in real-world applications, focusing especially on lessons learned and insights gained. Experience reports don't need to be highly technical; reflections on the commercial, management, or software engineering aspects are, if anything, more important. Technical talks are also 25 minutes long, and should focus on teaching the audience something about a particular technique or methodology, from the point of view of someone who has seen it play out in practice. These talks could cover anything from techniques for building functional concurrent applications, to managing dynamic reconfigurations, to design recipes for using types effectively in large-scale applications. While these talks will often be based on a particular language, they should be accessible to a broad range of programmers. If you are interested in offering a talk, or nominating someone to do so, send an e-mail to sperber(at)deinprogramm(dot)de or avsm2(at)cl(dot)cam(dot)ac(dot)uk by 29 June 2012 with a short description of what you'd like to talk about or what you think your nominee should give a talk about. Such descriptions should be about one page long. There will be a short scribes report of the presentations and discussions but not of the details of individual talks, as the meeting is intended to be more a discussion forum than a technical interchange. You do not need to submit a paper, just a proposal for your talk! Program Committee ================= Mike Sperber (Active Group), co-chair Anil Madhavapeddy (University of Cambridge), co-chair Ashish Agarwal (New York University) Thomas Arts (QuviQ AB) Chris Houser (LonoCloud) Tomas Petricek (University of Cambridge) Heiko Seeberger (Typesafe) Stefan Wehr (factis research) Noel Welsh (untyped) More information ================ For more information on CUFP, including videos of presentations from previous years, take a look at the CUFP website at http://cufp.org. Note that presenters, like other attendees, will need to register for the event. Presentations will be video taped and presenters will be expected to sign an ACM copyright release form. Acceptance and rejection letters will be sent out by July 16th. Guidance on giving a great CUFP talk ==================================== Focus on the interesting bits: Think about what will distinguish your talk, and what will engage the audience, and focus there. There are a number of places to look for those interesting bits. Setting: FP is pretty well established in some areas, including formal verification, financial processing and server-side web-services. An unusual setting can be a source of interest. If you're deploying FP-based mobile UIs or building servers on oil rigs, then the challenges of that scenario are worth focusing on. Did FP help or hinder in adapting to the setting? Technology: The CUFP audience is hungry to learn about how FP techniques work in practice. What design patterns have you applied, and to what areas? Did you use functional reactive programming for user interfaces, or DSLs for playing chess, or fault-tolerant actors for large scale geological data processing? Teach us something about the techniques you used, and why we should consider using them ourselves. Getting things done: How did you deal with large software development in the absence of a myriad of pre-existing support that are often expected in larger commercial environments (IDEs, coverage tools, debuggers, profilers) and without larger, proven bodies of libraries? Did you hit any brick walls that required support from the community? Don't just be a cheerleader: It's easy to write a rah-rah talk about how well FP worked for you, but CUFP is more interesting when the talks also spend time on what doesn't work. Even when the results were all great, you should spend more time on the challenges along the way than on the parts that went smoothly. </pre> Ashish Agarwal 2012-05-24T19:06:50 http://comments.gmane.org/gmane.comp.lang.caml.inria/54931 <pre>Hi list, About two years ago, the following bug was reported: https://forge.ocamlcore.org/tracker/index.php?func=detail&amp;aid=659&amp;group_id=43&amp;atid=255 If you don't want to click, here is the issue. Tuareg indents pattern-matching like this: match x with | Bla -&gt; hello But the previous behavior of Tuareg, which I prefer, was: match x with | Bla -&gt; hello I have occasionally been updating my tuareg-mode, looking forward for this "tuareg-pipe-indent" variable (see the comments in the bug report), while patiently re-indenting pattern-matching by hand. But this variable, or any similar variable, never appeared. After two years, I'm becoming suspicious that something went wrong. Does anybody know what happened to the patch? Or how I can get my preferred behavior back? A related question is the following. I read here a few weeks ago a claim that the caml-mode was much better than the tuareg-mode. I was not able to find a comparison between these two modes, to support this claim, nor whether the caml-mode would fix the pipe behavior for me. Any comment here would be appreciated. Cheers, </pre> Romain Bardou 2012-05-23T15:15:17 http://comments.gmane.org/gmane.comp.lang.caml.inria/54930 <pre>ICSSEA 2012 24th International Conference on SOFTWARE &amp; SYSTEMS ENGINEERING and their APPLICATIONS Telecom ParisTech, Paris, October 23-25, 2012 Web site : http://icssea.enst.fr Sponsored by AFIS (the French Association for Systems Engineering) and INCOSE, co-organized by TELECOM ParisTech, CS Communication &amp; Systems, and the Génie Logiciel quarterly, the 24th edition of the ICSSEA Conference (International Conference on Software &amp; Systems Engineering and their Applications) will be held in Paris on October 23-25, 2012. By gathering actors from across the enterprise and research worlds, it aims at providing a critical survey of the status of tools, methods, and processes for elaborating software &amp; systems. TOPICS As in previous ICSSEA Conferences, any topic in connection with software engineering &amp; systems engineering is eligible. . Architectures: composition, orchestration, semantically-enabled SOA, ontology-based technologies... . Complex systems engineering . Components &amp; reusability . Development methods: agile, lean, contract-oriented development. . Distributed computing: service-oriented computing, grid services, Web services, mobile applications... . Evolution: adaptability, maintainability, variability... . Information systems . Management of functional and non-functional properties: analysis &amp; design, representation, modeling, monitoring, composition, configurability, relationship with architecture, resolution of conflicts, aspect orientation, metrics for non-functional properties, semantic issues... . Man-system interfaces: ergonomics, interaction, cognitive engineering. . Open source issues: architectures for seamless integration/composition, quality assurance, . Outsourcing issues . Process engineering with different notations: UML, DoDAF, SysML, the MDA/MDE approaches. . Project management: conventional methods, agile approaches. . Quality control &amp; assurance: quality assessment, testing, V&amp;V... . Quantitative evaluations: architecture, availability, performance, quality, reliability, safety... . Requirements engineering: elicitation, V&amp;V, modeling, natural language approaches, use of ontologies,. . Software platforms specific of application domains . Systems engineering and Systems of systems . Web engineering: design, composition, control flow, user interface migration, discovery and selection of services, ontology engineering... Original, unpublished papers are solicited. They may concern industrial implementations or experiments, describe significant results from ongoing projects, research results applicable to industrial applications, or deal with socioeconomic issues associated with software &amp; systems engineering. Offerors may also propose tool demonstrations and posters presentations. All submissions should clearly describe the nature of the work to be presented, explain its contribution, highlight its novel features, and state precisely its current status. All types of systems are eligible: adaptive, autonomous, context-aware, distributed, embedded, grid computing, mobile, real-time, service-oriented, ubiquitous, Web-based, etc. All end-user domains and economic areas are eligible: information systems, process management, automotive, avionics, banking, defense, energy, health care, insurance, space, telecommunications, transportation, etc. INSTRUCTIONS TO AUTHORS Submission and selection of proposed interventions will be conducted as follows: 1- Submit, before June 8, 2012, - for industrial implementations and experiments, a text of at least 1000 words (about 5,000 characters, figures excluded), in English, including the title of the paper, an abstract of about 200 words, and the address, phone and fax numbers as well as the email address of the authors. If already available, a complete text (about 20,000 characters) would be welcome. - For applied research results, a text not exceeding the equivalent of 20,000 characters in length (with figures included), in English, including the title of the paper, a 200-500 word summary, and the address, phone and fax numbers as well as the email address of the authors. - For tools demonstrations and posters presentations, a text not exceeding 2 pages 2- Full papers or extended abstracts will be reviewed by at least three independent reviewers and selected by the International Program Committee. 3- Authors of accepted papers or extended papers will be notified by July 1rst, 2012 and will receive the recommendations made by the International Program Committee. 4- Authors of accepted abstracts or full papers should provide, before August 1st, 2012, a text not exceeding the equivalent of 20,000 characters in length (with figures included), in the form of a file, in Word format, attached to an electronic message. Final texts will be submitted, for final checking, to the International Program Committee before publication in the Conference Proceedings, which will be available during the event. 5- At least one author is required to register and attend the conference to present the paper Submission address: genie-logiciel&lt; at &gt;orange.fr GENERAL CHAIRS Agusti Canals (CS) Elie Najm (Telecom ParisTech) Jean-Claude Rault (Génie Logiciel) STEERING COMMITTEE Maarten Boasson - Consultant (NL) Joseph K. DeRosa - Consultant (USA) Vassilka Kirova - Alcatel-Lucent (USA) Claude Y. Laporte - École de Technologie Supérieure (CDN) Gérard Memmi - Telecom ParisTech (F) Axel Rennoch - Fraunhofer FOKUS (D) INTERNATIONAL PROGRAM COMMITTEE See Web site: http://icssea.enst.fr __________________________________________________________________________ INFORMATION FORM To be returned to: Jean-Claude Rault genie-logiciel&lt; at &gt;orange.fr Last Name:............................................................................. First Name:............................................................................ Organization: ........................................................................ E-mail: ...................... Telephone: ................... Address:................................................................................. ............................................................................................... ............................................................................................... ( ) is interested in ICSSEA 2012 ( ) wishes to be kept informed ( ) intends to submit a paper Tentative title:............................................................................................................ ................................................................................................................................... Short abstract (5-10 lines): ....................................................................................... ................................................................................................................................... ................................................................................................................................... </pre> genie-logiciel 2012-05-22T06:34:42 http://comments.gmane.org/gmane.comp.lang.caml.inria/54926 <pre> CICM 2012 - Conference on Intelligent Computer Mathematics July 9-13, 2012 at Jacobs University, Bremen, Germany http://www.informatik.uni-bremen.de/cicm2012/ Call for participation ---------------------------------------------------------------- As computers and communications technology advance, greater opportunities arise for intelligent mathematical computation. While computer algebra, automated deduction, mathematical publishing and novel user interfaces individually have long and successful histories, we are now seeing increasing opportunities for synergy among these areas. The Conference on Intelligent Computer Mathematics offers a venue for discussing these areas and their synergy. The conference is organized by Serge Autexier and Michael Kohlhase at Jacobs University in Bremen and consist of five tracks: Artificial Intelligence and Symbolic Computation (AISC) Co-Chairs: John A. Campbell, Jacques Carette Calculemus Chair: Gabriel Dos Reis Digital Mathematical Libraries (DML) Chair: Petr Sojka Mathematical Knowledge Management (MKM) Chair: Makarius Wenzel Systems and Projects Chair: Volker Sorge The overall programme is organized by the General Program Chair Johan Jeuring. Invited talks will be given by: Yannis Haralambous, Département Informatique, Télécom Bretagne Conor McBride, Department of Computer and Information Sciences, University of Strathclyde Cezar Ionescu, Potsdam Institute for Climate Impact Research ---------------------------------------------------------------- Programme ---------------------------------------------------------------- The global programme of the conference, tracks, and workshops are available via: http://www.informatik.uni-bremen.de/cicm2012/cicm.php?event=&amp;menu=programme and the accepted papers via: http://www.informatik.uni-bremen.de/cicm2012/cicm.php?event=&amp;menu=accepted ---------------------------------------------------------------- Registration ---------------------------------------------------------------- Early registration rates are applicable until June 15. See http://www.informatik.uni-bremen.de/cicm2012/cicm.php?event=&amp;menu=registration </pre> Johan Jeuring 2012-05-21T12:56:56 http://comments.gmane.org/gmane.comp.lang.caml.inria/54923 <pre>I only recently noticed that ocaml does not close open channels when they are garbage collected. This is evidently intentional behavior, but it was quite unexpected. To be clear, I do think it's bad style to rely on GC for releasing OS resources, but that doesn't explain why GC shouldn't do this if the programmer has failed to explicitly close the channel. And if the intention were to _enforce_ good style, the channel finaliser would spout out an error or warning upon detecting that the channel hasn't yet been closed, instead of just silently leaking file handles like it does currently. It is of course trivial to "fix" this by attaching a simple finaliser, but the fact that this is not done by default makes me suspect that there would be something fishy with this approach. So, what's the rationale for the current behavior? Thanks, Lauri </pre> Lauri Alanko 2012-05-21T11:23:36 http://comments.gmane.org/gmane.comp.lang.caml.inria/54918 <pre> I'm trying to resurrect an old OCaml code base that appears to be written against OCaml 3.00. The Windows installers for OCaml 3.00 and 3.01 don't run on this machine. I've managed to compile it using OCaml 3.12 but the output doesn't seem to be what is expected so I'm guessing it's a backward compatibility issue. What changes have broken backward compatibility since OCaml 3.00 (in 2000) and when were they brought in? I remember something about equality and floating point numbers... </pre> Jon Harrop 2012-05-20T20:43:33 http://comments.gmane.org/gmane.comp.lang.caml.inria/54917 <pre>Hello, It is my pleasure to announce the multitude of (long overdue) releases tonight : ocaml-extunix 0.0.4 ------------------- ExtUnix provides thin bindings to various low-level system APIs which are not covered by Unix module. This release adds many new bindings and implements bigarray variants of some functions (as a consequence extunix now depends on bigarray). Many thanks to Goswin von Brederlow (who was the driving force behind this release), Andre Nathan and all previous (and future) contributors. Get it at http://extunix.forge.ocamlcore.org/ ocaml-mysql 1.1.1 ----------------- Bindings to libmysqlclient. This release update build infrastructure tools (OCamlMakefile, autotools, etc), provides Windows build support (both for msvc and mingw), fixes OCaml 3.12 compatibility and implements a couple of new features. Thanks go to Dmitry Grebeniuk and Hezekiah M. Carty. More info and download links : http://ocaml-mysql.forge.ocamlcore.org/ ocaml-geoip 0.0.1 ----------------- Bindings to libGeoIP library to access offline database of geographical information keyed by IP address. The bindings code is generated by camlidl and hopefully provides a comprehensive coverage of available C API. Homepage : http://geoip.forge.ocamlcore.org/ ocaml-lzo 0.0.1, ocaml-snappy 0.0.1 ----------------------------------- Both these packages implement bindings to fast lossless compression/decompression libraries (that generally favor speed over compression ratio) and feature simple interface that operates on string buffers. Choose your poison : http://snappy.forge.ocamlcore.org/ or http://lzo.forge.ocamlcore.org/ ocaml-winsvc 0.0.1 ------------------ winsvc helps to turn OCaml program into Windows service. This is some old (but working) code with hardcoded build scripts. Drags out miserable existence at http://winsvc.forge.ocamlcore.org/ </pre> ygrek 2012-05-19T21:30:18 http://comments.gmane.org/gmane.comp.lang.caml.inria/54916 <pre>*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject* ********************************************************************* 2012 INTERNATIONAL FALL SCHOOL IN FORMAL LANGUAGES AND APPLICATIONS FSFLA 2012 (formerly International PhD School in Formal Languages and Applications) Tarragona, Spain October 29 – November 2, 2012 Organized by: Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/fsfla2012/ ********************************************************************* AIM: FSFLA 2012 offers a broad and intensive series of lectures at different levels on selected topics in language and automata theory and their applications. The students choose their preferred courses according to their interests and background. Instructors are top names in their respective fields. The School intends to help students initiate and foster their research career. The previous event in this series was FSFLA 2011 ( &lt;http://grammars.grlmc.com/fsfla2011/&gt; http://grammars.grlmc.com/fsfla2011/). ADDRESSED TO: Graduate (and advanced undergraduate) students from around the world. Most appropriate degrees include: Computer Science and Mathematics. Other students (for instance, from Linguistics, Electrical Engineering, Molecular Biology or Logic) are welcome too provided they have a good background in discrete mathematics. The School is appropriate also for people more advanced in their career who want to keep themselves updated on developments in the field. There is no overlap in the class schedule. COURSES AND PROFESSORS: - Eric Allender (Rutgers), Circuit Complexity: Recent Progress in Lower Bounds [introductory/advanced, 8 hours] - Amihood Amir (Bar-Ilan), Periodicity and Approximate Periodicity in Pattern Matching [introductory, 6 hours] - Ahmed Bouajjani (Paris 7), Automated Verification of Concurrent Boolean Programs [introductory/advanced, 8 hours] - Bruno Courcelle (Bordeaux), Automata for Monadic Second-order Model Checking [intermediate, 8 hours] - Jörg Flum (Freiburg), The Halting Problem for Turing Machines [introductory/advanced, 6 hours] - Aart Middeldorp (Innsbruck), Termination of Rewrite Systems [introductory/intermediate, 8 hours] REGISTRATION: It has to be done on line at http://grammars.grlmc.com/fsfla2012/Registration.php FEES: They are variable, depending on the number of courses each student takes. The rule is: 1 hour = - 10 euros (for payments until June 2, 2012), - 12.50 euros (for payments between June 3 and August 15, 2012), - 15 euros (for payments after August 15, 2012). PAYMENT PROCEDURE: The fees must be paid to the School's bank account: Uno-e Bank bank’s address: Julian Camarillo 4 C, 28037 Madrid, Spain IBAN: ES3902270001820201823142 SWIFT/BIC code: UNOEESM1 account holder: Carlos Martin-Vide GRLMC account holder’s address: Av. Catalunya 35, 43002 Tarragona, Spain Please mention FSFLA 2012 and your name in the subject. A receipt will be provided on site. Remarks: - Bank transfers should not involve any expense for the School. - People claiming early registration will be requested to prove that the bank transfer order was carried out by the deadline. - Students may be refunded only in the case when a course gets cancelled due to the unavailability of the instructor. People registering on site at the beginning of the School must pay in cash. For the sake of local organization, however, it is much recommended to do it earlier. ACCOMMODATION: Information about accommodation is available on the website of the School. CERTIFICATE: Students will be delivered a certificate stating the courses attended, their contents, and their duration. IMPORTANT DATES: Announcement of the programme: March 24, 2012 Starting of the registration: March 24, 2012 Very early registration deadline: June 2, 2012 Early registration deadline: August 15, 2012 Starting of the School: October 29, 2012 End of the School: November 2, 2012 QUESTIONS AND FURTHER INFORMATION: Lilica Voicu: florentinalilica.voicu&lt; at &gt;urv.cat WEBSITE: http://grammars.grlmc.com/fsfla2012/ POSTAL ADDRESS: FSFLA 2012 Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain Phone: +34-977-559543 Fax: +34-977-558386 ACKNOWLEDGEMENTS: Diputació de Tarragona Universitat Rovira i Virgili </pre> GRLMC 2012-05-18T21:09:57 http://comments.gmane.org/gmane.comp.lang.caml.inria/54909 <pre>Folks, Is there an implementation of an email server (MTA) in OCaml? I actually need just the server portion as I plan to use Amazon Simple Email Service as the client. Thanks, Joel -------------------------------------------------------------------------- AlgoKit: EasyLanguage trading strategies, on the server, w/ Rithmic R|API ---------------------+------------+--------------------------------------- http://wagerlabs.com | &lt; at &gt;wagerlabs | http://www.linkedin.com/in/joelreymont ---------------------+------------+--------------------------------------- </pre> Joel Reymont 2012-05-18T18:36:26 http://comments.gmane.org/gmane.comp.lang.caml.inria/54906 <pre> [We apologize for multiple copies] ==================================================================== Final Call for Papers FACS 2012 9th International Symposium Formal Aspects of Component Software http://www.cmu.edu/silicon-valley/facs12/ Mountain View, USA, September 12-14, 2012 ==================================================================== Highlights: ----------- - Invited speakers: * Shaz Qadeer, Microsoft, USA http://research.microsoft.com/en-us/people/qadeer/ * Tevfik Bultan, University of California Santa Barbara, USA http://www.cs.ucsb.edu/~bultan/ * Scope * The component-based software development approach has emerged as a promising paradigm to cope with the complexity of present-day software systems by bringing sound engineering principles into software engineering. However, many challenging conceptual and technological issues still remain in component-based software development theory and practice. Moreover, the advent of service-oriented computing has brought to the fore new dimensions, such as quality of service and robustness to withstand inevitable faults, that require revisiting established component-based concepts in order to meet the new requirements of the service-oriented paradigm. FACS 2012 is concerned with how formal methods can be used to make component-based and service-oriented software development succeed. Formal methods have provided a foundation for component-based software by successfully addressing challenging issues such as mathematical models for components, composition and adaptation, or rigorous approaches to verification, deployment, testing, and certification. * Topics of interest * The symposium seeks to address the applications of formal methods in all aspects of software components and services. Specific topics include, but are not limited to: * formal models for software components and their interaction * formal aspects of services, service oriented architectures, business processes, and cloud computing * design and verification methods for software components and services * composition and deployment: models, calculi, languages * formal methods and modeling languages for components and services * model based and GUI based testing of components and services * models for QoS and other extra-functional properties (e.g., trust, compliance, security) of components and services * components for real-time, safety-critical, secure, and/or embedded systems * industrial or experience reports, and case studies * update and reconfiguration of component and service architectures * component systems evolution and maintenance * autonomic components and self-managed applications * formal and rigorous approaches to software adaptation and self-adaptive systems * Submissions * We solicit high-quality submissions reporting on (as related to topics mentioned above): * A - original research contributions (18 pages max, LNCS format); * B - applications and experiences (18 pages max, LNCS format); * C - surveys, comparisons, and state-of-the-art reports (18 pages max, LNCS format); * D - tool papers (6 pages max, LNCS format); In addition, we also solicit submissions to the Doctoral Track of FACS 2012, in the form of abstracts (2 pages, LNCS format) concisely capturing PhD-work-in-progress, related theme, context, research questions, envisaged contributions, and partial results. All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. Papers should be formatted according to the guidelines for Springer LNCS papers (more information for LNCS authors). Paper submission will be done electronically via Easychair: https://www.easychair.org/account/signin.cgi?conf=facs12 All accepted papers will appear in the pre-proceedings of FACS 2012. Revised versions of accepted papers in the categories A-D above will appear in the post-proceedings of the symposium that will be published as a volume in the Springer's Lecture Notes in Computer Science series. The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to appear in a special issue of the Science of Computer Programming journal. * Important Dates * Abstract submission: June 8, 2012 Paper submission: June 15, 2012 Notification: July 27, 2012 Final version due: August 13, 2012 Symposium: September 12-14, 2012 * Program Co-Chairs * Corina Pasareanu, NASA Ames, USA Gwen Salaun, Grenoble INP, INRIA, France * Publicity Chair * Javier Camara, University of Coimbra, Portugal * Program Committee * Erika Abraham, RWTH Aachen University, Germany Farhad Arbab, CWI and Leiden University, The Netherlands Christian Attiogbe, University of Nantes, France Christel Baier, Technical University of Dresden, Germany Luis Barbosa, University of Minho, Portugal Frank de Boer, CWI, The Netherlands Roberto Bruni, University of Pisa, Italy Carlos Canal, University of Malaga, Spain Jose Luiz Fiadeiro, University of Leicester, UK Carlo Ghezzi, Politecnico di Milano, Italy Rolf Hennicker, Ludwig-Maximilians-Universitat Munich, Germany Zhiming Liu, IIST UNU, Macau Markus Lumpe, Swinburne University of Technology, Australia Eric Madelaine, INRIA, Centre Sophia Antipolis, France Sun Meng, Peking University, China John Mullins, Polytechnical School of Montreal, Canada Peter Olveczky, University of Oslo, Norway Corina Pasareanu, NASA Ames, USA Frantisek Plasil, Charles University, Czech Republic Pascal Poizat, University of Evry Val d'Essonne, France Shaz Qadeer, Microsoft, USA John Rushby, SRI International, USA Gwen Salaun, Grenoble INP, INRIA, France Bernhard Schaetz, fortiss GmbH, Germany Nishant Sinha, IBM Research Labs, Bangalore, India Marjan Sirjani, Reykjavik University, Iceland Volker Stolz, University of Oslo, Norway Carolyn Talcott, SRI International, USA Oksana Tkachuk, NASA Ames, USA Sebastian Uchitel, University of Buenos Aires, Argentina and Imperial College London, UK Gianluigi Zavattaro, University of Bologna, Italy * Steering Committee * Farhad Arbab, CWI and Leiden University, The Netherlands (coordinator) Luis Barbosa, University of Minho, Portugal Carlos Canal, University of Malaga, Spain Zhiming Liu, IIST UNU, Macau, China Markus Lumpe, Swinburne University of Technology, Australia Eric Madelaine, INRIA, Centre Sophia Antipolis, France Peter Olveczky, University of Oslo, Norway Corina Pasareanu, NASA Ames, USA Bernhard Schaetz, fortiss GmbH, Germany </pre> Javier Cámara Moreno 2012-05-18T02:25:55 http://comments.gmane.org/gmane.comp.lang.caml.inria/54901 <pre>Hello, 2012/5/15 Mehdi Dogguy &lt;mehdi&lt; at &gt;dogguy.org&gt;: Not much, but keeping git up-to-date (with the occasional "git gc"). Moreover, it means Gallium will need to have an internet-facing server, and maintain it. However, the SVN is at caml.inria.fr, which might mean that they aren't using Inria's GForge, so they might already have such a server. Indeed, at least for mid-size projects; I don't know whether one scales up more easily than the other). </pre> Nicolas Braud-Santoni 2012-05-17T10:18:54 http://comments.gmane.org/gmane.comp.lang.caml.inria/54899 <pre>Hello, With odb.ml as installed by ocamlbrew, 'odb.ml oasis' doesn't terminate correctly: --- W: Cannot find source file matching module 'OASISData' in library oasis I: Running command '/home/berenger/ocamlbrew/ocaml-3.12.1/bin/ocamlbuild src/oasis/oasis.cma src/oasis/oasis.cmxa src/oasis/oasis.a src/base/base.cma src/base/base.cmxa src/base/base.a src/builtin-plugins.cma src/builtin-plugins.cmxa src/builtin-plugins.a src/cli/cli.cma test/test.byte src/cli/Main.byte -tag debug' Finished, 1 target (0 cached) in 00:00:00. + ocamlfind ocamlc -c -g -annot -I src/oasis -I src/base -I src -package unix -package pcre -package odn -package ocamlgraph -package oUnit -package findlib -package fileutils -package extlib -package expect.pcre -I test -I src -I src/base -I src/cli -I src/oasis -I src/plugins/none -I src/plugins/ocamlbuild -I src/plugins/internal -I src/plugins/custom -I src/plugins/extra/stdfiles -I src/plugins/extra/devfiles -I src/plugins/extra/META -o test/TestFileTemplate.cmo test/TestFileTemplate.ml File "test/TestFileTemplate.ml", line 172, characters 13-31: Warning 5: this function application is partial, maybe some arguments are missing. + ocamlfind ocamlc -c -g -annot -I src/oasis -I src/base -I src -package unix -package pcre -package odn -package ocamlgraph -package oUnit -package findlib -package fileutils -package extlib -package expect.pcre -I test -I src -I src/base -I src/cli -I src/oasis -I src/plugins/none -I src/plugins/ocamlbuild -I src/plugins/internal -I src/plugins/custom -I src/plugins/extra/stdfiles -I src/plugins/extra/devfiles -I src/plugins/extra/META -o test/TestMETA.cmo test/TestMETA.ml File "test/TestMETA.ml", line 118, characters 12-1952: Error: This expression has type (string * Fl_metascanner.pkg_expr) option but an expression was expected of type unit Command exited with code 2. Compilation unsuccessful after building 451 targets (0 cached) in 00:00:19. E: Command '/home/berenger/ocamlbrew/ocaml-3.12.1/bin/ocamlbuild src/oasis/oasis.cma src/oasis/oasis.cmxa src/oasis/oasis.a src/base/base.cma src/base/base.cmxa src/base/base.a src/builtin-plugins.cma src/builtin-plugins.cmxa src/builtin-plugins.a src/cli/cli.cma test/test.byte src/cli/Main.byte -tag debug' terminated with error code 10 Exception: Failure "Could not build oasis". --- I understand some unit test is failing. Regards, F. </pre> Francois Berenger 2012-05-17T02:33:02 http://comments.gmane.org/gmane.comp.lang.caml.inria/54898 <pre> CALL FOR TALK PROPOSALS HOPE 2012 The 1st ACM SIGPLAN Workshop on Higher-Order Programming with Effects September 9, 2012 Copenhagen, Denmark (the day before ICFP 2012) http://hope2012.mpi-sws.org HOPE is a *new workshop* that is intended to bring together researchers interested in the design, semantics, implementation, and verification of higher-order effectful programs. It will be *informal*, consisting of invited talks, contributed talks on work in progress, and open-ended discussion sessions. This 1st edition of HOPE is dedicated to John Reynolds, whose work is an inspiration to us all. --------------------- Goals of the Workshop --------------------- A recurring theme in many papers at ICFP, and in the research of many ICFP attendees, is the interaction of higher-order programming with various kinds of effects: storage effects, I/O, control effects, concurrency, etc. While effects are of critical importance in many applications, they also make it hard to build, maintain, and reason about one's code. Higher-order languages (both functional and object-oriented) provide a variety of abstraction mechanisms to help "tame" or "encapsulate" effects (e.g. monads, ADTs, ownership types, typestate, first-class events, transactions, Hoare Type Theory, session types, substructural and region-based type systems), and a number of different semantic models and verification technologies have been developed in order to codify and exploit the benefits of this encapsulation (e.g. bisimulations, step-indexed Kripke logical relations, higher-order separation logic, game semantics, various modal logics). But there remain many open problems, and the field is highly active. The goal of the HOPE workshop is to bring researchers from a variety of different backgrounds and perspectives together to exchange new and exciting ideas concerning the design, semantics, implementation, and verification of higher-order effectful programs. We want HOPE to be as informal and interactive as possible. The program will thus involve a combination of invited talks, contributed talks about work in progress, and open-ended discussion sessions. There will be no published proceedings, but participants will be invited to submit working documents, talk slides, etc. to be posted on this website. ----------------------- Call for Talk Proposals ----------------------- We solicit proposals for contributed talks. Proposals should be at most 2 pages, in either plain text or PDF format, and should specify how long a talk the speaker wishes to give. By default, contributed talks will be 30 minutes long, but proposals for shorter or longer talks will also be considered. Speakers may also submit supplementary material (e.g. a full paper, talk slides) if they desire, which PC members are free (but not expected) to read. We are interested in talks on all topics related to the interaction of higher-order programming and computational effects. Talks about work in progress are particularly encouraged. If you have any questions about the relevance of a particular topic, please contact the PC chairs at the address hope2012&lt; at &gt;mpi-sws.org. Deadline for talk proposals: June 8, 2012 (Friday) Notification of acceptance: July 1, 2012 (Sunday) Workshop: September 9, 2012 (Sunday) The submission website is now open: http://www.easychair.org/conferences/?conf=hope2012 --------------------- Workshop Organization --------------------- Program Co-Chairs: Amal Ahmed (Northeastern University) Derek Dreyer (MPI-SWS, Germany) Program Committee: Jim Laird (University of Bath) Rasmus Møgelberg (IT University of Copenhagen) Greg Morrisett (Harvard University) Aleks Nanevski (IMDEA Software Institute) David Naumann (Stevens Institute of Technology) Matthew Parkinson (Microsoft Research Cambridge) François Pottier (INRIA Rocquencourt) Amr Sabry (Indiana University) Eijiro Sumii (Tohoku University) Nikhil Swamy (Microsoft Research Redmond) Nobuko Yoshida (Imperial College London) </pre> Amal Ahmed 2012-05-16T19:03:02 http://comments.gmane.org/gmane.comp.lang.caml.inria/54897 <pre>I'm feeling my way into using OCaml to provide calculations for a Cocoa application for OS X using XCode on an iMac. I'm totally new at OCaml. I'm working with the example in the manual, section 18.8 as a basis. After taking small steps via plain C versions, finally, I made a simple cocoa app with entry an entry field for an integer, and a value field for the fibonacci value for the entry. Compiliation failed due to an inconsistency between /usr/local/lib/ocaml/caml/config.h and cocoa's ...Security.framework/cssmconfig.h Specifically in this sequence: #if defined(ARCH_INT64_TYPE) typedef ARCH_INT64_TYPE int64; typedef ARCH_UINT64_TYPE uint64; #else ... Here the typedef for uint64 is in conflict with the framework's typedef in cssmconfig.h: #ifndef _UINT64 typedef uint64_t uint64; #define _UINT64 #endif Here is the complete XCode compilation error output: ------ Compile error output: /usr/local/lib/ocaml/caml/config.h /usr/local/lib/ocaml/caml/config.h:130:26: error: typedef redefinition with different types ('unsigned long' vs 'uint64_t' (aka 'unsigned long long')) [3] In file included from /usr/local/lib/ocaml/caml/mlvalues.h:22: In file included from /usr/local/lib/ocaml/caml/callback.h:24: In file included from /Users/jr/test/OCaml-for-C/XCodeGUIVersion/OcamlFibTestCocoa/OcamlFibTestCocoa/main.m:10: Typedef redefinition with different types ('unsigned long' vs 'uint64_t' (aka 'unsigned long long')) in /usr/local/lib/ocaml/caml/config.h /Developer/SDKs/MacOSX10.7.sdk/System/Library/Frameworks/Security.framework/Headers/cssmconfig.h:53:18: note: previous definition is here ------ end compile error output The "here" refers to the file cssmconfig.h in the cocoa Security.framework. I did a temporary fix by commenting out the typedef for uint64 in .../caml/config.h, and everything worked fine. But this probably isn't the right solution! Further info: Using XCode 4.2 with Mac OS X Lion 10.7.4. When I installed OCaml, I used the source ocaml-3.12.1.tar. I did configure with no options. I followed the instructions in the INSTALL file exactly (as far as I can tell!). Best, John Velman </pre> John Velman 2012-05-16T18:35:12 http://comments.gmane.org/gmane.comp.lang.caml.inria/54890 <pre>NASA/NIA PVS Class October 9-12, 2012 The Formal Methods teams at the NASA Langley Research Center and the National Institute of Aerospace are offering a short course on the PVS theorem prover in the fall of 2012. The class will take place October 9-12 in Hampton, Virginia: http://shemesh.larc.nasa.gov/PVSClass2012 The course is offered free of charge as a public service to the formal methods community. The class is open to all interested individuals. However, seats are limited and all attendees must register at http://shemesh.larc.nasa.gov/PVSClass2012/registration.html We emphasize a hands-on, immersion-style learning approach. Both lecturematerial and in-class exercises using PVS are featured. For this reason, we strongly encourage attendees to bring a laptop equipped to run PVS. All the instructors are members of the NASA Langley Formal Methods group and expert PVS users. The PVS Class 2012 will feature a technical lecture and an invited talk by Sam Owre, one of the creators of PVS and its main developer. For more information, please contact Cesar Munoz (Cesar.A.Munoz&lt; at &gt;nasa.gov), Anthony Narkawicz (Anthony.Narkawicz&lt; at &gt;nasa.gov) http://shemesh.larc.nasa.gov/PVSClass2012 --- To opt-out from this mailing list, send an email to fm-announcements-request&lt; at &gt;lists.nasa.gov with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting fm-announcements-owner&lt; at &gt;lists.nasa.gov </pre> MUNOZ, CESAR (LARC-D320 2012-05-15T17:35:51 http://comments.gmane.org/gmane.comp.lang.caml.inria/54887 <pre> We recently put bmeurer's new ARM backend into Fedora/ARM, and generally it works well. However (very very occasionally) I'm getting odd segfaults from programs. One example is in camomile 0.8.3 during compilation: ocamlopt.opt -noassert -I internal -I public -I toolslib -I . -o mappings/gen_mappings.opt bigarray.cmxa str.cmxa toolslib.cmxa mappings/gen_mappings.cmx cd mappings &amp;&amp; ./gen_mappings.opt /bin/sh: line 1: 13996 Illegal instruction ./gen_mappings.opt make: *** [mappings/cns11643.mar] Error 132 Another is in libguestfs (in the virt-sysprep program, but it seems to be a problem in the generated bindings). I'm not sure this is the same problem as in camomile. I'd just like to compare notes with anyone else using the new backend. Rich. </pre> Richard W.M. Jones 2012-05-15T17:11:44 http://comments.gmane.org/gmane.comp.lang.caml.inria/54880 <pre>I'm pleased to announce the 108.00-pre2 pre-release of the Core suite of libraries. Core is an industrial strength alternative to OCaml's standard library. The tarball can be found here: https://bitbucket.org/yminsky/ocaml-core/downloads The Core suite includes a variety of useful libraries, including: - Core: the heart of the standard library. - Several useful syntax extensions - type-conv: a library for building type-driven syntax extensions - sexplib: a library for handling s-expressions, and a syntax extension for auto-generating conversions between OCaml types and s-expressions - bin-prot: a syntax-extensions for generating - pipebang - variantslib - comparelib - fieldslib - Async: a monadic concurrency library. - Core_extended: extra components that are not as closely vetted or as stable as Core. This includes, Shell, an interface for interacting with the UNIX shell, and Command, a command-line parsing library. Many of these libraries have been released separately in the past, but we're now releasing them as a single tarball. The release does not depend on Oasis to build, so it should be easier to build and install than installing from the hg repo. Feedback is greatly appreciated! You can join the core mailing list here: https://groups.google.com/forum/?fromgroups#!forum/ocaml-core </pre> Yaron Minsky 2012-05-15T01:43:24 http://comments.gmane.org/gmane.comp.lang.caml.inria/54879 <pre>We have defined types:   type position = {line : int; col : int };; type 'a ast = {data : 'a; kids : 'a ast list; posf : position; post: position};;     And then we transform string to ast:   let construct_common_ast s=     let len = String.length s in     let rec aux i j=       if i&gt;j then []       else (         let k = find_first s "(,)" i in         let str = trim (String.sub s i (k-i)) in         if k&gt;j || s.[k]=')' then (           if str="" then []           else {data=str; kids=[]; posf=(calc_pos s i); post=(calc_pos s j)}::[]         )         else if s.[k]='(' then (           let l = next_matched s '(' ')' (k+1) in           let m = find_first_not s " \t\n\r" (l+1) in           if m&lt;=j &amp;&amp; s.[m]&lt;&gt;',' then               fail_ast (calc_pos s k) (calc_pos s l) "construct_common_ast: invalid input string"           else               {data=str; kids=aux (k+1) (l-1); posf=(calc_pos s i); post=(calc_pos s l)} :: aux (m+1) j         )         else {data=str; kids=[]; posf=(calc_pos s i); post=(calc_pos s k)} :: aux (k+1) j       )     in     let trees=aux 0 (len-1) in List.hd trees;;   For construct_common_ast : # construct_common_ast;; - : string -&gt; string ast = &lt;fun&gt; # construct_common_ast "node (function, params(), returns())";; - : string ast = {data = "node";  kids =   [{data = "function"; kids = []; posf = {line = 1; col = 8};     post = {line = 1; col = 16}};    {data = "params"; kids = []; posf = {line = 1; col = 17};     post = {line = 1; col = 25}};    {data = "returns"; kids = []; posf = {line = 1; col = 27};     post = {line = 1; col = 36}}];  posf = {line = 1; col = 2}; post = {line = 1; col = 37}}.   But, it is intolerable to deal with long string. how to increase coding efficiency of this function?   Thank you anyway. Best wishes! </pre> xy s 2012-05-15T01:00:05 http://comments.gmane.org/gmane.comp.lang.caml.inria/54878 <pre>Dear OCaml Users and Developers, This is a reminder that this year "OCaml Meeting", renamed the "OCaml Users and Developers workshop (OUD)", will be colocated with ICFP in Copenhagen, Denmark on September 14th. The deadline for submitting Talk Proposals is 8th June 2012, only few weeks away. Visit http://oud.ocaml.org/2012/ for all details. Don't miss it! Didier </pre> Didier Remy 2012-05-14T08:42:25 http://comments.gmane.org/gmane.comp.lang.caml.inria/54877 <pre>Posting at the suggestion of a list subscriber: CALL FOR SPEAKERS - FP Days 2012 Cambridge UK October 25-26 SUBMISSION DEADLINE - FRIDAY JULY 6TH 2012 We are seeking high-quality session proposals covering any aspect of functional programming. Hands-on sessions, experience reports, tutorials, panels and other interactive sessions are particularly encouraged although more theoretical sessions are also welcome. In addition to free entry for the conference, being a speaker gives you a unique opportunity to present your viewpoint to our audience and get noticed. Please visit http://www.fpdays.net/fpdays2012/index.php for more information and to make a submission. Regards Mark Dalgarno FP Days Organiser -------------------------------------------------------------------------------------- Software Acumen Limited Registered in Cardiff, Registration No. 5210967 VAT registration number 896 7958 26 Registered Office: St. John's Innovation Centre, Cowley Road, Cambridge, England CB4 0WS </pre> Mark Dalgarno 2012-05-13T16:02:46 http://comments.gmane.org/gmane.comp.lang.caml.inria/54876 <pre>Dear list, This post announces the 2.0-alpha3 release of the Barista project, whose goal is to provide a library for Java class file construction and a Java [dis]assembler, released under the LGPLv3. This new version fixes several critical bugs. Home page: http://barista.x9c.fr Forge page: https://forge.ocamlcore.org/projects/barista/ Main changes since 2.0-alpha2: - support for '*.sym' and '*.war' files in classpath - 'JAVA_HOME' environment variable used to load JDK classes - '/usr/libexec/java_home' utility used to load JDK classes (MacOS X) - 'Predef' module renamed to 'Predefined' - peephole rule for optimization of load/load sequences - no automatic detection of 'ocamljava' binary - bug #99: wrong packing of int32 into int64 - bug: ocamlbuild plugin for ocamljava-based compilation - bug: invalid stack maps when double/long is followed by top - bug: invalid locals size when over 255 - bug: incorrect graph flattening when wide gotos are used - bug: install 'cmi' file Xavier Clerc </pre> forum< at >x9c.fr 2012-05-13T10:19:01 Search the mailing list at Gmane query http://search.gmane.org/?group=$group=gmane.comp.lang.caml.inria