image placeholder

Prof. Tevfik Bultan will give the keynote talk at the 2013 IFIP Joint International Conference on Formal Techniques for Distributed Systems (33rd FORTE / 15th FMOODS), a forum for fundamental research on theory, models, tools, and applications for distributed systems. The joint conference is the result of merging the conference FMOODS (Formal Methods for Open Object-Based Distributed Systems) and FORTE (Formal Techniques for Networked and Distributed Systems).