Back From FloC

After about two years of remote conferences I travelled last week to Haifa in Israel to attend the 8th federated logic conference (FLoC 2022) The trip consisted of meeting colleagues, hearing about their exiting research, and getting inspire. In the free time we explored the (very hilly) city of Haifa. The highlight of my trip was giving an invited talk at the SAT conference. I wrote about that in this blogpost.

I’d like to thank the organisers of FloC, as well as the organisers of the SAT conference. See you in 4 years!

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s