Now that our paper Geometrization of the local Langlands correspondence with Fargues is finally out (ooufff!!), it may be worth giving an update to Ben-Zvi's answer above. In brief: we give a formulation of Local Langlands over a $p$-adic field $F$ so that it is finally
- an actual conjecture, in the sense that it asks for properties of a given construction, not for a construction;
- of a form as in geometric Langlands, in particular about an equivalence of categories, not merely a bijection of irreducibles.
First, I should say that in the notation of the OP, we construct a canonical map $\Pi(G)\to \Phi(G)$, and prove some properties about it. However, we are not able to say anything yet about its fibres (not even finiteness).
Moreover, we give a formulation of local Langlands as an equivalence of categories, and (essentially) construct a functor in one direction that one expects to realize the equivalence. In particular, this nails down what the local Langlands correspondence should be, it "merely" remains to establish all the desired properties of it.
Let me briefly state the main result here. Let $\mathrm{Bun}_G$ be the stack of $G$-bundles on the Fargues--Fontaine curve. We define an ($\infty$-)category $\mathcal D(\mathrm{Bun}_G,\overline{\mathbb Q}_\ell)$ of $\ell$-adic sheaves on $\mathrm{Bun}_G$. The stack $\mathrm{Bun}_G$ is stratified into countably many strata enumerated by $b\in B(G)$, and on each stratum, the category $\mathcal D(\mathrm{Bun}_G^b,\overline{\mathbb Q}_\ell)$ is the derived ($\infty$-)category of smooth representations of the group $G_b(F)$. In particular, for $b=1$, one gets smooth representations of $G(F)$.
Moreover, there is an Artin stack $Z^1(W_F,\hat{G})/\hat{G}$ of $L$-parameters over $\overline{\mathbb Q}_\ell$.
Our main result is the construction of the "spectral action":
There is a canonical action of the $\infty$-category of perfect complexes on $Z^1(W_F,\hat{G})/\hat{G}$ on $\mathcal D(\mathrm{Bun}_G,\overline{\mathbb Q}_\ell)$.
The main conjecture is basically that this makes $\mathcal D(\mathrm{Bun}_G,\overline{\mathbb Q}_\ell)^\omega$ a "free module of rank $1$ over $\mathrm{Perf}(Z^1(W_F,\hat{G})/\hat{G})$", at least if $G$ is quasisplit (or more generally, has connected center).
More precisely, assume that $G$ is quasisplit and fix a Borel $B\subset G$ and a generic character $\psi$ of $U(F)$, where $U\subset B$ is the unipotent radical, giving the Whittaker representation $c\text-\mathrm{Ind}_{U(F)}^{G(F)}\psi$, thus a sheaf on $[\ast/G(F)]$, which is the open substack of $\mathrm{Bun}_G$ of geometrically fibrewise trivial $G$-bundles; extending by $0$ thus gives a sheaf $\mathcal W_\psi\in \mathcal D(\mathrm{Bun}_G,\overline{\mathbb Q}_\ell)$, called the Whittaker sheaf.
Conjecture. The functor
$$ \mathrm{Perf}(Z^1(W_F,\hat{G})/\hat{G})\to \mathcal D(\mathrm{Bun}_G,\overline{\mathbb Q}_\ell)$$
given by acting on $\mathcal W_\psi$ is fully faithful, and extends to an equivalence
$$\mathcal D^{b,\mathrm{qc}}_{\mathrm{coh}}(Z^1(W_F,\hat{G})/\hat{G})\cong \mathcal D(\mathrm{Bun}_G,\overline{\mathbb Q}_\ell)^{\omega}.$$
Here the superscript $\mathrm{qc}$ means quasicompact support, and $\omega$ means compact objects. As $Z^1(W_F,\hat{G})$ is not smooth (merely a local complete intersection), there is a difference between perfect complexes and $\mathcal D^b_{\mathrm{coh}}$, and there is still a minor ambiguity about how to extend from perfect complexes to all complexes of coherent sheaves. Generically over the stack of $L$-parameters, there is however no difference.
It takes a little bit of unraveling to see how this implies more classical forms of the correspondence, like the expected internal parametrization of $L$-packets; in the case of elliptic $L$-parameters, everything is very clean, see Section X.2 of our paper.
(There are related conjectures and results by Ben-Zvi--Chen--Helm--Nadler, Hellmann and Zhu; see also the work of Genestier--Lafforgue in the function field case. And this work is heavily inspired by previous work in geometric Langlands, notably the conjectures of Arinkin--Gaitsgory, and the work of Nadler--Yun and Gaitsgory--Kazhdan--Rozenblyum--Varshavsky on spectral actions.)
PS: It may be worth pointing out that this conjecture is, at least a priori, of a quite different nature than Vogan's conjecture, mentioned in the other answers, which is based on perverse sheaves on the stack of $L$-parameters; here, we use coherent sheaves.
Let me try to answer. [FGV] is only about unramified representations of the Galois group
but they prove a stronger fact in this case (existence of certain "automorphic sheaf"). Lafforgue's result doesn't follow from there for several reasons:
a) Formally [FGV] use Lafforgue, but this was actually taken care of by a later paper of Gaitsgory ("On the vanishing conjecture..."). So that is really not a problem now.
b) Extending [FGV] to the ramified case is not trivial. I actually suspect that it can be done using the thesis of Jochen Heinloth but this has never been done (even the formulation is not completely clear in the ramified case)
c) In the unramified case what follows immediately from [FGV] is that you can attach a cuspidal automorphic form to a Galois representation. It is not obvious to me that the converse statement follows (Lafforgue's argument actually goes in the opppsite direction:
he proves that a cuspidal automorphic form corresponds to a Galois representation and then the converse statement follows immediately from the converse theorem of Piatetski-Shapiro et. al.
and from the fact that you know everything about Galois L-functions in the functional field case).
Best Answer
(1) Regarding the relationship between geometric Langlands and function field Langlands: typically research in geometric Langlands takes place in the context of rather restricted ramification (everywhere unramified, or perhaps Iwahori level structure at a finite number of points). There are investigations in some circumstances involving wild ramification (which is roughly the same thing as higher than Iwahori level), but I believe that there is not a definitive program in this direction at this stage.
Also, Lafforgue's result was about constructing Galois reps. attached to automorphic forms. Given this, the other direction (from Galois reps. to automorphic forms), follows immediatly, via converse theorems, the theory of local constants, and Grothendieck's theory of $L$-functions in the function field setting.
On the other hand, much work in the geometric Langlands setting is about going from local systems (the geometric incarnation of an everywhere unramified Galois rep.) to automorphic sheaves (the geometric incarnation of an automorphic Hecke eigenform) --- e.g. the work of Gaitsgory, Mirkovic, and Vilonen in the $GL_n$ setting does this. I don't know how much is known in the geometric setting about going backwards, from automorphic sheaves to local systems.
(2) Regarding the status of function field Langlands in general: it is important, and open, other than in the $GL_n$ case of Lafforgue, and various other special cases. (As in the number field setting, there are many special cases known, but these are far from the general problem of functoriality. Langlands writes in the notes on his collected works that "I do not believe that much has yet been done beyond the group $GL(n)$''.) Langlands has initiated a program called ``Beyond endoscopy'' to approach the general question of functoriality. In the number field case, it seems to rely on unknown (and seemingly out of reach) problems of analytic number theory, but in the function field case there is some chance to approach these questions geometrically instead. This is a subject of ongoing research.