Julien Girard @rhapsodos@scholar.social

Heya. The materials for my tutorial at PFIA 2020, "Formal Verification of Deep Neural Networks", are available here:
https://gitlab.inria.fr/jgirard/pfia-2020

The tutorial will take place monday morning at 10 a.m. CET

You can subscribe to the webinar here: https://webikeo.fr/webinar/tutoriel-1-verification-formelle-de-reseaux-de-neurones-profonds-theorie-et-pratique

A paper, named " A Deep Neural Network Model to Predict Criminality Using Image Processing", will be published in a Springer venue. You might find the title unsettling. Well, guess what, it is. Using data produced by the criminal system will not "predict crime", it will predict who the police arrests. Which are two really different things.

More details there:
https://medium.com/@CoalitionForCriticalTechnology/abolish-the-techtoprisonpipeline-9b5b14366b16

I'll be giving a tutorial on formal verification of deep neural networks at PFIA 2020. All material (slides, code) will be distributed freely.
http://pfia2020.fr/tutoriels/programmetutoriels/

A quite pessimistic point of view of french security and cryptograpy experts on a COVID-19 tracking app (in French only):
https://risques-tracage.fr/

Fifteen simple abuse case scenario, a state of the art of the possible form such an app coud have... an interesting reading

An interesting insight on how Facebook moderation build an hierarchy of "protected categories" of people:
https://www.theguardian.com/news/gallery/2017/may/24/hate-speech-and-anti-migrant-posts-facebooks-rules

PJ Reddie, one of the most wholesome and cool scientists of this world, quitted research in computer vision due to ethical concerns:
https://nitter.net/pjreddie/status/1230524770350817280#m

A cool conference on the deep learning hype, at 36c3:
https://media.ccc.de/v/36c3-11006-der_deep_learning_hype

Good questions here:
* is deep learning a sustainable technology in our resource-limited world?
* are those deep learning systems useful for anyone else than big companies and a restricted set of academics?
* What about the anonymous workforce used to label or mimic deep learning datasets?
* how the heck can we continue to publish to top-tier conferences with 10% of results that are not reproductibles

A petition from some Machine Learning researchers to encourage major conferences to offer a remote participation option:
https://www.change.org/p/organizers-of-data-science-and-machine-learning-conferences-neurips-icml-aistats-iclr-uai-allow-remote-paper-poster-presentations-at-conferences?recruiter=144678980&recruited_by_id=51a298c0-2d0e-11e4-843e-ad2ec88f7f02&utm_source=share_petition&utm_medium=copylink&utm_campaign=petition_dashboard

If I were a scholar on economical history and philosophy, I would say that it's just capitalism trying to devour another field. That after reaping everything it could from our diseases, our culture, our food, our emotions, it goes for our knowledge and spirit.

But I am none of those. I am just a poor PhD student raging against this state of affair, and hoping that things will change.

What is happening in research (and other public sectors) is a colonization. All are colonized by a foul mindset: looking for material value, immediate profit and systematic exploitation.

Well guess what: trying to quantify how valuable is a knowledge, how much money an idea may give... it simply does not work, and I think it is wrong to think this.

Favouring ideas that are economically rewarding will simply enslave research to economy, preventing to look for new perspectives.

All recent reforms are destroying what is making academia unique, engaging, rewarding and fun. I think that researching knowledge for a society is a wonderful job. Teaching, when voluntary, is a genuine gift. It empowers people, helping them to reassert their situation, giving them tools and strengths to face the future.

I fully support their action. As a young PhD student, working in french academia is a bleak perspective. Competition is insanely strong, salaries are quite shitty when compared to engineers, analysts, or people with a technical background and about the same years of study.
Psychological hazards in research, which are already quite huge, would certainly increase when removing material and intellectual liberty for researchers.

Hop, some time for french politics (don't flee yet, this might be interesting).

Over the recent years in France, there is a global trend to privatize a LOT of previously public-owned services. Transportation, energy production... and public research funded by the state is no exception.

Some academics wrote a statement about this. They are planning a team application to one of the french "research quality assessment group" http://rogueesr.fr/hceres-en/

My paper on formal verification of deep neural networks using simulators was accepted at the European Conference on Artificial Intelligence!

CAMUS: A Framework to Build Formal Specifications for Deep Perception Systems Using Simulators
https://arxiv.org/abs/1911.10735

I will be happy to discuss about it!

(I am building up my hype for the congress I will speak)

Philip Wadler is speaking right now at College de France, about using a proof assistant during teaching.

The talk will be available freely on the website of College de france

https://www.college-de-france.fr/site/xavier-leroy/seminar-2019-12-12-11h15.htm