dr. anna latour

dr. anna latour

she/her or they/them

computer scientist. feminist. trekkie.

Workshop on Counting and Sampling, 2021 edition

Published:

less than 1 minute read

Just like last year, the International Workshop on Counting and Sampling was held online, in conjunction with the SAT conference. Just like last year, I was honoured to be invited to submit an extended abstract to this workshop.

We decided to submit an update of Jeroen’s work on caching for model counters, based on his master thesis work. It was accepted, so last week Jeroen presented our work.

/images/2021/misc/Screenshot_20210706_190034_anon.png

While I was naturally happy to see our work presented, I also very much enjoyed the rest of the program. It has been a while since I’ve seen so many interesting talks in a row. I particularly liked the contributions from Tuukka Korhonen and Lucas Bang.

Jeroen’s slides can be found here, and a recording of his presentation is also available online.

Thanks to the organisers! I am looking forward to attending next year’s edition!

You May Also Enjoy

How to conference: 2 Golden rules for networking

Published:

5 minute read

Despite how others perceive me, I am actually quite shy. When faced with a room full of people, all huddled together in their little groups, chatting and having fun, I often find myself frozen and insecure. Who should I approach? How do I join a conversation? Where do I start?

Moon milk

Published:

12 minute read

The first conferences I ever attended as a doctorate student were IJCAI 2017 and CP 2017, which both took place in Melbourne. At the time, I had a position as a visiting researcher at ICTEAM at Université catholique de Louvain. After the conference, three fellow doctorate students from UC Louvain and I travelled to Tasmania, for a two-and-a-half-day trip. It resulted in one of my favourite travel stories of all time.