1: \begin{abstract}

2:  From any directed graph $E$ one can construct the graph inverse semigroup $G(E)$, whose elements, roughly speaking, correspond to paths in $E$. Wang and Luo showed that the congruence lattice $L(G(E))$ of $G(E)$ is upper-semimodular for every graph $E$, but can fail to be lower-semimodular for some $E$. We provide a simple characterisation of the graphs $E$ for which $L(G(E))$ is lower-semimodular. We also describe those $E$ such that $L(G(E))$ is atomistic, and characterise the minimal generating sets for $L(G(E))$ when $E$ is finite and simple.

3:  

4:  \medskip

5: 

6: \noindent

7: \emph{Keywords:} inverse semigroup, directed graph, congruence lattice, semimodular, \linebreak atomistic

8: 

9: \noindent

10: \emph{2020 MSC numbers:} 20M18, 05C20, 06C10

11: \end{abstract}