Teaching circuits as the first computational model

This fall, I am once again teaching Harvard's "Introduction to Theoretical Computer Science" course (CS 121). Like many "intro to TCS / intro to theory of computation" courses, Harvard's course used to be taught with Sipser's classic textbook. Sipser's book is indeed, for better or worse, a classic. It is extremely well-written and students like … Continue reading Teaching circuits as the first computational model

STOCial 2022: Guest post by Clément Canonne (+ TCS Women Spotlight workshop)

[To further prove that I am not a longtermist, here is a guest post by Clément about activities in STOC that will happen next week. --Boaz] UPDATE: Don't miss the TCS Women Spotlight Workshop  Monday, June 20th, 8:45 am - 11:450 am Rome Time. Irit Dinur will give a talk on "How I re-proved the PCP … Continue reading STOCial 2022: Guest post by Clément Canonne (+ TCS Women Spotlight workshop)

Information Theoretic Cryptography 22: Guest post by Benny Applebaum

Dear friends, The third information-theoretic cryptography conference (ITC) 2022 will be held in-person at MIT this year from July 5-7. We have an exciting program with 17 cool papers and 6 plenary talks by Yuval Ishai, Rafael Pass, David Zuckerman, Omri Ben-Eliezer, Dakshita Khurana and Yevgeniy Dodis on topics that span the breadth of information-theoretic cryptography (and … Continue reading Information Theoretic Cryptography 22: Guest post by Benny Applebaum

Workshop on Local Algorithm 22: Guest post by Clément Canonne

After two years online, the 🔎 Workshop on Local Algorithms (WOLA) is back in person, and will be held in Warsaw from June 25th to June 27th. Come and discuss local algorithms of all kinds — sublinear-time, distributed, streaming, (massively) parallel, as well as graphical models and much more; and exchange ideas, techniques, and insights with others from … Continue reading Workshop on Local Algorithm 22: Guest post by Clément Canonne

HALG ’22 Call for Participation (Guest post by Keren Censor-Hillel)

7th Highlights of Algorithms conference (HALG 2022)The London School of Economics and Political Science, June 1-3, 2022https://www.lse.ac.uk/HALG-2022 The Highlights of Algorithms conference is a forum for presenting the highlights of recent developments in algorithms and for discussing potential further advances in this area. The conference will provide a broad picture of the latest research in algorithms through a … Continue reading HALG ’22 Call for Participation (Guest post by Keren Censor-Hillel)

TCS Women Spotlight Workshop at STOC 2022: Travel grants and call for speaker nominations. (Guest post by Mary Wooters)

[Mary Wooters shares the following information - I highly recommend attending the TCS Women Spotlight workshop at any time, but especially when it's in Rome! --Boaz]You are cordially invited to the TCS Women Spotlight Workshop! The workshop will be held on Monday, June 20, 2022, in Rome, Italy, as part of the 54th Symposium on Theory of … Continue reading TCS Women Spotlight Workshop at STOC 2022: Travel grants and call for speaker nominations. (Guest post by Mary Wooters)

Cool projects from my crypto class

This fall, I taught my course CS 127: Cryptography, based on my lecture notes: "An intensive introduction to cryptography". This is a course that starts with no background knowledge, and gets to advanced concepts including lattice-based (aka "post quantum") encryption, fully homomorphic encryption, zero-knowledge proofs, multiparty secure computation, software obfuscation, quantum computing and crypto, and … Continue reading Cool projects from my crypto class

HALG 2022 Call for submissions: Guest post by Keren Censor Hillel

The 7th Highlights of Algorithms conference (HALG 2022)London, June 1-3, 2022https://www.lse.ac.uk/HALG-2022 The Highlights of Algorithms conference is a forum for presenting the highlights of recent developments in algorithms and for discussing potential further advances in this area. The conference will provide a broad picture of the latest research in algorithms through a series of invited talks, … Continue reading HALG 2022 Call for submissions: Guest post by Keren Censor Hillel

Call for Gödel prize nominations (guest post by David Zuckerman and Samson Abramsky)

We'd like to encourage everyone to nominate outstanding papers in any area of theoretical computer science for the 2022 Gödel Prize. In short, papers that first appeared since 2009 (in any form) and appeared in a refereed journal by 2021 are eligible. If you wish to nominate a paper, or might wish to do so, or … Continue reading Call for Gödel prize nominations (guest post by David Zuckerman and Samson Abramsky)

ITC 2022: Call for papers (guest post by Benny Applebaum)

Deal friends, We are happy to announce the third edition of the conference on Information-Theoretic Cryptography (ITC). Information-theoretic cryptography studies security in the presence of computationally unbounded adversaries and covers a wide array of topics at the intersection of cryptography, coding theory, information theory and theory of computation. Notable examples include randomness extraction and privacy … Continue reading ITC 2022: Call for papers (guest post by Benny Applebaum)