http://blog.gmane.org/gmane.comp.lang.concurrency.pop.user 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.concurrency.pop.user/47 <pre> Hi all, One of my final-year project students has been working on a visual design tool (IDE) for occam-pi programs. It's now moderately [1] functional and ready to be broken by the masses! If you (or indeed, your students) fancy having a go, you can find instructions, links for download and a follow-up survey here: http://projects.cs.kent.ac.uk/projects/co620_occblocks/trac/wiki/FeedbackSurvey [1] it works enough to get a feeling for what a complete system/interface could do; documentation is somewhat limited, but we're just trying to get an impression of what people think of the general idea/interface/approach. Cheers, </pre> Fred Barnes 2012-03-06T17:43:51 http://comments.gmane.org/gmane.comp.lang.concurrency.pop.user/46 <pre> Dear all, There is an opportunity for a 2-year KTP (Knowledge Transfer Partnership) associate position working in the areas of concurrency and embedded systems, specifically to develop Erlang runtimes, libraries and development tools for ARM (and potentially other) based embedded systems. Closing date for applications is the 25th July. Details here: http://tinyurl.com/ktp2486 Please feel free to pass this on to anyone whom you think might be interested. The employer is the University of Kent, but the job will be based primarily in London. Salary up to 29k, with extra top-up available for exceptional candidates. Cheers, Fred </pre> Fred Barnes 2011-07-18T16:01:03 http://comments.gmane.org/gmane.comp.lang.concurrency.pop.user/45 <pre>An article in the Economist discussing multicore, etc. Doesn't really say much that we do not already know, but interesting to see it discussed at a wider level. Kevin -----Original Message----- From: sicsa-cse-semantics-bounces-snw4NNm4RhuGOBePZluPAvXRex20P6io&lt; at &gt;public.gmane.org [mailto:sicsa-cse-semantics-bounces-snw4NNm4RhuGOBePZluPAvXRex20P6io&lt; at &gt;public.gmane.org] On Behalf Of Jeremy Singer Sent: 13 June 2011 18:54 To: sicsa-cse-semantics-snw4NNm4RhuGOBePZluPAvXRex20P6io&lt; at &gt;public.gmane.org Subject: [SICSA-CSE-semantics] Economist article Hi all, Here is a link to an article about multicore. It's interesting to think how the parallel programming problem is becoming mainstream. Fancy the Economist running an article about Haskell!? http://www.economist.com/node/18750706?frsc=dg%7Ca Cheers, Jeremy The University of Glasgow, charity number SC004401 _______________________________________________ SICSA-CSE-semantics mailing list SICSA-CSE-semantics-snw4NNm4RhuGOBePZluPAvXRex20P6io&lt; at &gt;public.gmane.org https://</pre> Chalmers, Kevin 2011-06-14T12:43:08 http://comments.gmane.org/gmane.comp.lang.concurrency.pop.user/44 <pre> Dear Delegates and Potential Delegates, The final programme and joining instructions for CPA 2011 are available at: http://www.wotug.org/cpa2011/programme.shtml The original call for delegates is copied below. If you haven't yet decided to come, it's not too late! All with interests in concurrency and computer science (and, these days, that means all with interests in computer science) will find stimulating, interesting and exciting presentations and papers and lots of opportunity to talk with each other. We'd love to see you in Limerick! Many thanks, Peter Welch. ======================================================================== Communicating Process Architectures 2011 (19-22 June, Limerick, Ireland) - Programme announced - Call for Delegates *********************** - Student Bursaries * wotug.org/cpa2011 * - Keynote Presentation *********************** - Summary of themes from Accepted Papers - Call for </pre> P.H.Welch 2011-06-13T15:07:52 http://comments.gmane.org/gmane.comp.lang.concurrency.pop.user/42 <pre> Dear Potential Delegates, ======================================================================== Communicating Process Architectures 2011 (19-22 June, Limerick, Ireland) - Programme announced - Call for Delegates *********************** - Student Bursaries * wotug.org/cpa2011 * - Keynote Presentation *********************** - Summary of themes from Accepted Papers - Call for Fringe Presentations ======================================================================== Communicating Process Architectures (CPA) 2011 takes place at the University of Limerick, Ireland, 19-22 June, 2011. CPA themes are concurrency at all levels of software and hardware granularity: its ambitions are to present and stimulate discussion on the latest research and development in concurrency theory, practice, education and application. This year, CPA is hosted by Lero, the Irish Software Engineering Research Centre, and co-located with FM 2011 </pre> P.H.Welch 2011-05-17T17:18:40 http://comments.gmane.org/gmane.comp.lang.concurrency.pop.user/40 <pre>Hello Could anyone please spell out how MOBILE.ANY works and especially RESIZE.MOBILE.ARRAY.1D? I wanted to create a PROC RESIZE.MOBILE.ARRAY.2D from scratch, but instantiating MOBILE.ANY is not possible (and supporting documentation is equally hard to find). Or course, problem solved by using RESIZE.MOBILE.ARRAY.1D, but still the mystery remains :). Thanks, Teodor </pre> Teodor Ghetiu 2010-10-26T14:47:15 http://comments.gmane.org/gmane.comp.lang.concurrency.pop.user/24 <pre>Hi, I just used Bazaar to get a branch of the KRoC Trunk, got it compiled up (*) and installed, and have my first two occam programs in (many, many) years running successfully. However . . . despite using PAR (apparently correctly) the code only ever uses one of the eight processors on my workstation (it's a twin Xeon running Linux which presents the two sets of four cores as eight separate processors). I am guessing that the occam processes are not being "animated" by Linux kernel threads but by a single kernel thread. Is there a way of getting real parallelism with KRoC? Thanks. (*) I see there is the beginnings of a SCons build to replace the Autotools build. Is this on the critical path or is the Autotools build the de facto standard for the foreseeable future? </pre> Russel Winder 2010-07-05T18:58:01 http://comments.gmane.org/gmane.comp.lang.concurrency.pop.user/23 <pre>Are there any plans on providing CIF support in KRoC for Snow Leopard. I'm using llvm from the branch and the lack of CIF support is noted in the Caveats section at the bottom. http://projects.cs.kent.ac.uk/projects/kroc/trac/wiki/SnowLeopard It seems that my code which ran on Leopard no longer functions in Snow Leopard. Any alternatives? Thanks. </pre> Sachin Desai 2010-03-03T17:51:13 http://comments.gmane.org/gmane.comp.lang.concurrency.pop.user/22 <pre> Hi all, Research Assistant and PhD studentship in concurrent garbage collection ======================================================================= The School of Computing at the University of Kent at Canterbury is looking for a Research Assistant and a PhD student to work in the area of concurrent garbage collection under the supervision of Richard Jones and Fred Barnes on the EPSRC-funded project: MirrorGC: Garbage Collection for Multicore Systems The aim of the project is to explore how we can exploit hardware parallelism on current and emerging platforms, paying particular attention to locality. Candidates for the Research Assistant post should have experience of designing and implementing concurrent algorithms, knowledge of modern garbage collection techniques, and experience of working with large open source systems such as JikesRVM. Applicants for the PhD studentship should have a very good degree in computer science or a related subject, and a strong interest in programming languages an</pre> Fred Barnes 2010-01-18T11:55:38 http://comments.gmane.org/gmane.comp.lang.concurrency.pop.user/20 <pre>Hi all, Last week, we merged most of this summer's development work into the stable branch of KRoC; those of you who're using KRoC will probably want to upgrade. There's a blog post listing the new features here: http://blogs.kent.ac.uk/crg-group/2009/11/new-features-in-kroc-2/ Thanks, </pre> Adam Sampson 2009-11-17T13:44:32 http://comments.gmane.org/gmane.comp.lang.concurrency.pop.user/19 <pre> ******** UPCOMING DEADLINE ********* CALL FOR PAPERS Symposium on Theory of Modeling and Simulation (DEVS 2010) April 12-15 2010. Florida Mall Hotel and Conference Center. Orlando, FL. http://www.sce.carleton.ca/faculty/wainer/DEVS10 Sponsored by The Society for Modeling and Simulation International in cooperation with ACM/SIGSIM The purpose of this symposium is to provide a forum to discuss most recent advancements in Theory of Modeling and Simulation. The main focus is on theory of modeling, methodology, practice and toolkits, as well as lessons learned and challenges. The Symposium will focus on bridging different areas in the Theory of Modeling and Simulation, including formal modeling, model-checking, graph transformation, modeling methodologies and tools. All papers will be included in the conference proceedings </pre> vsim-conf-zY19f67jTguUIZwRiZtBUQ< at >public.gmane.org 2009-11-16T03:24:54 http://comments.gmane.org/gmane.comp.lang.concurrency.pop.user/18 <pre>Hi, I have made the LLVM branch of KRoC build and mostly work on Snow Leopard (as a 32-bit binary). Installation instructions: http://projects.cs.kent.ac.uk/projects/kroc/trac/wiki/SnowLeopard Likewise, small tweaks to libtvm and the POSIX wrapper in trunk should allow the TVM to be similarly built (if it doesn't already). Cheers, Carl </pre> Carl Ritson 2009-10-20T22:46:27 http://comments.gmane.org/gmane.comp.lang.concurrency.pop.user/16 <pre> Dear Potential Delegates, This is nearly the final call for delegates to CPA 2009. The conference programme, including abstracts for all accepted papers, is available on the CPA 2009 website: http://www.wotug.org/cpa2009/programme.shtml This year, we are very pleased to welcome Professor Michael Goldsmith from the e-Security Group, WMG Digital Laboratory, University of Warwick, as the Keynote Speaker. Michael, in his role in Formal Systems (Europe) Ltd, is one of the main pioneers and developers of the FDR model checker for Tony Hoare's CSP. His paper is titled: Beyond Mobility - What Next After CSP/pi? CPA 2009 is one of many events in Formal Methods Week, Eindhoven, the Netherlands, 1-4 November, 2009. The registration page starts is linked from the Formal Methods Week home page: http://www.win.tue.nl/fmweek/ The Normal Registration Fee ends 19th. October: 415 Euros. After this, I'm afraid it increases to 465 Euros. WoTUG is sponsoring a number of bursaries (of 100 GBP) - details are at</pre> P.H.Welch 2009-10-14T18:57:00 http://comments.gmane.org/gmane.comp.lang.concurrency.pop.user/14 <pre> Hi, The provisional programme of papers is now available on the CPA 2009 website: http://www.wotug.org/cpa2009/programme.shtml This is a call for delegates, :). The conference is one of the events in Formal Methods Week, Eindhoven, the Netherlands, 1-4 November, 2009. The registration page starts from: http://www.wotug.org/cpa2009/registration.shtml Note: actual registration is handled through the Formal Methods Week pages (linked from the above). The Early Registration deadline is the 14th. September. Note: the CPA registration fee covers all meals, including dinners (Sunday/Monday) and the Conference Dinner (Tuesday), proceedings and fringe sessions (Sunday/Monday evenings). The Fringe sessions will be at the Sandton Hotel - the Sunday/Monday dinners will be at a restaurant adjacent to the Sandton, just before the Fringe sessions. It is suggested that you book into the Sandton. Note: the CPA registration fee does *not* cover your hotel bill! The FM Week registration system will book you in</pre> P.H.Welch 2009-08-28T11:41:27 http://comments.gmane.org/gmane.comp.lang.concurrency.pop.user/11 <pre>Hi, I've added Generics support to net2, along with Connections to add to the plain Channels which are already generic. So, you can now ask the CNS for a typed channel, or assemble your own networks without the CNS. HOWEVER! There are a couple of gotchyas for networked channels right now. If you create a one2net of type String and a net2one of type Integer, for example, the CNS will *not* complain. Ditto if you assemble your own network. Once you try and send a message, on the receiving end you will get a ClassCastException. This isn't terribly nice... I have been looking at ways to make this a bit cleaner and get the CNS to send an error back to the second party that creates a channel (of the wrong type), but it seems thanks to Java's generics using type-erasure, getting at the type of a Channel at run-time is not easy. If anybody has any bright ideas about how to solve this I'd love to hear them! You can check out the latest release of JCSP using svn: svn co http://projects.cs.kent.ac.uk/projec</pre> T.P.Carlson 2009-08-11T18:50:31 Search the mailing list at Gmane query http://search.gmane.org/?group=$group=gmane.comp.lang.concurrency.pop.user