# Pyrofex Pawel Szulc to present at Lambda Days 2018 on RChain’s Rholang

Pyrofex and RChain Scala developer Pawel Szulc will present at Lambda Days 2018 being held February 22–23 in Krakow, Poland. Lambda Days is a multi-track conference on functional programming and emerging technologies. Scala, a functional programming language, is the implementation language for the RChain platform. RChain is a economically secured proof-of-stake blockchain intended for use at global scale.

Szulc’s presentation at Lambda Days 2018 is an introduction to process calculus — a family of related formalisms for modeling concurrent systems. Process calculus describes the high-level interactions between independent computational processes and the algebraic laws for analyzing process descriptions. Developers need better tools for reasoning about their programs, to help ensure applications are correct, secure, and reliable. Process calculus is one such tool.

RChain’s smart contracting language, Rholang, is based on a process calculus called the RHO calculus, which is a **R**eflective **H**igher-**O**rder extension of Robin Milner’s π-calculus. The RHO calculus was first described in 2005 by L. Greg Meredith, current President of the RChain Cooperative, and Matthias Radestock.

Pawel Szulc is a senior developer at Pyrofex Corporation, where he works on the RChain Platform.

### About Pyrofex

At Pyrofex, we build high-performance distributed development tools that are easy to use, secure, and continuously reliable. Large-scale distributed computing should be easier and more accessible. We intend to make it that way.

### About RChain

RChain is a fundamentally new blockchain platform rooted in a formal model of concurrent and decentralized computation. The RChain Cooperative is leveraging that model through correct-by-construction software development to produce a concurrent, compositional, and massively scalable blockchain.