|  | | | Erlang Events Archive | | Erlang Events from Erlang Training and Consulting Ltd.
21 May 2008:
Smarkets Erlang Web Framework, (London User Group Talk)
Hunter Morris has kindly volunteered to speak at the next user group meeting. It will be on Erlang and web applications, a very hot topic these days. The talk will be on Wednesday the 21st of May in Skills Matter's training facilities on 1 Sekforde Street, Clerkenwell, London, EC1R 0BE. This is a free event, but you have to register to attend. We will send out the registration email soon.
Summary:
As Erlang adoption grows, tools for building web applications and services are becoming increasingly important. Erlang's approach to concurrency make it a natural solution for application deployment on the web. Hunter will talk briefly about the current landscape for Erlang web applications and the tools available. He will also present the framework used at Smarkets, based on MochiWeb, ewgi, and sgte.
Biography:
Hunter Morris is CTO and co-founder of Smarkets, a London-based betting exchange startup with a primarily Erlang codebase. Previously, he worked
in London and Chicago for Wolverine Trading, a global derivatives market making firm. His main focus on software has been high-volume transactional systems and automated trading technology. He holds a bachelor's degree in computer science from Northwestern University in
Evanston, Illinois.
22 May 2008:
Robert Virding on Lisp Flavoured Erlang, (Stockholm User Group Talk)
The second meeting of the Stockholm Erlang User Group is hosted by Stockholm University. Robert Virding, one of the original inventors of Erlang will present his latest open source project, . If you are interested in attending this free event, you have to register register here... By registering, you will enable us to plan room size and refreshments accordingly, provide Security with the name list of participants, and in those extreme cases where the number of places are limited, close registration as soon as we have reached the maximum room capacity or find a larger room.
Abstract:In this talk we will describe and demonstrate Lisp Flavored Erlang (LFE). LFE allows you to write Erlang code in a lisp syntax and combines the versatility and extensibility of lisp with the COP power of Erlang. LFE is completely integrated with Erlang/OTP and code written in LFE can freely be used together with modules written in vanilla Erlang and applications in Erlang/OTP. LFE is also much easier to use than vanilla Erlang when generating code. We will describe the system, its tools and its implementation, and also demonstrate some of its features and using its programming environment.
Biography:Robert Virding is one of the original developers of Erlang at the Ericsson Computer Science Lab. While there he also did work on garbage collection and the implementation of high-level languages. He left Ericsson to found Bluetail, the first Erlang startup acquired by Nortel in 2000. He now works for the Swedish Defense Material Administration (FMV) where he is not able to use Erlang. He does, however, still program Erlang in his spare time and take part in the Erlang community.
11 Jun 2008:
Developments in Wrangler, a refactoring tool for Erlang, (London User Group Talk)
Gyorgy Orosz and Melinda Toth Eotves Lorand University of Hungary and University of Kent, UK
Abstract:Refactoring is the process of improving the design of a program without changing its semantics. Wrangler is a refactor tool for Erlang, which supports plenty of refactorings. After giving a short introduction to the Wrangler project, Melinda will explain her goal of finding new useful refactorings and implement them. These include a refactoring to group function arguments into a tuple, and a refactoring to create a record from a tuple. This latter refactoring requires investigation of common usage patters for "record-like" usage of patterns in Erlang programs.
George will then describe his project of integrating Wrangler in the Eclipse platform, as a part of the Erlide project. He will describe the integration process, how communication works in the system, as well as providing a short demo of the system as well.
Biography:Gyorgy and Melinda started their studies of computer science at the Eotves
Lorand University of Hungary in 2004. They received their bachelor's degree in
the February of 2008, and have worked with the RefactorErl project at Eotves
Lorand University. They came to the University of Kent at Canterbury as an
Erasmus exchange student in February, and have been working with the Wrangler
tool since then.
26 Jun 2008:
Erlang eXchange, a 2-day User Conference (London, UK)
Erlang Training and Consulting has teamed up with Skills Matter to bring you the 2008 Erlang eXchange, a 2 day conference on the 26th and 27th of June focused on Erlang/OTP. You think Erlang/OTP is the right way to go but are not completely convinced it will fit your application domain? The Erlang eXchange 2008 will feature 2 days of tutorials, workshops and presentations from leading Erlang experts such as Erlang creator Joe Armstrong, Klacke Wikstrom, Eric Stenman and Michal Slaski, just to mention a few. Learn how to benefit from the power of concurrent languages and Erlang, how to bridge Erlang & Java with JInterface, Erlang refactoring with Wrangler, how to use Couch DB, how to leverage the power of Erlang when building enterprise apps in Financial services, about CouchDB, Faxien, Sinan, Erlang & Robotics, Tail-f, RabbitMQ, Hypernumbers, XMPP, Mnesia, QuickCheck, how to use Erlang with Ajax and much more! For more information and to register, visit the Erlang eXchange website. Book early to get the Early Bird fee!
22 Jul 2008:
Practical Erlang Programming Tutorial @ OSCON 2008 (Portland, USA)
Erlang Training and Consulting will be giving a tutorial on Practical Erlang Programming at O’Reilly’s Open Source Convention in Portland, Oregon. The tutorial, which will cover sequential and concurrent Erlang programming, has been scheduled for the 22 Jul 2008. We look forward to seeing you there! For more information on OSCON and the contents of the tutorial, visit the OSCON conference site...
27 Sep 2008:
ACM SIGPLAN Erlang Workshop, (Victoria, BC)
This year's ACM SIGPLAN accredited Erlang workshop, held yearly in conjunction with ICFP will be in Victoria, British Columbia in Canada. Call for papers is here... Keep an eye on this page for more information.
Year 2008
22 Apr 2008:
Type-based tools for sustainable development of Erlang programs (Stockholm User Group Talk)
We kick off the first Stockholm Erlang User Group meetig with a talk by Prof. Kostis Sagonas about the ongoing research of the HIPE team from Uppsala University. The presentation will start at 18.30 in Kreditor's new offices on S:t Eriksgatan 117 in Stockholm. The doors will be open from 18.00 onwards. To join the Erlang Stockholm User Group mailing list and receive future updates and events, join in the Erlang Stockholm User Group page...
If you are interested in attending this free event, you have to register here ... By registering, you will enable us to plan room size and refreshments accordingly, provide Security with the name list of participants, and in those extreme cases where the number of places are limited, close registration as soon as we have reached the maximum room capacity or find a larger room.
Type-based tools for sustainable development of Erlang programs
Abstract:In this talk/demo combination we will review how three different type-based tools can be used to detect bugs in Erlang programs, document data structures and application interfaces, (in)validate hidden programming assumptions, and retrofit Erlang applications. In the process, we will also discuss the associated Erlang Enhancement Proposal (EEP8) which aims to add a type and specification language on top of Erlang. Two of the tools that will be reviewed (dialyzer & typer) are already part of the Erlang distribution. The third is yet to be named but is slowly maturing nonetheless.
Biography:Kostis Sagonas is a travelling scientist interested in programming languages and software development. He an Associate Professor at the National Technical University of Athens, where the students occasionally allow him to work. He is also a Docent at Uppsala University leading the HiPE group where he has occasionally managed to convince its members to do what he thinks it's best for the project and for Erlang. In the last two years he has been obsessed with enriching Erlang with success (typings, that is) and contracts.
14 Apr 2008:
Erlang Presentation, (Split, Croatia)
If you are curious about Erlang, happen to be in Croatia and want to hear more, join us when we present Erlang/OTP for the computer science graduates at the University of Split. Contact us for further details and instructions on where to find us. There are a few available places for participants not studying or working at the University.
10 Apr 2008:
ErlLounge (Kraków, Poland)
ErlLounge aims at gathering all Erlang enthusiasts and those curious about Erlang. Perfect opportunity to meet people who work with it on a daily basis and network in the Erlang community. ErlLounge will be held in the Klub Re in the city center of Kraków starting at 20.00. Join us!
4 Apr 2008:
Erlang and Proeprty Based Testing at Brunel University (Uxbridge, UK)
Francesco Cesarini or Erlang Training and Consulting and Dr. Thomas Arts of Quviq AB will be giving 15 minute talk highlighting the features of Erlang and its strengths in developing robust, fault tolerant applications. The talk will follow with a session on property based testing in Erlang using quick check. The talk will start at 12pm. The talk is aimed at the students and faculty at Brunel University, but there are a limited number of places available for others. Contact us for more information.
27 Feb 2008:
Presenting the Erlang T-Build System (London User Group Talk)
The February Erlang User Group meeting will be on Wednesday the 27, starting at 18.30 in Skills Matter's Training facilities on 1 Sekforde Street, London EC1R 0BE. It will feature a presentation from Peter Mander from T-Mobile who will describe the methods used to create and deploy complete software services written in Erlang.
The T-Build system simplifies and automates the creation of new Erlang/OTP projects, automates the build and packaging process, and automates the
deployment of software onto the target systems.
The T-Build system will assist any developers who have discovered Erlang, and are now prepared to use it for industrial purposes. It fills the gap
between learning the language and deploying it.
Peter Mander is a graduate of the University of Reading, Berkshire, and has for over two decades worked as a programmer for a variety of startup companies. In one of these startups, he came across Erlang when testing Megago H.28 stacks, and there was no turning back. Peter now works at T-Mobile as a senior Erlang programmer.
This is a free session, but to attend, you have to register. This allows us to book a room of suitable size and plan refreshments. The URL to register on is here.
19 Feb 2008:
Presenting the Dialyzer (London User Group Talk)
Abstract: Dialyzer (Discrepancy analyzer of Erlang programs) first saw the light in 2004 and has since then been used to uncover software defects in Erlang programs. It has been used both by open source users and in industrial projects where it has found bugs that has gone unnoticed for years in well-tested production code. The subject of this talk is the fundamentals of the underlying analysis, what kind of defects Dialyzer can find and how this knowledge can be used to program
in a more Dialyzer-friendly way. Also, the new experimental type specifications available in Erlang/OTP R12B will be discussed.
Biography: Tobias Lindahl is a last-year PhD student at Uppsala University where he is a member of the HiPE research group. After spending a year of his studies writing low level analysis and
optimizations in the HiPE compiler, he has spent his time researching in program analysis for defect detection, and being the main developer of
the static analysis tool Dialyzer. Another focus of his research is to make type information explicitly visible for programmers. This effort
has led to the type annotation tool Typer and the (unofficial) introduction of type specifications in Erlang. More info, publications and a very ugly picture (His words!) can be found at http://www.it.uu.se/katalog/tobiasl
More information on the Dialyzer is available here: http://www.it.uu.se/research/group/hipe/dialyzer
The Dialyzer is by far one of the best tools which has come out from the research on Erlang Type Systems, and a must for any Erlang developers.
If you have the time, you are very welcome to join us.
The Dialyzer is by far one of the best tools which has come out from the research on Erlang Type Systems, and a must for any Erlang developers.
If you have the time, you are very welcome to join us, as we are sure you will find the talk interesting. If you are planning on attending, the talk will start at 18.30 in our office meeting rooms. Please email alison _at_ erlang-consulting.com to notify us of your plans so we can ensure we have booked a room large enough to hold everyone.
8 Feb 2008:
Real World FP (Canterbury, UK)
We will be holding a seminar for the at the University of Kent in Canterbury on the use of Functional Programming in the real world. The talk will be on Erlang and its rapidly growing community, showing how 99,999% availability has been achieved in production systems. The talk will also go into why Erlang, originally invented for telecoms, has been successful in a much wider range of sectors than originally intended, including banking, finance, traceability and computer telephony. If you are interested in attending, there are a limited number of places by invitation available for outsiders. The talk will start at 14.00. Please contact us for more details if you are interested in attending.
28 Jan 2008:
How do you test large systems written in Erlang? ( London Erlang User Group Talk)
The second meet up of the Erlang User Group will be on Monday 28/1 @ 19.00 in Erlang Training and Consulting's offices in London. The meet up will feature a presentation from Thomas Arts, of Quviq AB and the IT University of Gothenburg. He will talk about testing large Erlang based systems, including formal methods and property based testing.
The presentation will be followed by Pizza and drinks. Those still standing at 8pm can then make their way to a quiet pub down the road and continue chatting and networking. This is a free event sponsored by Erlang Training and Consulting and Skills Matter.
As we need to let security have your names and need in advance, ensure we have a room big enough (There were 60 of us last meeting!), and most important, know how much Pizza to order, you have to register by sending an email to alison _at_ erlang-consulting.com The event is free and open to every one, as long as you have registered.
Abstract: How do you test large systems written in Erlang?
With the growth of software complexity we need new technology to ensure quality of the final product. Testing has so far been one of the most used techniques to check the quality of the end product. Since the amount of software configurations is huge for each product, testing all these configurations is impractical. Mathematical techniques under the name of formal methods, address this by tools as Model Checkers and Theorem Provers. Several of these techniques have been developed for Erlang as well as for many other languages.
In practice, they are difficult to use and expensive to deploy.
Property Based Testing joins the benefits of the formal verification techniques with the ease of testing. Instead of writing test cases, one
copies the idea of formal methods to write a property of the software, e.g., "no matter how many ATMs are connected to our bank and no matter in which order the ATMs send their messages, money may not dissapear from the system". Instead of a mathematical prove that this holds, a large amount of test cases is automatically generated from this property and all these tests are checked against the system.
Property Based Testing is used small scale today at companies like Ericsson, Erlang Training and Consulting and a few others. The goal of the ProTest project is to introduce more tools and techniques that enable widened use of Property Based Testing. For example by combining it with re-factoring of test cases and properties, by connecting it to trace analysis and audit logs, and by integrating it with model checking techniques.
This will result in a very powerful method supported by a good set of integrated tools that make Erlang programmers even more productive.
Bio: Thomas Arts
Dr Thomas Arts is Associate professor at the IT University of Göteborg in the area of Software Engineering and Management. Thomas is also co-founder and CTO of Quviq, a small company that produced Quick Check, a testing tool for Erlang. He holds a PhD in computer science and has after his PhD been employed at the Ericsson Computer Science Lab (Where they invented Erlang) where he worked on program verification and the development of the Erlang programming language.
He has worked in the broad spectrum theoretical computer science, formal methods and industrial case-study research, mainly applying all kind of techniques to systems written in Erlang. He has more than 30 publications in journals and refereed conferences/workshops. He has successfully introduced some new technologies in industry. The latest technology, QuickCheck, is a tool for property based testing and aims to support test driven development.
14 Jan 2008:
Erlang Presentation for Java and Unix groups at ITI (Giza, Egypt)
Francesco Cesarini of Erlang Training and Consulting will be presenting the concurrent soft real time functional programming language Erlang and its rapidly growing community to the students of the Java and Unix groups of the Information Technology Institute. We will describe why Erlang programs are generally 4 - 10 times shorter than their counterparts in Java, C and C++ achieving 99,999% availability. Ongoing research and commercial projects world wide will be covered, including refactoring, AI, type systems and control systems for robots, banking systems with special focus on Telecom projects. The talk will also go into why Erlang, originally invented to handle the next generation of Telecom products, has been successful in a much wider range of sectors. If you are interested in attending contact us for the details.
11 Jan 2008:
Public Talk: Concurrent Programming in Erlang (Wroclaw, Poland)
Michal Slaski will be presenting the concurrent functional programming language Erlang and its rapidly growing community. He will describe what is the concurrency oriented programming, how to get nearly linear speed up on multicore CPUs and how Erlang can be used for developing distributed systems achieving 99,999% availability. The talk will be held at the University of Wroclaw (Poland), for more information check here (Polish)...
[2008]
[2007]
[2006]
|
|
|
| |
